IR.Hoist

Documentation

loop :: [Stmt] -> ([Loop], [(Stmt, ControlAnn)], Array Int (Stmt, ControlAnn))

hoist :: [Stmt] -> (Graph, Tree N, [(Stmt, ControlAnn)], Array Int (Stmt, ControlAnn))

pall :: [Stmt] -> [Stmt]