The verifier pass is running after my pass completes. If the transformed code is not well-formed the module should break ideally, but it is not throwing an error during that pass. I can paste the stack dump if that helps.<br>
 <br>  UNREACHABLE executed!<br>0   opt             0x000000000076cadf<br>1   opt             0x000000000076d118<br>2   libpthread.so.0 0x00007f1c51a6bef0<br>3   libc.so.6       0x00007f1c50b83665 gsignal + 53<br>4   libc.so.6       0x00007f1c50b84b83 abort + 387<br>
5   opt             0x0000000000755dd8 llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) + 344<br>6   opt             0x0000000000682f32<br>7   opt             0x0000000000684a8b<br>8   opt             0x0000000000686867<br>
9   opt             0x0000000000686d1d llvm::WriteBitcodeToFile(llvm::Module const*, llvm::raw_ostream&) + 221<br>10  opt             0x000000000067f2fc<br>11  opt             0x000000000070cb45 llvm::MPPassManager::runOnModule(llvm::Module&) + 453<br>
12  opt             0x000000000070cdb9 llvm::PassManagerImpl::run(llvm::Module&) + 105<br>13  opt             0x000000000048d6c1 main + 1313<br>14  libc.so.6       0x00007f1c50b6fa26 __libc_start_main + 230<br>15  opt             0x0000000000483a79<br>
Stack dump:<br>0.      Running pass 'Bitcode Writer' on module '<stdin>'.<br>Aborted<br><br><br>Thanks,<br>Rohith. <br><br><div class="gmail_quote">On Sun, May 2, 2010 at 1:12 AM, Reid Kleckner <span dir="ltr"><<a href="mailto:rnk@mit.edu">rnk@mit.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Run the verifier pass after your pass.  The bitcode readers and<br>
writers assume that the IR is well-formed, which yours may not be.<br>
<font color="#888888"><br>
Reid<br>
</font><div><div></div><div class="h5"><br>
On Sun, May 2, 2010 at 1:08 AM, Rohith Goparaju <<a href="mailto:rgoparaj@umail.iu.edu">rgoparaj@umail.iu.edu</a>> wrote:<br>
> Hi,<br>
><br>
>   I've written a pass that basically does some code transformations to<br>
> enable parallel execution. After the transformation llvm runs BitCode Writer<br>
> pass , which is aborting with Unreachable Executed error.  What does this<br>
> error generally mean?.<br>
>   Any pointers on how to go about debugging this.<br>
><br>
> Thanks,<br>
>  Rohith.<br>
><br>
</div></div><div><div></div><div class="h5">> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
><br>
><br>
</div></div></blockquote></div><br>