Bug fix. Assignments created from PHI nodes should be done in parallel. Here is an example of multiple PHI assignments that Shaobo discovered are causing problems:
p4 := p8;
p5 := p4; // this p4 here should refer to p4 from a previous block and not the one right above!
The committed fix is to translate PHI assignments to be performed in parallel, like this:
p4, p5 := p8, p4;
That should fix this issue.