139 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare void @use(i8)5declare void @use_i1(i1)6declare void @use_i1_vec(<2 x i1>)7 8; (X & -X) < 0 --> X == MinSignC9; (X & X) > -1 --> X != MinSignC10 11define i1 @pow2_or_zero_is_negative(i8 %x) {12; CHECK-LABEL: @pow2_or_zero_is_negative(13; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], -12814; CHECK-NEXT: [[CMP_2:%.*]] = icmp eq i8 [[X]], -12815; CHECK-NEXT: call void @use_i1(i1 [[CMP_2]])16; CHECK-NEXT: ret i1 [[CMP]]17;18 %neg = sub i8 0, %x19 %pow2_or_zero = and i8 %x, %neg20 %cmp = icmp slt i8 %pow2_or_zero, 021 %cmp.2 = icmp ugt i8 %pow2_or_zero, 12722 call void @use_i1(i1 %cmp.2)23 ret i1 %cmp24}25 26define i1 @pow2_or_zero_is_negative_commute(i8 %A) {27; CHECK-LABEL: @pow2_or_zero_is_negative_commute(28; CHECK-NEXT: [[X:%.*]] = mul i8 [[A:%.*]], 4229; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X]], -12830; CHECK-NEXT: ret i1 [[CMP]]31;32 %x = mul i8 42, %A ; thwart complexity-based canonicalization33 %neg = sub i8 0, %x34 %pow2_or_zero = and i8 %neg, %x35 %cmp = icmp slt i8 %pow2_or_zero, 036 ret i1 %cmp37}38 39define <2 x i1> @pow2_or_zero_is_negative_vec(<2 x i8> %x) {40; CHECK-LABEL: @pow2_or_zero_is_negative_vec(41; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i8> [[X:%.*]], splat (i8 -128)42; CHECK-NEXT: [[CMP_2:%.*]] = icmp eq <2 x i8> [[X]], splat (i8 -128)43; CHECK-NEXT: call void @use_i1_vec(<2 x i1> [[CMP_2]])44; CHECK-NEXT: ret <2 x i1> [[CMP]]45;46 %neg = sub <2 x i8> <i8 0, i8 0>, %x47 %pow2_or_zero = and <2 x i8> %x, %neg48 %cmp = icmp slt <2 x i8> %pow2_or_zero, <i8 0, i8 0>49 %cmp.2 = icmp ugt <2 x i8> %pow2_or_zero, <i8 127, i8 127>50 call void @use_i1_vec(<2 x i1> %cmp.2)51 ret <2 x i1> %cmp52}53 54define <2 x i1> @pow2_or_zero_is_negative_vec_commute(<2 x i8> %A) {55; CHECK-LABEL: @pow2_or_zero_is_negative_vec_commute(56; CHECK-NEXT: [[X:%.*]] = mul <2 x i8> [[A:%.*]], splat (i8 42)57; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i8> [[X]], splat (i8 -128)58; CHECK-NEXT: ret <2 x i1> [[CMP]]59;60 %x = mul <2 x i8> <i8 42, i8 42>, %A ; thwart complexity-based canonicalization61 %neg = sub <2 x i8> <i8 0, i8 0>, %x62 %pow2_or_zero = and <2 x i8> %neg, %x63 %cmp = icmp slt <2 x i8> %pow2_or_zero, <i8 0, i8 0>64 ret <2 x i1> %cmp65}66 67define i1 @pow2_or_zero_is_not_negative(i8 %x) {68; CHECK-LABEL: @pow2_or_zero_is_not_negative(69; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], -12870; CHECK-NEXT: [[CMP_2:%.*]] = icmp ne i8 [[X]], -12871; CHECK-NEXT: call void @use_i1(i1 [[CMP_2]])72; CHECK-NEXT: ret i1 [[CMP]]73;74 %neg = sub i8 0, %x75 %pow2_or_zero = and i8 %x, %neg76 %cmp = icmp sgt i8 %pow2_or_zero, -177 %cmp.2 = icmp ult i8 %pow2_or_zero, -12878 call void @use_i1(i1 %cmp.2)79 ret i1 %cmp80}81 82define i1 @pow2_or_zero_is_not_negative_commute(i8 %A) {83; CHECK-LABEL: @pow2_or_zero_is_not_negative_commute(84; CHECK-NEXT: [[X:%.*]] = mul i8 [[A:%.*]], 4285; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X]], -12886; CHECK-NEXT: ret i1 [[CMP]]87;88 %x = mul i8 42, %A ; thwart complexity-based canonicalization89 %neg = sub i8 0, %x90 %pow2_or_zero = and i8 %neg, %x91 %cmp = icmp sgt i8 %pow2_or_zero, -192 ret i1 %cmp93}94 95define <2 x i1> @pow2_or_zero_is_not_negative_vec(<2 x i8> %x) {96; CHECK-LABEL: @pow2_or_zero_is_not_negative_vec(97; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i8> [[X:%.*]], splat (i8 -128)98; CHECK-NEXT: [[CMP_2:%.*]] = icmp ne <2 x i8> [[X]], splat (i8 -128)99; CHECK-NEXT: call void @use_i1_vec(<2 x i1> [[CMP_2]])100; CHECK-NEXT: ret <2 x i1> [[CMP]]101;102 %neg = sub <2 x i8> <i8 0, i8 0>, %x103 %pow2_or_zero = and <2 x i8> %x, %neg104 %cmp = icmp sgt <2 x i8> %pow2_or_zero, <i8 -1, i8 -1>105 %cmp.2 = icmp ult <2 x i8> %pow2_or_zero, <i8 -128, i8 -128>106 call void @use_i1_vec(<2 x i1> %cmp.2)107 ret <2 x i1> %cmp108}109 110define <2 x i1> @pow2_or_zero_is_not_negative_vec_commute(<2 x i8> %A) {111; CHECK-LABEL: @pow2_or_zero_is_not_negative_vec_commute(112; CHECK-NEXT: [[X:%.*]] = mul <2 x i8> [[A:%.*]], splat (i8 42)113; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i8> [[X]], splat (i8 -128)114; CHECK-NEXT: ret <2 x i1> [[CMP]]115;116 %x = mul <2 x i8> <i8 42, i8 42>, %A ; thwart complexity-based canonicalization117 %neg = sub <2 x i8> <i8 0, i8 0>, %x118 %pow2_or_zero = and <2 x i8> %neg, %x119 %cmp = icmp sgt <2 x i8> %pow2_or_zero, <i8 -1, i8 -1>120 ret <2 x i1> %cmp121}122 123define i1 @pow2_or_zero_is_negative_extra_use(i8 %x) {124; CHECK-LABEL: @pow2_or_zero_is_negative_extra_use(125; CHECK-NEXT: [[NEG:%.*]] = sub i8 0, [[X:%.*]]126; CHECK-NEXT: call void @use(i8 [[NEG]])127; CHECK-NEXT: [[POW2_OR_ZERO:%.*]] = and i8 [[X]], [[NEG]]128; CHECK-NEXT: call void @use(i8 [[POW2_OR_ZERO]])129; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X]], -128130; CHECK-NEXT: ret i1 [[CMP]]131;132 %neg = sub i8 0, %x133 call void @use(i8 %neg)134 %pow2_or_zero = and i8 %x, %neg135 call void @use(i8 %pow2_or_zero)136 %cmp = icmp slt i8 %pow2_or_zero, 0137 ret i1 %cmp138}139