180 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=ipsccp -S %s | FileCheck %s3 4define i16 @range_from_and_nuw(i32 %a) {5; CHECK-LABEL: define i16 @range_from_and_nuw(6; CHECK-SAME: i32 [[A:%.*]]) {7; CHECK-NEXT: entry:8; CHECK-NEXT: [[AND1:%.*]] = and i32 [[A]], 655359; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nuw i32 [[AND1]] to i1610; CHECK-NEXT: ret i16 [[TRUNC1]]11;12entry:13 %and1 = and i32 %a, 6553514 %trunc1 = trunc i32 %and1 to i1615 ret i16 %trunc116}17 18define i8 @range_from_or_nsw(i16 %a) {19; CHECK-LABEL: define range(i8 -128, 0) i8 @range_from_or_nsw(20; CHECK-SAME: i16 [[A:%.*]]) {21; CHECK-NEXT: entry:22; CHECK-NEXT: [[AND1:%.*]] = or i16 [[A]], -12823; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nsw i16 [[AND1]] to i824; CHECK-NEXT: ret i8 [[TRUNC1]]25;26entry:27 %and1 = or i16 %a, 6540828 %trunc1 = trunc i16 %and1 to i829 ret i8 %trunc130}31 32define i16 @range_from_and_nuw_nsw(i32 %a) {33; CHECK-LABEL: define range(i16 0, -32768) i16 @range_from_and_nuw_nsw(34; CHECK-SAME: i32 [[A:%.*]]) {35; CHECK-NEXT: entry:36; CHECK-NEXT: [[AND1:%.*]] = and i32 [[A]], 3276737; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nuw nsw i32 [[AND1]] to i1638; CHECK-NEXT: ret i16 [[TRUNC1]]39;40entry:41 %and1 = and i32 %a, 3276742 %trunc1 = trunc i32 %and1 to i1643 ret i16 %trunc144}45 46define <4 x i16> @range_from_and_nuw_vec(<4 x i32> %a) {47; CHECK-LABEL: define <4 x i16> @range_from_and_nuw_vec(48; CHECK-SAME: <4 x i32> [[A:%.*]]) {49; CHECK-NEXT: entry:50; CHECK-NEXT: [[AND1:%.*]] = and <4 x i32> [[A]], splat (i32 65535)51; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nuw <4 x i32> [[AND1]] to <4 x i16>52; CHECK-NEXT: ret <4 x i16> [[TRUNC1]]53;54entry:55 %and1 = and <4 x i32> %a, <i32 65535, i32 65535, i32 65535, i32 65535>56 %trunc1 = trunc <4 x i32> %and1 to <4 x i16>57 ret <4 x i16> %trunc158}59 60define i4 @range_from_sge_sle(i8 %a) {61; CHECK-LABEL: define i4 @range_from_sge_sle(62; CHECK-SAME: i8 [[A:%.*]]) {63; CHECK-NEXT: entry:64; CHECK-NEXT: [[SGT:%.*]] = icmp sge i8 [[A]], 065; CHECK-NEXT: [[SLT:%.*]] = icmp sle i8 [[A]], 1566; CHECK-NEXT: [[AND:%.*]] = and i1 [[SGT]], [[SLT]]67; CHECK-NEXT: br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]68; CHECK: then:69; CHECK-NEXT: [[AND1:%.*]] = and i8 [[A]], 770; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nuw i8 [[A]] to i471; CHECK-NEXT: [[TRUNC2:%.*]] = trunc nuw nsw i8 [[AND1]] to i472; CHECK-NEXT: [[XOR1:%.*]] = xor i4 [[TRUNC1]], [[TRUNC2]]73; CHECK-NEXT: ret i4 [[XOR1]]74; CHECK: else:75; CHECK-NEXT: [[TRUNC3:%.*]] = trunc i8 [[A]] to i476; CHECK-NEXT: ret i4 [[TRUNC3]]77;78entry:79 %sgt = icmp sge i8 %a, 080 %slt = icmp sle i8 %a, 1581 %and = and i1 %sgt, %slt82 br i1 %and, label %then, label %else83 84then:85 %and1 = and i8 %a, 786 87 %trunc1 = trunc i8 %a to i488 %trunc2 = trunc i8 %and1 to i489 %xor1 = xor i4 %trunc1, %trunc290 ret i4 %xor191 92else:93 %trunc3 = trunc i8 %a to i494 ret i4 %trunc395}96 97define i16 @range_from_sext(i16 %a) {98; CHECK-LABEL: define i16 @range_from_sext(99; CHECK-SAME: i16 [[A:%.*]]) {100; CHECK-NEXT: entry:101; CHECK-NEXT: [[SEXT1:%.*]] = sext i16 [[A]] to i32102; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nsw i32 [[SEXT1]] to i16103; CHECK-NEXT: ret i16 [[TRUNC1]]104;105entry:106 %sext1 = sext i16 %a to i32107 %trunc1 = trunc i32 %sext1 to i16108 ret i16 %trunc1109}110 111define i16 @range_from_zext(i16 %a) {112; CHECK-LABEL: define i16 @range_from_zext(113; CHECK-SAME: i16 [[A:%.*]]) {114; CHECK-NEXT: entry:115; CHECK-NEXT: [[ZEXT1:%.*]] = zext i16 [[A]] to i32116; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nuw i32 [[ZEXT1]] to i16117; CHECK-NEXT: ret i16 [[TRUNC1]]118;119entry:120 %zext1 = zext i16 %a to i32121 %trunc1 = trunc i32 %zext1 to i16122 ret i16 %trunc1123}124 125define i1 @range_from_select_i1_nuw(i1 %c) {126; CHECK-LABEL: define i1 @range_from_select_i1_nuw(127; CHECK-SAME: i1 [[C:%.*]]) {128; CHECK-NEXT: entry:129; CHECK-NEXT: [[SELECT1:%.*]] = select i1 [[C]], i16 0, i16 1130; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nuw i16 [[SELECT1]] to i1131; CHECK-NEXT: ret i1 [[TRUNC1]]132;133entry:134 %select1 = select i1 %c, i16 0, i16 1135 %trunc1 = trunc i16 %select1 to i1136 ret i1 %trunc1137}138 139define i1 @range_from_select_i1_nsw(i1 %c) {140; CHECK-LABEL: define i1 @range_from_select_i1_nsw(141; CHECK-SAME: i1 [[C:%.*]]) {142; CHECK-NEXT: entry:143; CHECK-NEXT: [[SELECT1:%.*]] = select i1 [[C]], i16 0, i16 -1144; CHECK-NEXT: [[TRUNC1:%.*]] = trunc nsw i16 [[SELECT1]] to i1145; CHECK-NEXT: ret i1 [[TRUNC1]]146;147entry:148 %select1 = select i1 %c, i16 0, i16 -1149 %trunc1 = trunc i16 %select1 to i1150 ret i1 %trunc1151}152 153define i1 @range_from_select_i1_fail(i1 %c) {154; CHECK-LABEL: define i1 @range_from_select_i1_fail(155; CHECK-SAME: i1 [[C:%.*]]) {156; CHECK-NEXT: entry:157; CHECK-NEXT: [[SELECT1:%.*]] = select i1 [[C]], i16 1, i16 -1158; CHECK-NEXT: [[TRUNC1:%.*]] = trunc i16 [[SELECT1]] to i1159; CHECK-NEXT: ret i1 [[TRUNC1]]160;161entry:162 %select1 = select i1 %c, i16 1, i16 -1163 %trunc1 = trunc i16 %select1 to i1164 ret i1 %trunc1165}166 167define i8 @range_from_trunc_fail(i32 %a) {168; CHECK-LABEL: define i8 @range_from_trunc_fail(169; CHECK-SAME: i32 [[A:%.*]]) {170; CHECK-NEXT: entry:171; CHECK-NEXT: [[TRUNC1:%.*]] = trunc i32 [[A]] to i16172; CHECK-NEXT: [[TRUNC2:%.*]] = trunc i16 [[TRUNC1]] to i8173; CHECK-NEXT: ret i8 [[TRUNC2]]174;175entry:176 %trunc1 = trunc i32 %a to i16177 %trunc2 = trunc i16 %trunc1 to i8178 ret i8 %trunc2179}180