Asm.G

From Appel

Documentation

alloc

Arguments

:: (Ord reg, Arch arch areg afreg, Copointed (arch areg afreg))

=> [arch areg afreg (UD, Liveness, Maybe (Int, Int))]

-> [reg]

available registers

-> IntSet

Precolored areg

-> IntMap reg

Precolored map

-> Either IntSet (IntMap reg)

Map from abs reg. id (temp) to concrete reg.

allocF

Arguments

:: (Ord freg, Arch arch areg afreg, Copointed (arch areg afreg))

=> [arch areg afreg (UD, Liveness, Maybe (Int, Int))]

-> [freg]

available registers

-> IntSet

Precolored afreg

-> IntMap freg

Precolored map

-> Either IntSet (IntMap freg)

Map from abs freg. id (temp) to concrete reg.