RegAlloc

Documentation

data Operation

Constructors

Move !Node

NonMove !Operands

type RegCount = Int

allocRegs :: Traversable f => RegCount -> f Operation -> Except Interferences (f Int)

allocRegs' :: RegCount -> Interferences -> Moves -> Except Interferences ([Op], Colors)

colorize :: (MonadError Interferences m, Foldable t) => RegCount -> Interferences -> t Op -> Colors -> m Colors