Use the existing begin and end symbol for debug info.
[oota-llvm.git] / test / DebugInfo / X86 / pr19307.ll
1 ; RUN: llc -O0 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
2
3 ; Generated from the source file pr19307.cc:
4 ; #include <string>
5 ; void parse_range(unsigned long long &offset, unsigned long long &limit,
6 ;                  std::string range) {
7 ;   if (range.compare(0, 6, "items=") != 0 || range[6] == '-')
8 ;     offset = 1;
9 ;   range.erase(0, 6);
10 ;   limit = 2;
11 ; }
12 ; with "clang++ -S -emit-llvm -O0 -g pr19307.cc"
13
14 ; Location of "range" string is spilled from %rdx to stack and is
15 ; addressed via %rbp.
16 ; CHECK: movq %rdx, {{[-0-9]+}}(%rbp)
17 ; CHECK-NEXT: [[START_LABEL:.Ltmp[0-9]+]]
18 ; This location should be valid until the end of the function.
19
20 ; Verify that we have proper range in debug_loc section:
21 ; CHECK: .Ldebug_loc{{[0-9]+}}:
22 ; CHECK: DW_OP_breg1
23 ; CHECK:      .quad [[START_LABEL]]-.Lfunc_begin0
24 ; CHECK-NEXT: .quad .Lfunc_end0-.Lfunc_begin0
25 ; CHECK: DW_OP_breg6
26 ; CHECK: DW_OP_deref
27
28 ; ModuleID = 'pr19307.cc'
29 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
30 target triple = "x86_64-unknown-linux-gnu"
31
32 %"class.std::basic_string" = type { %"struct.std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider" }
33 %"struct.std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Alloc_hider" = type { i8* }
34
35 @.str = private unnamed_addr constant [7 x i8] c"items=\00", align 1
36
37 ; Function Attrs: uwtable
38 define void @_Z11parse_rangeRyS_Ss(i64* %offset, i64* %limit, %"class.std::basic_string"* %range) #0 {
39 entry:
40   %offset.addr = alloca i64*, align 8
41   %limit.addr = alloca i64*, align 8
42   store i64* %offset, i64** %offset.addr, align 8
43   call void @llvm.dbg.declare(metadata i64** %offset.addr, metadata !45, metadata !MDExpression()), !dbg !46
44   store i64* %limit, i64** %limit.addr, align 8
45   call void @llvm.dbg.declare(metadata i64** %limit.addr, metadata !47, metadata !MDExpression()), !dbg !46
46   call void @llvm.dbg.declare(metadata %"class.std::basic_string"* %range, metadata !48, metadata !MDExpression(DW_OP_deref)), !dbg !49
47   %call = call i32 @_ZNKSs7compareEmmPKc(%"class.std::basic_string"* %range, i64 0, i64 6, i8* getelementptr inbounds ([7 x i8]* @.str, i32 0, i32 0)), !dbg !50
48   %cmp = icmp ne i32 %call, 0, !dbg !50
49   br i1 %cmp, label %if.then, label %lor.lhs.false, !dbg !50
50
51 lor.lhs.false:                                    ; preds = %entry
52   %call1 = call i8* @_ZNSsixEm(%"class.std::basic_string"* %range, i64 6), !dbg !52
53   %0 = load i8, i8* %call1, !dbg !52
54   %conv = sext i8 %0 to i32, !dbg !52
55   %cmp2 = icmp eq i32 %conv, 45, !dbg !52
56   br i1 %cmp2, label %if.then, label %if.end, !dbg !52
57
58 if.then:                                          ; preds = %lor.lhs.false, %entry
59   %1 = load i64*, i64** %offset.addr, align 8, !dbg !54
60   store i64 1, i64* %1, align 8, !dbg !54
61   br label %if.end, !dbg !54
62
63 if.end:                                           ; preds = %if.then, %lor.lhs.false
64   %call3 = call %"class.std::basic_string"* @_ZNSs5eraseEmm(%"class.std::basic_string"* %range, i64 0, i64 6), !dbg !55
65   %2 = load i64*, i64** %limit.addr, align 8, !dbg !56
66   store i64 2, i64* %2, align 8, !dbg !56
67   ret void, !dbg !57
68 }
69
70 ; Function Attrs: nounwind readnone
71 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
72
73 declare i32 @_ZNKSs7compareEmmPKc(%"class.std::basic_string"*, i64, i64, i8*) #2
74
75 declare i8* @_ZNSsixEm(%"class.std::basic_string"*, i64) #2
76
77 declare %"class.std::basic_string"* @_ZNSs5eraseEmm(%"class.std::basic_string"*, i64, i64) #2
78
79 attributes #0 = { uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
80 attributes #1 = { nounwind readnone }
81 attributes #2 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
82
83 !llvm.dbg.cu = !{!0}
84 !llvm.module.flags = !{!42, !43}
85 !llvm.ident = !{!44}
86
87 !0 = !MDCompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5.0 (209308)", isOptimized: false, emissionKind: 1, file: !1, enums: !2, retainedTypes: !3, subprograms: !12, globals: !2, imports: !21)
88 !1 = !MDFile(filename: "pr19307.cc", directory: "/llvm_cmake_gcc")
89 !2 = !{}
90 !3 = !{!4, !6, !8}
91 !4 = !MDCompositeType(tag: DW_TAG_structure_type, line: 83, flags: DIFlagFwdDecl, file: !5, identifier: "_ZTS11__mbstate_t")
92 !5 = !MDFile(filename: "/usr/include/wchar.h", directory: "/llvm_cmake_gcc")
93 !6 = !MDCompositeType(tag: DW_TAG_structure_type, name: "lconv", line: 54, flags: DIFlagFwdDecl, file: !7, identifier: "_ZTS5lconv")
94 !7 = !MDFile(filename: "/usr/include/locale.h", directory: "/llvm_cmake_gcc")
95 !8 = !MDCompositeType(tag: DW_TAG_class_type, name: "basic_string<char, std::char_traits<char>, std::allocator<char> >", line: 1134, flags: DIFlagFwdDecl, file: !9, scope: !10, identifier: "_ZTSSs")
96 !9 = !MDFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/bits/basic_string.tcc", directory: "/llvm_cmake_gcc")
97 !10 = !MDNamespace(name: "std", line: 153, file: !11, scope: null)
98 !11 = !MDFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/x86_64-linux-gnu/bits/c++config.h", directory: "/llvm_cmake_gcc")
99 !12 = !{!13}
100 !13 = !MDSubprogram(name: "parse_range", linkageName: "_Z11parse_rangeRyS_Ss", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 4, file: !1, scope: !14, type: !15, function: void (i64*, i64*, %"class.std::basic_string"*)* @_Z11parse_rangeRyS_Ss, variables: !2)
101 !14 = !MDFile(filename: "pr19307.cc", directory: "/llvm_cmake_gcc")
102 !15 = !MDSubroutineType(types: !16)
103 !16 = !{null, !17, !17, !19}
104 !17 = !MDDerivedType(tag: DW_TAG_reference_type, baseType: !18)
105 !18 = !MDBasicType(tag: DW_TAG_base_type, name: "long long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned)
106 !19 = !MDDerivedType(tag: DW_TAG_typedef, name: "string", line: 65, file: !20, scope: !10, baseType: !"_ZTSSs")
107 !20 = !MDFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/bits/stringfwd.h", directory: "/llvm_cmake_gcc")
108 !21 = !{!22, !26, !29, !33, !38, !41}
109 !22 = !MDImportedEntity(tag: DW_TAG_imported_module, line: 57, scope: !23, entity: !25)
110 !23 = !MDNamespace(name: "__gnu_debug", line: 55, file: !24, scope: null)
111 !24 = !MDFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/debug/debug.h", directory: "/llvm_cmake_gcc")
112 !25 = !MDNamespace(name: "__debug", line: 49, file: !24, scope: !10)
113 !26 = !MDImportedEntity(tag: DW_TAG_imported_declaration, line: 66, scope: !10, entity: !27)
114 !27 = !MDDerivedType(tag: DW_TAG_typedef, name: "mbstate_t", line: 106, file: !5, baseType: !28)
115 !28 = !MDDerivedType(tag: DW_TAG_typedef, name: "__mbstate_t", line: 95, file: !5, baseType: !"_ZTS11__mbstate_t")
116 !29 = !MDImportedEntity(tag: DW_TAG_imported_declaration, line: 141, scope: !10, entity: !30)
117 !30 = !MDDerivedType(tag: DW_TAG_typedef, name: "wint_t", line: 141, file: !31, baseType: !32)
118 !31 = !MDFile(filename: "/llvm_cmake_gcc/bin/../lib/clang/3.5.0/include/stddef.h", directory: "/llvm_cmake_gcc")
119 !32 = !MDBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned)
120 !33 = !MDImportedEntity(tag: DW_TAG_imported_declaration, line: 42, scope: !34, entity: !36)
121 !34 = !MDNamespace(name: "__gnu_cxx", line: 69, file: !35, scope: null)
122 !35 = !MDFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/bits/cpp_type_traits.h", directory: "/llvm_cmake_gcc")
123 !36 = !MDDerivedType(tag: DW_TAG_typedef, name: "size_t", line: 155, file: !11, scope: !10, baseType: !37)
124 !37 = !MDBasicType(tag: DW_TAG_base_type, name: "long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned)
125 !38 = !MDImportedEntity(tag: DW_TAG_imported_declaration, line: 43, scope: !34, entity: !39)
126 !39 = !MDDerivedType(tag: DW_TAG_typedef, name: "ptrdiff_t", line: 156, file: !11, scope: !10, baseType: !40)
127 !40 = !MDBasicType(tag: DW_TAG_base_type, name: "long int", size: 64, align: 64, encoding: DW_ATE_signed)
128 !41 = !MDImportedEntity(tag: DW_TAG_imported_declaration, line: 55, scope: !10, entity: !"_ZTS5lconv")
129 !42 = !{i32 2, !"Dwarf Version", i32 4}
130 !43 = !{i32 2, !"Debug Info Version", i32 3}
131 !44 = !{!"clang version 3.5.0 (209308)"}
132 !45 = !MDLocalVariable(tag: DW_TAG_arg_variable, name: "offset", line: 3, arg: 1, scope: !13, file: !14, type: !17)
133 !46 = !MDLocation(line: 3, scope: !13)
134 !47 = !MDLocalVariable(tag: DW_TAG_arg_variable, name: "limit", line: 3, arg: 2, scope: !13, file: !14, type: !17)
135 !48 = !MDLocalVariable(tag: DW_TAG_arg_variable, name: "range", line: 4, arg: 3, scope: !13, file: !14, type: !19)
136 !49 = !MDLocation(line: 4, scope: !13)
137 !50 = !MDLocation(line: 5, scope: !51)
138 !51 = distinct !MDLexicalBlock(line: 5, column: 0, file: !1, scope: !13)
139 !52 = !MDLocation(line: 5, scope: !53)
140 !53 = distinct !MDLexicalBlock(line: 5, column: 0, file: !1, scope: !51)
141 !54 = !MDLocation(line: 6, scope: !51)
142 !55 = !MDLocation(line: 7, scope: !13)
143 !56 = !MDLocation(line: 8, scope: !13)
144 !57 = !MDLocation(line: 9, scope: !13)
145