118 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=ipsccp < %s | FileCheck %s3 4; Make sure that constant ranges including undef are propagated correctly.5 6define i8 @test_binop(i1 %cond, i8 %a) {7; CHECK-LABEL: define i8 @test_binop(8; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*]]:10; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]]11; CHECK: [[IF]]:12; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i1613; CHECK-NEXT: br label %[[JOIN]]14; CHECK: [[JOIN]]:15; CHECK-NEXT: [[AND:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ]16; CHECK-NEXT: [[TRUNC:%.*]] = trunc i16 [[AND]] to i817; CHECK-NEXT: ret i8 [[TRUNC]]18;19entry:20 br i1 %cond, label %if, label %join21 22if:23 %a.ext = zext i8 %a to i1624 br label %join25 26join:27 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ]28 %and = and i16 %phi, u0x0000ffff29 %trunc = trunc i16 %and to i830 ret i8 %trunc31}32 33define i8 @test_cast(i1 %cond, i8 %a) {34; CHECK-LABEL: define i8 @test_cast(35; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) {36; CHECK-NEXT: [[ENTRY:.*]]:37; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]]38; CHECK: [[IF]]:39; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i1640; CHECK-NEXT: br label %[[JOIN]]41; CHECK: [[JOIN]]:42; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ]43; CHECK-NEXT: [[ZEXT:%.*]] = zext i16 [[PHI]] to i3244; CHECK-NEXT: [[TRUNC:%.*]] = trunc i32 [[ZEXT]] to i845; CHECK-NEXT: ret i8 [[TRUNC]]46;47entry:48 br i1 %cond, label %if, label %join49 50if:51 %a.ext = zext i8 %a to i1652 br label %join53 54join:55 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ]56 %zext = zext i16 %phi to i3257 %trunc = trunc i32 %zext to i858 ret i8 %trunc59}60 61define i8 @test_intrin(i1 %cond, i8 %a) {62; CHECK-LABEL: define i8 @test_intrin(63; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) {64; CHECK-NEXT: [[ENTRY:.*]]:65; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]]66; CHECK: [[IF]]:67; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i1668; CHECK-NEXT: br label %[[JOIN]]69; CHECK: [[JOIN]]:70; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ]71; CHECK-NEXT: [[UMAX:%.*]] = call i16 @llvm.umax.i16(i16 [[PHI]], i16 42)72; CHECK-NEXT: [[TRUNC:%.*]] = trunc i16 [[UMAX]] to i873; CHECK-NEXT: ret i8 [[TRUNC]]74;75entry:76 br i1 %cond, label %if, label %join77 78if:79 %a.ext = zext i8 %a to i1680 br label %join81 82join:83 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ]84 %umax = call i16 @llvm.umax(i16 %phi, i16 42)85 %trunc = trunc i16 %umax to i886 ret i8 %trunc87}88 89define i9 @test_with_overflow(i1 %cond, i8 %a) {90; CHECK-LABEL: define i9 @test_with_overflow(91; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) {92; CHECK-NEXT: [[ENTRY:.*]]:93; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]]94; CHECK: [[IF]]:95; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i1696; CHECK-NEXT: br label %[[JOIN]]97; CHECK: [[JOIN]]:98; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ]99; CHECK-NEXT: [[WO:%.*]] = call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 [[PHI]], i16 1)100; CHECK-NEXT: [[ADD:%.*]] = extractvalue { i16, i1 } [[WO]], 0101; CHECK-NEXT: [[TRUNC:%.*]] = trunc i16 [[ADD]] to i9102; CHECK-NEXT: ret i9 [[TRUNC]]103;104entry:105 br i1 %cond, label %if, label %join106 107if:108 %a.ext = zext i8 %a to i16109 br label %join110 111join:112 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ]113 %wo = call {i16, i1} @llvm.uadd.with.overflow(i16 %phi, i16 1)114 %add = extractvalue {i16, i1} %wo, 0115 %trunc = trunc i16 %add to i9116 ret i9 %trunc117}118