| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 | 2 |
| 3 ; This test checks that the PNaCl ABI verifier enforces the normal | 3 ; This test checks that the PNaCl ABI verifier enforces the normal |
| 4 ; form introduced by the ReplacePtrsWithInts pass. | 4 ; form introduced by the ReplacePtrsWithInts pass. |
| 5 | 5 |
| 6 | 6 |
| 7 @var = global [4 x i8] c"xxxx" | 7 @var = global [4 x i8] c"xxxx" |
| 8 @ptr = global i32 ptrtoint ([4 x i8]* @var to i32) | 8 @ptr = global i32 ptrtoint ([4 x i8]* @var to i32) |
| 9 | 9 |
| 10 declare i8* @llvm.nacl.read.tp() | 10 declare i8* @llvm.nacl.read.tp() |
| 11 | 11 |
| (...skipping 111 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 123 ; CHECK-NEXT: bad operand | 123 ; CHECK-NEXT: bad operand |
| 124 | 124 |
| 125 ; Taking the address of an intrinsic is not allowed. | 125 ; Taking the address of an intrinsic is not allowed. |
| 126 ptrtoint i8* ()* @llvm.nacl.read.tp to i32 | 126 ptrtoint i8* ()* @llvm.nacl.read.tp to i32 |
| 127 ; CHECK-NEXT: operand not InherentPtr | 127 ; CHECK-NEXT: operand not InherentPtr |
| 128 | 128 |
| 129 ret void | 129 ret void |
| 130 } | 130 } |
| 131 | 131 |
| 132 ; CHECK-NOT: disallowed | 132 ; CHECK-NOT: disallowed |
| OLD | NEW |