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 = uitofp i32 %n to float 24 call void @use.f32(float %ext.wide) 25 br label %exit 26 27exit: 28 ret void 29} 30 31define void @test2_fail(i32 %n) { 32; CHECK-LABEL: @test2_fail( 33; CHECK-NEXT: entry: 34; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -2 35; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] 36; CHECK: bb: 37; CHECK-NEXT: [[EXT_WIDE:%.*]] = uitofp i32 [[N]] to float 38; CHECK-NEXT: call void @use.f32(float [[EXT_WIDE]]) 39; CHECK-NEXT: br label [[EXIT]] 40; CHECK: exit: 41; CHECK-NEXT: ret void 42; 43entry: 44 %cmp = icmp sgt i32 %n, -2 45 br i1 %cmp, label %bb, label %exit 46 47bb: 48 %ext.wide = uitofp i32 %n to float 49 call void @use.f32(float %ext.wide) 50 br label %exit 51 52exit: 53 ret void 54} 55 56define float @may_including_undef(i1 %c.1, i1 %c.2) { 57; CHECK-LABEL: @may_including_undef( 58; CHECK-NEXT: br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]] 59; CHECK: true.1: 60; CHECK-NEXT: br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]] 61; CHECK: true.2: 62; CHECK-NEXT: br label [[EXIT]] 63; CHECK: false: 64; CHECK-NEXT: br label [[EXIT]] 65; CHECK: exit: 66; CHECK-NEXT: [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ] 67; CHECK-NEXT: [[EXT:%.*]] = uitofp i32 [[P]] to float 68; CHECK-NEXT: ret float [[EXT]] 69; 70 br i1 %c.1, label %true.1, label %false 71 72true.1: 73 br i1 %c.2, label %true.2, label %exit 74 75true.2: 76 br label %exit 77 78false: 79 br label %exit 80 81exit: 82 %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ] 83 %ext = uitofp i32 %p to float 84 ret float %ext 85} 86 87define double @test_infer_at_use(i32 noundef %n) { 88; CHECK-LABEL: @test_infer_at_use( 89; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -1 90; CHECK-NEXT: [[EXT:%.*]] = uitofp nneg i32 [[N]] to double 91; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], double [[EXT]], double 0.000000e+00 92; CHECK-NEXT: ret double [[SELECT]] 93; 94 %cmp = icmp sgt i32 %n, -1 95 %ext = uitofp i32 %n to double 96 %select = select i1 %cmp, double %ext, double 0.0 97 ret double %select 98} 99