[LLVMdev] invoke semantics
jay.foad at gmail.com
Wed Jun 3 02:50:44 PDT 2009
>> No. If the invoked function unwinds then it doesn't return a value.
>> I'm pretty sure that -verify will reject your testcase.
> Thanks to you and others for answering this. I've added a sentence to
> LangRef.html making this explicit.
I've had a go at documenting a bit more rigorously how phi and invoke
instructions affect the SSA form. Patch attached.
> Though, opt -verify does not currently reject the testcase I posted.
Is it OK to commit my changes to LangRef.html and then raise bugs
against -verify if it doesn't do what I said? :-)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1270 bytes
Desc: not available
More information about the llvm-dev