xref: /llvm-project/llvm/test/CodeGen/X86/delete-dead-instrs-with-live-uses.mir (revision 08d7eec06e8cf5c15a96ce11f311f1480291a441)
1# RUN: llc -mtriple=i386-apple-ios9.0.0-simulator --frame-pointer=all -verify-machineinstrs -start-before=greedy -o - %s | FileCheck %s
2
3# The test used to fail with "Live segment doesn't end at a valid instruction"
4# See PR51655.
5
6---
7# CHECK: jne
8# CHECK: andl    $-16, %edx
9# CHECK: xorl    %ebx, %ebx
10# CHECK: movl    -16(%ebp), %esi
11# CHECK: xorl    %eax, %eax
12
13name:            test
14tracksRegLiveness: true
15fixedStack:
16  - { id: 0, type: default, offset: 4, size: 4, alignment: 4, stack-id: default,
17      isImmutable: true, isAliased: false, callee-saved-restored: true }
18  - { id: 1, type: default, offset: 0, size: 4, alignment: 16, stack-id: default,
19      isImmutable: true, isAliased: false, callee-saved-restored: true }
20body:             |
21  bb.0:
22    successors: %bb.3(0x40000000), %bb.1(0x40000000)
23
24    %0:gr32_nosp = MOV32rm %fixed-stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.1)
25    %1:gr32_nosp = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0, align 16)
26    %2:gr32_abcd = MOV32r0 implicit-def dead $eflags
27    JCC_1 %bb.3, 5, implicit undef $eflags
28    JMP_1 %bb.1
29
30  bb.1:
31    successors: %bb.2(0x80000000)
32
33    %2:gr32_abcd = AND32ri8 %2, -16, implicit-def dead $eflags
34    %3:gr32_abcd = MOV32r0 implicit-def dead $eflags
35    %4:gr32 = LEA32r %0, 1, %1, -49, $noreg
36    %5:gr32_abcd = MOV32r0 implicit-def dead $eflags
37    %6:gr32 = IMPLICIT_DEF
38    JMP_1 %bb.2
39
40  bb.2:
41    successors: %bb.2(0x40000000), %bb.3(0x40000000)
42
43    %7:vr128 = MOVUPSrm %4, 1, %3, 0, $noreg :: (load (s128), align 1)
44    %5:gr32_abcd = nuw ADD32ri8 %5, 64, implicit-def dead $eflags
45    %6:gr32 = ADD32ri8 %6, -4, implicit-def $eflags
46    JCC_1 %bb.2, 5, implicit killed $eflags
47    JMP_1 %bb.3
48
49  bb.3:
50    successors: %bb.4(0x80000000)
51
52    %2:gr32_abcd = NEG32r %2, implicit-def dead $eflags
53    %8:gr32 = LEA32r %0, 1, %1, -5, $noreg
54    JMP_1 %bb.4
55
56  bb.4:
57    RET 0
58
59...
60