import VarEnv
import Name ( mkSysTvName )
import NameEnv
+import Id
-import DsMonad
+import DsMonad hiding (mapAndUnzipM)
import PrelNames
import Outputable
import FastString
-import Control.Monad ( liftM2 )
+import Control.Monad ( liftM, liftM2, mapAndUnzipM )
vectorise :: HscEnv -> ModGuts -> IO ModGuts
vectorise hsc_env guts
orElseV :: VM a -> VM a -> VM a
orElseV p q = maybe q return =<< tryV p
+localV :: VM a -> VM a
+localV p = do
+ env <- readLEnv id
+ x <- p
+ setLEnv env
+ return x
+
liftDs :: DsM a -> VM a
liftDs p = VM $ \bi genv lenv -> do { x <- p; return (Yes genv lenv x) }
vectModule :: ModGuts -> VM ModGuts
vectModule guts = return guts
+
+
+vectBndr :: Var -> VM (Var, Var)
+vectBndr v
+ = do
+ vty <- vectType (idType v)
+ lty <- mkPArrayTy vty
+ let vv = v `Id.setIdType` vty
+ lv = v `Id.setIdType` lty
+ updLEnv (mapTo vv lv)
+ return (vv, lv)
+ where
+ mapTo vv lv env = env { local_vars = extendVarEnv (local_vars env) v (Var vv, Var lv) }
+
+vectBndrIn :: Var -> VM a -> VM (Var, Var, a)
+vectBndrIn v p
+ = localV
+ $ do
+ (vv, lv) <- vectBndr v
+ x <- p
+ return (vv, lv, x)
+
+vectBndrsIn :: [Var] -> VM a -> VM ([Var], [Var], a)
+vectBndrsIn vs p
+ = localV
+ $ do
+ (vvs, lvs) <- mapAndUnzipM vectBndr vs
+ x <- p
+ return (vvs, lvs, x)
+
-- ----------------------------------------------------------------------------
-- Expressions
fn' <- vectExpr lc fn
arg' <- vectExpr lc arg
capply fn' arg'
+vectExpr lc (_, AnnCase expr bndr ty alts)
+ = panic "vectExpr: case"
+vectExpr lc (_, AnnLet (AnnNonRec bndr rhs) body)
+ = do
+ (vrhs, lrhs) <- vectExpr lc rhs
+ (vbndr, lbndr, (vbody, lbody)) <- vectBndrIn bndr (vectExpr lc body)
+ return (Let (NonRec vbndr vrhs) vbody,
+ Let (NonRec lbndr lrhs) lbody)
+vectExpr lc (_, AnnLet (AnnRec prs) body)
+ = do
+ (vbndrs, lbndrs, (vrhss, vbody, lrhss, lbody)) <- vectBndrsIn bndrs vect
+ return (Let (Rec (zip vbndrs vrhss)) vbody,
+ Let (Rec (zip lbndrs lrhss)) lbody)
+ where
+ (bndrs, rhss) = unzip prs
+
+ vect = do
+ (vrhss, lrhss) <- mapAndUnzipM (vectExpr lc) rhss
+ (vbody, lbody) <- vectExpr lc body
+ return (vrhss, vbody, lrhss, lbody)
-- ----------------------------------------------------------------------------
-- PA dictionaries
| otherwise = pprPanic "splitClosureTy" (ppr ty)
+mkPArrayTy :: Type -> VM Type
+mkPArrayTy ty = do
+ tc <- builtin parrayTyCon
+ return $ TyConApp tc [ty]
+