1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -S -passes=ipsccp < %s | FileCheck %s 3 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 i16 13; CHECK-NEXT: br label %[[JOIN]] 14; CHECK: [[JOIN]]: 15; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ] 16; CHECK-NEXT: [[AND:%.*]] = and i16 [[PHI]], -1 17; CHECK-NEXT: [[TRUNC:%.*]] = trunc i16 [[AND]] to i8 18; CHECK-NEXT: ret i8 [[TRUNC]] 19; 20entry: 21 br i1 %cond, label %if, label %join 22 23if: 24 %a.ext = zext i8 %a to i16 25 br label %join 26 27join: 28 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ] 29 %and = and i16 %phi, u0x0000ffff 30 %trunc = trunc i16 %and to i8 31 ret i8 %trunc 32} 33 34define i8 @test_cast(i1 %cond, i8 %a) { 35; CHECK-LABEL: define i8 @test_cast( 36; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) { 37; CHECK-NEXT: [[ENTRY:.*]]: 38; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]] 39; CHECK: [[IF]]: 40; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i16 41; CHECK-NEXT: br label %[[JOIN]] 42; CHECK: [[JOIN]]: 43; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ] 44; CHECK-NEXT: [[ZEXT:%.*]] = zext i16 [[PHI]] to i32 45; CHECK-NEXT: [[TRUNC:%.*]] = trunc i32 [[ZEXT]] to i8 46; CHECK-NEXT: ret i8 [[TRUNC]] 47; 48entry: 49 br i1 %cond, label %if, label %join 50 51if: 52 %a.ext = zext i8 %a to i16 53 br label %join 54 55join: 56 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ] 57 %zext = zext i16 %phi to i32 58 %trunc = trunc i32 %zext to i8 59 ret i8 %trunc 60} 61 62define i8 @test_intrin(i1 %cond, i8 %a) { 63; CHECK-LABEL: define i8 @test_intrin( 64; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) { 65; CHECK-NEXT: [[ENTRY:.*]]: 66; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]] 67; CHECK: [[IF]]: 68; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i16 69; CHECK-NEXT: br label %[[JOIN]] 70; CHECK: [[JOIN]]: 71; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ] 72; CHECK-NEXT: [[UMAX:%.*]] = call i16 @llvm.umax.i16(i16 [[PHI]], i16 42) 73; CHECK-NEXT: [[TRUNC:%.*]] = trunc i16 [[UMAX]] to i8 74; CHECK-NEXT: ret i8 [[TRUNC]] 75; 76entry: 77 br i1 %cond, label %if, label %join 78 79if: 80 %a.ext = zext i8 %a to i16 81 br label %join 82 83join: 84 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ] 85 %umax = call i16 @llvm.umax(i16 %phi, i16 42) 86 %trunc = trunc i16 %umax to i8 87 ret i8 %trunc 88} 89 90define i9 @test_with_overflow(i1 %cond, i8 %a) { 91; CHECK-LABEL: define i9 @test_with_overflow( 92; CHECK-SAME: i1 [[COND:%.*]], i8 [[A:%.*]]) { 93; CHECK-NEXT: [[ENTRY:.*]]: 94; CHECK-NEXT: br i1 [[COND]], label %[[IF:.*]], label %[[JOIN:.*]] 95; CHECK: [[IF]]: 96; CHECK-NEXT: [[A_EXT:%.*]] = zext i8 [[A]] to i16 97; CHECK-NEXT: br label %[[JOIN]] 98; CHECK: [[JOIN]]: 99; CHECK-NEXT: [[PHI:%.*]] = phi i16 [ undef, %[[ENTRY]] ], [ [[A_EXT]], %[[IF]] ] 100; CHECK-NEXT: [[WO:%.*]] = call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 [[PHI]], i16 1) 101; CHECK-NEXT: [[ADD:%.*]] = extractvalue { i16, i1 } [[WO]], 0 102; CHECK-NEXT: [[TRUNC:%.*]] = trunc i16 [[ADD]] to i9 103; CHECK-NEXT: ret i9 [[TRUNC]] 104; 105entry: 106 br i1 %cond, label %if, label %join 107 108if: 109 %a.ext = zext i8 %a to i16 110 br label %join 111 112join: 113 %phi = phi i16 [ undef, %entry ], [ %a.ext, %if ] 114 %wo = call {i16, i1} @llvm.uadd.with.overflow(i16 %phi, i16 1) 115 %add = extractvalue {i16, i1} %wo, 0 116 %trunc = trunc i16 %add to i9 117 ret i9 %trunc 118} 119