<div dir="ltr">To avoid unhappy users, it would be good to get this and r<span style="font-size:12.8px">257977 applied to the 3.8 branch.</span></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jan 16, 2016 at 2:15 AM, Keno Fischer via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: kfischer<br>
Date: Fri Jan 15 19:15:32 2016<br>
New Revision: 257979<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=257979&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=257979&view=rev</a><br>
Log:<br>
[DwarfDebug] Don't merge DebugLocEntries if their pieces overlap<br>
<br>
Summary:<br>
Later in DWARF emission we check that DebugLocEntries have<br>
non-overlapping pieces, so we should create any such entries<br>
by merging here.<br>
<br>
Fixes PR26163.<br>
<br>
Reviewers: aprantl<br>
Differential Revision: <a href="http://reviews.llvm.org/D16249" rel="noreferrer" target="_blank">http://reviews.llvm.org/D16249</a><br>
<br>
Added:<br>
    llvm/trunk/test/DebugInfo/ARM/PR26163.ll<br>
Modified:<br>
    llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp<br>
<br>
Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp?rev=257979&r1=257978&r2=257979&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp?rev=257979&r1=257978&r2=257979&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp (original)<br>
+++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp Fri Jan 15 19:15:32 2016<br>
@@ -813,7 +813,8 @@ bool DebugLocEntry::MergeValues(const De<br>
   if (Begin == Next.Begin) {<br>
     auto *Expr = cast_or_null<DIExpression>(Values[0].Expression);<br>
     auto *NextExpr = cast_or_null<DIExpression>(Next.Values[0].Expression);<br>
-    if (Expr->isBitPiece() && NextExpr->isBitPiece()) {<br>
+    if (Expr->isBitPiece() && NextExpr->isBitPiece() &&<br>
+        !piecesOverlap(Expr, NextExpr)) {<br>
       addValues(Next.Values);<br>
       End = Next.End;<br>
       return true;<br>
<br>
Added: llvm/trunk/test/DebugInfo/ARM/PR26163.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/ARM/PR26163.ll?rev=257979&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/ARM/PR26163.ll?rev=257979&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/DebugInfo/ARM/PR26163.ll (added)<br>
+++ llvm/trunk/test/DebugInfo/ARM/PR26163.ll Fri Jan 15 19:15:32 2016<br>
@@ -0,0 +1,107 @@<br>
+; RUN: llc -filetype=obj -o - < %s | llvm-dwarfdump - | FileCheck %s<br>
+;<br>
+; Checks that we're creating two ranges, one that terminates immediately<br>
+; and one that spans the rest of the function. This isn't necessarily the<br>
+; best thing to do here (and also not necessarily correct, since the first<br>
+; one has a bit_piece), but it is what is currently being emitted, any<br>
+; change here needs to be intentional, so the test is very specific.<br>
+;<br>
+; CHECK: .debug_loc contents:<br>
+; CHECK: 0x00000000: Beginning address offset: 0x0000000000000004<br>
+; CHECK:                Ending address offset: 0x0000000000000004<br>
+; CHECK:                 Location description: 10 00 9f<br>
+; CHECK:             Beginning address offset: 0x0000000000000004<br>
+; CHECK:                Ending address offset: 0x0000000000000014<br>
+; CHECK:                 Location description: 10 00 9f<br>
+<br>
+; Created form the following test case (PR26163) with<br>
+; clang -cc1 -triple armv4t--freebsd11.0-gnueabi -emit-obj -debug-info-kind=standalone -O2 -x c test.c<br>
+;<br>
+; typedef      unsigned int    size_t;<br>
+; struct timeval {<br>
+;      long long tv_sec;<br>
+;      int tv_usec;<br>
+; };<br>
+;<br>
+; void *memset(void *, int, size_t);<br>
+; void foo(void);<br>
+;<br>
+; static void<br>
+; bar(int value)<br>
+; {<br>
+;      struct timeval lifetime;<br>
+;<br>
+;      memset(&lifetime, 0, sizeof(struct timeval));<br>
+;      lifetime.tv_sec = value;<br>
+;<br>
+;      foo();<br>
+; }<br>
+;<br>
+; int<br>
+; parse_config_file(void)<br>
+; {<br>
+;      int value;<br>
+;<br>
+;      bar(value);<br>
+;      return (0);<br>
+; }<br>
+<br>
+target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"<br>
+target triple = "armv4t--freebsd11.0-gnueabi"<br>
+<br>
+%struct.timeval = type { i64, i32 }<br>
+<br>
+declare void @llvm.dbg.declare(metadata, metadata, metadata)<br>
+declare void @llvm.dbg.value(metadata, i64, metadata, metadata)<br>
+<br>
+declare void @foo()<br>
+<br>
+define i32 @parse_config_file() !dbg !4 {<br>
+entry:<br>
+  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !15, metadata !26), !dbg !27<br>
+  tail call void @llvm.dbg.declare(metadata %struct.timeval* undef, metadata !16, metadata !26), !dbg !29<br>
+  tail call void @llvm.dbg.value(metadata i64 0, i64 0, metadata !16, metadata !30), !dbg !29<br>
+  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !16, metadata !31), !dbg !29<br>
+  tail call void @foo() #3, !dbg !32<br>
+  ret i32 0, !dbg !33<br>
+}<br>
+<br>
+<br>
+!<a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a> = !{!0}<br>
+!llvm.module.flags = !{!22, !23, !24}<br>
+!llvm.ident = !{!25}<br>
+<br>
+!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 3.9.0 (<a href="https://github.com/llvm-mirror/clang" rel="noreferrer" target="_blank">https://github.com/llvm-mirror/clang</a> 89dda3855cda574f355e6defa1d77bdae5053994) (llvm/trunk 257891)", isOptimized: true, runtimeVersion: 0, emissionKind: 1, enums: !2, subprograms: !3)<br>
+!1 = !DIFile(filename: "<stdin>", directory: "/home/ubuntu/bugs")<br>
+!2 = !{}<br>
+!3 = !{!4, !11}<br>
+!4 = distinct !DISubprogram(name: "parse_config_file", scope: !5, file: !5, line: 22, type: !6, isLocal: false, isDefinition: true, scopeLine: 23, flags: DIFlagPrototyped, isOptimized: true, variables: !9)<br>
+!5 = !DIFile(filename: "test.c", directory: "/home/ubuntu/bugs")<br>
+!6 = !DISubroutineType(types: !7)<br>
+!7 = !{!8}<br>
+!8 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)<br>
+!9 = !{!10}<br>
+!10 = !DILocalVariable(name: "value", scope: !4, file: !5, line: 24, type: !8)<br>
+!11 = distinct !DISubprogram(name: "bar", scope: !5, file: !5, line: 11, type: !12, isLocal: true, isDefinition: true, scopeLine: 12, flags: DIFlagPrototyped, isOptimized: true, variables: !14)<br>
+!12 = !DISubroutineType(types: !13)<br>
+!13 = !{null, !8}<br>
+!14 = !{!15, !16}<br>
+!15 = !DILocalVariable(name: "value", arg: 1, scope: !11, file: !5, line: 11, type: !8)<br>
+!16 = !DILocalVariable(name: "lifetime", scope: !11, file: !5, line: 13, type: !17)<br>
+!17 = !DICompositeType(tag: DW_TAG_structure_type, name: "timeval", file: !5, line: 2, size: 128, align: 64, elements: !18)<br>
+!18 = !{!19, !21}<br>
+!19 = !DIDerivedType(tag: DW_TAG_member, name: "tv_sec", scope: !17, file: !5, line: 3, baseType: !20, size: 64, align: 64)<br>
+!20 = !DIBasicType(name: "long long int", size: 64, align: 64, encoding: DW_ATE_signed)<br>
+!21 = !DIDerivedType(tag: DW_TAG_member, name: "tv_usec", scope: !17, file: !5, line: 4, baseType: !8, size: 32, align: 32, offset: 64)<br>
+!22 = !{i32 2, !"Debug Info Version", i32 3}<br>
+!23 = !{i32 1, !"wchar_size", i32 4}<br>
+!24 = !{i32 1, !"min_enum_size", i32 4}<br>
+!25 = !{!"clang version 3.9.0 (<a href="https://github.com/llvm-mirror/clang" rel="noreferrer" target="_blank">https://github.com/llvm-mirror/clang</a> 89dda3855cda574f355e6defa1d77bdae5053994) (llvm/trunk 257891)"}<br>
+!26 = !DIExpression()<br>
+!27 = !DILocation(line: 11, scope: !11, inlinedAt: !28)<br>
+!28 = distinct !DILocation(line: 26, scope: !4)<br>
+!29 = !DILocation(line: 13, scope: !11, inlinedAt: !28)<br>
+!30 = !DIExpression(DW_OP_bit_piece, 0, 64)<br>
+!31 = !DIExpression(DW_OP_bit_piece, 0, 32)<br>
+!32 = !DILocation(line: 18, scope: !11, inlinedAt: !28)<br>
+!33 = !DILocation(line: 27, scope: !4)<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>