X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fvectorise%2FVectMonad.hs;h=9fe6755c282f2b48be23d84ea826241fec1fc532;hb=1064a48b4cb5b883c14510c0ce7cae290da14453;hp=b7e4b894e260835d808733fa6c1ee1569165e751;hpb=fe5405d4b97a521e32899f6dc2153c556723ca62;p=ghc-hetmet.git diff --git a/compiler/vectorise/VectMonad.hs b/compiler/vectorise/VectMonad.hs index b7e4b89..9fe6755 100644 --- a/compiler/vectorise/VectMonad.hs +++ b/compiler/vectorise/VectMonad.hs @@ -2,7 +2,8 @@ module VectMonad ( Scope(..), VM, - noV, tryV, maybeV, orElseV, fixV, localV, closedV, initV, + 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, defTyConRdrPAs, + lookupTyConPA, defTyConPA, defTyConPAs, defTyConBuiltinPAs, lookupTyVarPA, defLocalTyVar, defLocalTyVarWithPA, localTyVars, {-lookupInst,-} lookupFamInst @@ -34,6 +35,7 @@ import CoreSyn import TyCon import DataCon import Type +import Class import Var import VarEnv import Id @@ -41,7 +43,8 @@ import OccName import Name import NameEnv import TysPrim ( intPrimTy ) -import RdrName +import Module +import IfaceEnv import DsMonad import PrelNames @@ -54,7 +57,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 +68,16 @@ data Builtins = Builtins { parrayTyCon :: TyCon , paTyCon :: TyCon , paDataCon :: DataCon + , preprTyCon :: TyCon + , prTyCon :: TyCon + , prDataCon :: DataCon + , embedTyCon :: TyCon + , embedDataCon :: DataCon + , crossTyCon :: TyCon + , crossDataCon :: DataCon + , plusTyCon :: TyCon + , leftDataCon :: DataCon + , rightDataCon :: DataCon , closureTyCon :: TyCon , mkClosureVar :: Var , applyClosureVar :: Var @@ -73,6 +86,9 @@ data Builtins = Builtins { , lengthPAVar :: Var , replicatePAVar :: Var , emptyPAVar :: Var + -- , packPAVar :: Var + -- , combinePAVar :: Var + , intEqPAVar :: Var , liftingContext :: Var } @@ -81,7 +97,16 @@ initBuiltins = do parrayTyCon <- dsLookupTyCon parrayTyConName paTyCon <- dsLookupTyCon paTyConName - let paDataCon = case tyConDataCons paTyCon of [dc] -> dc + let [paDataCon] = tyConDataCons paTyCon + preprTyCon <- dsLookupTyCon preprTyConName + prTyCon <- dsLookupTyCon prTyConName + let [prDataCon] = tyConDataCons prTyCon + embedTyCon <- dsLookupTyCon embedTyConName + let [embedDataCon] = tyConDataCons embedTyCon + crossTyCon <- dsLookupTyCon ndpCrossTyConName + let [crossDataCon] = tyConDataCons crossTyCon + plusTyCon <- dsLookupTyCon ndpPlusTyConName + let [leftDataCon, rightDataCon] = tyConDataCons plusTyCon closureTyCon <- dsLookupTyCon closureTyConName mkClosureVar <- dsLookupGlobalId mkClosureName @@ -91,6 +116,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 +127,16 @@ initBuiltins parrayTyCon = parrayTyCon , paTyCon = paTyCon , paDataCon = paDataCon + , preprTyCon = preprTyCon + , prTyCon = prTyCon + , prDataCon = prDataCon + , embedTyCon = embedTyCon + , embedDataCon = embedDataCon + , crossTyCon = crossTyCon + , crossDataCon = crossDataCon + , plusTyCon = plusTyCon + , leftDataCon = leftDataCon + , rightDataCon = rightDataCon , closureTyCon = closureTyCon , mkClosureVar = mkClosureVar , applyClosureVar = applyClosureVar @@ -107,6 +145,9 @@ initBuiltins , lengthPAVar = lengthPAVar , replicatePAVar = replicatePAVar , emptyPAVar = emptyPAVar + -- , packPAVar = packPAVar + -- , combinePAVar = combinePAVar + , intEqPAVar = intEqPAVar , liftingContext = liftingContext } @@ -145,10 +186,6 @@ data GlobalEnv = GlobalEnv { -- Hoisted bindings , global_bindings :: [(Var, CoreExpr)] - - -- Global Rdr environment (from ModGuts) - -- - , global_rdr_env :: GlobalRdrEnv } data LocalEnv = LocalEnv { @@ -169,9 +206,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 +220,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 +343,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) @@ -408,15 +434,20 @@ defTyConPA :: TyCon -> Var -> VM () defTyConPA tc pa = updGEnv $ \env -> env { global_pa_funs = extendNameEnv (global_pa_funs env) (tyConName tc) pa } -defTyConRdrPAs :: [(Name, RdrName)] -> VM () -defTyConRdrPAs ps +defTyConPAs :: [(TyCon, Var)] -> VM () +defTyConPAs ps = updGEnv $ \env -> + env { global_pa_funs = extendNameEnvList (global_pa_funs env) + [(tyConName tc, pa) | (tc, pa) <- 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 @@ -511,8 +542,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)