From d244909b766b89096c616784cdca5ab4522bb0e0 Mon Sep 17 00:00:00 2001
From: Jay Foad
It is not valid to reference the return value of an invoke call from -anywhere not dominated by the normal label, since an unwind does not -provide a return value.
+For the purposes of the SSA form, the definition of the value +returned by the 'invoke' instruction is deemed to occur on +the edge from the current block to the "normal" label. If the callee +unwinds then no return value is available.
@@ -4518,6 +4519,11 @@ may be used as the label arguments. block and the PHI instructions: i.e. PHI instructions must be first in a basic block. +For the purposes of the SSA form, the use of each incoming value is +deemed to occur on the edge from the corresponding predecessor block +to the current block (but after any definition of an 'invoke' +instruction's return value on the same edge).
+Semantics:
At runtime, the 'phi' instruction logically takes on the value