Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(276)

Unified Diff: test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll

Issue 939073008: Rebased PNaCl localmods in LLVM to 223109 (Closed)
Patch Set: undo localmod Created 5 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll
diff --git a/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll b/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll
new file mode 100644
index 0000000000000000000000000000000000000000..409b3ef8ef0423371c092330f938112eb2fd6066
--- /dev/null
+++ b/test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-wrong-type.ll
@@ -0,0 +1,21 @@
+; RUN: not opt %s -verify-pnaclabi-module -pnaclabi-allow-minsfi-syscalls -S \
+; RUN: 2>&1 | FileCheck %s
+
+target datalayout = "p:32:32:32"
+target triple = "le32-unknown-nacl"
+
+define void @_start() {
+ ret void
+}
+
+declare i32 @__minsfi_syscall_good()
+; CHECK-NOT: __minsfi_syscall_good is not a valid external symbol
+
+declare void @__minsfi_syscall_bad_void()
+; CHECK: __minsfi_syscall_bad_void is not a valid external symbol
+
+declare i64 @__minsfi_syscall_bad_i64()
+; CHECK: __minsfi_syscall_bad_i64 is not a valid external symbol
+
+declare float @__minsfi_syscall_bad_float()
+; CHECK: __minsfi_syscall_bad_float is not a valid external symbol
« no previous file with comments | « test/Transforms/MinSFI/abi-verifier-whitelist-syscalls-global.ll ('k') | test/Transforms/MinSFI/allocate-data-segment.ll » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698