Asm.CF
type N = Int Source #
type FreshM = State (N, Map Label N, Map Label [N]) Source #
runFreshM :: FreshM a -> a Source #
getFresh :: FreshM N Source #
fm :: Label -> FreshM N Source #
lookupLabel :: Label -> FreshM N Source #
lC :: Label -> FreshM [N] Source #
broadcast :: N -> Label -> FreshM () Source #
b3 :: N -> Label -> FreshM () Source #
singleton :: E reg => reg -> IntSet Source #
fromList :: E reg => [reg] -> IntSet Source #