[LLVMdev] Unreachable code executed crash

[Nick Lewycky]

Adarsh Yoga wrote:
> Yes. Intially the pass was crashing when the module when the module
> verifier was running. I was able to solve that and now it is crashing
> when the bit writer pass is running.

The output is wrong in @thread_pool_init:

<stdin>:44:27: error: '%4' defined with type 'i1'
   %5 = getelementptr i32* %4, i64 %indvar         ; <i32*> [#uses=1]
                           ^
where

   %4 = icmp slt i32 %threadnumber, 1              ; <i1> [#uses=2]

meaning that %4 is an i1 not an i32*. I'm not sure how you managed to do 
this, and how the verifier didn't catch it. Maybe the %4 operand is 
actually an instruction in another function?

I'll try to reproduce this and fix the verifier to catch it.

Nick

> On Wed, May 5, 2010 at 8:39 PM, Nick Lewycky <nlewycky at google.com
> <mailto:nlewycky at google.com>> wrote:
>
>     On 5 May 2010 17:12, Adarsh Yoga <ayoga at umail.iu.edu
>     <mailto:ayoga at umail.iu.edu>> wrote:
>
>         Hi,
>
>            I've written a pass that basically does some code
>         transformations to enable parallel execution of loops. After the
>         transformation llvm runs BitCode Writer pass , which is aborting
>         with Unreachable Executed error.
>         I have attached the input llvm code and the output llvm code for
>         reference. I am stuck at this problem for a few days now. Please
>         let me know if you are able to find anything unusual.
>
>
>     Have you tried running the module verifier after your transform,
>     before writing out to bitcode?
>
>     Nick
>
>         Regards,
>         Adarsh
>
>         --
>         Adarsh Yoga
>         Graduate Student, Computer Science
>         Indiana University, Bloomington
>
>         _______________________________________________
>         LLVM Developers mailing list
>         LLVMdev at cs.uiuc.edu <mailto:LLVMdev at cs.uiuc.edu>
>         http://llvm.cs.uiuc.edu
>         http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
>
>
>
> --
> Adarsh Yoga
> Graduate Student, Computer Science
> Indiana University, Bloomington
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev