Both number inferring and validation don't work between multiple phi nodes

[amishne]

Code sample:

define void @test() {
entry1:
  br label %join
entry2:
  br label %join
join:
  phi i32 [ 0, %entry1], [ 1, %entry2 ]
  phi i32 [ 1, %entry1], [ 1, %entry2 ]
  phi i32 [ 2, %entry1], [ 1, %entry2 ]
  add i32 %1, 3
  ret void
}

[amishne]

And domination checks also don't dig into the phi list. In short, named phi nodes seem to be completely ignored by the reverse element iterator.