mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 12:33:33 +02: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
43 lines
1.0 KiB
YAML
43 lines
1.0 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 the 'implicit' and 'implicit-def'
|
|
# register flags correctly.
|
|
|
|
--- |
|
|
|
|
define i32 @foo(i32 %a) {
|
|
entry:
|
|
%0 = icmp sle i32 %a, 10
|
|
br i1 %0, label %less, label %exit
|
|
|
|
less:
|
|
ret i32 0
|
|
|
|
exit:
|
|
ret i32 %a
|
|
}
|
|
|
|
...
|
|
---
|
|
name: foo
|
|
body:
|
|
- id: 0
|
|
name: entry
|
|
successors: [ '%bb.1.less', '%bb.2.exit' ]
|
|
instructions:
|
|
# CHECK: - 'CMP32ri8 %edi, 10, implicit-def %eflags'
|
|
# CHECK-NEXT: - 'JG_1 %bb.2.exit, implicit %eflags'
|
|
- 'CMP32ri8 %edi, 10, implicit-def %eflags'
|
|
- 'JG_1 %bb.2.exit, implicit %eflags'
|
|
- id: 1
|
|
name: less
|
|
instructions:
|
|
# CHECK: - '%eax = MOV32r0 implicit-def %eflags'
|
|
- '%eax = MOV32r0 implicit-def %eflags'
|
|
- 'RETQ %eax'
|
|
- id: 2
|
|
name: exit
|
|
instructions:
|
|
- '%eax = COPY %edi'
|
|
- 'RETQ %eax'
|
|
...
|