-- graph coloring register allocation
let ((alloced, regAllocStats), usAlloc)
-- graph coloring register allocation
let ((alloced, regAllocStats), usAlloc)
else do
-- do linear register allocation
let ((alloced, regAllocStats), usAlloc)
else do
-- do linear register allocation
let ((alloced, regAllocStats), usAlloc)