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 |