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 |