mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-28 14:32:51 +01:00
5694297a85
This commit adds the liveins and successors properties to machine basic blocks in some of the MIR tests to ensure that the tests will pass when the MIR parser will run the machine verifier after initializing a machine function. llvm-svn: 243124
78 lines
1.6 KiB
YAML
78 lines
1.6 KiB
YAML
# RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s
|
|
# This test ensures that the MIR parser parses machine basic block operands.
|
|
|
|
--- |
|
|
|
|
define i32 @foo(i32* %p) {
|
|
entry:
|
|
%a = load i32, i32* %p
|
|
%0 = icmp sle i32 %a, 10
|
|
br i1 %0, label %less, label %exit
|
|
|
|
less:
|
|
ret i32 0
|
|
|
|
exit:
|
|
ret i32 %a
|
|
}
|
|
|
|
define i32 @bar(i32* %p) {
|
|
entry:
|
|
%a = load i32, i32* %p
|
|
%b = icmp sle i32 %a, 10
|
|
br i1 %b, label %0, label %1
|
|
|
|
; <label>:0
|
|
ret i32 0
|
|
|
|
; <label>:1
|
|
ret i32 %a
|
|
}
|
|
|
|
...
|
|
---
|
|
# CHECK: name: foo
|
|
name: foo
|
|
body:
|
|
# CHECK: name: entry
|
|
- id: 0
|
|
name: entry
|
|
successors: [ '%bb.1.less', '%bb.2.exit' ]
|
|
instructions:
|
|
- '%eax = MOV32rm %rdi, 1, _, 0, _'
|
|
# CHECK: - 'CMP32ri8 %eax, 10
|
|
# CHECK-NEXT: - 'JG_1 %bb.2.exit
|
|
- 'CMP32ri8 %eax, 10, implicit-def %eflags'
|
|
- 'JG_1 %bb.2.exit, implicit %eflags'
|
|
# CHECK: name: less
|
|
- id: 1
|
|
name: less
|
|
instructions:
|
|
- '%eax = MOV32r0 implicit-def %eflags'
|
|
- id: 2
|
|
name: exit
|
|
instructions:
|
|
- 'RETQ %eax'
|
|
...
|
|
---
|
|
# CHECK: name: bar
|
|
name: bar
|
|
body:
|
|
# CHECK: name: entry
|
|
- id: 0
|
|
name: entry
|
|
successors: [ '%bb.1', '%bb.3' ]
|
|
instructions:
|
|
- '%eax = MOV32rm %rdi, 1, _, 0, _'
|
|
# CHECK: - 'CMP32ri8 %eax, 10
|
|
# CHECK-NEXT: - 'JG_1 %bb.2
|
|
- 'CMP32ri8 %eax, 10, implicit-def %eflags'
|
|
- 'JG_1 %bb.3, implicit %eflags'
|
|
- id: 1
|
|
instructions:
|
|
- '%eax = MOV32r0 implicit-def %eflags'
|
|
- id: 3
|
|
instructions:
|
|
- 'RETQ %eax'
|
|
...
|