| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 | 2 |
| 3 define void @arg_i1(i1 %bad) { | 3 define void @arg_i1(i1 %bad) { |
| 4 ret void | 4 ret void |
| 5 } | 5 } |
| 6 ; CHECK: Function arg_i1 has disallowed type: | 6 ; CHECK: Function arg_i1 has disallowed type: |
| 7 | 7 |
| 8 define void @arg_i16(i32 %allowed, i16 %bad) { | 8 define void @arg_i16(i32 %allowed, i16 %bad) { |
| 9 ret void | 9 ret void |
| 10 } | 10 } |
| 11 ; CHECK: Function arg_i16 has disallowed type: | 11 ; CHECK: Function arg_i16 has disallowed type: |
| (...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 43 call void %func1(i8 0) | 43 call void %func1(i8 0) |
| 44 ; CHECK: bad function callee operand: {{.*}} %func1 | 44 ; CHECK: bad function callee operand: {{.*}} %func1 |
| 45 | 45 |
| 46 %func2 = inttoptr i32 %ptr to i16 ()* | 46 %func2 = inttoptr i32 %ptr to i16 ()* |
| 47 ; CHECK: bad result type: %func2 | 47 ; CHECK: bad result type: %func2 |
| 48 %result3 = call i16 %func2() | 48 %result3 = call i16 %func2() |
| 49 ; CHECK: bad function callee operand: {{.*}} %func2 | 49 ; CHECK: bad function callee operand: {{.*}} %func2 |
| 50 | 50 |
| 51 ret void | 51 ret void |
| 52 } | 52 } |
| OLD | NEW |