[LLVMdev] Unreachable Executed error.

[Rohith Goparaju]

  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.

  UNREACHABLE executed!
0   opt             0x000000000076cadf
1   opt             0x000000000076d118
2   libpthread.so.0 0x00007f1c51a6bef0
3   libc.so.6       0x00007f1c50b83665 gsignal + 53
4   libc.so.6       0x00007f1c50b84b83 abort + 387
5   opt             0x0000000000755dd8 llvm::llvm_unreachable_internal(char
const*, char const*, unsigned int) + 344
6   opt             0x0000000000682f32
7   opt             0x0000000000684a8b
8   opt             0x0000000000686867
9   opt             0x0000000000686d1d llvm::WriteBitcodeToFile(llvm::Module
const*, llvm::raw_ostream&) + 221
10  opt             0x000000000067f2fc
11  opt             0x000000000070cb45
llvm::MPPassManager::runOnModule(llvm::Module&) + 453
12  opt             0x000000000070cdb9
llvm::PassManagerImpl::run(llvm::Module&) + 105
13  opt             0x000000000048d6c1 main + 1313
14  libc.so.6       0x00007f1c50b6fa26 __libc_start_main + 230
15  opt             0x0000000000483a79
Stack dump:
0.      Running pass 'Bitcode Writer' on module '<stdin>'.
Aborted


Thanks,
Rohith.

On Sun, May 2, 2010 at 1:12 AM, Reid Kleckner <rnk at mit.edu> wrote:

> Run the verifier pass after your pass.  The bitcode readers and
> writers assume that the IR is well-formed, which yours may not be.
>
> Reid
>
> On Sun, May 2, 2010 at 1:08 AM, Rohith Goparaju <rgoparaj at umail.iu.edu>
> wrote:
> > Hi,
> >
> >   I've written a pass that basically does some code transformations to
> > enable parallel execution. After the transformation llvm runs BitCode
> Writer
> > pass , which is aborting with Unreachable Executed error.  What does this
> > error generally mean?.
> >   Any pointers on how to go about debugging this.
> >
> > Thanks,
> >  Rohith.
> >
> > _______________________________________________
> > LLVM Developers mailing list
> > LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
> >
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100502/a4fcbe76/attachment.html>