OLD | NEW |
1 ; Trivial smoke test of icmp without fused branch opportunity. | 1 ; Trivial smoke test of icmp without fused branch opportunity. |
2 | 2 |
3 ; RUN: %p2i -i %s --args --verbose inst | FileCheck %s | 3 ; RUN: %p2i -i %s --args --verbose none | FileCheck %s |
4 ; RUN: %p2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s | |
5 ; RUN: %p2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s | |
6 | |
7 define void @testBool(i32 %a, i32 %b) { | |
8 entry: | |
9 %cmp = icmp eq i32 %a, %b | |
10 %cmp_ext = zext i1 %cmp to i32 | |
11 tail call void @use(i32 %cmp_ext) | |
12 ret void | |
13 } | |
14 | 4 |
15 ; Check that correct addressing modes are used for comparing two | 5 ; Check that correct addressing modes are used for comparing two |
16 ; immediates. | 6 ; immediates. |
17 define void @testIcmpImm() { | 7 define void @testIcmpImm() { |
18 entry: | 8 entry: |
19 %cmp = icmp eq i32 1, 2 | 9 %cmp = icmp eq i32 1, 2 |
20 %cmp_ext = zext i1 %cmp to i32 | 10 %cmp_ext = zext i1 %cmp to i32 |
21 tail call void @use(i32 %cmp_ext) | 11 tail call void @use(i32 %cmp_ext) |
22 ret void | 12 ret void |
23 } | 13 } |
24 ; CHECK-LABEL: testIcmpImm | 14 ; CHECK-LABEL: testIcmpImm |
25 ; CHECK-NOT: cmp {{[0-9]+}}, | 15 ; CHECK-NOT: cmp {{[0-9]+}}, |
26 | 16 |
27 declare void @use(i32) | 17 declare void @use(i32) |
28 | |
29 ; CHECK-NOT: ICE translation error | |
30 ; ERRORS-NOT: ICE translation error | |
31 ; DUMP-NOT: SZ | |
OLD | NEW |