100 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 = sitofp i32 %n to float24 call void @use.f32(float %ext.wide)25 br label %exit26 27exit:28 ret void29}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:%.*]], -236; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]37; CHECK: bb:38; CHECK-NEXT: [[EXT_WIDE:%.*]] = sitofp i32 [[N]] to float39; CHECK-NEXT: call void @use.f32(float [[EXT_WIDE]])40; CHECK-NEXT: br label [[EXIT]]41; CHECK: exit:42; CHECK-NEXT: ret void43;44entry:45 %cmp = icmp sgt i32 %n, -246 br i1 %cmp, label %bb, label %exit47 48bb:49 %ext.wide = sitofp i32 %n to float50 call void @use.f32(float %ext.wide)51 br label %exit52 53exit:54 ret void55}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 float69; CHECK-NEXT: ret float [[EXT]]70;71 br i1 %c.1, label %true.1, label %false72 73true.1:74 br i1 %c.2, label %true.2, label %exit75 76true.2:77 br label %exit78 79false:80 br label %exit81 82exit:83 %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]84 %ext = sitofp i32 %p to float85 ret float %ext86}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:%.*]], -191; CHECK-NEXT: [[EXT:%.*]] = uitofp nneg i32 [[N]] to double92; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], double [[EXT]], double 0.000000e+0093; CHECK-NEXT: ret double [[SELECT]]94;95 %cmp = icmp sgt i32 %n, -196 %ext = sitofp i32 %n to double97 %select = select i1 %cmp, double %ext, double 0.098 ret double %select99}100