1; RUN: llc -filetype=obj < %s | llvm-dwarfdump -debug-dump=info - | FileCheck %s 2; 3; PR22296: In this testcase the DBG_VALUE describing "p5" becomes unavailable 4; because the register its address is in is clobbered and we (currently) aren't 5; smart enough to realize that the value is rematerialized immediately after the 6; DBG_VALUE and/or is actually a stack slot. 7; 8; Test that we handle this situation gracefully by omitting the DW_AT_location 9; and not asserting. 10; Note that this check may XPASS in the future if DbgValueHistoryCalculator 11; becoms smarter. That would be fine, too. 12; 13; CHECK: DW_TAG_subprogram 14; CHECK: linkage_name{{.*}}_Z2f21A 15; CHECK: DW_TAG_formal_parameter 16; CHECK-NOT: DW_AT_location 17; CHECK-NEXT: DW_AT_name {{.*}}"p5" 18; 19; // Compile at -O1 20; struct A { 21; int *m1; 22; int m2; 23; }; 24; 25; void f1(int *p1, int p2); 26; void __attribute__((always_inline)) f2(A p5) { f1(p5.m1, p5.m2); } 27; 28; void func(void*); 29; void func(const int &, const int&); 30; int cond(); 31; void f() { 32; while (cond()) { 33; int x; 34; func(x, 0); 35; while (cond()) { 36; char y; 37; func(&y); 38; char j; 39; func(&j); 40; char I; 41; func(&I); 42; func(0, 0); 43; A g; 44; g.m1 = &x; 45; f2(g); 46; } 47; } 48; } 49; ModuleID = 'test.cpp' 50target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 51target triple = "x86_64-apple-macosx10.10.0" 52 53%struct.A = type { i32*, i32 } 54 55; Function Attrs: alwaysinline ssp uwtable 56define void @_Z2f21A(i32* %p5.coerce0, i32 %p5.coerce1) #0 !dbg !11 { 57entry: 58 tail call void @llvm.dbg.value(metadata i32* %p5.coerce0, i64 0, metadata !16, metadata !33), !dbg !34 59 tail call void @llvm.dbg.value(metadata i32 %p5.coerce1, i64 0, metadata !16, metadata !35), !dbg !34 60 tail call void @llvm.dbg.declare(metadata %struct.A* undef, metadata !16, metadata !36), !dbg !34 61 tail call void @_Z2f1Pii(i32* %p5.coerce0, i32 %p5.coerce1), !dbg !37 62 ret void, !dbg !38 63} 64 65; Function Attrs: nounwind readnone 66declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 67 68declare void @_Z2f1Pii(i32*, i32) #2 69 70; Function Attrs: ssp uwtable 71define void @_Z1fv() #3 !dbg !17 { 72entry: 73 %x = alloca i32, align 4 74 %ref.tmp = alloca i32, align 4 75 %y = alloca i8, align 1 76 %j = alloca i8, align 1 77 %I = alloca i8, align 1 78 %ref.tmp5 = alloca i32, align 4 79 %ref.tmp6 = alloca i32, align 4 80 %call11 = call i32 @_Z4condv(), !dbg !39 81 %tobool12 = icmp eq i32 %call11, 0, !dbg !39 82 br i1 %tobool12, label %while.end7, label %while.body, !dbg !40 83 84while.cond.loopexit: ; preds = %while.body4, %while.body 85 %call = call i32 @_Z4condv(), !dbg !39 86 %tobool = icmp eq i32 %call, 0, !dbg !39 87 br i1 %tobool, label %while.end7, label %while.body, !dbg !40 88 89while.body: ; preds = %entry, %while.cond.loopexit 90 store i32 0, i32* %ref.tmp, align 4, !dbg !41, !tbaa !42 91 call void @llvm.dbg.value(metadata i32* %x, i64 0, metadata !21, metadata !DIExpression(DW_OP_deref)), !dbg !46 92 call void @_Z4funcRKiS0_(i32* dereferenceable(4) %x, i32* dereferenceable(4) %ref.tmp), !dbg !47 93 %call29 = call i32 @_Z4condv(), !dbg !48 94 %tobool310 = icmp eq i32 %call29, 0, !dbg !48 95 br i1 %tobool310, label %while.cond.loopexit, label %while.body4, !dbg !49 96 97while.body4: ; preds = %while.body, %while.body4 98 call void @llvm.dbg.value(metadata i8* %y, i64 0, metadata !23, metadata !DIExpression(DW_OP_deref)), !dbg !50 99 call void @_Z4funcPv(i8* %y), !dbg !51 100 call void @llvm.dbg.value(metadata i8* %j, i64 0, metadata !26, metadata !DIExpression(DW_OP_deref)), !dbg !52 101 call void @_Z4funcPv(i8* %j), !dbg !53 102 call void @llvm.dbg.value(metadata i8* %I, i64 0, metadata !27, metadata !DIExpression(DW_OP_deref)), !dbg !54 103 call void @_Z4funcPv(i8* %I), !dbg !55 104 store i32 0, i32* %ref.tmp5, align 4, !dbg !56, !tbaa !42 105 store i32 0, i32* %ref.tmp6, align 4, !dbg !57, !tbaa !42 106 call void @_Z4funcRKiS0_(i32* dereferenceable(4) %ref.tmp5, i32* dereferenceable(4) %ref.tmp6), !dbg !58 107 call void @llvm.dbg.declare(metadata %struct.A* undef, metadata !28, metadata !36), !dbg !59 108 call void @llvm.dbg.value(metadata i32* %x, i64 0, metadata !28, metadata !33), !dbg !59 109 call void @llvm.dbg.value(metadata i32* %x, i64 0, metadata !21, metadata !DIExpression(DW_OP_deref)), !dbg !46 110 call void @llvm.dbg.value(metadata i32* %x, i64 0, metadata !60, metadata !33), !dbg !62 111 call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !60, metadata !35), !dbg !62 112 call void @llvm.dbg.declare(metadata %struct.A* undef, metadata !60, metadata !36), !dbg !62 113 call void @_Z2f1Pii(i32* %x, i32 undef), !dbg !63 114 %call2 = call i32 @_Z4condv(), !dbg !48 115 %tobool3 = icmp eq i32 %call2, 0, !dbg !48 116 br i1 %tobool3, label %while.cond.loopexit, label %while.body4, !dbg !49 117 118while.end7: ; preds = %while.cond.loopexit, %entry 119 ret void, !dbg !64 120} 121 122declare i32 @_Z4condv() 123 124declare void @_Z4funcRKiS0_(i32* dereferenceable(4), i32* dereferenceable(4)) 125 126declare void @_Z4funcPv(i8*) 127 128; Function Attrs: nounwind readnone 129declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1 130 131attributes #0 = { alwaysinline ssp uwtable } 132attributes #1 = { nounwind readnone } 133attributes #3 = { ssp uwtable } 134 135!llvm.dbg.cu = !{!0} 136!llvm.module.flags = !{!29, !30, !31} 137!llvm.ident = !{!32} 138 139!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.7.0 (trunk 227088) (llvm/trunk 227091)", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !3, globals: !2, imports: !2) 140!1 = !DIFile(filename: "test.cpp", directory: "") 141!2 = !{} 142!3 = !{!4} 143!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "A", line: 1, size: 128, align: 64, file: !1, elements: !5, identifier: "_ZTS1A") 144!5 = !{!6, !9} 145!6 = !DIDerivedType(tag: DW_TAG_member, name: "m1", line: 2, size: 64, align: 64, file: !1, scope: !4, baseType: !7) 146!7 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !8) 147!8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 148!9 = !DIDerivedType(tag: DW_TAG_member, name: "m2", line: 3, size: 32, align: 32, offset: 64, file: !1, scope: !4, baseType: !8) 149!11 = distinct !DISubprogram(name: "f2", linkageName: "_Z2f21A", line: 7, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 7, file: !1, scope: !12, type: !13, variables: !15) 150!12 = !DIFile(filename: "test.cpp", directory: "") 151!13 = !DISubroutineType(types: !14) 152!14 = !{null, !4} 153!15 = !{!16} 154!16 = !DILocalVariable(name: "p5", line: 7, arg: 1, scope: !11, file: !12, type: !4) 155!17 = distinct !DISubprogram(name: "f", linkageName: "_Z1fv", line: 12, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: true, unit: !0, scopeLine: 12, file: !1, scope: !12, type: !18, variables: !20) 156!18 = !DISubroutineType(types: !19) 157!19 = !{null} 158!20 = !{!21, !23, !26, !27, !28} 159!21 = !DILocalVariable(name: "x", line: 14, scope: !22, file: !12, type: !8) 160!22 = distinct !DILexicalBlock(line: 13, column: 18, file: !1, scope: !17) 161!23 = !DILocalVariable(name: "y", line: 17, scope: !24, file: !12, type: !25) 162!24 = distinct !DILexicalBlock(line: 16, column: 20, file: !1, scope: !22) 163!25 = !DIBasicType(tag: DW_TAG_base_type, name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char) 164!26 = !DILocalVariable(name: "j", line: 19, scope: !24, file: !12, type: !25) 165!27 = !DILocalVariable(name: "I", line: 21, scope: !24, file: !12, type: !25) 166!28 = !DILocalVariable(name: "g", line: 24, scope: !24, file: !12, type: !4) 167!29 = !{i32 2, !"Dwarf Version", i32 2} 168!30 = !{i32 2, !"Debug Info Version", i32 3} 169!31 = !{i32 1, !"PIC Level", i32 2} 170!32 = !{!"clang version 3.7.0 (trunk 227088) (llvm/trunk 227091)"} 171!33 = !DIExpression(DW_OP_bit_piece, 0, 8) 172!34 = !DILocation(line: 7, column: 42, scope: !11) 173!35 = !DIExpression(DW_OP_bit_piece, 8, 4) 174!36 = !DIExpression() 175!37 = !DILocation(line: 7, column: 48, scope: !11) 176!38 = !DILocation(line: 7, column: 66, scope: !11) 177!39 = !DILocation(line: 13, column: 10, scope: !17) 178!40 = !DILocation(line: 13, column: 3, scope: !17) 179!41 = !DILocation(line: 15, column: 13, scope: !22) 180!42 = !{!43, !43, i64 0} 181!43 = !{!"int", !44, i64 0} 182!44 = !{!"omnipotent char", !45, i64 0} 183!45 = !{!"Simple C/C++ TBAA"} 184!46 = !DILocation(line: 14, column: 9, scope: !22) 185!47 = !DILocation(line: 15, column: 5, scope: !22) 186!48 = !DILocation(line: 16, column: 12, scope: !22) 187!49 = !DILocation(line: 16, column: 5, scope: !22) 188!50 = !DILocation(line: 17, column: 12, scope: !24) 189!51 = !DILocation(line: 18, column: 7, scope: !24) 190!52 = !DILocation(line: 19, column: 12, scope: !24) 191!53 = !DILocation(line: 20, column: 7, scope: !24) 192!54 = !DILocation(line: 21, column: 12, scope: !24) 193!55 = !DILocation(line: 22, column: 7, scope: !24) 194!56 = !DILocation(line: 23, column: 12, scope: !24) 195!57 = !DILocation(line: 23, column: 15, scope: !24) 196!58 = !DILocation(line: 23, column: 7, scope: !24) 197!59 = !DILocation(line: 24, column: 9, scope: !24) 198!60 = !DILocalVariable(name: "p5", line: 7, arg: 1, scope: !11, file: !12, type: !4) 199!61 = distinct !DILocation(line: 26, column: 7, scope: !24) 200!62 = !DILocation(line: 7, column: 42, scope: !11, inlinedAt: !61) 201!63 = !DILocation(line: 7, column: 48, scope: !11, inlinedAt: !61) 202!64 = !DILocation(line: 29, column: 1, scope: !17) 203