95 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine %s -S -o - | FileCheck %s3 4; Scalar Types5 6define i32 @neg_or_lshr_i32(i32 %x) {7; CHECK-LABEL: @neg_or_lshr_i32(8; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i32 [[X:%.*]], 09; CHECK-NEXT: [[SHR:%.*]] = zext i1 [[TMP1]] to i3210; CHECK-NEXT: ret i32 [[SHR]]11;12 %neg = sub i32 0, %x13 %or = or i32 %neg, %x14 %shr = lshr i32 %or, 3115 ret i32 %shr16}17 18; Commute19 20define i32 @neg_or_lshr_i32_commute(i32 %x0) {21; CHECK-LABEL: @neg_or_lshr_i32_commute(22; CHECK-NEXT: [[X:%.*]] = sdiv i32 42, [[X0:%.*]]23; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i32 [[X]], 024; CHECK-NEXT: [[SHR:%.*]] = zext i1 [[TMP1]] to i3225; CHECK-NEXT: ret i32 [[SHR]]26;27 %x = sdiv i32 42, %x0 ; thwart complexity-based canonicalization28 %neg = sub i32 0, %x29 %or = or i32 %x, %neg30 %shr = lshr i32 %or, 3131 ret i32 %shr32}33 34; Vector Types35 36define <4 x i32> @neg_or_lshr_i32_vec(<4 x i32> %x) {37; CHECK-LABEL: @neg_or_lshr_i32_vec(38; CHECK-NEXT: [[TMP1:%.*]] = icmp ne <4 x i32> [[X:%.*]], zeroinitializer39; CHECK-NEXT: [[SHR:%.*]] = zext <4 x i1> [[TMP1]] to <4 x i32>40; CHECK-NEXT: ret <4 x i32> [[SHR]]41;42 %neg = sub <4 x i32> zeroinitializer, %x43 %or = or <4 x i32> %neg, %x44 %shr = lshr <4 x i32> %or, <i32 31, i32 31, i32 31, i32 31>45 ret <4 x i32> %shr46}47 48define <4 x i32> @neg_or_lshr_i32_vec_commute(<4 x i32> %x0) {49; CHECK-LABEL: @neg_or_lshr_i32_vec_commute(50; CHECK-NEXT: [[X:%.*]] = sdiv <4 x i32> splat (i32 42), [[X0:%.*]]51; CHECK-NEXT: [[TMP1:%.*]] = icmp ne <4 x i32> [[X]], zeroinitializer52; CHECK-NEXT: [[SHR:%.*]] = zext <4 x i1> [[TMP1]] to <4 x i32>53; CHECK-NEXT: ret <4 x i32> [[SHR]]54;55 %x = sdiv <4 x i32> <i32 42, i32 42, i32 42, i32 42>, %x0 ; thwart complexity-based canonicalization56 %neg = sub <4 x i32> zeroinitializer, %x57 %or = or <4 x i32> %x, %neg58 %shr = lshr <4 x i32> %or, <i32 31, i32 31, i32 31, i32 31>59 ret <4 x i32> %shr60}61 62; Extra uses63 64define i32 @neg_extra_use_or_lshr_i32(i32 %x, ptr %p) {65; CHECK-LABEL: @neg_extra_use_or_lshr_i32(66; CHECK-NEXT: [[NEG:%.*]] = sub i32 0, [[X:%.*]]67; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i32 [[X]], 068; CHECK-NEXT: [[SHR:%.*]] = zext i1 [[TMP1]] to i3269; CHECK-NEXT: store i32 [[NEG]], ptr [[P:%.*]], align 470; CHECK-NEXT: ret i32 [[SHR]]71;72 %neg = sub i32 0, %x73 %or = or i32 %neg, %x74 %shr = lshr i32 %or, 3175 store i32 %neg, ptr %p76 ret i32 %shr77}78 79; Negative Tests80 81define i32 @neg_or_extra_use_lshr_i32(i32 %x, ptr %p) {82; CHECK-LABEL: @neg_or_extra_use_lshr_i32(83; CHECK-NEXT: [[NEG:%.*]] = sub i32 0, [[X:%.*]]84; CHECK-NEXT: [[OR:%.*]] = or i32 [[X]], [[NEG]]85; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[OR]], 3186; CHECK-NEXT: store i32 [[OR]], ptr [[P:%.*]], align 487; CHECK-NEXT: ret i32 [[SHR]]88;89 %neg = sub i32 0, %x90 %or = or i32 %neg, %x91 %shr = lshr i32 %or, 3192 store i32 %or, ptr %p93 ret i32 %shr94}95