julia

df09f67c - irverify: Enforce invariant that PhiNodes are at the beginning of a BB (#50158)

irverify: Enforce invariant that PhiNodes are at the beginning of a BB (#50158) We have an invariant that all PhiNodes are at the beginning of a BasicBlock (only possible interrupted by a `nothing`) and we rely on this in various places for correctness. However, we did not actually verify this invariant.