<div dir="ltr"><div class="gmail_default" style="font-family:georgia,serif;font-size:large">Hello, John</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 27, 2015 at 3:37 PM, John Criswell <span dir="ltr"><<a href="mailto:jtcriswel@gmail.com" target="_blank">jtcriswel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000"><span class="">
<div>On 5/27/15 8:12 AM, Hui Zhang wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div>Hello, Everyone<br>
<br>
</div>
<div>I'm using llvm 3.6 DIBuilder module
to build the debug information for Chapel language(the
Chapel-llvm front end works fine). When I run the test
program, I got these assertions failed:<br>
!718<br>
Expected no forward declarations!<br>
!719<br>
Expected no forward declarations!<br>
!720<br>
Expected no forward declarations!<br>
!721<br>
Expected no forward declarations!<br>
!722<br>
All nodes should be resolved!<br>
!716<br>
<br>
</div>
<div>How should I debug it since the
bitcode file isn't generated and I can't see what exactly
those MDNodes represent...<br>
</div>
</div>
</blockquote>
<br></span>
You can probably disable the pass that verifies the LLVM bitcode.
If you're using opt, there's a command-line option for that (use
--help-hidden to find it). If you're using a custom tool, you'll
either need to f<div class="gmail_default" style="font-family:georgia,serif;font-size:large;display:inline"></div>ind the option or modify its source code to disable
it.<br></div></blockquote><div><br><div class="gmail_default" style="font-family:georgia,serif;font-size:large">Here, "ind the option or modify its source code to disable
it", you mean change the source code of the custom tool(I'm not using opt) that trigger this assertion failure ? The part of code that cause the failure is below: <br> #if HAVE_LLVM_VER >= 35<br> problems = verifyModule(*info->module, &errs());<br> #else<br> problems = verifyModule(*info->module, PrintMessageAction);<br> #endif <br> if(problems) {<br> INT_FATAL("LLVM module verification failed");<br><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:large">So you think I should just remove that "verifyModule" line ?<br></div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">
<br>
Alternatively, run the program through a debugger so that you break
into the debugger when it hits the assertion. You can then use the
debugger to examine the IR (using the dump() methods of various LLVM
classes) and see what is causing the problem.<br></div></blockquote><div><br><div class="gmail_default" style="font-family:georgia,serif;font-size:large;display:inline">I started it in gdb, but how to use dump() in gdb ? <br>Thanks<br><br></div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
<blockquote type="cite"><span class="">
<div dir="ltr">
<div><br>
</div>
<div>Any information would be great
appreciated, not found any useful posts online yet<br>
<br>
</div>
<div>Thanks a lot !<br>
</div>
<br>
-- <br>
<div>Best regards<br>
<br>
<br>
Hui Zhang<br>
</div>
</div>
<br>
<fieldset></fieldset>
<br>
</span><pre>_______________________________________________
LLVM Developers mailing list
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><span class=""><font color="#888888">
</font></span></pre><span class=""><font color="#888888">
</font></span></blockquote><span class=""><font color="#888888">
<br>
<br>
<pre cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.cs.rochester.edu_u_criswell&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=oAMqckWzcDftV7OxpQauO4ges3qYfKAhC2JUA1bdjKM&s=3LriUQNH8NS3onsz2_ujcgWqePI78VOOv2LjOBt8vVY&e=" target="_blank">http://www.cs.rochester.edu/u/criswell</a></pre>
</font></span></div>
</blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Best regards<br><br><br>Hui Zhang<br></div>
</div></div>