| # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s |
| # This test ensures that the MIR parser parses basic block successors and |
| # probabilities 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: | |
| ; CHECK-LABEL: bb.0.entry: |
| ; CHECK: successors: %bb.1.less(0x2a3d70a4), %bb.2.exit(0x55c28f5c) |
| ; CHECK-LABEL: bb.1.less: |
| bb.0.entry: |
| successors: %bb.1.less (33), %bb.2.exit(67) |
| liveins: %edi |
| |
| CMP32ri8 %edi, 10, implicit-def %eflags |
| JG_1 %bb.2.exit, implicit killed %eflags |
| |
| bb.1.less: |
| %eax = MOV32r0 implicit-def dead %eflags |
| RETQ killed %eax |
| |
| bb.2.exit: |
| liveins: %edi |
| |
| %eax = COPY killed %edi |
| RETQ killed %eax |
| ... |