<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Oct 15, 2013 at 11:46 AM, Adrian Prantl <span dir="ltr"><<a href="mailto:aprantl@apple.com" target="_blank">aprantl@apple.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Oct 15, 2013, at 11:42, David Blaikie <<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>> wrote:<br>
<br>
> Could you attach/paste the IR obtained without your change? I'm curious to see what dbg.values are produced.<br>
<br>
</div>; Function Attrs: nounwind ssp uwtable<br>
define void @foo() #0 {<br>
  %offset = alloca i64, align 8<br>
  call void @llvm.dbg.declare(metadata !{i64* %offset}, metadata !10), !dbg !13<br>
  call void @llvm.dbg.value(metadata !14, i64 0, metadata !10), !dbg !13<br>
  store i64 0, i64* %offset, align 8, !dbg !13, !tbaa !15<br>
  %1 = call i32 @bar(i64* %offset, i64 0) #3, !dbg !19<br>
  %2 = icmp eq i32 %1, 0, !dbg !19<br>
  br i1 %2, label %6, label %3, !dbg !19<br>
<br>
; <label>:3                                       ; preds = %0<br>
; -----> This is the one I care about:<br>
  call void @llvm.dbg.value(metadata !{i64* %offset}, i64 0, metadata !10), !dbg !21<br>
  %4 = load i64* %offset, align 8, !dbg !21, !tbaa !15<br>
  %5 = call i32 @bar(i64* %offset, i64 %4) #3, !dbg !21<br>
  br label %6, !dbg !21<br>
<br>
; <label>:6                                       ; preds = %3, %0<br>
  ret void, !dbg !22<br>
<div class="im">}<br>
<br>
> & a little bit of 'asking for a pony' - but is there one specific optimization you could run to demonstrate this problem rather than all of -O2?<br>
<br>
</div>No ponies, unfortunately. The specific optimization _is_ LowerDbgDeclare and it usually gets run by clang even if you go straight to -emit-llvm.</blockquote><div><br></div><div>Sorry, I'm not sure I follow. When I run clang -g -O0 -S -emit-llvm on the source you listed (and without your change applied) I get one dbg.declare, no dbg.values). So I don't know what you mean by "usually gets run by clang even if you go straight to -emit-llvm" - if that were true, wouldn't I expect to see the spurious dbg.values you described in the output of -g -O0 -S -emit-llvm?<br>
</div></div></div></div>