File: delete-dead-instrs-with-live-uses.mir

package info (click to toggle)
llvm-toolchain-20 1%3A20.1.8-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,111,696 kB
  • sloc: cpp: 7,438,781; ansic: 1,393,871; asm: 1,012,926; python: 241,771; f90: 86,635; objc: 75,411; lisp: 42,144; pascal: 17,286; sh: 8,596; ml: 5,082; perl: 4,730; makefile: 3,591; awk: 3,523; javascript: 2,251; xml: 892; fortran: 672
file content (59 lines) | stat: -rw-r--r-- 1,933 bytes parent folder | download | duplicates (20)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
# RUN: llc -mtriple=i386-apple-ios9.0.0-simulator --frame-pointer=all -verify-machineinstrs -start-before=greedy -o - %s | FileCheck %s

# The test used to fail with "Live segment doesn't end at a valid instruction"
# See PR51655.

---
# CHECK: jne
# CHECK: andl    $-16, %edx
# CHECK: xorl    %ebx, %ebx
# CHECK: movl    -16(%ebp), %esi
# CHECK: xorl    %eax, %eax

name:            test
tracksRegLiveness: true
fixedStack:
  - { id: 0, type: default, offset: 4, size: 4, alignment: 4, stack-id: default,
      isImmutable: true, isAliased: false, callee-saved-restored: true }
  - { id: 1, type: default, offset: 0, size: 4, alignment: 16, stack-id: default,
      isImmutable: true, isAliased: false, callee-saved-restored: true }
body:             |
  bb.0:
    successors: %bb.3(0x40000000), %bb.1(0x40000000)

    %0:gr32_nosp = MOV32rm %fixed-stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.1)
    %1:gr32_nosp = MOV32rm %fixed-stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %fixed-stack.0, align 16)
    %2:gr32_abcd = MOV32r0 implicit-def dead $eflags
    JCC_1 %bb.3, 5, implicit undef $eflags
    JMP_1 %bb.1

  bb.1:
    successors: %bb.2(0x80000000)

    %2:gr32_abcd = AND32ri8 %2, -16, implicit-def dead $eflags
    %3:gr32_abcd = MOV32r0 implicit-def dead $eflags
    %4:gr32 = LEA32r %0, 1, %1, -49, $noreg
    %5:gr32_abcd = MOV32r0 implicit-def dead $eflags
    %6:gr32 = IMPLICIT_DEF
    JMP_1 %bb.2

  bb.2:
    successors: %bb.2(0x40000000), %bb.3(0x40000000)

    %7:vr128 = MOVUPSrm %4, 1, %3, 0, $noreg :: (load (s128), align 1)
    %5:gr32_abcd = nuw ADD32ri8 %5, 64, implicit-def dead $eflags
    %6:gr32 = ADD32ri8 %6, -4, implicit-def $eflags
    JCC_1 %bb.2, 5, implicit killed $eflags
    JMP_1 %bb.3

  bb.3:
    successors: %bb.4(0x80000000)

    %2:gr32_abcd = NEG32r %2, implicit-def dead $eflags
    %8:gr32 = LEA32r %0, 1, %1, -5, $noreg
    JMP_1 %bb.4

  bb.4:
    RET 0

...