[LLVMdev] Does phi Node always contain an incoming value for its predecessors?

[Tim Northover]

Hi Ruiling,

On 18 June 2014 04:08, Ruiling Song <ruiling.song83 at gmail.com> wrote:
> That is to say is it true that every phiNode within a basic block should
> contain an incoming value for every direct predecessor of the current block?

Yep, I believe that's correct: blocks in PHI nodes refer to the
immediate predecessors rather than any more distant source for a
value.

Cheers.

Tim.