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' 29target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 30target 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 38define void @_Z11parse_rangeRyS_Ss(i64* %offset, i64* %limit, %"class.std::basic_string"* %range) #0 !dbg !13 { 39entry: 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 51lor.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 58if.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 63if.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 71declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 72 73declare i32 @_ZNKSs7compareEmmPKc(%"class.std::basic_string"*, i64, i64, i8*) #2 74 75declare i8* @_ZNSsixEm(%"class.std::basic_string"*, i64) #2 76 77declare %"class.std::basic_string"* @_ZNSs5eraseEmm(%"class.std::basic_string"*, i64, i64) #2 78 79attributes #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" } 80attributes #1 = { nounwind readnone } 81attributes #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: FullDebug, file: !1, enums: !2, retainedTypes: !3, 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!13 = distinct !DISubprogram(name: "parse_range", linkageName: "_Z11parse_rangeRyS_Ss", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 4, file: !1, scope: !14, type: !15, variables: !2) 100!14 = !DIFile(filename: "pr19307.cc", directory: "/llvm_cmake_gcc") 101!15 = !DISubroutineType(types: !16) 102!16 = !{null, !17, !17, !19} 103!17 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !18) 104!18 = !DIBasicType(tag: DW_TAG_base_type, name: "long long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned) 105!19 = !DIDerivedType(tag: DW_TAG_typedef, name: "string", line: 65, file: !20, scope: !10, baseType: !8) 106!20 = !DIFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/bits/stringfwd.h", directory: "/llvm_cmake_gcc") 107!21 = !{!22, !26, !29, !33, !38, !41} 108!22 = !DIImportedEntity(tag: DW_TAG_imported_module, line: 57, scope: !23, entity: !25) 109!23 = !DINamespace(name: "__gnu_debug", line: 55, file: !24, scope: null) 110!24 = !DIFile(filename: "/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/debug/debug.h", directory: "/llvm_cmake_gcc") 111!25 = !DINamespace(name: "__debug", line: 49, file: !24, scope: !10) 112!26 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 66, scope: !10, entity: !27) 113!27 = !DIDerivedType(tag: DW_TAG_typedef, name: "mbstate_t", line: 106, file: !5, baseType: !28) 114!28 = !DIDerivedType(tag: DW_TAG_typedef, name: "__mbstate_t", line: 95, file: !5, baseType: !4) 115!29 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 141, scope: !10, entity: !30) 116!30 = !DIDerivedType(tag: DW_TAG_typedef, name: "wint_t", line: 141, file: !31, baseType: !32) 117!31 = !DIFile(filename: "/llvm_cmake_gcc/bin/../lib/clang/3.5.0/include/stddef.h", directory: "/llvm_cmake_gcc") 118!32 = !DIBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned) 119!33 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 42, scope: !34, entity: !36) 120!34 = !DINamespace(name: "__gnu_cxx", line: 69, file: !35, scope: null) 121!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") 122!36 = !DIDerivedType(tag: DW_TAG_typedef, name: "size_t", line: 155, file: !11, scope: !10, baseType: !37) 123!37 = !DIBasicType(tag: DW_TAG_base_type, name: "long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned) 124!38 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 43, scope: !34, entity: !39) 125!39 = !DIDerivedType(tag: DW_TAG_typedef, name: "ptrdiff_t", line: 156, file: !11, scope: !10, baseType: !40) 126!40 = !DIBasicType(tag: DW_TAG_base_type, name: "long int", size: 64, align: 64, encoding: DW_ATE_signed) 127!41 = !DIImportedEntity(tag: DW_TAG_imported_declaration, line: 55, scope: !10, entity: !6) 128!42 = !{i32 2, !"Dwarf Version", i32 4} 129!43 = !{i32 2, !"Debug Info Version", i32 3} 130!44 = !{!"clang version 3.5.0 (209308)"} 131!45 = !DILocalVariable(name: "offset", line: 3, arg: 1, scope: !13, file: !14, type: !17) 132!46 = !DILocation(line: 3, scope: !13) 133!47 = !DILocalVariable(name: "limit", line: 3, arg: 2, scope: !13, file: !14, type: !17) 134!48 = !DILocalVariable(name: "range", line: 4, arg: 3, scope: !13, file: !14, type: !19) 135!49 = !DILocation(line: 4, scope: !13) 136!50 = !DILocation(line: 5, scope: !51) 137!51 = distinct !DILexicalBlock(line: 5, column: 0, file: !1, scope: !13) 138!52 = !DILocation(line: 5, scope: !53) 139!53 = distinct !DILexicalBlock(line: 5, column: 0, file: !1, scope: !51) 140!54 = !DILocation(line: 6, scope: !51) 141!55 = !DILocation(line: 7, scope: !13) 142!56 = !DILocation(line: 8, scope: !13) 143!57 = !DILocation(line: 9, scope: !13) 144 145