OLD | NEW |
1 ; RUN: not pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
2 ; RUN: not pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | \ | 2 ; RUN: not pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | \ |
3 ; RUN: FileCheck %s --check-prefix=DBG | 3 ; RUN: FileCheck %s --check-prefix=DBG |
4 | 4 |
5 ; Test that only white-listed intrinsics are allowed. | 5 ; Test that only white-listed intrinsics are allowed. |
6 | 6 |
7 ; =================================== | 7 ; =================================== |
8 ; Always allowed intrinsics. | 8 ; Always allowed intrinsics. |
9 | 9 |
10 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, | 10 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, |
(...skipping 137 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
148 declare void @llvm.memset.p0i8.i64(i8* %dest, i8 %val, | 148 declare void @llvm.memset.p0i8.i64(i8* %dest, i8 %val, |
149 i64 %len, i32 %align, i1 %isvolatile) | 149 i64 %len, i32 %align, i1 %isvolatile) |
150 | 150 |
151 ; Test that the ABI checker checks the full function name. | 151 ; Test that the ABI checker checks the full function name. |
152 ; CHECK: Function llvm.memset.foo is a disallowed LLVM intrinsic | 152 ; CHECK: Function llvm.memset.foo is a disallowed LLVM intrinsic |
153 declare void @llvm.memset.foo(i8* %dest, i8 %val, | 153 declare void @llvm.memset.foo(i8* %dest, i8 %val, |
154 i64 %len, i32 %align, i1 %isvolatile) | 154 i64 %len, i32 %align, i1 %isvolatile) |
155 | 155 |
156 ; A debuginfo version is required. | 156 ; A debuginfo version is required. |
157 !llvm.module.flags = !{!0} | 157 !llvm.module.flags = !{!0} |
158 !0 = metadata !{i32 1, metadata !"Debug Info Version", i32 2} | 158 !0 = !{i32 1, !"Debug Info Version", i32 3} |
159 | 159 |
160 ; =================================== | 160 ; =================================== |
161 ; Debug info intrinsics, which are disallowed by default. | 161 ; Debug info intrinsics, which are disallowed by default. |
162 | 162 |
163 ; CHECK: Function llvm.dbg.value is a disallowed LLVM intrinsic | 163 ; CHECK: Function llvm.dbg.value is a disallowed LLVM intrinsic |
164 ; DBG-NOT: Function llvm.dbg.value is a disallowed LLVM intrinsic | 164 ; DBG-NOT: Function llvm.dbg.value is a disallowed LLVM intrinsic |
165 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) | 165 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) |
166 ; CHECK: Function llvm.dbg.declare is a disallowed LLVM intrinsic | 166 ; CHECK: Function llvm.dbg.declare is a disallowed LLVM intrinsic |
167 ; DBG-NOT: Function llvm.dbg.declare is a disallowed LLVM intrinsic | 167 ; DBG-NOT: Function llvm.dbg.declare is a disallowed LLVM intrinsic |
168 declare void @llvm.dbg.declare(metadata, metadata, metadata) | 168 declare void @llvm.dbg.declare(metadata, metadata, metadata) |
OLD | NEW |