X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fvectorise%2FVectMonad.hs;h=aae76c93e4e12c12160b9f260f3609c0d070ef41;hp=f91ca48483b0f2ba81cfb0d0b3318a38c99e5387;hb=58eb6de8922742d301a6703b4a21504dd8d623a5;hpb=346516b3930d677616e5108499d3a82b51f58853 diff --git a/compiler/vectorise/VectMonad.hs b/compiler/vectorise/VectMonad.hs index f91ca48..aae76c9 100644 --- a/compiler/vectorise/VectMonad.hs +++ b/compiler/vectorise/VectMonad.hs @@ -3,6 +3,7 @@ module VectMonad ( VM, noV, tryV, maybeV, traceMaybeV, orElseV, fixV, localV, closedV, initV, + liftDs, cloneName, cloneId, newExportedVar, newLocalVar, newDummyVar, newTyVar, @@ -21,7 +22,7 @@ module VectMonad ( lookupVar, defGlobalVar, lookupTyCon, defTyCon, lookupDataCon, defDataCon, - lookupTyConPA, defTyConPA, defTyConPAs, defTyConRdrPAs, + lookupTyConPA, defTyConPA, defTyConPAs, defTyConBuiltinPAs, lookupTyVarPA, defLocalTyVar, defLocalTyVarWithPA, localTyVars, {-lookupInst,-} lookupFamInst @@ -41,7 +42,8 @@ import OccName import Name import NameEnv import TysPrim ( intPrimTy ) -import RdrName +import Module +import IfaceEnv import DsMonad import PrelNames @@ -54,7 +56,7 @@ import Outputable import FastString import SrcLoc ( noSrcSpan ) -import Control.Monad ( liftM ) +import Control.Monad ( liftM, zipWithM ) data Scope a b = Global a | Local b @@ -65,6 +67,11 @@ data Builtins = Builtins { parrayTyCon :: TyCon , paTyCon :: TyCon , paDataCon :: DataCon + , preprTyCon :: TyCon + , embedTyCon :: TyCon + , embedDataCon :: DataCon + , crossTyCon :: TyCon + , plusTyCon :: TyCon , closureTyCon :: TyCon , mkClosureVar :: Var , applyClosureVar :: Var @@ -73,6 +80,9 @@ data Builtins = Builtins { , lengthPAVar :: Var , replicatePAVar :: Var , emptyPAVar :: Var + -- , packPAVar :: Var + -- , combinePAVar :: Var + , intEqPAVar :: Var , liftingContext :: Var } @@ -82,6 +92,11 @@ initBuiltins parrayTyCon <- dsLookupTyCon parrayTyConName paTyCon <- dsLookupTyCon paTyConName let paDataCon = case tyConDataCons paTyCon of [dc] -> dc + preprTyCon <- dsLookupTyCon preprTyConName + embedTyCon <- dsLookupTyCon embedTyConName + let embedDataCon = case tyConDataCons embedTyCon of [dc] -> dc + crossTyCon <- dsLookupTyCon crossTyConName + plusTyCon <- dsLookupTyCon plusTyConName closureTyCon <- dsLookupTyCon closureTyConName mkClosureVar <- dsLookupGlobalId mkClosureName @@ -91,6 +106,9 @@ initBuiltins lengthPAVar <- dsLookupGlobalId lengthPAName replicatePAVar <- dsLookupGlobalId replicatePAName emptyPAVar <- dsLookupGlobalId emptyPAName + -- packPAVar <- dsLookupGlobalId packPAName + -- combinePAVar <- dsLookupGlobalId combinePAName + intEqPAVar <- dsLookupGlobalId intEqPAName liftingContext <- liftM (\u -> mkSysLocal FSLIT("lc") u intPrimTy) newUnique @@ -99,6 +117,11 @@ initBuiltins parrayTyCon = parrayTyCon , paTyCon = paTyCon , paDataCon = paDataCon + , preprTyCon = preprTyCon + , embedTyCon = embedTyCon + , embedDataCon = embedDataCon + , crossTyCon = crossTyCon + , plusTyCon = plusTyCon , closureTyCon = closureTyCon , mkClosureVar = mkClosureVar , applyClosureVar = applyClosureVar @@ -107,6 +130,9 @@ initBuiltins , lengthPAVar = lengthPAVar , replicatePAVar = replicatePAVar , emptyPAVar = emptyPAVar + -- , packPAVar = packPAVar + -- , combinePAVar = combinePAVar + , intEqPAVar = intEqPAVar , liftingContext = liftingContext } @@ -145,10 +171,6 @@ data GlobalEnv = GlobalEnv { -- Hoisted bindings , global_bindings :: [(Var, CoreExpr)] - - -- Global Rdr environment (from ModGuts) - -- - , global_rdr_env :: GlobalRdrEnv } data LocalEnv = LocalEnv { @@ -169,9 +191,9 @@ data LocalEnv = LocalEnv { } -initGlobalEnv :: VectInfo -> (InstEnv, InstEnv) -> FamInstEnvs -> Builtins -> GlobalRdrEnv +initGlobalEnv :: VectInfo -> (InstEnv, InstEnv) -> FamInstEnvs -> Builtins -> GlobalEnv -initGlobalEnv info instEnvs famInstEnvs bi rdr_env +initGlobalEnv info instEnvs famInstEnvs bi = GlobalEnv { global_vars = mapVarEnv snd $ vectInfoVar info , global_exported_vars = emptyVarEnv @@ -183,7 +205,6 @@ initGlobalEnv info instEnvs famInstEnvs bi rdr_env , global_inst_env = instEnvs , global_fam_inst_env = famInstEnvs , global_bindings = [] - , global_rdr_env = rdr_env } setFamInstEnv :: FamInstEnv -> GlobalEnv -> GlobalEnv @@ -307,20 +328,10 @@ inBind id p = do updLEnv $ \env -> env { local_bind_name = occNameFS (getOccName id) } p -lookupRdrName :: RdrName -> VM Name -lookupRdrName rdr_name - = do - rdr_env <- readGEnv global_rdr_env - case lookupGRE_RdrName rdr_name rdr_env of - [gre] -> return (gre_name gre) - [] -> pprPanic "VectMonad.lookupRdrName: not found" (ppr rdr_name) - _ -> pprPanic "VectMonad.lookupRdrName: ambiguous" (ppr rdr_name) - -lookupRdrVar :: RdrName -> VM Var -lookupRdrVar rdr_name - = do - name <- lookupRdrName rdr_name - liftDs (dsLookupGlobalId name) +lookupExternalVar :: Module -> FastString -> VM Var +lookupExternalVar mod fs + = liftDs + $ dsLookupGlobalId =<< lookupOrig mod (mkVarOccFS fs) cloneName :: (OccName -> OccName) -> Name -> VM Name cloneName mk_occ name = liftM make (liftDs newUnique) @@ -413,15 +424,15 @@ defTyConPAs ps = updGEnv $ \env -> env { global_pa_funs = extendNameEnvList (global_pa_funs env) [(tyConName tc, pa) | (tc, pa) <- ps] } -defTyConRdrPAs :: [(Name, RdrName)] -> VM () -defTyConRdrPAs ps +defTyConBuiltinPAs :: [(Name, Module, FastString)] -> VM () +defTyConBuiltinPAs ps = do - pas <- mapM lookupRdrVar rdr_names + pas <- zipWithM lookupExternalVar mods fss updGEnv $ \env -> env { global_pa_funs = extendNameEnvList (global_pa_funs env) (zip tcs pas) } where - (tcs, rdr_names) = unzip ps + (tcs, mods, fss) = unzip3 ps lookupTyVarPA :: Var -> VM (Maybe CoreExpr) lookupTyVarPA tv = readLEnv $ \env -> lookupVarEnv (local_tyvar_pa env) tv @@ -516,8 +527,7 @@ initV hsc_env guts info p r <- runVM p builtins (initGlobalEnv info instEnvs famInstEnvs - builtins - (mg_rdr_env guts)) + builtins) emptyLocalEnv case r of Yes genv _ x -> return $ Just (new_info genv, x)