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