[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?

[Jakob Stoklund Olesen]

On Jun 13, 2011, at 3:17 PM, Eli Friedman wrote:

> The thing I've never really quite understood with this whole
> discussion of attaching an unwind edge to blocks is how this works
> with SSA form... how do you write a PHI node that has multiple values
> on a given edge?

You should think of the edge as coming from the top of the block. Values defined in the block are not available on the EH edge.

/jakob