1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s 3 4declare void @use.f32(float) 5 6define void @test1(i32 %n) { 7; CHECK-LABEL: @test1( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -1 10; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] 11; CHECK: bb: 12; CHECK-NEXT: [[EXT_WIDE:%.*]] = uitofp nneg i32 [[N]] to float 13; CHECK-NEXT: call void @use.f32(float [[EXT_WIDE]]) 14; CHECK-NEXT: br label [[EXIT]] 15; CHECK: exit: 16; CHECK-NEXT: ret void 17; 18entry: 19 %cmp = icmp sgt i32 %n, -1 20 br i1 %cmp, label %bb, label %exit 21 22bb: 23 %ext.wide = sitofp i32 %n to float 24 call void @use.f32(float %ext.wide) 25 br label %exit 26 27exit: 28 ret void 29} 30 31 32define void @test2_fail(i32 %n) { 33; CHECK-LABEL: @test2_fail( 34; CHECK-NEXT: entry: 35; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -2 36; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] 37; CHECK: bb: 38; CHECK-NEXT: [[EXT_WIDE:%.*]] = sitofp i32 [[N]] to float 39; CHECK-NEXT: call void @use.f32(float [[EXT_WIDE]]) 40; CHECK-NEXT: br label [[EXIT]] 41; CHECK: exit: 42; CHECK-NEXT: ret void 43; 44entry: 45 %cmp = icmp sgt i32 %n, -2 46 br i1 %cmp, label %bb, label %exit 47 48bb: 49 %ext.wide = sitofp i32 %n to float 50 call void @use.f32(float %ext.wide) 51 br label %exit 52 53exit: 54 ret void 55} 56 57define float @may_including_undef(i1 %c.1, i1 %c.2) { 58; CHECK-LABEL: @may_including_undef( 59; CHECK-NEXT: br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]] 60; CHECK: true.1: 61; CHECK-NEXT: br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]] 62; CHECK: true.2: 63; CHECK-NEXT: br label [[EXIT]] 64; CHECK: false: 65; CHECK-NEXT: br label [[EXIT]] 66; CHECK: exit: 67; CHECK-NEXT: [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ] 68; CHECK-NEXT: [[EXT:%.*]] = sitofp i32 [[P]] to float 69; CHECK-NEXT: ret float [[EXT]] 70; 71 br i1 %c.1, label %true.1, label %false 72 73true.1: 74 br i1 %c.2, label %true.2, label %exit 75 76true.2: 77 br label %exit 78 79false: 80 br label %exit 81 82exit: 83 %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ] 84 %ext = sitofp i32 %p to float 85 ret float %ext 86} 87 88define double @test_infer_at_use(i32 noundef %n) { 89; CHECK-LABEL: @test_infer_at_use( 90; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -1 91; CHECK-NEXT: [[EXT:%.*]] = uitofp nneg i32 [[N]] to double 92; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], double [[EXT]], double 0.000000e+00 93; CHECK-NEXT: ret double [[SELECT]] 94; 95 %cmp = icmp sgt i32 %n, -1 96 %ext = sitofp i32 %n to double 97 %select = select i1 %cmp, double %ext, double 0.0 98 ret double %select 99} 100