On Fri, Oct 28, 2011 at 9:21 AM, Devang Patel <span dir="ltr"><<a href="mailto:dpatel@apple.com">dpatel@apple.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div style="word-wrap:break-word"><div><div></div><div class="h5"><br><div><div>On Oct 27, 2011, at 10:39 PM, Talin wrote:</div><br><blockquote type="cite">On Mon, Oct 24, 2011 at 9:17 AM, Devang Patel <span dir="ltr"><<a href="mailto:dpatel@apple.com" target="_blank">dpatel@apple.com</a>></span> wrote:<br>

<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div style="word-wrap:break-word"><div><br><div><div>On Oct 23, 2011, at 12:03 AM, Talin wrote:</div><br><blockquote type="cite">Just a follow up on this - I am still having problems, I never did figure out a solution. (I've been running with debug off for the last month so that I could get work done.)<div>



<br></div><div>Here's what I am seeing: I am definitely calling DIBuilder::finalize(). I even put a debug print statement right after it, so that I could be sure that the code was being executed. I also insured that it was getting called before the module was written out, and that no additional debug information gets added after it has been called.</div>





<div><br></div><div>Yet despite this, the second-to-last parameter for DW_TAG_subprogram metadata is in fact null in the module dissassembly.</div><div><br></div><div>So essentially I am completely stumped.</div></blockquote>



<br></div></div><div>If you're using DIBuilder to create your subprogram then you'll see that it puts new node in AllSubprograms.</div><div><br></div><div><div><font face="Monaco" style="font-size:11px">  // Create a named metadata so that we do not lose this mdnode.                                                                                                                </font></div>



<div><font face="Monaco" style="font-size:11px">  AllSubprograms.push_back(Node);</font></div><div><br></div></div>And follow AllSubprograms in DIBuilder::finalize()<div><br></div></div></blockquote><div>I traced through the code in DIBuilder::finalize():</div>



<div><span style="font-family:monospace;white-space:pre-wrap;background-color:rgb(255, 255, 255);font-size:medium"><pre>  <b><font color="#A020F0">for</font></b> (<b><font color="#228B22">unsigned</font></b> i = 0, e = SPs.getNumElements(); i != e; ++i) {
    DISubprogram SP(SPs.getElement(i));
    <b><font color="#A020F0">if</font></b> (NamedMDNode *NMD = getFnSpecificMDNode(M, SP)) {
      SmallVector<Value *, 4> Variables;
      <b><font color="#A020F0">for</font></b> (<b><font color="#228B22">unsigned</font></b> ii = 0, ee = NMD->getNumOperands(); ii != ee; ++ii)
</pre><div><br></div></span></div><div>It looks as if getFnSpecificMDNode() is always returning NULL in my case -  the body of the if statement never gets executed.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">



<div style="word-wrap:break-word"><div></div><div></div></div></blockquote></div></blockquote><br></div></div></div><div>The two lines above this for loop is </div><div><br></div><div><div>  DIArray SPs = getOrCreateArray(AllSubprograms);</div>

<div>  DIType(TempSubprograms).replaceAllUsesWith(SPs);</div><div><br></div><div>This should populate your CompieUnit's   node that holds top level subprograms.</div><div>-</div><div>Devang</div></div><br></div>
</blockquote></div>I created a bug (<a href="http://llvm.org/bugs/show_bug.cgi?id=11271">http://llvm.org/bugs/show_bug.cgi?id=11271</a>) with some small example files that demonstrate the problems I am having. At this point I do not know whether the problem is in my frontend or in llc. An examination of the samples I uploaded might be able to determine at least that much: If the bitcode is correct, then it's a problem with llc; If the bitcode is wrong, then it's a problem in my frontend.<br>

<br clear="all"><div>I've been attempting to trace through DIBuilder::finalize() in the debugger in order to determine what might be going wrong. Unfortunately, the code in that section is not easy to debug, because the various collection classes involved aren't very easy to examine in the debugger. (For example, it's hard to see in the debugger what the effect of replaceAllUses... is.)</div>

<div><br></div>-- <br>-- Talin<br>