OLD | NEW |
(Empty) | |
| 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 |
| 3 ; Make sure that external symbols are properly rejected or accepted |
| 4 |
| 5 |
| 6 @global_var = global [4 x i8] c"abcd" |
| 7 ; CHECK: global_var is not a valid external symbol (disallowed) |
| 8 |
| 9 |
| 10 define void @foo() { |
| 11 ret void |
| 12 } |
| 13 ; CHECK: foo is not a valid external symbol (disallowed) |
| 14 |
| 15 define external void @main() { |
| 16 ret void |
| 17 } |
| 18 ; CHECK: main is not a valid external symbol (disallowed) |
| 19 |
| 20 define external void @_start() { |
| 21 ret void |
| 22 } |
| 23 ; _start is whitelisted |
| 24 ; CHECK-NOT: disallowed |
| 25 |
| 26 ; Intrinsics can be external too |
| 27 declare void @llvm.trap() |
| 28 |
OLD | NEW |