[LLVMdev] conditional flow resulting in "Instruction does not dominate all uses!"

[edA-qa mort-ora-y]

On 03/11/13 12:16, Henrique Santos wrote:
> You could try placing a phi node at "defer_block" with incoming value
> "result"
> when the incoming block is "entry", and do the same for "null" and
> "landing".
> Then, instead of loading "result", you load the value given by the newly
> created phi. That seems like the easiest solution.

I looked at doing this. It isn't easy however since the landingpad can
be shared by several invoke points (as does the defer/following blocks).
If I could figure out how to combine it together then the phi might make
sense.

I created the same situation in C++ and got clang to generate LLVM-IR.
It appears they are using local variables (alloca) for this situation.


-- 
edA-qa mort-ora-y
-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
Sign: Please digitally sign your emails.
Encrypt: I'm also happy to receive encrypted mail.