OLD | NEW |
1 ; RUN: pnacl-abicheck -pnaclabi-allow-dev-intrinsics=0 < %s | FileCheck %s | 1 ; RUN: pnacl-abicheck -pnaclabi-allow-dev-intrinsics=0 < %s | FileCheck %s |
2 ; RUN: pnacl-abicheck -pnaclabi-allow-dev-intrinsics=0 \ | 2 ; RUN: pnacl-abicheck -pnaclabi-allow-dev-intrinsics=0 \ |
3 ; RUN: -pnaclabi-allow-debug-metadata < %s | FileCheck %s --check-prefix=DBG | 3 ; RUN: -pnaclabi-allow-debug-metadata < %s | FileCheck %s --check-prefix=DBG |
4 ; RUN: pnacl-abicheck -pnaclabi-allow-dev-intrinsics=1 < %s | \ | 4 ; RUN: pnacl-abicheck -pnaclabi-allow-dev-intrinsics=1 < %s | \ |
5 ; RUN: FileCheck %s --check-prefix=DEV | 5 ; RUN: FileCheck %s --check-prefix=DEV |
6 | 6 |
7 ; Test that only white-listed intrinsics are allowed. | 7 ; Test that only white-listed intrinsics are allowed. |
8 | 8 |
9 ; =================================== | 9 ; =================================== |
10 ; Some disallowed "Dev" intrinsics. | 10 ; Some disallowed "Dev" intrinsics. |
11 ; CHECK: Function llvm.dbg.value is a disallowed LLVM intrinsic | 11 ; CHECK: Function llvm.dbg.value is a disallowed LLVM intrinsic |
12 ; DBG-NOT: Function llvm.dbg.value is a disallowed LLVM intrinsic | 12 ; DBG-NOT: Function llvm.dbg.value is a disallowed LLVM intrinsic |
13 ; DEV-NOT: Function llvm.dbg.value is a disallowed LLVM intrinsic | 13 ; DEV-NOT: Function llvm.dbg.value is a disallowed LLVM intrinsic |
14 declare void @llvm.dbg.value(metadata, i64, metadata) | 14 declare void @llvm.dbg.value(metadata, i64, metadata) |
15 | 15 |
16 ; =================================== | 16 ; =================================== |
17 ; Always allowed intrinsics. | 17 ; Always allowed intrinsics. |
18 | 18 |
19 ; CHECK-NOT: Function llvm.memcpy.p0i8.p0i8.i32 is a disallowed LLVM intrinsic | 19 ; CHECK-NOT: Function llvm.memcpy.p0i8.p0i8.i32 is a disallowed LLVM intrinsic |
20 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, | 20 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, |
21 i32 %len, i32 %align, i1 %isvolatile) | 21 i32 %len, i32 %align, i1 %isvolatile) |
22 ; CHECK-NOT: Function llvm.memcpy.p0i8.p0i8.i64 is a disallowed LLVM intrinsic | 22 ; CHECK-NOT: Function llvm.memcpy.p0i8.p0i8.i64 is a disallowed LLVM intrinsic |
23 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* %dest, i8* %src, | 23 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* %dest, i8* %src, |
24 i64 %len, i32 %align, i1 %isvolatile) | 24 i64 %len, i32 %align, i1 %isvolatile) |
25 ; CHECK-NOT: Function llvm.nacl.read.tp is a disallowed LLVM intrinsic | 25 ; CHECK-NOT: Function llvm.nacl.read.tp is a disallowed LLVM intrinsic |
26 declare i8* @llvm.nacl.read.tp() | 26 declare i8* @llvm.nacl.read.tp() |
27 | 27 |
| 28 ; CHECK-NOT: Function llvm.nacl.atomic.8 is a disallowed LLVM intrinsic |
| 29 ; CHECK-NOT: Function llvm.nacl.atomic.16 is a disallowed LLVM intrinsic |
| 30 ; CHECK-NOT: Function llvm.nacl.atomic.32 is a disallowed LLVM intrinsic |
| 31 ; CHECK-NOT: Function llvm.nacl.atomic.64 is a disallowed LLVM intrinsic |
| 32 declare i8 @llvm.nacl.atomic.8(i32, i8*, i8, i8, i32) |
| 33 declare i16 @llvm.nacl.atomic.16(i32, i16*, i16, i16, i32) |
| 34 declare i32 @llvm.nacl.atomic.32(i32, i32*, i32, i32, i32) |
| 35 declare i64 @llvm.nacl.atomic.64(i32, i64*, i64, i64, i32) |
| 36 |
28 ; CHECK-NOT: Function llvm.bswap.i16 is a disallowed LLVM intrinsic | 37 ; CHECK-NOT: Function llvm.bswap.i16 is a disallowed LLVM intrinsic |
29 declare i16 @llvm.bswap.i16(i16) | 38 declare i16 @llvm.bswap.i16(i16) |
30 | 39 |
31 ; CHECK-NOT: Function llvm.bswap.i32 is a disallowed LLVM intrinsic | 40 ; CHECK-NOT: Function llvm.bswap.i32 is a disallowed LLVM intrinsic |
32 declare i32 @llvm.bswap.i32(i32) | 41 declare i32 @llvm.bswap.i32(i32) |
33 | 42 |
34 ; CHECK-NOT: Function llvm.bswap.i64 is a disallowed LLVM intrinsic | 43 ; CHECK-NOT: Function llvm.bswap.i64 is a disallowed LLVM intrinsic |
35 declare i64 @llvm.bswap.i64(i64) | 44 declare i64 @llvm.bswap.i64(i64) |
36 | 45 |
37 ; CHECK-NOT: Function llvm.cttz.i32 is a disallowed LLVM intrinsic | 46 ; CHECK-NOT: Function llvm.cttz.i32 is a disallowed LLVM intrinsic |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
97 declare void @llvm.lifetime.start(i64, i8* nocapture) | 106 declare void @llvm.lifetime.start(i64, i8* nocapture) |
98 | 107 |
99 ; CHECK: Function llvm.lifetime.end is a disallowed LLVM intrinsic | 108 ; CHECK: Function llvm.lifetime.end is a disallowed LLVM intrinsic |
100 declare void @llvm.lifetime.end(i64, i8* nocapture) | 109 declare void @llvm.lifetime.end(i64, i8* nocapture) |
101 | 110 |
102 ; CHECK: Function llvm.frameaddress is a disallowed LLVM intrinsic | 111 ; CHECK: Function llvm.frameaddress is a disallowed LLVM intrinsic |
103 declare i8* @llvm.frameaddress(i32 %level) | 112 declare i8* @llvm.frameaddress(i32 %level) |
104 | 113 |
105 ; CHECK: Function llvm.returnaddress is a disallowed LLVM intrinsic | 114 ; CHECK: Function llvm.returnaddress is a disallowed LLVM intrinsic |
106 declare i8* @llvm.returnaddress(i32 %level) | 115 declare i8* @llvm.returnaddress(i32 %level) |
OLD | NEW |