177 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare void @use16(i16)5declare void @usev4(<4 x i4>)6 7define i1 @icmp_shl_ugt_1(i8 %x) {8; CHECK-LABEL: @icmp_shl_ugt_1(9; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[X:%.*]], 010; CHECK-NEXT: ret i1 [[CMP]]11;12 %add = shl i8 %x, 113 %cmp = icmp ugt i8 %add, %x14 ret i1 %cmp15}16 17define <2 x i1> @icmp_shl_ugt_2(<2 x i32> %_x) {18; CHECK-LABEL: @icmp_shl_ugt_2(19; CHECK-NEXT: [[X:%.*]] = add <2 x i32> [[_X:%.*]], splat (i32 42)20; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[X]], zeroinitializer21; CHECK-NEXT: ret <2 x i1> [[CMP]]22;23 %x = add <2 x i32> <i32 42, i32 42>, %_x ; thwart complexity-based canonicalization24 %add = shl <2 x i32> %x, <i32 1, i32 1>25 %cmp = icmp ugt <2 x i32> %x, %add26 ret <2 x i1> %cmp27}28 29define <3 x i1> @icmp_shl_uge_1(<3 x i7> %x) {30; CHECK-LABEL: @icmp_shl_uge_1(31; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <3 x i7> [[X:%.*]], splat (i7 -1)32; CHECK-NEXT: ret <3 x i1> [[CMP]]33;34 %add = shl <3 x i7> %x, <i7 1, i7 1, i7 1>35 %cmp = icmp uge <3 x i7> %add, %x36 ret <3 x i1> %cmp37}38 39define i1 @icmp_shl_uge_2(i5 %_x) {40; CHECK-LABEL: @icmp_shl_uge_2(41; CHECK-NEXT: [[X:%.*]] = add i5 [[_X:%.*]], 1042; CHECK-NEXT: [[CMP:%.*]] = icmp slt i5 [[X]], 143; CHECK-NEXT: ret i1 [[CMP]]44;45 %x = add i5 42, %_x ; thwart complexity-based canonicalization46 %add = shl i5 %x, 147 %cmp = icmp uge i5 %x, %add48 ret i1 %cmp49}50 51define i1 @icmp_shl_ult_1(i16 %x) {52; CHECK-LABEL: @icmp_shl_ult_1(53; CHECK-NEXT: [[ADD:%.*]] = shl i16 [[X:%.*]], 154; CHECK-NEXT: call void @use16(i16 [[ADD]])55; CHECK-NEXT: [[CMP:%.*]] = icmp slt i16 [[X]], 056; CHECK-NEXT: ret i1 [[CMP]]57;58 %add = shl i16 %x, 159 call void @use16(i16 %add) ; extra use of shl60 %cmp = icmp ult i16 %add, %x61 ret i1 %cmp62}63 64define <4 x i1> @icmp_shl_ult_2(<4 x i4> %_x) {65; CHECK-LABEL: @icmp_shl_ult_2(66; CHECK-NEXT: [[X:%.*]] = add <4 x i4> [[_X:%.*]], splat (i4 -6)67; CHECK-NEXT: [[ADD:%.*]] = shl <4 x i4> [[X]], splat (i4 1)68; CHECK-NEXT: call void @usev4(<4 x i4> [[ADD]])69; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <4 x i4> [[X]], zeroinitializer70; CHECK-NEXT: ret <4 x i1> [[CMP]]71;72 %x = add <4 x i4> <i4 42, i4 42, i4 42, i4 42>, %_x ; thwart complexity-based canonicalization73 %add = shl <4 x i4> %x, <i4 1, i4 1, i4 1, i4 1>74 call void @usev4(<4 x i4> %add) ; extra use of shl75 %cmp = icmp ult <4 x i4> %x, %add76 ret <4 x i1> %cmp77}78 79define <2 x i1> @icmp_shl_ule_1(<2 x i8> %x) {80; CHECK-LABEL: @icmp_shl_ule_1(81; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i8> [[X:%.*]], splat (i8 1)82; CHECK-NEXT: ret <2 x i1> [[CMP]]83;84 %add = shl <2 x i8> %x, <i8 1, i8 poison>85 %cmp = icmp ule <2 x i8> %add, %x86 ret <2 x i1> %cmp87}88 89define i1 @icmp_shl_ule_2(i8 %_x) {90; CHECK-LABEL: @icmp_shl_ule_2(91; CHECK-NEXT: [[X:%.*]] = add i8 [[_X:%.*]], 4292; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[X]], -193; CHECK-NEXT: ret i1 [[CMP]]94;95 %x = add i8 42, %_x ; thwart complexity-based canonicalization96 %add = shl i8 %x, 197 %cmp = icmp ule i8 %x, %add98 ret i1 %cmp99}100 101define i1 @icmp_shl_eq_1(i8 %x) {102; CHECK-LABEL: @icmp_shl_eq_1(103; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0104; CHECK-NEXT: ret i1 [[CMP]]105;106 %add = shl i8 %x, 1107 %cmp = icmp eq i8 %add, %x108 ret i1 %cmp109}110 111define <2 x i1> @icmp_shl_eq_2(<2 x i8> %_x) {112; CHECK-LABEL: @icmp_shl_eq_2(113; CHECK-NEXT: [[X:%.*]] = sdiv <2 x i8> splat (i8 42), [[_X:%.*]]114; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i8> [[X]], zeroinitializer115; CHECK-NEXT: ret <2 x i1> [[CMP]]116;117 %x = sdiv <2 x i8> <i8 42, i8 42>, %_x ; thwart complexity-based canonicalization118 %add = shl <2 x i8> %x, <i8 1, i8 1>119 %cmp = icmp eq <2 x i8> %x, %add120 ret <2 x i1> %cmp121}122 123define <2 x i1> @icmp_shl_ne_1(<2 x i8> %x) {124; CHECK-LABEL: @icmp_shl_ne_1(125; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i8> [[X:%.*]], zeroinitializer126; CHECK-NEXT: ret <2 x i1> [[CMP]]127;128 %add = shl <2 x i8> %x, <i8 1, i8 1>129 %cmp = icmp ne <2 x i8> %add, %x130 ret <2 x i1> %cmp131}132 133define i1 @icmp_shl_ne_2(i8 %_x) {134; CHECK-LABEL: @icmp_shl_ne_2(135; CHECK-NEXT: [[X:%.*]] = sdiv i8 42, [[_X:%.*]]136; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X]], 0137; CHECK-NEXT: ret i1 [[CMP]]138;139 %x = sdiv i8 42, %_x ; thwart complexity-based canonicalization140 %add = shl i8 %x, 1141 %cmp = icmp ne i8 %x, %add142 ret i1 %cmp143}144 145define i1 @negative_test_signed_pred(i8 %x) {146; CHECK-LABEL: @negative_test_signed_pred(147; CHECK-NEXT: [[ADD:%.*]] = shl i8 [[X:%.*]], 1148; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[ADD]], [[X]]149; CHECK-NEXT: ret i1 [[CMP]]150;151 %add = shl i8 %x, 1152 %cmp = icmp slt i8 %add, %x153 ret i1 %cmp154}155 156define i1 @negative_test_shl_more_than_1(i16 %x) {157; CHECK-LABEL: @negative_test_shl_more_than_1(158; CHECK-NEXT: [[ADD:%.*]] = shl i16 [[X:%.*]], 2159; CHECK-NEXT: [[CMP:%.*]] = icmp ult i16 [[ADD]], [[X]]160; CHECK-NEXT: ret i1 [[CMP]]161;162 %add = shl i16 %x, 2163 %cmp = icmp ult i16 %add, %x164 ret i1 %cmp165}166 167define i1 @negative_test_compare_with_different_value(i16 %x, i16 %y) {168; CHECK-LABEL: @negative_test_compare_with_different_value(169; CHECK-NEXT: [[ADD:%.*]] = shl i16 [[X:%.*]], 1170; CHECK-NEXT: [[CMP:%.*]] = icmp ult i16 [[ADD]], [[Y:%.*]]171; CHECK-NEXT: ret i1 [[CMP]]172;173 %add = shl i16 %x, 1174 %cmp = icmp ult i16 %add, %y175 ret i1 %cmp176}177