xref: /llvm-project/llvm/test/DebugInfo/X86/undef-dbg-val.ll (revision 46bf5d547fa7f6066019750effaa6c2aa119a8da)
1; RUN:  opt -S -passes=globalopt --experimental-debuginfo-iterators=false <%s | FileCheck %s
2; CHECK: #dbg_value(ptr undef,
3; CHECK-SAME:    [[VAR:![0-9]+]],
4; CHECK-SAME:    !DIExpression()
5; CHECK: [[VAR]] = !DILocalVariable(name: "_format"
6
7
8; ModuleID = '<stdin>'
9source_filename = "test.cpp"
10
11@_ZZZZ4main_format = internal constant [24 x i8] c"Result1: Hello, World!\0A\00", align 16, !dbg !9
12
13define void  @foo() align 2 !dbg !5 {
14entry:
15  call void @llvm.dbg.value(metadata ptr @_ZZZZ4main_format, metadata !11, metadata !DIExpression()), !dbg !12
16  ret void
17}
18
19!llvm.dbg.cu = !{!0}
20!llvm.module.flags = !{!3, !4}
21
22!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang", isOptimized: true, emissionKind: FullDebug)
23!1 = !DIFile(filename: "test.cpp", directory: "/path/to")
24!2 = !{}
25!3 = !{i32 7, !"Dwarf Version", i32 4}
26!4 = !{i32 2, !"Debug Info Version", i32 3}
27!5 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 27, type: !6, scopeLine: 27, spFlags: DISPFlagDefinition, unit: !0)
28!6 = !DISubroutineType(types: !7)
29!7 = !{null}
30!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
31!9 = !DIGlobalVariableExpression(var: !10, expr: !DIExpression())
32!10 = distinct !DIGlobalVariable(name: "_format", scope: !5, file: !1, line: 49, type: !8, isLocal: true, isDefinition: true)
33!11 = !DILocalVariable(name: "_format", arg: 1, scope: !5, file: !1, line: 79, type: !8)
34!12 = !DILocation(line: 0, scope: !5)
35