diff options
Diffstat (limited to 'test/Verifier/llvm.dbg.value-expression.ll')
| -rw-r--r-- | test/Verifier/llvm.dbg.value-expression.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Verifier/llvm.dbg.value-expression.ll b/test/Verifier/llvm.dbg.value-expression.ll new file mode 100644 index 0000000..c0d14a5 --- /dev/null +++ b/test/Verifier/llvm.dbg.value-expression.ll @@ -0,0 +1,16 @@ +; RUN: not llvm-as -disable-output <%s 2>&1 | FileCheck %s +; CHECK: invalid llvm.dbg.value intrinsic expression +; CHECK-NEXT: call void @llvm.dbg.value({{.*}}) +; CHECK-NEXT: !"" + +define void @foo(i32 %a) { +entry: + %s = alloca i32 + call void @llvm.dbg.value(metadata i32* %s, i64 0, metadata !MDLocalVariable(tag: DW_TAG_arg_variable), metadata !"") + ret void +} + +declare void @llvm.dbg.value(metadata, i64, metadata, metadata) + +!llvm.module.flags = !{!0} +!0 = !{i32 2, !"Debug Info Version", i32 3} |