Index: test/NaCl/PNaClABI/abi-call-attributes.ll |
diff --git a/test/NaCl/PNaClABI/abi-call-attributes.ll b/test/NaCl/PNaClABI/abi-call-attributes.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..284503208be5f9f0d98c0c46f335c332ecbac21e |
--- /dev/null |
+++ b/test/NaCl/PNaClABI/abi-call-attributes.ll |
@@ -0,0 +1,20 @@ |
+; RUN: not pnacl-abicheck < %s | FileCheck %s |
+ |
+define void @func(i32 %arg) { |
+ ret void |
+} |
+ |
+define void @calls() { |
+ call void @func(i32 1) noreturn nounwind |
+; CHECK: disallowed: bad call attributes: call void @func(i32 1) # |
+ |
+ call void @func(i32 inreg 1) |
+; CHECK-NEXT: disallowed: bad call attributes: call void @func(i32 inreg 1) |
+ |
+ call fastcc void @func(i32 1) |
+; CHECK-NEXT: disallowed: bad calling convention: call fastcc void @func(i32 1) |
+ |
+ ret void |
+} |
+ |
+; CHECK-NOT: disallowed |