| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 ; Test types allowed by PNaCl ABI | 2 ; Test types allowed by PNaCl ABI |
| 3 | 3 |
| 4 | 4 |
| 5 ; CHECK: Function badReturn has disallowed type: half* () | 5 ; CHECK: Function badReturn has disallowed type: half* () |
| 6 define internal half* @badReturn() { | 6 define internal half* @badReturn() { |
| 7 unreachable | 7 unreachable |
| 8 } | 8 } |
| 9 | 9 |
| 10 ; CHECK: Function badArgType1 has disallowed type: void (half, i32) | 10 ; CHECK: Function badArgType1 has disallowed type: void (half, i32) |
| 11 define internal void @badArgType1(half %a, i32 %b) { | 11 define internal void @badArgType1(half %a, i32 %b) { |
| (...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 127 block: | 127 block: |
| 128 | 128 |
| 129 phi %struct.snake [ undef, %entry ] | 129 phi %struct.snake [ undef, %entry ] |
| 130 ; CHECK: disallowed: bad operand: {{.*}} %struct.snake | 130 ; CHECK: disallowed: bad operand: {{.*}} %struct.snake |
| 131 | 131 |
| 132 phi %struct.linked [ undef, %entry ] | 132 phi %struct.linked [ undef, %entry ] |
| 133 ; CHECK-NEXT: disallowed: bad operand: {{.*}} %struct.linked | 133 ; CHECK-NEXT: disallowed: bad operand: {{.*}} %struct.linked |
| 134 | 134 |
| 135 ret void | 135 ret void |
| 136 } | 136 } |
| OLD | NEW |