| Index: test/Transforms/MinSFI/abi-verifier-whitelist-syscalls.ll
|
| diff --git a/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls.ll b/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..68f458590e68f4622fcc636f2de71e4244b36892
|
| --- /dev/null
|
| +++ b/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls.ll
|
| @@ -0,0 +1,18 @@
|
| +; RUN: opt %s -verify-pnaclabi-module -pnaclabi-allow-minsfi-syscalls -S \
|
| +; RUN: | FileCheck -check-prefix=CHECK-WITHFLAG %s
|
| +; RUN: not opt %s -verify-pnaclabi-module -S 2>&1 \
|
| +; RUN: | FileCheck -check-prefix=CHECK-NOFLAG %s
|
| +
|
| +target datalayout = "p:32:32:32"
|
| +target triple = "le32-unknown-nacl"
|
| +
|
| +define i32 @_start(i32 %args) {
|
| + ret i32 0
|
| +}
|
| +
|
| +declare i32 @__minsfi_syscall_dummy(i32)
|
| +
|
| +; CHECK-NOFLAG: __minsfi_syscall_dummy is declared but not defined
|
| +; CHECK-NOFLAG: __minsfi_syscall_dummy is not a valid external symbol
|
| +
|
| +; CHECK-WITHFLAG: declare i32 @__minsfi_syscall_dummy(i32)
|
|
|