X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fvectorise%2FVectorise%2FEnv.hs;h=5014fd6272f383deb64dc16e2f06f5409e2e68e3;hb=18691d440f90a3dff4ef538091c886af505e5cf5;hp=70ed8c4555690b20fd2378a8f37197f4c48ff0e5;hpb=ff3bfae6010625b7ffe96bc62e8e139870684600;p=ghc-hetmet.git

diff --git a/compiler/vectorise/Vectorise/Env.hs b/compiler/vectorise/Vectorise/Env.hs
index 70ed8c4..5014fd6 100644
--- a/compiler/vectorise/Vectorise/Env.hs
+++ b/compiler/vectorise/Vectorise/Env.hs
@@ -20,10 +20,12 @@ module Vectorise.Env (
 	setBoxedTyConsEnv,
 	updVectInfo
 ) where
+
 import HscTypes
 import InstEnv
 import FamInstEnv
 import CoreSyn
+import Type
 import TyCon
 import DataCon
 import VarEnv
@@ -70,15 +72,23 @@ emptyLocalEnv = LocalEnv {
 
 -- GlobalEnv ------------------------------------------------------------------
 -- | The global environment.
---	These are things the exist at top-level.
+--      These are things the exist at top-level.
 data GlobalEnv 
-	= GlobalEnv {
-        -- | Mapping from global variables to their vectorised versions.
-          global_vars		:: VarEnv Var
-
-        -- | Purely scalar variables. Code which mentions only these
-        --   variables doesn't have to be lifted.
-        , global_scalars	:: VarSet
+        = GlobalEnv {
+        -- | Mapping from global variables to their vectorised versions — aka the /vectorisation
+        --   map/.
+          global_vars           :: VarEnv Var
+
+        -- | Mapping from global variables that have a vectorisation declaration to the right-hand
+        --   side of that declaration and its type.  This mapping only applies to non-scalar
+        --   vectorisation declarations.  All variables with a scalar vectorisation declaration are
+        --   mentioned in 'global_scalars'.
+        , global_vect_decls     :: VarEnv (Type, CoreExpr)
+
+        -- | Purely scalar variables. Code which mentions only these variables doesn't have to be
+        --   lifted.  This includes variables from the current module that have a scalar
+        --   vectorisation declaration and those that the vectoriser determines to be scalar.
+        , global_scalars        :: VarSet
 
         -- | Exported variables which have a vectorised version.
         , global_exported_vars	:: VarEnv (Var, Var)
@@ -88,10 +98,10 @@ data GlobalEnv
         , global_tycons		:: NameEnv TyCon
 
         -- | Mapping from DataCons to their vectorised versions.
-        , global_datacons	:: NameEnv DataCon
+        , global_datacons       :: NameEnv DataCon
 
         -- | Mapping from TyCons to their PA dfuns.
-	, global_pa_funs	:: NameEnv Var
+        , global_pa_funs        :: NameEnv Var
 
         -- | Mapping from TyCons to their PR dfuns.
         , global_pr_funs	:: NameEnv Var
@@ -109,24 +119,26 @@ data GlobalEnv
         , global_bindings	:: [(Var, CoreExpr)]
         }
 
-
 -- | Create an initial global environment
-initGlobalEnv :: VectInfo -> (InstEnv, InstEnv) -> FamInstEnvs -> GlobalEnv
-initGlobalEnv info instEnvs famInstEnvs
-	= GlobalEnv 
-	{ global_vars          = mapVarEnv snd $ vectInfoVar info
-	, global_scalars       = emptyVarSet
-	, global_exported_vars = emptyVarEnv
-	, global_tycons        = mapNameEnv snd $ vectInfoTyCon info
-	, global_datacons      = mapNameEnv snd $ vectInfoDataCon info
-	, global_pa_funs       = mapNameEnv snd $ vectInfoPADFun info
-	, global_pr_funs       = emptyNameEnv
-	, global_boxed_tycons  = emptyNameEnv
-	, global_inst_env      = instEnvs
-	, global_fam_inst_env  = famInstEnvs
-	, global_bindings      = []
-	}
-
+initGlobalEnv :: VectInfo -> [CoreVect] -> (InstEnv, InstEnv) -> FamInstEnvs -> GlobalEnv
+initGlobalEnv info vectDecls instEnvs famInstEnvs
+  = GlobalEnv 
+  { global_vars          = mapVarEnv snd $ vectInfoVar info
+  , global_vect_decls    = mkVarEnv vects
+  , global_scalars       = mkVarSet scalars
+  , global_exported_vars = emptyVarEnv
+  , global_tycons        = mapNameEnv snd $ vectInfoTyCon info
+  , global_datacons      = mapNameEnv snd $ vectInfoDataCon info
+  , global_pa_funs       = mapNameEnv snd $ vectInfoPADFun info
+  , global_pr_funs       = emptyNameEnv
+  , global_boxed_tycons  = emptyNameEnv
+  , global_inst_env      = instEnvs
+  , global_fam_inst_env  = famInstEnvs
+  , global_bindings      = []
+  }
+  where
+    vects   = [(var, (varType var, exp)) | Vect var (Just exp) <- vectDecls]
+    scalars = [var                       | Vect var Nothing    <- vectDecls]
 
 
 -- Operators on Global Environments -------------------------------------------
@@ -135,13 +147,11 @@ extendImportedVarsEnv :: [(Var, Var)] -> GlobalEnv -> GlobalEnv
 extendImportedVarsEnv ps genv
   = genv { global_vars	 = extendVarEnvList (global_vars genv) ps }
 
-
 -- | Extend the set of scalar variables in an environment.
 extendScalars :: [Var] -> GlobalEnv -> GlobalEnv
 extendScalars vs genv
   = genv { global_scalars = extendVarSetList (global_scalars genv) vs }
 
-
 -- | Set the list of type family instances in an environment.
 setFamEnv :: FamInstEnv -> GlobalEnv -> GlobalEnv
 setFamEnv l_fam_inst genv