2 ; RUN: llc -mtriple=i686-- -no-integrated-as < %s -verify-machineinstrs -precompute-phys-liveness
3 ; RUN: llc -mtriple=x86_64-- -no-integrated-as < %s -verify-machineinstrs -precompute-phys-liveness
7 ; Chain and flag folding issues.
8 define i32 @test1() nounwind ssp {
10 %tmp5.i = load volatile i32, ptr undef ; <i32> [#uses=1]
11 %conv.i = zext i32 %tmp5.i to i64 ; <i64> [#uses=1]
12 %tmp12.i = load volatile i32, ptr undef ; <i32> [#uses=1]
13 %conv13.i = zext i32 %tmp12.i to i64 ; <i64> [#uses=1]
14 %shl.i = shl i64 %conv13.i, 32 ; <i64> [#uses=1]
15 %or.i = or i64 %shl.i, %conv.i ; <i64> [#uses=1]
16 %add16.i = add i64 %or.i, 256 ; <i64> [#uses=1]
17 %shr.i = lshr i64 %add16.i, 8 ; <i64> [#uses=1]
18 %conv19.i = trunc i64 %shr.i to i32 ; <i32> [#uses=1]
19 store volatile i32 %conv19.i, ptr undef
24 define void @test2(i1 %x, i32 %y) nounwind {
25 %land.ext = zext i1 %x to i32 ; <i32> [#uses=1]
26 %and = and i32 %y, 1 ; <i32> [#uses=1]
27 %xor = xor i32 %and, %land.ext ; <i32> [#uses=1]
28 %cmp = icmp eq i32 %xor, 1 ; <i1> [#uses=1]
29 br i1 %cmp, label %if.end, label %if.then
31 if.then: ; preds = %land.end
34 if.end: ; preds = %land.end
39 %pair = type { i64, double }
41 define void @test3() {
42 dependentGraph243.exit:
43 %subject19 = load %pair, ptr undef ; <%1> [#uses=1]
44 %0 = extractvalue %pair %subject19, 1 ; <double> [#uses=2]
45 %1 = select i1 undef, double %0, double undef ; <double> [#uses=1]
46 %2 = select i1 undef, double %1, double %0 ; <double> [#uses=1]
47 %3 = insertvalue %pair undef, double %2, 1 ; <%1> [#uses=1]
48 store %pair %3, ptr undef
53 define i64 @test4(ptr %P) nounwind ssp {
55 %tmp1 = load i8, ptr %P ; <i8> [#uses=3]
56 %tobool = icmp eq i8 %tmp1, 0 ; <i1> [#uses=1]
57 %tmp58 = sext i1 %tobool to i8 ; <i8> [#uses=1]
58 %mul.i = and i8 %tmp58, %tmp1 ; <i8> [#uses=1]
59 %conv6 = zext i8 %mul.i to i32 ; <i32> [#uses=1]
60 %cmp = icmp ne i8 %tmp1, 1 ; <i1> [#uses=1]
61 %conv11 = zext i1 %cmp to i32 ; <i32> [#uses=1]
62 %call12 = tail call i32 @safe(i32 %conv11) nounwind ; <i32> [#uses=1]
63 %and = and i32 %conv6, %call12 ; <i32> [#uses=1]
64 %tobool13 = icmp eq i32 %and, 0 ; <i1> [#uses=1]
65 br i1 %tobool13, label %if.else, label %return
67 if.else: ; preds = %entry
70 return: ; preds = %if.else, %entry
74 declare i32 @safe(i32)
77 define fastcc void @test5(i32 %FUNC) nounwind {
79 %0 = load i8, ptr undef, align 1 ; <i8> [#uses=3]
80 %1 = sext i8 %0 to i32 ; <i32> [#uses=2]
81 %2 = zext i8 %0 to i32 ; <i32> [#uses=1]
82 %tmp1.i5037 = urem i32 %2, 10 ; <i32> [#uses=1]
83 %tmp.i5038 = icmp ugt i32 %tmp1.i5037, 15 ; <i1> [#uses=1]
84 %3 = zext i1 %tmp.i5038 to i8 ; <i8> [#uses=1]
85 %4 = icmp slt i8 %0, %3 ; <i1> [#uses=1]
86 %5 = add nsw i32 %1, 256 ; <i32> [#uses=1]
87 %storemerge.i.i57 = select i1 %4, i32 %5, i32 %1 ; <i32> [#uses=1]
88 %6 = shl i32 %storemerge.i.i57, 16 ; <i32> [#uses=1]
89 %7 = sdiv i32 %6, -256 ; <i32> [#uses=1]
90 %8 = trunc i32 %7 to i8 ; <i8> [#uses=1]
91 store i8 %8, ptr undef, align 1
96 ; Crash commoning identical asms.
98 define void @test6(i1 %C) nounwind optsize ssp {
100 br i1 %C, label %do.body55, label %do.body92
102 do.body55: ; preds = %if.else36
103 call void asm sideeffect "foo", "~{dirflag},~{fpsr},~{flags}"() nounwind, !srcloc !0
106 do.body92: ; preds = %if.then66
107 call void asm sideeffect "foo", "~{dirflag},~{fpsr},~{flags}"() nounwind, !srcloc !1
115 ; Crash during XOR optimization.
116 ; <rdar://problem/7869290>
118 define void @test7() nounwind ssp {
120 br i1 undef, label %bb14, label %bb67
123 %tmp0 = trunc i16 undef to i1
124 %tmp1 = load i8, ptr undef, align 8
125 %tmp2 = shl i8 %tmp1, 4
126 %tmp3 = lshr i8 %tmp2, 7
127 %tmp4 = trunc i8 %tmp3 to i1
128 %tmp5 = icmp ne i1 %tmp0, %tmp4
129 br i1 %tmp5, label %bb14, label %bb67
135 ; Crash when trying to copy AH to AL.
137 define void @copy8bitregs() nounwind {
139 %div.i = sdiv i32 115200, 0
140 %shr8.i = lshr i32 %div.i, 8
141 %conv4.i = trunc i32 %shr8.i to i8
142 call void asm sideeffect "outb $0, ${1:w}", "{ax},N{dx},~{dirflag},~{fpsr},~{flags}"(i8 %conv4.i, i32 1017) nounwind
146 ; Crash trying to form conditional increment with fp value.
148 define i32 @test9(double %X) ssp align 2 {
150 %0 = fcmp one double %X, 0.000000e+00
151 %cond = select i1 %0, i32 1, i32 2
156 ; PR8514 - Crash in match address do to "heroics" turning and-of-shift into
158 %struct.S0 = type { i8, [2 x i8], i8 }
160 define void @func_59(i32 %p_63) noreturn nounwind {
164 for.body: ; preds = %for.inc44, %entry
165 %p_63.addr.1 = phi i32 [ %p_63, %entry ], [ 0, %for.inc44 ]
166 %l_74.0 = phi i32 [ 0, %entry ], [ %add46, %for.inc44 ]
167 br i1 undef, label %for.inc44, label %bb.nph81
169 bb.nph81: ; preds = %for.body
170 %tmp98 = add i32 %p_63.addr.1, 0
173 for.body22: ; preds = %for.body22, %bb.nph81
174 %l_75.077 = phi i64 [ %ins, %for.body22 ], [ undef, %bb.nph81 ]
175 %tmp110 = trunc i64 %l_75.077 to i32
176 %tmp111 = and i32 %tmp110, 65535
177 %arrayidx32.0 = getelementptr [9 x [5 x [2 x %struct.S0]]], ptr undef, i32 0, i32 %l_74.0, i32 %tmp98, i32 %tmp111, i32 0
178 store i8 1, ptr %arrayidx32.0, align 4
179 %tmp106 = shl i32 %tmp110, 2
180 %tmp107 = and i32 %tmp106, 262140
181 %scevgep99.sum114 = or i32 %tmp107, 1
182 %arrayidx32.1.1 = getelementptr [9 x [5 x [2 x %struct.S0]]], ptr undef, i32 0, i32 %l_74.0, i32 %tmp98, i32 0, i32 1, i32 %scevgep99.sum114
183 store i8 0, ptr %arrayidx32.1.1, align 1
184 %ins = or i64 undef, undef
187 for.inc44: ; preds = %for.body
188 %add46 = add i32 %l_74.0, 1
193 define void @func_60(i64 %A) nounwind {
195 %0 = zext i64 %A to i160
197 %2 = zext i160 %1 to i576
198 %3 = zext i96 undef to i576
200 store i576 %4, ptr undef, align 8
204 ; <rdar://problem/9187792>
205 define fastcc void @func_61() nounwind sspreq {
207 %t1 = tail call i64 @llvm.objectsize.i64.p0(ptr undef, i1 false)
208 %t2 = icmp eq i64 %t1, -1
209 br i1 %t2, label %bb2, label %bb1
218 declare i64 @llvm.objectsize.i64.p0(ptr, i1) nounwind readnone
221 ; This test has dead code elimination caused by remat during spilling.
222 ; DCE causes a live interval to break into connected components.
223 ; One of the components is spilled.
229 %t12 = type { ptr, ptr, ptr }
230 %t13 = type { ptr, %t15, %t15 }
232 %t15 = type { i8, i32, i32 }
233 %t16 = type { %t17, ptr }
236 %t19 = type { ptr, ptr, ptr }
237 %t20 = type { i32, i32 }
240 define void @_ZNK4llvm17MipsFrameLowering12emitPrologueERNS_15MachineFunctionE() ssp align 2 {
242 %tmp = load ptr, ptr undef, align 4
243 %tmp3 = getelementptr inbounds %t9, ptr %tmp, i32 0, i32 0, i32 0, i32 0, i32 1
246 bb4: ; preds = %bb37, %bb
247 %tmp5 = phi i96 [ undef, %bb ], [ %tmp38, %bb37 ]
248 %tmp6 = phi i96 [ undef, %bb ], [ %tmp39, %bb37 ]
249 br i1 undef, label %bb34, label %bb7
252 %tmp8 = load i32, ptr undef, align 4
253 %tmp9 = and i96 %tmp6, 4294967040
254 %tmp10 = zext i32 %tmp8 to i96
255 %tmp11 = shl nuw nsw i96 %tmp10, 32
256 %tmp12 = or i96 %tmp9, %tmp11
257 %tmp13 = or i96 %tmp12, 1
258 %tmp14 = load i32, ptr undef, align 4
259 %tmp15 = and i96 %tmp5, 4294967040
260 %tmp16 = zext i32 %tmp14 to i96
261 %tmp17 = shl nuw nsw i96 %tmp16, 32
262 %tmp18 = or i96 %tmp15, %tmp17
263 %tmp19 = or i96 %tmp18, 1
264 %tmp20 = load i8, ptr undef, align 1
265 %tmp21 = and i8 %tmp20, 1
266 %tmp22 = icmp ne i8 %tmp21, 0
267 %tmp23 = select i1 %tmp22, i96 %tmp19, i96 %tmp13
268 %tmp24 = select i1 %tmp22, i96 %tmp13, i96 %tmp19
269 store i96 %tmp24, ptr undef, align 4
270 %tmp25 = load ptr, ptr %tmp3, align 4
271 %tmp26 = icmp eq ptr %tmp25, undef
272 br i1 %tmp26, label %bb28, label %bb27
278 call void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(ptr %tmp, ptr byval(%t21) align 4 undef, ptr undef)
281 bb29: ; preds = %bb28, %bb27
282 store i96 %tmp23, ptr undef, align 4
283 %tmp30 = load ptr, ptr %tmp3, align 4
284 br i1 false, label %bb33, label %bb31
286 bb31: ; preds = %bb29
287 %tmp32 = getelementptr inbounds %t13, ptr %tmp30, i32 1
288 store ptr %tmp32, ptr %tmp3, align 4
291 bb33: ; preds = %bb29
295 br i1 undef, label %bb36, label %bb35
297 bb35: ; preds = %bb34
298 store ptr null, ptr %tmp3, align 4
301 bb36: ; preds = %bb34
302 call void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(ptr %tmp, ptr byval(%t21) align 4 undef, ptr undef)
305 bb37: ; preds = %bb36, %bb35, %bb31
306 %tmp38 = phi i96 [ %tmp23, %bb31 ], [ %tmp5, %bb35 ], [ %tmp5, %bb36 ]
307 %tmp39 = phi i96 [ %tmp24, %bb31 ], [ %tmp6, %bb35 ], [ %tmp6, %bb36 ]
308 %tmp40 = add i32 undef, 1
312 declare ptr @_ZN4llvm9MCContext16CreateTempSymbolEv(ptr)
314 declare void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(ptr, ptr byval(%t21) align 4, ptr)
316 declare void @llvm.lifetime.start.p0(i64, ptr nocapture) nounwind
318 declare void @llvm.lifetime.end.p0(i64, ptr nocapture) nounwind
321 ; Spilling a virtual register with <undef> uses.
322 define void @autogen_239_1000() {
324 %Shuff = shufflevector <8 x double> undef, <8 x double> undef, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 8, i32 10, i32 undef, i32 undef>
328 %B16 = frem <8 x double> zeroinitializer, %Shuff
329 %E19 = extractelement <8 x double> %Shuff, i32 5
330 br i1 undef, label %CF, label %CF75
333 br i1 undef, label %CF75, label %CF76
336 store double %E19, ptr undef
337 br i1 undef, label %CF76, label %CF77
340 %B55 = fmul <8 x double> %B16, undef
345 define void @pr10527() nounwind uwtable {
350 %0 = load <2 x i32>, ptr null, align 8
351 %1 = xor <2 x i32> zeroinitializer, %0
352 %2 = and <2 x i32> %1, %6
353 %3 = or <2 x i32> undef, %2
354 %4 = and <2 x i32> %3, undef
355 store <2 x i32> %4, ptr undef
356 %5 = load <2 x i32>, ptr undef, align 1
360 %6 = phi <2 x i32> [ %5, %"3" ], [ zeroinitializer, %entry ]
361 %7 = icmp ult i32 undef, undef
362 br i1 %7, label %"3", label %"5"
370 ; A virtual register used by the "foo" inline asm memory operand gets
371 ; constrained to GR32_ABCD during coalescing. This makes the inline asm
372 ; impossible to allocate without splitting the live range and reinflating the
373 ; register class around the inline asm.
375 ; The constraint originally comes from the TEST8ri optimization of (icmp (and %t0, 1), 0).
377 @__force_order = external hidden global i32, align 4
378 define void @pr11078(ptr %pgd) nounwind {
380 %t0 = load i32, ptr %pgd, align 4
381 %and2 = and i32 %t0, 1
382 %tobool = icmp eq i32 %and2, 0
383 br i1 %tobool, label %if.then, label %if.end
386 %t1 = tail call i32 asm sideeffect "bar", "=r,=*m,~{dirflag},~{fpsr},~{flags}"(ptr elementtype(i32) @__force_order) nounwind
390 %t6 = inttoptr i32 %t0 to ptr
391 %t11 = tail call i64 asm sideeffect "foo", "=*m,=A,{bx},{cx},1,~{memory},~{dirflag},~{fpsr},~{flags}"(ptr elementtype(i64) %t6, i32 0, i32 0, i64 0) nounwind
395 ; Avoid emitting wrong kill flags from InstrEmitter.
396 ; InstrEmitter::EmitSubregNode() may steal virtual registers from already
397 ; emitted blocks when isCoalescableExtInstr points out the opportunity.
398 ; Make sure kill flags are cleared on the newly global virtual register.
399 define i64 @ov_read(ptr %vf, ptr nocapture %buffer, i32 %length, i32 %bigendianp, i32 %word, i32 %sgned, ptr %bitstream) nounwind uwtable ssp {
401 br i1 undef, label %return, label %while.body.preheader
403 while.body.preheader: ; preds = %entry
404 br i1 undef, label %if.then3, label %if.end7
406 if.then3: ; preds = %while.body.preheader
407 %0 = load i32, ptr undef, align 4
408 br i1 undef, label %land.lhs.true.i255, label %if.end7
410 land.lhs.true.i255: ; preds = %if.then3
411 br i1 undef, label %if.then.i256, label %if.end7
413 if.then.i256: ; preds = %land.lhs.true.i255
414 %sub.i = sub i32 0, %0
415 %conv = sext i32 %sub.i to i64
416 br i1 undef, label %if.end7, label %while.end
418 if.end7: ; preds = %if.then.i256, %land.lhs.true.i255, %if.then3, %while.body.preheader
421 while.end: ; preds = %if.then.i256
422 %cmp18 = icmp sgt i32 %sub.i, 0
423 %.conv = select i1 %cmp18, i64 -131, i64 %conv
426 return: ; preds = %entry
430 ; The tail call to a varargs function sets %AL.
431 ; uitofp expands to an FCMOV instruction which splits the basic block.
432 ; Make sure the live range of %AL isn't split.
433 @.str = private unnamed_addr constant { [1 x i8], [63 x i8] } zeroinitializer, align 32
434 define void @pr13188(ptr nocapture %this) uwtable ssp sanitize_address align 2 {
436 %x7 = load i64, ptr %this, align 8
437 %sub = add i64 %x7, -1
438 %conv = uitofp i64 %sub to float
439 %div = fmul float %conv, 5.000000e-01
440 %conv2 = fpext float %div to double
441 tail call void (...) @_Z6PrintFz(ptr @.str, double %conv2)
444 declare void @_Z6PrintFz(...)
446 @a = external global i32, align 4
447 @fn1.g = private unnamed_addr constant [9 x ptr] [ptr null, ptr @a, ptr null, ptr null, ptr null, ptr null, ptr null, ptr null, ptr null], align 16
448 @e = external global i32, align 4
450 define void @pr13943() nounwind uwtable ssp {
452 %srcval = load i576, ptr @fn1.g, align 16
455 for.cond: ; preds = %for.inc, %entry
456 %g.0 = phi i576 [ %srcval, %entry ], [ %ins, %for.inc ]
457 %0 = load i32, ptr @e, align 4
458 %1 = lshr i576 %g.0, 64
459 %2 = trunc i576 %1 to i64
460 %3 = inttoptr i64 %2 to ptr
461 %cmp = icmp eq ptr undef, %3
462 %conv2 = zext i1 %cmp to i32
463 %and = and i32 %conv2, %0
464 tail call void (...) @fn3(i32 %and) nounwind
465 %tobool = icmp eq i32 undef, 0
466 br i1 %tobool, label %for.inc, label %if.then
468 if.then: ; preds = %for.cond
471 for.inc: ; preds = %for.cond
472 %4 = shl i576 %1, 384
473 %mask = and i576 %g.0, -726838724295606890509921801691610055141362320587174446476410459910173841445449629921945328942266354949348255351381262292727973638307841
474 %5 = and i576 %4, 726838724295606890509921801691610055141362320587174446476410459910173841445449629921945328942266354949348255351381262292727973638307840
475 %ins = or i576 %5, %mask
479 declare void @fn3(...)
481 ; Check coalescing of IMPLICIT_DEF instructions:
486 ; When coalescing %1 and %2, the IMPLICIT_DEF instruction should be
487 ; erased along with its value number.
489 define void @rdar12474033() nounwind ssp {
491 br i1 undef, label %bb21, label %bb1
494 switch i32 undef, label %bb10 [
505 bb3: ; preds = %bb1, %bb1
506 br i1 undef, label %bb4, label %bb5
512 %tmp = load <4 x float>, ptr undef, align 1
513 %tmp6 = bitcast <4 x float> %tmp to i128
514 %tmp7 = load <4 x float>, ptr undef, align 1
515 %tmp8 = bitcast <4 x float> %tmp7 to i128
518 bb9: ; preds = %bb1, %bb1
521 bb10: ; preds = %bb5, %bb1
522 %tmp11 = phi i128 [ undef, %bb1 ], [ %tmp6, %bb5 ]
523 %tmp12 = phi i128 [ 0, %bb1 ], [ %tmp8, %bb5 ]
524 switch i32 undef, label %bb21 [
532 bb13: ; preds = %bb10
533 br i1 undef, label %bb15, label %bb14
535 bb14: ; preds = %bb13
538 bb15: ; preds = %bb13
541 bb16: ; preds = %bb10
544 bb17: ; preds = %bb10
547 bb18: ; preds = %bb10, %bb10
548 %tmp19 = bitcast i128 %tmp11 to <4 x float>
549 %tmp20 = bitcast i128 %tmp12 to <4 x float>
552 bb21: ; preds = %bb18, %bb14, %bb10, %bb
553 %tmp22 = phi <4 x float> [ undef, %bb ], [ undef, %bb10 ], [ undef, %bb14 ], [ %tmp20, %bb18 ]
554 %tmp23 = phi <4 x float> [ undef, %bb ], [ undef, %bb10 ], [ undef, %bb14 ], [ %tmp19, %bb18 ]
555 store <4 x float> %tmp23, ptr undef, align 16
556 store <4 x float> %tmp22, ptr undef, align 16
557 switch i32 undef, label %bb29 [
565 bb24: ; preds = %bb21
568 bb25: ; preds = %bb21
571 bb26: ; preds = %bb21
574 bb27: ; preds = %bb21
577 bb28: ; preds = %bb21
580 bb29: ; preds = %bb28, %bb26, %bb25, %bb21
584 define void @pr14194() nounwind uwtable {
585 %tmp = load i64, ptr undef, align 16
586 %tmp1 = trunc i64 %tmp to i32
587 %tmp2 = lshr i64 %tmp, 32
588 %tmp3 = trunc i64 %tmp2 to i32
589 %tmp4 = call { i32, i32 } asm sideeffect "", "=&r,=&r,r,r,0,1,~{dirflag},~{fpsr},~{flags}"(i32 %tmp3, i32 undef, i32 %tmp3, i32 %tmp1) nounwind