[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / CodeGen / MIR / X86 / machine-basic-block-operands.mir
blob027482debe18ce972598a4d8e79739576a4857f7
1 # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
2 # This test ensures that the MIR parser parses machine basic block operands.
4 --- |
6   define i32 @foo(i32* %p) {
7   entry:
8     %a = load i32, i32* %p
9     %0 = icmp sle i32 %a, 10
10     br i1 %0, label %less, label %exit
12   less:
13     ret i32 0
15   exit:
16     ret i32 %a
17   }
19   define i32 @bar(i32* %p) {
20   entry:
21     %a = load i32, i32* %p
22     %b = icmp sle i32 %a, 10
23     br i1 %b, label %0, label %1
25   ; <label>:0
26     ret i32 0
28   ; <label>:1
29     ret i32 %a
30   }
32 ...
33 ---
34 # CHECK: name: foo
35 name:            foo
36 body: |
37   ; CHECK: bb.0.entry
38   bb.0.entry:
39     successors: %bb.1, %bb.2
41     $eax = MOV32rm $rdi, 1, _, 0, _
42     ; CHECK:      CMP32ri8 $eax, 10
43     ; CHECK-NEXT: JCC_1 %bb.2, 15
44     CMP32ri8 $eax, 10, implicit-def $eflags
45     JCC_1 %bb.2, 15, implicit $eflags
46   ; CHECK: bb.1.less:
48   bb.1.less:
49     $eax = MOV32r0 implicit-def $eflags
51   bb.2.exit:
52     RETQ $eax
53 ...
54 ---
55 # CHECK: name: bar
56 name:            bar
57 body: |
58   ; CHECK: bb.0.entry:
59   bb.0.entry:
60     successors: %bb.1, %bb.3
62     $eax = MOV32rm $rdi, 1, _, 0, _
63     ; CHECK:      CMP32ri8 $eax, 10
64     ; CHECK-NEXT: JCC_1 %bb.2, 15
65     CMP32ri8 $eax, 10, implicit-def $eflags
66     JCC_1 %bb.3, 15, implicit $eflags
68   bb.1:
69     $eax = MOV32r0 implicit-def $eflags
71   bb.3:
72     RETQ $eax
73 ...