splitClosureTy,
TyConRepr(..), mkTyConRepr,
- mkToPRepr, mkToArrPRepr, mkFromPRepr, mkFromArrPRepr,
+ mkToArrPRepr, mkFromArrPRepr,
mkPADictType, mkPArrayType, mkPReprType,
parrayCoerce, parrayReprTyCon, parrayReprDataCon, mkVScrut,
- prDictOfType, prCoerce,
+ prDFunOfTyCon, prCoerce,
paDictArgType, paDictOfType, paDFunType,
- paMethod, lengthPA, replicatePA, emptyPA, liftPA,
+ paMethod, mkPR, lengthPA, replicatePA, emptyPA, liftPA,
polyAbstract, polyApply, polyVApply,
hoistBinding, hoistExpr, hoistPolyVExpr, takeHoisted,
buildClosure, buildClosures,
import Name ( Name )
import PrelNames
import TysWiredIn
+import TysPrim ( intPrimTy )
import BasicTypes ( Boxity(..) )
import Outputable
import FastString
+import Maybes ( orElse )
import Data.List ( zipWith4 )
import Control.Monad ( liftM, liftM2, zipWithM_ )
mk tc ty1 ty2 = mkTyConApp tc [ty1,ty2]
data TyConRepr = TyConRepr {
- repr_tyvars :: [TyVar]
- , repr_tys :: [[Type]]
-
- , repr_prod_tycons :: [Maybe TyCon]
- , repr_prod_tys :: [Type]
- , repr_sum_tycon :: Maybe TyCon
- , repr_type :: Type
+ repr_tyvars :: [TyVar]
+ , repr_tys :: [[Type]]
+ , arr_shape_tys :: [Type]
+ , arr_repr_tys :: [[Type]]
+
+ , repr_prod_tycons :: [Maybe TyCon]
+ , repr_prod_data_cons :: [Maybe DataCon]
+ , repr_prod_tys :: [Type]
+ , repr_sum_tycon :: Maybe TyCon
+ , repr_sum_data_cons :: [DataCon]
+ , repr_type :: Type
}
mkTyConRepr :: TyCon -> VM TyConRepr
mkTyConRepr vect_tc
= do
- prod_tycons <- mapM (mk_tycon prodTyCon) rep_tys
+ uarr <- builtin uarrTyCon
+ prod_tycons <- mapM (mk_tycon prodTyCon) rep_tys
let prod_tys = zipWith mk_tc_app_maybe prod_tycons rep_tys
- sum_tycon <- mk_tycon sumTyCon prod_tys
+ sum_tycon <- mk_tycon sumTyCon prod_tys
+ arr_repr_tys <- mapM (mapM mkPArrayType . arr_repr_elem_tys) rep_tys
return $ TyConRepr {
- repr_tyvars = tyvars
- , repr_tys = rep_tys
-
- , repr_prod_tycons = prod_tycons
- , repr_prod_tys = prod_tys
- , repr_sum_tycon = sum_tycon
- , repr_type = mk_tc_app_maybe sum_tycon prod_tys
+ repr_tyvars = tyvars
+ , repr_tys = rep_tys
+ , arr_shape_tys = mk_shape uarr
+ , arr_repr_tys = arr_repr_tys
+
+ , repr_prod_tycons = prod_tycons
+ , repr_prod_data_cons = map (fmap mk_single_datacon) prod_tycons
+ , repr_prod_tys = prod_tys
+ , repr_sum_tycon = sum_tycon
+ , repr_sum_data_cons = fmap tyConDataCons sum_tycon `orElse` []
+ , repr_type = mk_tc_app_maybe sum_tycon prod_tys
}
where
tyvars = tyConTyVars vect_tc
data_cons = tyConDataCons vect_tc
rep_tys = map dataConRepArgTys data_cons
+ is_product | [_] <- data_cons = True
+ | otherwise = False
+
+ mk_shape uarr = intPrimTy : mk_sel uarr
+
+ mk_sel uarr | is_product = []
+ | otherwise = [uarr_int, uarr_int]
+ where
+ uarr_int = mkTyConApp uarr [intTy]
+
mk_tycon get_tc tys
| n > 1 = builtin (Just . get_tc n)
| otherwise = return Nothing
where n = length tys
+ mk_single_datacon tc | [dc] <- tyConDataCons tc = dc
+
mk_tc_app_maybe Nothing [] = unitTy
mk_tc_app_maybe Nothing [ty] = ty
mk_tc_app_maybe (Just tc) tys = mkTyConApp tc tys
-{-
-mkPRepr :: [[Type]] -> VM Type
-mkPRepr tys
- = do
- embed_tc <- builtin embedTyCon
- sum_tcs <- builtins sumTyCon
- prod_tcs <- builtins prodTyCon
-
- let mk_sum [] = unitTy
- mk_sum [ty] = ty
- mk_sum tys = mkTyConApp (sum_tcs $ length tys) tys
-
- mk_prod [] = unitTy
- mk_prod [ty] = ty
- mk_prod tys = mkTyConApp (prod_tcs $ length tys) tys
-
- mk_embed ty = mkTyConApp embed_tc [ty]
-
- return . mk_sum
- . map (mk_prod . map mk_embed)
- $ tys
--}
-
-mkToPRepr :: TyConRepr -> [[CoreExpr]] -> [CoreExpr]
-mkToPRepr (TyConRepr {
- repr_tys = repr_tys
- , repr_prod_tycons = prod_tycons
- , repr_prod_tys = prod_tys
- , repr_sum_tycon = repr_sum_tycon
- })
- = mk_sum . zipWith3 mk_prod prod_tycons repr_tys
- where
- Just sum_tycon = repr_sum_tycon
-
- mk_sum [] = [Var unitDataConId]
- mk_sum [expr] = [expr]
- mk_sum exprs = zipWith (mk_alt prod_tys) (tyConDataCons sum_tycon) exprs
-
- mk_alt tys dc expr = mk_con_app dc tys [expr]
-
- mk_prod _ _ [] = Var unitDataConId
- mk_prod _ _ [expr] = expr
- mk_prod (Just tc) tys exprs = mk_con_app dc tys exprs
- where
- [dc] = tyConDataCons tc
-
- mk_con_app dc tys exprs = mkConApp dc (map Type tys ++ exprs)
+ arr_repr_elem_tys [] = [unitTy]
+ arr_repr_elem_tys tys = tys
mkToArrPRepr :: CoreExpr -> CoreExpr -> [[CoreExpr]] -> VM CoreExpr
mkToArrPRepr len sel ess
liftM fst (mk_sum =<< mapM mk_prod ess)
-mkFromPRepr :: CoreExpr -> Type -> [([Var], CoreExpr)] -> VM CoreExpr
-mkFromPRepr scrut res_ty alts
- = do
- sum_tcs <- builtins sumTyCon
- prod_tcs <- builtins prodTyCon
-
- let un_sum expr ty [(vars, res)] = un_prod expr ty vars res
- un_sum expr ty bs
- = do
- ps <- mapM (newLocalVar FSLIT("p")) tys
- bodies <- sequence
- $ zipWith4 un_prod (map Var ps) tys vars rs
- return . Case expr (mkWildId ty) res_ty
- $ zipWith3 mk_alt sum_dcs ps bodies
- where
- (vars, rs) = unzip bs
- tys = splitFixedTyConApp sum_tc ty
- sum_tc = sum_tcs $ length bs
- sum_dcs = tyConDataCons sum_tc
-
- mk_alt dc p body = (DataAlt dc, [p], body)
-
- un_prod expr ty [] r = return r
- un_prod expr ty [var] r = return $ Let (NonRec var expr) r
- un_prod expr ty vars r
- = return $ Case expr (mkWildId ty) res_ty
- [(DataAlt prod_dc, vars, r)]
- where
- prod_tc = prod_tcs $ length vars
- [prod_dc] = tyConDataCons prod_tc
-
- un_sum scrut (exprType scrut) alts
-
mkFromArrPRepr :: CoreExpr -> Type -> Var -> Var -> [[Var]] -> CoreExpr
-> VM CoreExpr
mkFromArrPRepr scrut res_ty len sel vars res
(tc, arg_tys) <- parrayReprTyCon (exprType ve)
return ((ve, unwrapFamInstScrut tc arg_tys le), tc, arg_tys)
-prDictOfType :: Type -> VM CoreExpr
-prDictOfType orig_ty
- | Just (tycon, ty_args) <- splitTyConApp_maybe orig_ty
- = do
- dfun <- traceMaybeV "prDictOfType" (ppr tycon) (lookupTyConPR tycon)
- prDFunApply (Var dfun) ty_args
-
-prDFunApply :: CoreExpr -> [Type] -> VM CoreExpr
-prDFunApply dfun tys
- = do
- args <- mapM mkDFunArg arg_tys
- return $ mkApps mono_dfun args
- where
- mono_dfun = mkTyApps dfun tys
- (arg_tys, _) = splitFunTys (exprType mono_dfun)
-
-mkDFunArg :: Type -> VM CoreExpr
-mkDFunArg ty
- | Just (tycon, [arg]) <- splitTyConApp_maybe ty
-
- = let name = tyConName tycon
-
- get_dict | name == paTyConName = paDictOfType
- | name == prTyConName = prDictOfType
- | otherwise = pprPanic "mkDFunArg" (ppr ty)
-
- in get_dict arg
-
-mkDFunArg ty = pprPanic "mkDFunArg" (ppr ty)
+prDFunOfTyCon :: TyCon -> VM CoreExpr
+prDFunOfTyCon tycon
+ = liftM Var (traceMaybeV "prDictOfTyCon" (ppr tycon) (lookupTyConPR tycon))
prCoerce :: TyCon -> [Type] -> CoreExpr -> VM CoreExpr
prCoerce repr_tc args expr