Understanding how MIR works

[dibyendumajumdar]

Hi @vnmakarov

I was wondering if you would be able to provide references to any papers etc that explain the implementation techniques in MIR.

For instance, I believe you use Braun's method to enter into SSA. But looking at the code it is not clear to me what the algorithm is used for exiting SSA.

Also liveness calculation in SSA form - is there a reference to the algorithm used?

Thank you