[LLVMdev] Building a stable bitcode format for PNaCl - based on LLVM IR

[Nick Lewycky]

Mark Seaborn wrote:
> For example, we could specify whether a phi node requires 1 or 2 entries
> for a basic block B if there are 2 incoming edges from B.  I think the
> LLVM Language Reference currently does not specify this.

Going on a tangent, the answer is that it must have 2 incoming edges and 
the verifier does verify this. Feel free to add text to the LangRef.

Nick