(original) (raw)

Is it a convenient way except of somehow iterating from one block to another to find from which block I have initial incoming value and from which I have a changing incoming value (this is only for phi nodes with two incoming blocks)? Dominator tree requires to know one block and one block edge...this is not what I want. Is it valid to take two first instructions from two incoming blocks and see what dominates what?