Here is an example of when it happens ``` PredBB: A = add P0, 1 ... BR TailBB TailBB: P0 = PHI [A, PredBB]... P1 = PHI [P0, PredBB] ... BR PredBB, ... ``` when re-writing the PHIs, P1 would be replaced in TailBB with A instead of P0 at the entry of PredBB
41 KiB
41 KiB