Whitespace
Minor renaming
Use wildcard for unused binding
Don't assume the BeginMethod statement is node 0
Use a WriterT to linearize a control flow graph
Wildcards
Move some SSA functions from the register allocator to the SSARegisters datatype module
Simplify withRegister by offloading the task of mapping registers
After register allocation, Call does not need to have a list of registers which its arguments refer to
Remove debug line
Eta reduce
Rename
No need to bundle the graph into a method when operating on the graph
Rename n to nRegs for clarity
More descriptive name "limitInterference"
Superfluous arguments
Flip arguments
Simplify limiInterference function contract by not needing to specify spillCount starts at 0
Factor out the patching of unifies
Remove some unused arguments