199 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define i1 @icmp_ugt_32(i64) {5; CHECK-LABEL: @icmp_ugt_32(6; CHECK-NEXT: [[D:%.*]] = icmp ne i64 [[TMP0:%.*]], 07; CHECK-NEXT: ret i1 [[D]]8;9 %c = shl nuw i64 %0, 3210 %d = icmp ugt i64 %c, 429496729511 ret i1 %d12}13 14define i1 @icmp_ule_64(i128) {15; CHECK-LABEL: @icmp_ule_64(16; CHECK-NEXT: [[D:%.*]] = icmp eq i128 [[TMP0:%.*]], 017; CHECK-NEXT: ret i1 [[D]]18;19 %c = shl nuw i128 %0, 6420 %d = icmp ule i128 %c, 1844674407370955161521 ret i1 %d22}23 24define i1 @icmp_ugt_16(i64) {25; CHECK-LABEL: @icmp_ugt_16(26; CHECK-NEXT: [[D:%.*]] = icmp ugt i64 [[TMP0:%.*]], 1527; CHECK-NEXT: ret i1 [[D]]28;29 %c = shl nuw i64 %0, 1630 %d = icmp ugt i64 %c, 1048575 ; 0x0f_ffff31 ret i1 %d32}33 34define <2 x i1> @icmp_ule_16x2(<2 x i64>) {35; CHECK-LABEL: @icmp_ule_16x2(36; CHECK-NEXT: [[D:%.*]] = icmp eq <2 x i64> [[TMP0:%.*]], zeroinitializer37; CHECK-NEXT: ret <2 x i1> [[D]]38;39 %c = shl nuw <2 x i64> %0, <i64 16, i64 16>40 %d = icmp ule <2 x i64> %c, <i64 65535, i64 65535>41 ret <2 x i1> %d42}43 44define <2 x i1> @icmp_ule_16x2_nonzero(<2 x i64>) {45; CHECK-LABEL: @icmp_ule_16x2_nonzero(46; CHECK-NEXT: [[D:%.*]] = icmp ult <2 x i64> [[TMP0:%.*]], splat (i64 4)47; CHECK-NEXT: ret <2 x i1> [[D]]48;49 %c = shl nuw <2 x i64> %0, <i64 16, i64 16>50 %d = icmp ule <2 x i64> %c, <i64 196608, i64 196608> ; 0x03_000051 ret <2 x i1> %d52}53 54define <2 x i1> @icmp_ule_12x2(<2 x i64>) {55; CHECK-LABEL: @icmp_ule_12x2(56; CHECK-NEXT: [[D:%.*]] = icmp ult <2 x i64> [[TMP0:%.*]], splat (i64 4)57; CHECK-NEXT: ret <2 x i1> [[D]]58;59 %c = shl nuw <2 x i64> %0, <i64 12, i64 12>60 %d = icmp ule <2 x i64> %c, <i64 12288, i64 12288> ; 0x300061 ret <2 x i1> %d62}63 64define i1 @icmp_ult_8(i64) {65; CHECK-LABEL: @icmp_ult_8(66; CHECK-NEXT: [[D:%.*]] = icmp ult i64 [[TMP0:%.*]], 1667; CHECK-NEXT: ret i1 [[D]]68;69 %c = shl nuw i64 %0, 870 %d = icmp ult i64 %c, 4095 ; 0x0fff71 ret i1 %d72}73 74define <2 x i1> @icmp_uge_8x2(<2 x i16>) {75; CHECK-LABEL: @icmp_uge_8x2(76; CHECK-NEXT: [[D:%.*]] = icmp ugt <2 x i16> [[TMP0:%.*]], splat (i16 15)77; CHECK-NEXT: ret <2 x i1> [[D]]78;79 %c = shl nuw <2 x i16> %0, <i16 8, i16 8>80 %d = icmp uge <2 x i16> %c, <i16 4095, i16 4095>81 ret <2 x i1> %d82}83 84define <2 x i1> @icmp_ugt_16x2(<2 x i32>) {85; CHECK-LABEL: @icmp_ugt_16x2(86; CHECK-NEXT: [[D:%.*]] = icmp ugt <2 x i32> [[TMP0:%.*]], splat (i32 15)87; CHECK-NEXT: ret <2 x i1> [[D]]88;89 %c = shl nuw <2 x i32> %0, <i32 16, i32 16>90 %d = icmp ugt <2 x i32> %c, <i32 1048575, i32 1048575>91 ret <2 x i1> %d92}93 94define i1 @fold_icmp_shl_nuw_c1(i32 %x) {95; CHECK-LABEL: @fold_icmp_shl_nuw_c1(96; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 6144097; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[TMP1]], 098; CHECK-NEXT: ret i1 [[CMP]]99;100 %lshr = lshr i32 %x, 12101 %and = and i32 %lshr, 15102 %shl = shl nuw i32 2, %and103 %cmp = icmp ult i32 %shl, 4104 ret i1 %cmp105}106 107define i1 @fold_icmp_shl_nuw_c2(i32 %x) {108; CHECK-LABEL: @fold_icmp_shl_nuw_c2(109; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 2110; CHECK-NEXT: ret i1 [[CMP]]111;112 %shl = shl nuw i32 16, %x113 %cmp = icmp ult i32 %shl, 64114 ret i1 %cmp115}116 117define i1 @fold_icmp_shl_nuw_c2_non_pow2(i32 %x) {118; CHECK-LABEL: @fold_icmp_shl_nuw_c2_non_pow2(119; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 2120; CHECK-NEXT: ret i1 [[CMP]]121;122 %shl = shl nuw i32 48, %x123 %cmp = icmp ult i32 %shl, 192124 ret i1 %cmp125}126 127define i1 @fold_icmp_shl_nuw_c2_div_non_pow2(i32 %x) {128; CHECK-LABEL: @fold_icmp_shl_nuw_c2_div_non_pow2(129; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 5130; CHECK-NEXT: ret i1 [[CMP]]131;132 %shl = shl nuw i32 2, %x133 %cmp = icmp ult i32 %shl, 60134 ret i1 %cmp135}136 137define i1 @fold_icmp_shl_nuw_c3(i32 %x) {138; CHECK-LABEL: @fold_icmp_shl_nuw_c3(139; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[X:%.*]], 1140; CHECK-NEXT: ret i1 [[CMP]]141;142 %shl = shl nuw i32 48, %x143 %cmp = icmp uge i32 %shl, 144144 ret i1 %cmp145}146 147define i1 @fold_icmp_shl_nuw_c2_indivisible(i32 %x) {148; CHECK-LABEL: @fold_icmp_shl_nuw_c2_indivisible(149; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 2150; CHECK-NEXT: ret i1 [[CMP]]151;152 %shl = shl nuw i32 16, %x153 %cmp = icmp ult i32 %shl, 63154 ret i1 %cmp155}156 157; Negative tests158 159define i1 @fold_icmp_shl_c2_without_nuw(i32 %x) {160; CHECK-LABEL: @fold_icmp_shl_c2_without_nuw(161; CHECK-NEXT: [[SHL:%.*]] = shl i32 16, [[X:%.*]]162; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[SHL]], 64163; CHECK-NEXT: ret i1 [[CMP]]164;165 %shl = shl i32 16, %x166 %cmp = icmp ult i32 %shl, 64167 ret i1 %cmp168}169 170; Make sure this trivial case is folded by InstSimplify.171define i1 @fold_icmp_shl_nuw_c2_precondition1(i32 %x) {172; CHECK-LABEL: @fold_icmp_shl_nuw_c2_precondition1(173; CHECK-NEXT: ret i1 true174;175 %shl = shl nuw i32 0, %x176 %cmp = icmp ult i32 %shl, 63177 ret i1 %cmp178}179 180; Make sure this trivial case is folded by InstSimplify.181define i1 @fold_icmp_shl_nuw_c2_precondition2(i32 %x) {182; CHECK-LABEL: @fold_icmp_shl_nuw_c2_precondition2(183; CHECK-NEXT: ret i1 false184;185 %shl = shl nuw i32 127, %x186 %cmp = icmp ult i32 %shl, 63187 ret i1 %cmp188}189 190; Make sure we don't crash on this case.191define i1 @fold_icmp_shl_nuw_c2_precondition3(i32 %x) {192; CHECK-LABEL: @fold_icmp_shl_nuw_c2_precondition3(193; CHECK-NEXT: ret i1 false194;195 %shl = shl nuw i32 1, %x196 %cmp = icmp ult i32 %shl, 1197 ret i1 %cmp198}199