OLD | NEW |
1 ; RUIN: %llvm2ice %s -verbose inst | FileCheck %s | 1 ; Trivial smoke test of compare and branch, with multiple basic |
2 ; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 2 ; blocks. |
| 3 |
| 4 ; RUN: %llvm2ice %s --verbose inst | FileCheck %s |
| 5 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
3 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | 6 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
4 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | 7 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
5 ; RUN: | FileCheck --check-prefix=DUMP %s | 8 ; RUN: | FileCheck --check-prefix=DUMP %s |
6 | 9 |
7 define i32 @simple_cond_branch(i32 %foo, i32 %bar) { | 10 define i32 @simple_cond_branch(i32 %foo, i32 %bar) { |
8 entry: | 11 entry: |
9 %r1 = icmp eq i32 %foo, %bar | 12 %r1 = icmp eq i32 %foo, %bar |
10 br i1 %r1, label %Equal, label %Unequal | 13 br i1 %r1, label %Equal, label %Unequal |
11 Equal: | 14 Equal: |
12 ret i32 %foo | 15 ret i32 %foo |
13 Unequal: | 16 Unequal: |
14 ret i32 %bar | 17 ret i32 %bar |
15 ; CHECK: br i1 %r1, label %Equal, label %Unequal | 18 ; CHECK: br i1 %r1, label %Equal, label %Unequal |
16 ; CHECK: Equal: | 19 ; CHECK: Equal: |
17 ; CHECK: ret i32 %foo | 20 ; CHECK: ret i32 %foo |
18 ; CHECK: Unequal: | 21 ; CHECK: Unequal: |
19 ; CHECK: ret i32 %bar | 22 ; CHECK: ret i32 %bar |
20 } | 23 } |
21 | 24 |
22 ; ERRORS-NOT: ICE translation error | 25 ; ERRORS-NOT: ICE translation error |
23 ; DUMP-NOT: SZ | 26 ; DUMP-NOT: SZ |
OLD | NEW |