Documentation

type RegEnv = Map LocVar RegVar Source #

type RightmostRegEnv = Map LocVar RegVar Source #

type FnLocArgs = [LREM] Source #

type AllocEnv = Map Var TyCon Source #

type PkdEnv = Map LocVar RegVar Source #

type OrderedLocsEnv = Map RegVar [LocVar] Source #

type RanEnv = Map Var Var Source #

threadRegions :: Prog2 -> PassM Prog2 Source #

threadRegionsFn :: DDefs Ty2 -> FunDefs2 -> FunDef2 -> PassM FunDef2 Source #

threadRegionsExp :: DDefs Ty2 -> FunDefs2 -> [LREM] -> RegEnv -> Env2 Ty2 -> RightmostRegEnv -> AllocEnv -> AllocEnv -> PkdEnv -> OrderedLocsEnv -> RanEnv -> Set LocVar -> Set LocVar -> Exp2 -> PassM Exp2 Source #

hole_tycon :: String Source #

ss_ops :: Set (Maybe Var, LocVar) -> Set Var -> AllocEnv -> AllocEnv -> RegEnv -> PassM ([(Var, [LocArg], Ty2, Exp2)], [(Var, [LocArg], Ty2, Exp2)], [(Var, [LocArg], Ty2, Exp2)], [(Var, [LocArg], Ty2, Exp2)]) Source #

findRetLocs :: Exp2 -> [LocArg] Source #

boundsCheck :: DDefs2 -> TyCon -> Int Source #

allFreeVars_sans_datacon_args :: Exp2 -> Set Var Source #

substEndReg :: Either LocVar RegVar -> RegVar -> Exp2 -> Exp2 Source #

substEndReg_locarg :: Either LocVar RegVar -> RegVar -> LocArg -> LocArg Source #