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 !dbg !13 { 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 !DIExpression()), !dbg !46 44 store i64* %limit, i64** %limit.addr, align 8 45 call void @llvm.dbg.declare(metadata i64** %limit.addr, metadata !47, metadata !DIExpression()), !dbg !46 46 call void @llvm.dbg.declare(metadata %"class.std::basic_string"* %range, metadata !48, metadata !DIExpression(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], [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 = distinct !DICompileUnit(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 = !DIFile(filename: "pr19307.cc", directory: "/llvm_cmake_gcc") 89 !2 = !{} 90 !3 = !{!4, !6, !8} 91 !4 = !DICompositeType(tag: DW_TAG_structure_type, line: 83, flags: DIFlagFwdDecl, file: !5, identifier: "_ZTS11__mbstate_t") 92 !5 = !DIFile(filename: "/usr/include/wchar.h", directory: "/llvm_cmake_gcc") 93 !6 = !DICompositeType(tag: DW_TAG_structure_type, name: "lconv", line: 54, flags: DIFlagFwdDecl, file: !7, identifier: "_ZTS5lconv") 94 !7 = !DIFile(filename: "/usr/include/locale.h", directory: "/llvm_cmake_gcc") 95 !8 = !DICompositeType(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 = !DIFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/bits/basic_string.tcc", directory: "/llvm_cmake_gcc") 97 !10 = !DINamespace(name: "std", line: 153, file: !11, scope: null) 98 !11 = !DIFile(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 = distinct !DISubprogram(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, variables: !2) 101 !14 = !DIFile(filename: "pr19307.cc", directory: "/llvm_cmake_gcc") 102 !15 = !DISubroutineType(types: !16) 103 !16 = !{null, !17, !17, !19} 104 !17 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !18) 105 !18 = !DIBasicType(tag: DW_TAG_base_type, name: "long long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned) 106 !19 = !DIDerivedType(tag: DW_TAG_typedef, name: "string", line: 65, file: !20, scope: !10, baseType: !"_ZTSSs") 107 !20 = !DIFile(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 = !DIImportedEntity(tag: DW_TAG_imported_module, line: 57, scope: !23, entity: !25) 110 !23 = !DINamespace(name: "__gnu_debug", line: 55, file: !24, scope: null) 111 !24 = !DIFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/debug/debug.h", directory: "/llvm_cmake_gcc") 112 !25 = !DINamespace(name: "__debug", line: 49, file: !24, scope: !10) 113 !26 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 66, scope: !10, entity: !27) 114 !27 = !DIDerivedType(tag: DW_TAG_typedef, name: "mbstate_t", line: 106, file: !5, baseType: !28) 115 !28 = !DIDerivedType(tag: DW_TAG_typedef, name: "__mbstate_t", line: 95, file: !5, baseType: !"_ZTS11__mbstate_t") 116 !29 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 141, scope: !10, entity: !30) 117 !30 = !DIDerivedType(tag: DW_TAG_typedef, name: "wint_t", line: 141, file: !31, baseType: !32) 118 !31 = !DIFile(filename: "/llvm_cmake_gcc/bin/../lib/clang/3.5.0/include/stddef.h", directory: "/llvm_cmake_gcc") 119 !32 = !DIBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned) 120 !33 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 42, scope: !34, entity: !36) 121 !34 = !DINamespace(name: "__gnu_cxx", line: 69, file: !35, scope: null) 122 !35 = !DIFile(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 = !DIDerivedType(tag: DW_TAG_typedef, name: "size_t", line: 155, file: !11, scope: !10, baseType: !37) 124 !37 = !DIBasicType(tag: DW_TAG_base_type, name: "long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned) 125 !38 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 43, scope: !34, entity: !39) 126 !39 = !DIDerivedType(tag: DW_TAG_typedef, name: "ptrdiff_t", line: 156, file: !11, scope: !10, baseType: !40) 127 !40 = !DIBasicType(tag: DW_TAG_base_type, name: "long int", size: 64, align: 64, encoding: DW_ATE_signed) 128 !41 = !DIImportedEntity(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 = !DILocalVariable(name: "offset", line: 3, arg: 1, scope: !13, file: !14, type: !17) 133 !46 = !DILocation(line: 3, scope: !13) 134 !47 = !DILocalVariable(name: "limit", line: 3, arg: 2, scope: !13, file: !14, type: !17) 135 !48 = !DILocalVariable(name: "range", line: 4, arg: 3, scope: !13, file: !14, type: !19) 136 !49 = !DILocation(line: 4, scope: !13) 137 !50 = !DILocation(line: 5, scope: !51) 138 !51 = distinct !DILexicalBlock(line: 5, column: 0, file: !1, scope: !13) 139 !52 = !DILocation(line: 5, scope: !53) 140 !53 = distinct !DILexicalBlock(line: 5, column: 0, file: !1, scope: !51) 141 !54 = !DILocation(line: 6, scope: !51) 142 !55 = !DILocation(line: 7, scope: !13) 143 !56 = !DILocation(line: 8, scope: !13) 144 !57 = !DILocation(line: 9, scope: !13) 145 146
