99 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s3 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:%.*]], -110; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]11; CHECK: bb:12; CHECK-NEXT: [[EXT_WIDE:%.*]] = uitofp nneg i32 [[N]] to float13; CHECK-NEXT: call void @use.f32(float [[EXT_WIDE]])14; CHECK-NEXT: br label [[EXIT]]15; CHECK: exit:16; CHECK-NEXT: ret void17;18entry:19 %cmp = icmp sgt i32 %n, -120 br i1 %cmp, label %bb, label %exit21 22bb:23 %ext.wide = uitofp i32 %n to float24 call void @use.f32(float %ext.wide)25 br label %exit26 27exit:28 ret void29}30 31define void @test2_fail(i32 %n) {32; CHECK-LABEL: @test2_fail(33; CHECK-NEXT: entry:34; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -235; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]36; CHECK: bb:37; CHECK-NEXT: [[EXT_WIDE:%.*]] = uitofp i32 [[N]] to float38; CHECK-NEXT: call void @use.f32(float [[EXT_WIDE]])39; CHECK-NEXT: br label [[EXIT]]40; CHECK: exit:41; CHECK-NEXT: ret void42;43entry:44 %cmp = icmp sgt i32 %n, -245 br i1 %cmp, label %bb, label %exit46 47bb:48 %ext.wide = uitofp i32 %n to float49 call void @use.f32(float %ext.wide)50 br label %exit51 52exit:53 ret void54}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 float68; CHECK-NEXT: ret float [[EXT]]69;70 br i1 %c.1, label %true.1, label %false71 72true.1:73 br i1 %c.2, label %true.2, label %exit74 75true.2:76 br label %exit77 78false:79 br label %exit80 81exit:82 %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]83 %ext = uitofp i32 %p to float84 ret float %ext85}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:%.*]], -190; CHECK-NEXT: [[EXT:%.*]] = uitofp nneg i32 [[N]] to double91; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], double [[EXT]], double 0.000000e+0092; CHECK-NEXT: ret double [[SELECT]]93;94 %cmp = icmp sgt i32 %n, -195 %ext = uitofp i32 %n to double96 %select = select i1 %cmp, double %ext, double 0.097 ret double %select98}99