diff options
Diffstat (limited to 'test/Transforms/AddDiscriminators/dbg-declare-discriminator.ll')
| -rw-r--r-- | test/Transforms/AddDiscriminators/dbg-declare-discriminator.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/Transforms/AddDiscriminators/dbg-declare-discriminator.ll b/test/Transforms/AddDiscriminators/dbg-declare-discriminator.ll new file mode 100644 index 0000000000000..5e90d32a62eb5 --- /dev/null +++ b/test/Transforms/AddDiscriminators/dbg-declare-discriminator.ll @@ -0,0 +1,30 @@ +; RUN: opt -S -add-discriminators < %s | FileCheck %s + +declare void @llvm.dbg.declare(metadata, metadata, metadata) + +; This checks whether the add-discriminators pass producess valid metadata on +; llvm.dbg.declare instructions +; +; CHECK-LABEL: @test_valid_metadata +define void @test_valid_metadata() { + %a = alloca i8 + call void @llvm.dbg.declare(metadata i8* %a, metadata !2, metadata !5), !dbg !6 + %b = alloca i8 + call void @llvm.dbg.declare(metadata i8* %b, metadata !9, metadata !5), !dbg !11 + ret void +} + +!llvm.module.flags = !{!0, !1} + +!0 = !{i32 2, !"Dwarf Version", i32 4} +!1 = !{i32 2, !"Debug Info Version", i32 3} +!2 = !DILocalVariable(scope: !3) +!3 = distinct !DISubprogram(scope: null, file: !4, isLocal: false, isDefinition: true, isOptimized: false) +!4 = !DIFile(filename: "a.cpp", directory: "/tmp") +!5 = !DIExpression() +!6 = !DILocation(line: 0, scope: !3, inlinedAt: !7) +!7 = distinct !DILocation(line: 0, scope: !8) +!8 = distinct !DISubprogram(linkageName: "test_valid_metadata", scope: null, isLocal: false, isDefinition: true, isOptimized: false) +!9 = !DILocalVariable(scope: !10) +!10 = distinct !DISubprogram(scope: null, file: !4, isLocal: false, isDefinition: true, isOptimized: false) +!11 = !DILocation(line: 0, scope: !10) |