OLD | NEW |
1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
2 | 2 |
3 define void @func(i32 %arg) { | 3 define void @func(i32 %arg) { |
4 ret void | 4 ret void |
5 } | 5 } |
6 | 6 |
7 define void @calls() { | 7 define void @calls() { |
8 call void @func(i32 1) noreturn nounwind | 8 call void @func(i32 1) noreturn nounwind |
9 ; CHECK: disallowed: bad call attributes: call void @func(i32 1) # | 9 ; CHECK: disallowed: bad call attributes: call void @func(i32 1) # |
10 | 10 |
11 call void @func(i32 inreg 1) | 11 call void @func(i32 inreg 1) |
12 ; CHECK-NEXT: disallowed: bad call attributes: call void @func(i32 inreg 1) | 12 ; CHECK-NEXT: disallowed: bad call attributes: call void @func(i32 inreg 1) |
13 | 13 |
14 call fastcc void @func(i32 1) | 14 call fastcc void @func(i32 1) |
15 ; CHECK-NEXT: disallowed: bad calling convention: call fastcc void @func(i32 1) | 15 ; CHECK-NEXT: disallowed: bad calling convention: call fastcc void @func(i32 1) |
16 | 16 |
17 ret void | 17 ret void |
18 } | 18 } |
19 | 19 |
20 ; CHECK-NOT: disallowed | 20 ; CHECK-NOT: disallowed |
OLD | NEW |