OLD | NEW |
1 ; Test parsing indirect calls in Subzero. | 1 ; Test parsing indirect calls in Subzero. |
2 | 2 |
3 ; RUN: %p2i -i %s --insts | FileCheck %s | 3 ; RUN: %p2i -i %s --insts | FileCheck %s |
| 4 ; RUN: %if --need=allow_disable_ir_gen --command \ |
| 5 ; RUN: %p2i -i %s --args -notranslate -timing -no-ir-gen \ |
| 6 ; RUN: | %if --need=allow_disable_ir_gen --command \ |
| 7 ; RUN: FileCheck --check-prefix=NOIR %s |
4 | 8 |
5 define internal void @CallIndirectVoid(i32 %f_addr) { | 9 define internal void @CallIndirectVoid(i32 %f_addr) { |
6 entry: | 10 entry: |
7 %f = inttoptr i32 %f_addr to void ()* | 11 %f = inttoptr i32 %f_addr to void ()* |
8 call void %f() | 12 call void %f() |
9 ret void | 13 ret void |
10 } | 14 } |
11 | 15 |
12 ; CHECK: define internal void @CallIndirectVoid(i32 %f_addr) { | 16 ; CHECK: define internal void @CallIndirectVoid(i32 %f_addr) { |
13 ; CHECK-NEXT: entry: | 17 ; CHECK-NEXT: entry: |
14 ; CHECK-NEXT: call void %f_addr() | 18 ; CHECK-NEXT: call void %f_addr() |
15 ; CHECK-NEXT: ret void | 19 ; CHECK-NEXT: ret void |
16 ; CHECK-NEXT: } | 20 ; CHECK-NEXT: } |
17 | 21 |
18 define internal i32 @CallIndirectI32(i32 %f_addr) { | 22 define internal i32 @CallIndirectI32(i32 %f_addr) { |
19 entry: | 23 entry: |
20 %f = inttoptr i32 %f_addr to i32(i8, i1)* | 24 %f = inttoptr i32 %f_addr to i32(i8, i1)* |
21 %r = call i32 %f(i8 1, i1 false) | 25 %r = call i32 %f(i8 1, i1 false) |
22 ret i32 %r | 26 ret i32 %r |
23 } | 27 } |
24 | 28 |
25 ; CHECK-NEXT: define internal i32 @CallIndirectI32(i32 %f_addr) { | 29 ; CHECK-NEXT: define internal i32 @CallIndirectI32(i32 %f_addr) { |
26 ; CHECK-NEXT: entry: | 30 ; CHECK-NEXT: entry: |
27 ; CHECK-NEXT: %r = call i32 %f_addr(i8 1, i1 false) | 31 ; CHECK-NEXT: %r = call i32 %f_addr(i8 1, i1 false) |
28 ; CHECK-NEXT: ret i32 %r | 32 ; CHECK-NEXT: ret i32 %r |
29 ; CHECK-NEXT: } | 33 ; CHECK-NEXT: } |
| 34 |
| 35 ; NOIR: Total across all functions |
OLD | NEW |