| 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
|
|
|