OLD | NEW |
1 ; Test parsing indirect calls in Subzero. | 1 ; Test parsing indirect calls in Subzero. |
2 | 2 |
3 ; RUN: llvm-as < %s | pnacl-freeze -allow-local-symbol-tables \ | 3 ; RUN: %p2i -i %s --insts | FileCheck %s |
4 ; RUN: | %llvm2ice -notranslate -verbose=inst -build-on-read \ | |
5 ; RUN: -allow-pnacl-reader-error-recovery \ | |
6 ; RUN: -allow-local-symbol-tables \ | |
7 ; RUN: | FileCheck %s | |
8 | 4 |
9 define internal void @CallIndirectVoid(i32 %f_addr) { | 5 define internal void @CallIndirectVoid(i32 %f_addr) { |
10 entry: | 6 entry: |
11 %f = inttoptr i32 %f_addr to void ()* | 7 %f = inttoptr i32 %f_addr to void ()* |
12 call void %f() | 8 call void %f() |
13 ret void | 9 ret void |
14 } | 10 } |
15 | 11 |
16 ; CHECK: define internal void @CallIndirectVoid(i32 %f_addr) { | 12 ; CHECK: define internal void @CallIndirectVoid(i32 %f_addr) { |
17 ; CHECK-NEXT: entry: | 13 ; CHECK-NEXT: entry: |
18 ; CHECK-NEXT: call void %f_addr() | 14 ; CHECK-NEXT: call void %f_addr() |
19 ; CHECK-NEXT: ret void | 15 ; CHECK-NEXT: ret void |
20 ; CHECK-NEXT: } | 16 ; CHECK-NEXT: } |
21 | 17 |
22 define internal i32 @CallIndirectI32(i32 %f_addr) { | 18 define internal i32 @CallIndirectI32(i32 %f_addr) { |
23 entry: | 19 entry: |
24 %f = inttoptr i32 %f_addr to i32(i8, i1)* | 20 %f = inttoptr i32 %f_addr to i32(i8, i1)* |
25 %r = call i32 %f(i8 1, i1 false) | 21 %r = call i32 %f(i8 1, i1 false) |
26 ret i32 %r | 22 ret i32 %r |
27 } | 23 } |
28 | 24 |
29 ; CHECK-NEXT: define internal i32 @CallIndirectI32(i32 %f_addr) { | 25 ; CHECK-NEXT: define internal i32 @CallIndirectI32(i32 %f_addr) { |
30 ; CHECK-NEXT: entry: | 26 ; CHECK-NEXT: entry: |
31 ; CHECK-NEXT: %r = call i32 %f_addr(i8 1, i1 false) | 27 ; CHECK-NEXT: %r = call i32 %f_addr(i8 1, i1 false) |
32 ; CHECK-NEXT: ret i32 %r | 28 ; CHECK-NEXT: ret i32 %r |
33 ; CHECK-NEXT: } | 29 ; CHECK-NEXT: } |
OLD | NEW |