617 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"4 5declare void @use(i32)6declare void @use16(i16)7declare void @use1(i1)8 9define i8 @testi16i8(i16 %add) {10; CHECK-LABEL: @testi16i8(11; CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.smax.i16(i16 [[ADD:%.*]], i16 -128)12; CHECK-NEXT: [[TMP2:%.*]] = call i16 @llvm.smin.i16(i16 [[TMP1]], i16 127)13; CHECK-NEXT: [[COND_I:%.*]] = trunc nsw i16 [[TMP2]] to i814; CHECK-NEXT: ret i8 [[COND_I]]15;16 %sh = lshr i16 %add, 817 %conv.i = trunc i16 %sh to i818 %conv1.i = trunc i16 %add to i819 %shr2.i = ashr i8 %conv1.i, 720 %cmp.not.i = icmp eq i8 %shr2.i, %conv.i21 %shr4.i = ashr i16 %add, 1522 %conv5.i = trunc i16 %shr4.i to i823 %xor.i = xor i8 %conv5.i, 12724 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i25 ret i8 %cond.i26}27 28define i32 @testi64i32(i64 %add) {29; CHECK-LABEL: @testi64i32(30; CHECK-NEXT: [[TMP1:%.*]] = call i64 @llvm.smax.i64(i64 [[ADD:%.*]], i64 -2147483648)31; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.smin.i64(i64 [[TMP1]], i64 2147483647)32; CHECK-NEXT: [[COND_I:%.*]] = trunc nsw i64 [[TMP2]] to i3233; CHECK-NEXT: ret i32 [[COND_I]]34;35 %sh = lshr i64 %add, 3236 %conv.i = trunc i64 %sh to i3237 %conv1.i = trunc i64 %add to i3238 %shr2.i = ashr i32 %conv1.i, 3139 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i40 %shr4.i = ashr i64 %add, 6341 %conv5.i = trunc i64 %shr4.i to i3242 %xor.i = xor i32 %conv5.i, 214748364743 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i44 ret i32 %cond.i45}46 47define i16 @testi32i16i8(i32 %add) {48; CHECK-LABEL: @testi32i16i8(49; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.smax.i32(i32 [[ADD:%.*]], i32 -128)50; CHECK-NEXT: [[TMP2:%.*]] = call i32 @llvm.smin.i32(i32 [[TMP1]], i32 127)51; CHECK-NEXT: [[R:%.*]] = trunc nsw i32 [[TMP2]] to i1652; CHECK-NEXT: ret i16 [[R]]53;54 %a = add i32 %add, 12855 %cmp = icmp ult i32 %a, 25656 %t = trunc i32 %add to i1657 %c = icmp sgt i32 %add, -158 %f = select i1 %c, i16 127, i16 -12859 %r = select i1 %cmp, i16 %t, i16 %f60 ret i16 %r61}62 63define <4 x i16> @testv4i32i16i8(<4 x i32> %add) {64; CHECK-LABEL: @testv4i32i16i8(65; CHECK-NEXT: [[TMP1:%.*]] = call <4 x i32> @llvm.smax.v4i32(<4 x i32> [[ADD:%.*]], <4 x i32> splat (i32 -128))66; CHECK-NEXT: [[TMP2:%.*]] = call <4 x i32> @llvm.smin.v4i32(<4 x i32> [[TMP1]], <4 x i32> splat (i32 127))67; CHECK-NEXT: [[R:%.*]] = trunc nsw <4 x i32> [[TMP2]] to <4 x i16>68; CHECK-NEXT: ret <4 x i16> [[R]]69;70 %a = add <4 x i32> %add, <i32 128, i32 128, i32 128, i32 128>71 %cmp = icmp ult <4 x i32> %a, <i32 256, i32 256, i32 256, i32 256>72 %t = trunc <4 x i32> %add to <4 x i16>73 %c = icmp sgt <4 x i32> %add, <i32 -1, i32 -1, i32 -1, i32 -1>74 %f = select <4 x i1> %c, <4 x i16> <i16 127, i16 127, i16 127, i16 127>, <4 x i16> <i16 -128, i16 -128, i16 -128, i16 -128>75 %r = select <4 x i1> %cmp, <4 x i16> %t, <4 x i16> %f76 ret <4 x i16> %r77}78 79define i32 @testi32i32i8(i32 %add) {80; CHECK-LABEL: @testi32i32i8(81; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.smax.i32(i32 [[ADD:%.*]], i32 -128)82; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.smin.i32(i32 [[TMP1]], i32 127)83; CHECK-NEXT: ret i32 [[R]]84;85 %a = add i32 %add, 12886 %cmp = icmp ult i32 %a, 25687 %c = icmp sgt i32 %add, -188 %f = select i1 %c, i32 127, i32 -12889 %r = select i1 %cmp, i32 %add, i32 %f90 ret i32 %r91}92 93define i16 @test_truncfirst(i32 %add) {94; CHECK-LABEL: @test_truncfirst(95; CHECK-NEXT: [[T:%.*]] = trunc i32 [[ADD:%.*]] to i1696; CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.smax.i16(i16 [[T]], i16 -128)97; CHECK-NEXT: [[R:%.*]] = call i16 @llvm.smin.i16(i16 [[TMP1]], i16 127)98; CHECK-NEXT: ret i16 [[R]]99;100 %t = trunc i32 %add to i16101 %a = add i16 %t, 128102 %cmp = icmp ult i16 %a, 256103 %c = icmp sgt i16 %t, -1104 %f = select i1 %c, i16 127, i16 -128105 %r = select i1 %cmp, i16 %t, i16 %f106 ret i16 %r107}108 109define i16 @testtrunclowhigh(i32 %add, i16 %low, i16 %high) {110; CHECK-LABEL: @testtrunclowhigh(111; CHECK-NEXT: [[A:%.*]] = add i32 [[ADD:%.*]], 128112; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[A]], 256113; CHECK-NEXT: [[T:%.*]] = trunc i32 [[ADD]] to i16114; CHECK-NEXT: [[C1:%.*]] = icmp slt i32 [[ADD]], 0115; CHECK-NEXT: [[F:%.*]] = select i1 [[C1]], i16 [[LOW:%.*]], i16 [[HIGH:%.*]]116; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP]], i16 [[T]], i16 [[F]]117; CHECK-NEXT: ret i16 [[R]]118;119 %a = add i32 %add, 128120 %cmp = icmp ult i32 %a, 256121 %t = trunc i32 %add to i16122 %c = icmp sgt i32 %add, -1123 %f = select i1 %c, i16 %high, i16 %low124 %r = select i1 %cmp, i16 %t, i16 %f125 ret i16 %r126}127 128define i32 @testi64i32addsat(i32 %a, i32 %b) {129; CHECK-LABEL: @testi64i32addsat(130; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[A:%.*]], i32 [[B:%.*]])131; CHECK-NEXT: ret i32 [[TMP1]]132;133 %sa = sext i32 %a to i64134 %sb = sext i32 %b to i64135 %add = add i64 %sa, %sb136 %sh = lshr i64 %add, 32137 %conv.i = trunc i64 %sh to i32138 %conv1.i = trunc i64 %add to i32139 %shr2.i = ashr i32 %conv1.i, 31140 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i141 %shr4.i = ashr i64 %add, 63142 %conv5.i = trunc i64 %shr4.i to i32143 %xor.i = xor i32 %conv5.i, 2147483647144 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i145 ret i32 %cond.i146}147 148define <4 x i8> @testv4i16i8(<4 x i16> %add) {149; CHECK-LABEL: @testv4i16i8(150; CHECK-NEXT: [[TMP1:%.*]] = call <4 x i16> @llvm.smax.v4i16(<4 x i16> [[ADD:%.*]], <4 x i16> splat (i16 -128))151; CHECK-NEXT: [[TMP2:%.*]] = call <4 x i16> @llvm.smin.v4i16(<4 x i16> [[TMP1]], <4 x i16> splat (i16 127))152; CHECK-NEXT: [[COND_I:%.*]] = trunc nsw <4 x i16> [[TMP2]] to <4 x i8>153; CHECK-NEXT: ret <4 x i8> [[COND_I]]154;155 %sh = lshr <4 x i16> %add, <i16 8, i16 8, i16 8, i16 8>156 %conv.i = trunc <4 x i16> %sh to <4 x i8>157 %conv1.i = trunc <4 x i16> %add to <4 x i8>158 %shr2.i = ashr <4 x i8> %conv1.i, <i8 7, i8 7, i8 7, i8 7>159 %cmp.not.i = icmp eq <4 x i8> %shr2.i, %conv.i160 %shr4.i = ashr <4 x i16> %add, <i16 15, i16 15, i16 15, i16 15>161 %conv5.i = trunc <4 x i16> %shr4.i to <4 x i8>162 %xor.i = xor <4 x i8> %conv5.i, <i8 127, i8 127, i8 127, i8 127>163 %cond.i = select <4 x i1> %cmp.not.i, <4 x i8> %conv1.i, <4 x i8> %xor.i164 ret <4 x i8> %cond.i165}166 167define <4 x i8> @testv4i16i8add(<4 x i8> %a, <4 x i8> %b) {168; CHECK-LABEL: @testv4i16i8add(169; CHECK-NEXT: [[TMP1:%.*]] = call <4 x i8> @llvm.sadd.sat.v4i8(<4 x i8> [[A:%.*]], <4 x i8> [[B:%.*]])170; CHECK-NEXT: ret <4 x i8> [[TMP1]]171;172 %sa = sext <4 x i8> %a to <4 x i16>173 %sb = sext <4 x i8> %b to <4 x i16>174 %add = add <4 x i16> %sa, %sb175 %sh = lshr <4 x i16> %add, <i16 8, i16 8, i16 8, i16 8>176 %conv.i = trunc <4 x i16> %sh to <4 x i8>177 %conv1.i = trunc <4 x i16> %add to <4 x i8>178 %shr2.i = ashr <4 x i8> %conv1.i, <i8 7, i8 7, i8 7, i8 7>179 %cmp.not.i = icmp eq <4 x i8> %shr2.i, %conv.i180 %shr4.i = ashr <4 x i16> %add, <i16 15, i16 15, i16 15, i16 15>181 %conv5.i = trunc <4 x i16> %shr4.i to <4 x i8>182 %xor.i = xor <4 x i8> %conv5.i, <i8 127, i8 127, i8 127, i8 127>183 %cond.i = select <4 x i1> %cmp.not.i, <4 x i8> %conv1.i, <4 x i8> %xor.i184 ret <4 x i8> %cond.i185}186 187define i8 @testi16i8_revcmp(i16 %add) {188; CHECK-LABEL: @testi16i8_revcmp(189; CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.smax.i16(i16 [[ADD:%.*]], i16 -128)190; CHECK-NEXT: [[TMP2:%.*]] = call i16 @llvm.smin.i16(i16 [[TMP1]], i16 127)191; CHECK-NEXT: [[COND_I:%.*]] = trunc nsw i16 [[TMP2]] to i8192; CHECK-NEXT: ret i8 [[COND_I]]193;194 %sh = lshr i16 %add, 8195 %conv.i = trunc i16 %sh to i8196 %conv1.i = trunc i16 %add to i8197 %shr2.i = ashr i8 %conv1.i, 7198 %cmp.not.i = icmp eq i8 %conv.i, %shr2.i199 %shr4.i = ashr i16 %add, 15200 %conv5.i = trunc i16 %shr4.i to i8201 %xor.i = xor i8 %conv5.i, 127202 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i203 ret i8 %cond.i204}205 206define i8 @testi16i8_revselect(i16 %add) {207; CHECK-LABEL: @testi16i8_revselect(208; CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.smax.i16(i16 [[ADD:%.*]], i16 -128)209; CHECK-NEXT: [[TMP2:%.*]] = call i16 @llvm.smin.i16(i16 [[TMP1]], i16 127)210; CHECK-NEXT: [[COND_I:%.*]] = trunc nsw i16 [[TMP2]] to i8211; CHECK-NEXT: ret i8 [[COND_I]]212;213 %sh = lshr i16 %add, 8214 %conv.i = trunc i16 %sh to i8215 %conv1.i = trunc i16 %add to i8216 %shr2.i = ashr i8 %conv1.i, 7217 %cmp.not.i = icmp ne i8 %conv.i, %shr2.i218 %shr4.i = ashr i16 %add, 15219 %conv5.i = trunc i16 %shr4.i to i8220 %xor.i = xor i8 %conv5.i, 127221 %cond.i = select i1 %cmp.not.i, i8 %xor.i, i8 %conv1.i222 ret i8 %cond.i223}224 225define i8 @testi32i8(i32 %add) {226; CHECK-LABEL: @testi32i8(227; CHECK-NEXT: [[SH:%.*]] = lshr i32 [[ADD:%.*]], 8228; CHECK-NEXT: [[CONV_I:%.*]] = trunc i32 [[SH]] to i8229; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i32 [[ADD]] to i8230; CHECK-NEXT: [[SHR2_I:%.*]] = ashr i8 [[CONV1_I]], 7231; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp eq i8 [[SHR2_I]], [[CONV_I]]232; CHECK-NEXT: [[TMP1:%.*]] = lshr i32 [[ADD]], 15233; CHECK-NEXT: [[CONV5_I:%.*]] = trunc i32 [[TMP1]] to i8234; CHECK-NEXT: [[XOR_I:%.*]] = xor i8 [[CONV5_I]], 127235; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i8 [[CONV1_I]], i8 [[XOR_I]]236; CHECK-NEXT: ret i8 [[COND_I]]237;238 %sh = lshr i32 %add, 8239 %conv.i = trunc i32 %sh to i8240 %conv1.i = trunc i32 %add to i8241 %shr2.i = ashr i8 %conv1.i, 7242 %cmp.not.i = icmp eq i8 %shr2.i, %conv.i243 %shr4.i = ashr i32 %add, 15244 %conv5.i = trunc i32 %shr4.i to i8245 %xor.i = xor i8 %conv5.i, 127246 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i247 ret i8 %cond.i248}249 250define i16 @differentconsts(i32 %x, i16 %replacement_low, i16 %replacement_high) {251; CHECK-LABEL: @differentconsts(252; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X:%.*]], -16253; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[X]], 127254; CHECK-NEXT: [[TMP3:%.*]] = trunc i32 [[X]] to i16255; CHECK-NEXT: [[TMP4:%.*]] = select i1 [[TMP1]], i16 256, i16 [[TMP3]]256; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP2]], i16 -1, i16 [[TMP4]]257; CHECK-NEXT: ret i16 [[R]]258;259 %t0 = icmp slt i32 %x, 128260 %t1 = select i1 %t0, i16 256, i16 65535261 %t2 = add i32 %x, 16262 %t3 = icmp ult i32 %t2, 144263 %t4 = trunc i32 %x to i16264 %r = select i1 %t3, i16 %t4, i16 %t1265 ret i16 %r266}267 268define i8 @badimm1(i16 %add) {269; CHECK-LABEL: @badimm1(270; CHECK-NEXT: [[SH:%.*]] = lshr i16 [[ADD:%.*]], 9271; CHECK-NEXT: [[CONV_I:%.*]] = trunc nuw nsw i16 [[SH]] to i8272; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i16 [[ADD]] to i8273; CHECK-NEXT: [[SHR2_I:%.*]] = ashr i8 [[CONV1_I]], 7274; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp eq i8 [[SHR2_I]], [[CONV_I]]275; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i16 [[ADD]], -1276; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP1]], i8 127, i8 -128277; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i8 [[CONV1_I]], i8 [[XOR_I]]278; CHECK-NEXT: ret i8 [[COND_I]]279;280 %sh = lshr i16 %add, 9281 %conv.i = trunc i16 %sh to i8282 %conv1.i = trunc i16 %add to i8283 %shr2.i = ashr i8 %conv1.i, 7284 %cmp.not.i = icmp eq i8 %shr2.i, %conv.i285 %shr4.i = ashr i16 %add, 15286 %conv5.i = trunc i16 %shr4.i to i8287 %xor.i = xor i8 %conv5.i, 127288 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i289 ret i8 %cond.i290}291 292define i8 @badimm2(i16 %add) {293; CHECK-LABEL: @badimm2(294; CHECK-NEXT: [[SH:%.*]] = lshr i16 [[ADD:%.*]], 8295; CHECK-NEXT: [[CONV_I:%.*]] = trunc nuw i16 [[SH]] to i8296; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i16 [[ADD]] to i8297; CHECK-NEXT: [[SHR2_I:%.*]] = ashr i8 [[CONV1_I]], 6298; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp eq i8 [[SHR2_I]], [[CONV_I]]299; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i16 [[ADD]], -1300; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP1]], i8 127, i8 -128301; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i8 [[CONV1_I]], i8 [[XOR_I]]302; CHECK-NEXT: ret i8 [[COND_I]]303;304 %sh = lshr i16 %add, 8305 %conv.i = trunc i16 %sh to i8306 %conv1.i = trunc i16 %add to i8307 %shr2.i = ashr i8 %conv1.i, 6308 %cmp.not.i = icmp eq i8 %shr2.i, %conv.i309 %shr4.i = ashr i16 %add, 15310 %conv5.i = trunc i16 %shr4.i to i8311 %xor.i = xor i8 %conv5.i, 127312 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i313 ret i8 %cond.i314}315 316define i8 @badimm3(i16 %add) {317; CHECK-LABEL: @badimm3(318; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i16 [[ADD:%.*]] to i8319; CHECK-NEXT: [[TMP1:%.*]] = add i16 [[ADD]], 128320; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i16 [[TMP1]], 256321; CHECK-NEXT: [[SHR4_I:%.*]] = ashr i16 [[ADD]], 14322; CHECK-NEXT: [[CONV5_I:%.*]] = trunc nsw i16 [[SHR4_I]] to i8323; CHECK-NEXT: [[XOR_I:%.*]] = xor i8 [[CONV5_I]], 127324; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i8 [[CONV1_I]], i8 [[XOR_I]]325; CHECK-NEXT: ret i8 [[COND_I]]326;327 %sh = lshr i16 %add, 8328 %conv.i = trunc i16 %sh to i8329 %conv1.i = trunc i16 %add to i8330 %shr2.i = ashr i8 %conv1.i, 7331 %cmp.not.i = icmp eq i8 %shr2.i, %conv.i332 %shr4.i = ashr i16 %add, 14333 %conv5.i = trunc i16 %shr4.i to i8334 %xor.i = xor i8 %conv5.i, 127335 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i336 ret i8 %cond.i337}338 339define i8 @badimm4(i16 %add) {340; CHECK-LABEL: @badimm4(341; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i16 [[ADD:%.*]], -128342; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i16 [[ADD]], 127343; CHECK-NEXT: [[TMP3:%.*]] = trunc i16 [[ADD]] to i8344; CHECK-NEXT: [[TMP4:%.*]] = select i1 [[TMP1]], i8 -127, i8 [[TMP3]]345; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[TMP2]], i8 126, i8 [[TMP4]]346; CHECK-NEXT: ret i8 [[COND_I]]347;348 %sh = lshr i16 %add, 8349 %conv.i = trunc i16 %sh to i8350 %conv1.i = trunc i16 %add to i8351 %shr2.i = ashr i8 %conv1.i, 7352 %cmp.not.i = icmp eq i8 %shr2.i, %conv.i353 %shr4.i = ashr i16 %add, 15354 %conv5.i = trunc i16 %shr4.i to i8355 %xor.i = xor i8 %conv5.i, 126356 %cond.i = select i1 %cmp.not.i, i8 %conv1.i, i8 %xor.i357 ret i8 %cond.i358}359 360; One use checks361 362define i32 @oneusexor(i64 %add) {363; CHECK-LABEL: @oneusexor(364; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i64 [[ADD:%.*]] to i32365; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[ADD]], 2147483648366; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i64 [[TMP1]], 4294967296367; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i64 [[ADD]], -1368; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP2]], i32 2147483647, i32 -2147483648369; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i32 [[CONV1_I]], i32 [[XOR_I]]370; CHECK-NEXT: call void @use(i32 [[XOR_I]])371; CHECK-NEXT: ret i32 [[COND_I]]372;373 %sh = lshr i64 %add, 32374 %conv.i = trunc i64 %sh to i32375 %conv1.i = trunc i64 %add to i32376 %shr2.i = ashr i32 %conv1.i, 31377 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i378 %shr4.i = ashr i64 %add, 63379 %conv5.i = trunc i64 %shr4.i to i32380 %xor.i = xor i32 %conv5.i, 2147483647381 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i382 call void @use(i32 %xor.i)383 ret i32 %cond.i384}385 386define i32 @oneuseconv(i64 %add) {387; CHECK-LABEL: @oneuseconv(388; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i64 [[ADD:%.*]] to i32389; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[ADD]], 2147483648390; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i64 [[TMP1]], 4294967296391; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i64 [[ADD]], -1392; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP2]], i32 2147483647, i32 -2147483648393; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i32 [[CONV1_I]], i32 [[XOR_I]]394; CHECK-NEXT: call void @use(i32 [[CONV1_I]])395; CHECK-NEXT: ret i32 [[COND_I]]396;397 %sh = lshr i64 %add, 32398 %conv.i = trunc i64 %sh to i32399 %conv1.i = trunc i64 %add to i32400 %shr2.i = ashr i32 %conv1.i, 31401 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i402 %shr4.i = ashr i64 %add, 63403 %conv5.i = trunc i64 %shr4.i to i32404 %xor.i = xor i32 %conv5.i, 2147483647405 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i406 call void @use(i32 %conv1.i)407 ret i32 %cond.i408}409 410define i32 @oneusecmp(i64 %add) {411; CHECK-LABEL: @oneusecmp(412; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i64 [[ADD:%.*]] to i32413; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[ADD]], 2147483648414; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i64 [[TMP1]], 4294967296415; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i64 [[ADD]], -1416; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP2]], i32 2147483647, i32 -2147483648417; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i32 [[CONV1_I]], i32 [[XOR_I]]418; CHECK-NEXT: call void @use1(i1 [[CMP_NOT_I]])419; CHECK-NEXT: ret i32 [[COND_I]]420;421 %sh = lshr i64 %add, 32422 %conv.i = trunc i64 %sh to i32423 %conv1.i = trunc i64 %add to i32424 %shr2.i = ashr i32 %conv1.i, 31425 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i426 %shr4.i = ashr i64 %add, 63427 %conv5.i = trunc i64 %shr4.i to i32428 %xor.i = xor i32 %conv5.i, 2147483647429 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i430 call void @use1(i1 %cmp.not.i)431 ret i32 %cond.i432}433 434define i32 @oneuseboth(i64 %add) {435; CHECK-LABEL: @oneuseboth(436; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i64 [[ADD:%.*]] to i32437; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[ADD]], 2147483648438; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i64 [[TMP1]], 4294967296439; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i64 [[ADD]], -1440; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP2]], i32 2147483647, i32 -2147483648441; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i32 [[CONV1_I]], i32 [[XOR_I]]442; CHECK-NEXT: call void @use(i32 [[XOR_I]])443; CHECK-NEXT: call void @use(i32 [[CONV1_I]])444; CHECK-NEXT: ret i32 [[COND_I]]445;446 %sh = lshr i64 %add, 32447 %conv.i = trunc i64 %sh to i32448 %conv1.i = trunc i64 %add to i32449 %shr2.i = ashr i32 %conv1.i, 31450 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i451 %shr4.i = ashr i64 %add, 63452 %conv5.i = trunc i64 %shr4.i to i32453 %xor.i = xor i32 %conv5.i, 2147483647454 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i455 call void @use(i32 %xor.i)456 call void @use(i32 %conv1.i)457 ret i32 %cond.i458}459 460define i32 @oneusethree(i64 %add) {461; CHECK-LABEL: @oneusethree(462; CHECK-NEXT: [[CONV1_I:%.*]] = trunc i64 [[ADD:%.*]] to i32463; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[ADD]], 2147483648464; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i64 [[TMP1]], 4294967296465; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i64 [[ADD]], -1466; CHECK-NEXT: [[XOR_I:%.*]] = select i1 [[TMP2]], i32 2147483647, i32 -2147483648467; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_NOT_I]], i32 [[CONV1_I]], i32 [[XOR_I]]468; CHECK-NEXT: call void @use(i32 [[XOR_I]])469; CHECK-NEXT: call void @use(i32 [[CONV1_I]])470; CHECK-NEXT: call void @use1(i1 [[CMP_NOT_I]])471; CHECK-NEXT: ret i32 [[COND_I]]472;473 %sh = lshr i64 %add, 32474 %conv.i = trunc i64 %sh to i32475 %conv1.i = trunc i64 %add to i32476 %shr2.i = ashr i32 %conv1.i, 31477 %cmp.not.i = icmp eq i32 %shr2.i, %conv.i478 %shr4.i = ashr i64 %add, 63479 %conv5.i = trunc i64 %shr4.i to i32480 %xor.i = xor i32 %conv5.i, 2147483647481 %cond.i = select i1 %cmp.not.i, i32 %conv1.i, i32 %xor.i482 call void @use(i32 %xor.i)483 call void @use(i32 %conv1.i)484 call void @use1(i1 %cmp.not.i)485 ret i32 %cond.i486}487 488define i16 @differentconsts_usetrunc(i32 %x, i16 %replacement_low, i16 %replacement_high) {489; CHECK-LABEL: @differentconsts_usetrunc(490; CHECK-NEXT: [[T0:%.*]] = icmp slt i32 [[X:%.*]], 128491; CHECK-NEXT: [[T1:%.*]] = select i1 [[T0]], i16 256, i16 -1492; CHECK-NEXT: [[T2:%.*]] = add i32 [[X]], 16493; CHECK-NEXT: [[T3:%.*]] = icmp ult i32 [[T2]], 144494; CHECK-NEXT: [[T4:%.*]] = trunc i32 [[X]] to i16495; CHECK-NEXT: [[R:%.*]] = select i1 [[T3]], i16 [[T4]], i16 [[T1]]496; CHECK-NEXT: call void @use16(i16 [[T4]])497; CHECK-NEXT: ret i16 [[R]]498;499 %t0 = icmp slt i32 %x, 128500 %t1 = select i1 %t0, i16 256, i16 65535501 %t2 = add i32 %x, 16502 %t3 = icmp ult i32 %t2, 144503 %t4 = trunc i32 %x to i16504 %r = select i1 %t3, i16 %t4, i16 %t1505 call void @use16(i16 %t4)506 ret i16 %r507}508 509define i16 @differentconsts_useadd(i32 %x, i16 %replacement_low, i16 %replacement_high) {510; CHECK-LABEL: @differentconsts_useadd(511; CHECK-NEXT: [[T2:%.*]] = add i32 [[X:%.*]], 16512; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[X]], -16513; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[X]], 127514; CHECK-NEXT: [[TMP3:%.*]] = trunc i32 [[X]] to i16515; CHECK-NEXT: [[TMP4:%.*]] = select i1 [[TMP1]], i16 256, i16 [[TMP3]]516; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP2]], i16 -1, i16 [[TMP4]]517; CHECK-NEXT: call void @use(i32 [[T2]])518; CHECK-NEXT: ret i16 [[R]]519;520 %t0 = icmp slt i32 %x, 128521 %t1 = select i1 %t0, i16 256, i16 65535522 %t2 = add i32 %x, 16523 %t3 = icmp ult i32 %t2, 144524 %t4 = trunc i32 %x to i16525 %r = select i1 %t3, i16 %t4, i16 %t1526 call void @use(i32 %t2)527 ret i16 %r528}529 530define i16 @differentconsts_useaddtrunc(i32 %x, i16 %replacement_low, i16 %replacement_high) {531; CHECK-LABEL: @differentconsts_useaddtrunc(532; CHECK-NEXT: [[T0:%.*]] = icmp slt i32 [[X:%.*]], 128533; CHECK-NEXT: [[T1:%.*]] = select i1 [[T0]], i16 256, i16 -1534; CHECK-NEXT: [[T2:%.*]] = add i32 [[X]], 16535; CHECK-NEXT: [[T3:%.*]] = icmp ult i32 [[T2]], 144536; CHECK-NEXT: [[T4:%.*]] = trunc i32 [[X]] to i16537; CHECK-NEXT: [[R:%.*]] = select i1 [[T3]], i16 [[T4]], i16 [[T1]]538; CHECK-NEXT: call void @use16(i16 [[T4]])539; CHECK-NEXT: call void @use(i32 [[T2]])540; CHECK-NEXT: ret i16 [[R]]541;542 %t0 = icmp slt i32 %x, 128543 %t1 = select i1 %t0, i16 256, i16 65535544 %t2 = add i32 %x, 16545 %t3 = icmp ult i32 %t2, 144546 %t4 = trunc i32 %x to i16547 %r = select i1 %t3, i16 %t4, i16 %t1548 call void @use16(i16 %t4)549 call void @use(i32 %t2)550 ret i16 %r551}552 553 554define i8 @C0zero(i8 %X, i8 %y, i8 %z) {555; CHECK-LABEL: @C0zero(556; CHECK-NEXT: [[C:%.*]] = icmp slt i8 [[X:%.*]], -10557; CHECK-NEXT: [[F:%.*]] = select i1 [[C]], i8 [[Y:%.*]], i8 [[Z:%.*]]558; CHECK-NEXT: ret i8 [[F]]559;560 %a = add i8 %X, 10561 %cmp = icmp ult i8 %a, 0562 %c = icmp slt i8 %X, -10563 %f = select i1 %c, i8 %y, i8 %z564 %r = select i1 %cmp, i8 %X, i8 %f565 ret i8 %r566}567 568define <2 x i8> @C0zeroV(<2 x i8> %X, <2 x i8> %y, <2 x i8> %z) {569; CHECK-LABEL: @C0zeroV(570; CHECK-NEXT: [[C:%.*]] = icmp slt <2 x i8> [[X:%.*]], splat (i8 -10)571; CHECK-NEXT: [[F:%.*]] = select <2 x i1> [[C]], <2 x i8> [[Y:%.*]], <2 x i8> [[Z:%.*]]572; CHECK-NEXT: ret <2 x i8> [[F]]573;574 %a = add <2 x i8> %X, <i8 10, i8 10>575 %cmp = icmp ult <2 x i8> %a, zeroinitializer576 %c = icmp slt <2 x i8> %X, <i8 -10, i8 -10>577 %f = select <2 x i1> %c, <2 x i8> %y, <2 x i8> %z578 %r = select <2 x i1> %cmp, <2 x i8> %X, <2 x i8> %f579 ret <2 x i8> %r580}581 582define <2 x i8> @C0zeroVu(<2 x i8> %X, <2 x i8> %y, <2 x i8> %z) {583; CHECK-LABEL: @C0zeroVu(584; CHECK-NEXT: [[A:%.*]] = add <2 x i8> [[X:%.*]], splat (i8 10)585; CHECK-NEXT: [[CMP:%.*]] = icmp ult <2 x i8> [[A]], <i8 0, i8 10>586; CHECK-NEXT: [[C:%.*]] = icmp slt <2 x i8> [[X]], splat (i8 -10)587; CHECK-NEXT: [[F:%.*]] = select <2 x i1> [[C]], <2 x i8> [[Y:%.*]], <2 x i8> [[Z:%.*]]588; CHECK-NEXT: [[R:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[X]], <2 x i8> [[F]]589; CHECK-NEXT: ret <2 x i8> [[R]]590;591 %a = add <2 x i8> %X, <i8 10, i8 10>592 %cmp = icmp ult <2 x i8> %a, <i8 0, i8 10>593 %c = icmp slt <2 x i8> %X, <i8 -10, i8 -10>594 %f = select <2 x i1> %c, <2 x i8> %y, <2 x i8> %z595 %r = select <2 x i1> %cmp, <2 x i8> %X, <2 x i8> %f596 ret <2 x i8> %r597}598 599define i8 @f(i32 %value, i8 %call.i) {600; CHECK-LABEL: @f(601; CHECK-NEXT: entry:602; CHECK-NEXT: [[CMP_I:%.*]] = icmp slt i32 [[VALUE:%.*]], 0603; CHECK-NEXT: [[COND_I:%.*]] = select i1 [[CMP_I]], i8 [[CALL_I:%.*]], i8 0604; CHECK-NEXT: [[CMP_I_I:%.*]] = icmp ult i32 [[VALUE]], 256605; CHECK-NEXT: [[CONV4:%.*]] = trunc i32 [[VALUE]] to i8606; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP_I_I]], i8 [[CONV4]], i8 [[COND_I]]607; CHECK-NEXT: ret i8 [[COND]]608;609entry:610 %cmp.i = icmp slt i32 %value, 0611 %cond.i = select i1 %cmp.i, i8 %call.i, i8 0612 %cmp.i.i = icmp ult i32 %value, 256613 %conv4 = trunc i32 %value to i8614 %cond = select i1 %cmp.i.i, i8 %conv4, i8 %cond.i615 ret i8 %cond616}617