module CLaSH.Normalize.PrimitiveReductions where
import qualified Control.Lens as Lens
import qualified Data.HashMap.Lazy as HashMap
import qualified Data.Maybe as Maybe
import Data.Text (pack)
import Unbound.Generics.LocallyNameless (bind, embed, rec, rebind,
string2Name, name2String)
import CLaSH.Core.DataCon (DataCon, dataConInstArgTys,
dcName, dcType)
import CLaSH.Core.Literal (Literal (..))
import CLaSH.Core.Pretty (showDoc)
import CLaSH.Core.Term (Term (..), Pat (..))
import CLaSH.Core.Type (LitTy (..), Type (..),
TypeView (..), coreView,
mkFunTy, mkTyConApp,
splitFunForallTy, tyView)
import CLaSH.Core.TyCon (TyConName, tyConDataCons)
import CLaSH.Core.TysPrim (integerPrimTy, typeNatKind)
import CLaSH.Core.Util (appendToVec, extractElems,
idToVar, mkApps, mkVec,
termType)
import CLaSH.Core.Var (Var (..))
import CLaSH.Normalize.Types
import CLaSH.Rewrite.Types
import CLaSH.Rewrite.Util
import CLaSH.Util
reduceZipWith :: Integer
-> Type
-> Type
-> Type
-> Term
-> Term
-> Term
-> NormalizeSession Term
reduceZipWith n lhsElTy rhsElTy resElTy fun lhsArg rhsArg = do
tcm <- Lens.view tcCache
ty <- termType tcm lhsArg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= let (varsL,elemsL) = second concat . unzip
$ extractElems consCon lhsElTy 'L' n lhsArg
(varsR,elemsR) = second concat . unzip
$ extractElems consCon rhsElTy 'R' n rhsArg
funApps = zipWith (\l r -> mkApps fun [Left l,Left r]) varsL varsR
lbody = mkVec nilCon consCon resElTy n funApps
lb = Letrec (bind (rec (init elemsL ++ init elemsR)) lbody)
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceZipWith: argument does not have a vector type: " ++ showDoc ty
reduceMap :: Integer
-> Type
-> Type
-> Term
-> Term
-> NormalizeSession Term
reduceMap n argElTy resElTy fun arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= let (vars,elems) = second concat . unzip
$ extractElems consCon argElTy 'A' n arg
funApps = map (fun `App`) vars
lbody = mkVec nilCon consCon resElTy n funApps
lb = Letrec (bind (rec (init elems)) lbody)
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceMap: argument does not have a vector type: " ++ showDoc ty
reduceImap :: Integer
-> Type
-> Type
-> Term
-> Term
-> NormalizeSession Term
reduceImap n argElTy resElTy fun arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= do
let (vars,elems) = second concat . unzip
$ extractElems consCon argElTy 'I' n arg
(Right idxTy:_,_) <- splitFunForallTy <$> termType tcm fun
let (TyConApp idxTcNm _) = tyView idxTy
nTv = string2Name "n"
idxFromIntegerTy = ForAllTy (bind (TyVar nTv (embed typeNatKind))
(foldr mkFunTy
(mkTyConApp idxTcNm
[VarTy typeNatKind nTv])
[integerPrimTy,integerPrimTy]))
idxFromInteger = Prim "CLaSH.Sized.Internal.Index.fromInteger#"
idxFromIntegerTy
idxs = map (App (App (TyApp idxFromInteger (LitTy (NumTy n)))
(Literal (IntegerLiteral (toInteger n))))
. Literal . IntegerLiteral . toInteger) [0..(n1)]
funApps = zipWith (\i v -> App (App fun i) v) idxs vars
lbody = mkVec nilCon consCon resElTy n funApps
lb = Letrec (bind (rec (init elems)) lbody)
changed lb
go _ ty = error $ $(curLoc) ++ "reduceImap: argument does not have a vector type: " ++ showDoc ty
reduceTraverse :: Integer
-> Type
-> Type
-> Type
-> Term
-> Term
-> Term
-> NormalizeSession Term
reduceTraverse n aTy fTy bTy dict fun arg = do
tcm <- Lens.view tcCache
(TyConApp apDictTcNm _) <- tyView <$> termType tcm dict
ty <- termType tcm arg
go tcm apDictTcNm ty
where
go tcm apDictTcNm (coreView tcm -> Just ty') = go tcm apDictTcNm ty'
go tcm apDictTcNm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= let (Just apDictTc) = HashMap.lookup apDictTcNm tcm
[apDictCon] = tyConDataCons apDictTc
(Just apDictIdTys) = dataConInstArgTys apDictCon [fTy]
apDictIds = zipWith Id (map string2Name ["functorDict"
,"pure"
,"ap"
,"apConstL"
,"apConstR"])
(map embed apDictIdTys)
(TyConApp funcDictTcNm _) = tyView (head apDictIdTys)
(Just funcDictTc) = HashMap.lookup funcDictTcNm tcm
[funcDictCon] = tyConDataCons funcDictTc
(Just funcDictIdTys) = dataConInstArgTys funcDictCon [fTy]
funcDicIds = zipWith Id (map string2Name ["fmap","fmapConst"])
(map embed funcDictIdTys)
apPat = DataPat (embed apDictCon) (rebind [] apDictIds)
fnPat = DataPat (embed funcDictCon) (rebind [] funcDicIds)
pureTy = apDictIdTys!!1
pureTm = Case dict pureTy [bind apPat (Var pureTy (string2Name "pure"))]
apTy = apDictIdTys!!2
apTm = Case dict apTy [bind apPat (Var apTy (string2Name "ap"))]
funcTy = (head apDictIdTys)
funcTm = Case dict funcTy
[bind apPat (Var funcTy (string2Name "functorDict"))]
fmapTy = (head funcDictIdTys)
fmapTm = Case (Var funcTy (string2Name "functorDict")) fmapTy
[bind fnPat (Var fmapTy (string2Name "fmap"))]
(vars,elems) = second concat . unzip
$ extractElems consCon aTy 'T' n arg
funApps = map (fun `App`) vars
lbody = mkTravVec vecTcNm nilCon consCon (idToVar (apDictIds!!1))
(idToVar (apDictIds!!2))
(idToVar (funcDicIds!!0))
bTy n funApps
lb = Letrec (bind (rec ([((apDictIds!!0),embed funcTm)
,((apDictIds!!1),embed pureTm)
,((apDictIds!!2),embed apTm)
,((funcDicIds!!0),embed fmapTm)
] ++ init elems)) lbody)
in changed lb
go _ _ ty = error $ $(curLoc) ++ "reduceTraverse: argument does not have a vector type: " ++ showDoc ty
mkTravVec :: TyConName
-> DataCon
-> DataCon
-> Term
-> Term
-> Term
-> Type
-> Integer
-> [Term]
-> Term
mkTravVec vecTc nilCon consCon pureTm apTm fmapTm bTy = go
where
go :: Integer -> [Term] -> Term
go _ [] = mkApps pureTm [Right (mkTyConApp vecTc [LitTy (NumTy 0),bTy])
,Left (mkApps (Data nilCon)
[Right (LitTy (NumTy 0))
,Right bTy
,Left (Prim "_CO_" nilCoTy)])]
go n (x:xs) = mkApps apTm
[Right (mkTyConApp vecTc [LitTy (NumTy (n1)),bTy])
,Right (mkTyConApp vecTc [LitTy (NumTy n),bTy])
,Left (mkApps fmapTm [Right bTy
,Right (mkFunTy (mkTyConApp vecTc [LitTy (NumTy (n1)),bTy])
(mkTyConApp vecTc [LitTy (NumTy n),bTy]))
,Left (mkApps (Data consCon)
[Right (LitTy (NumTy n))
,Right bTy
,Right (LitTy (NumTy (n1)))
,Left (Prim "_CO_" (consCoTy n))
])
,Left x])
,Left (go (n1) xs)]
nilCoTy = head (Maybe.fromJust (dataConInstArgTys nilCon [(LitTy (NumTy 0))
,bTy]))
consCoTy n = head (Maybe.fromJust (dataConInstArgTys consCon
[(LitTy (NumTy n))
,bTy
,(LitTy (NumTy (n1)))]))
reduceFoldr :: Integer
-> Type
-> Term
-> Term
-> Term
-> NormalizeSession Term
reduceFoldr n aTy fun start arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [_,consCon] <- tyConDataCons vecTc
= let (vars,elems) = second concat . unzip
$ extractElems consCon aTy 'G' n arg
lbody = foldr (\l r -> mkApps fun [Left l,Left r]) start vars
lb = Letrec (bind (rec (init elems)) lbody)
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceFoldr: argument does not have a vector type: " ++ showDoc ty
reduceFold :: Integer
-> Type
-> Term
-> Term
-> NormalizeSession Term
reduceFold n aTy fun arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [_,consCon] <- tyConDataCons vecTc
= let (vars,elems) = second concat . unzip
$ extractElems consCon aTy 'F' n arg
lbody = foldV vars
lb = Letrec (bind (rec (init elems)) lbody)
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceFold: argument does not have a vector type: " ++ showDoc ty
foldV [a] = a
foldV as = let (l,r) = splitAt (length as `div` 2) as
lF = foldV l
rF = foldV r
in mkApps fun [Left lF, Left rF]
reduceDFold :: Integer
-> Type
-> Term
-> Term
-> Term
-> NormalizeSession Term
reduceDFold n aTy fun start arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [_,consCon] <- tyConDataCons vecTc
= do
let (vars,elems) = second concat . unzip
$ extractElems consCon aTy 'D' n arg
(_ltv:Right snTy:_,_) <- splitFunForallTy <$> termType tcm fun
let (TyConApp snatTcNm _) = tyView snTy
(Just snatTc) = HashMap.lookup snatTcNm tcm
[snatDc] = tyConDataCons snatTc
([_nTv,_kn,Right pTy],_) = splitFunForallTy (dcType snatDc)
(TyConApp proxyTcNm _) = tyView pTy
(Just proxyTc) = HashMap.lookup proxyTcNm tcm
[proxyDc] = tyConDataCons proxyTc
buildSNat i = mkApps (Prim (pack (name2String (dcName snatDc)))
(dcType snatDc))
[Right (LitTy (NumTy i))
,Left (Literal (IntegerLiteral (toInteger i)))
,Left (mkApps (Data proxyDc)
[Right typeNatKind
,Right (LitTy (NumTy i))])
]
lbody = doFold buildSNat (n1) vars
lb = Letrec (bind (rec (init elems)) lbody)
changed lb
go _ ty = error $ $(curLoc) ++ "reduceDFold: argument does not have a vector type: " ++ showDoc ty
doFold _ _ [] = start
doFold snDc k (x:xs) = mkApps fun
[Right (LitTy (NumTy k))
,Left (snDc k)
,Left x
,Left (doFold snDc (k1) xs)
]
reduceHead :: Integer
-> Type
-> Term
-> NormalizeSession Term
reduceHead n aTy vArg = do
tcm <- Lens.view tcCache
ty <- termType tcm vArg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [_,consCon] <- tyConDataCons vecTc
= let (vars,elems) = second concat . unzip
$ extractElems consCon aTy 'H' n vArg
lb = Letrec (bind (rec [head elems]) (head vars))
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceHead: argument does not have a vector type: " ++ showDoc ty
reduceTail :: Integer
-> Type
-> Term
-> NormalizeSession Term
reduceTail n aTy vArg = do
tcm <- Lens.view tcCache
ty <- termType tcm vArg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [_,consCon] <- tyConDataCons vecTc
= let (_,elems) = second concat . unzip
$ extractElems consCon aTy 'L' n vArg
b@(tB,_) = elems !! 1
lb = Letrec (bind (rec [b]) (idToVar tB))
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceTail: argument does not have a vector type: " ++ showDoc ty
reduceAppend :: Integer
-> Integer
-> Type
-> Term
-> Term
-> NormalizeSession Term
reduceAppend n m aTy lArg rArg = do
tcm <- Lens.view tcCache
ty <- termType tcm lArg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [_,consCon] <- tyConDataCons vecTc
= let (vars,elems) = second concat . unzip
$ extractElems consCon aTy 'C' n lArg
lbody = appendToVec consCon aTy rArg (n+m) vars
lb = Letrec (bind (rec (init elems)) lbody)
in changed lb
go _ ty = error $ $(curLoc) ++ "reduceAppend: argument does not have a vector type: " ++ showDoc ty
reduceUnconcat :: Integer
-> Integer
-> Type
-> Term
-> NormalizeSession Term
reduceUnconcat n 0 aTy arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= let nilVec = mkVec nilCon consCon aTy 0 []
innerVecTy = mkTyConApp vecTcNm [LitTy (NumTy 0), aTy]
retVec = mkVec nilCon consCon innerVecTy n (replicate (fromInteger n) nilVec)
in changed retVec
go _ ty = error $ $(curLoc) ++ "reduceUnconcat: argument does not have a vector type: " ++ showDoc ty
reduceUnconcat _ _ _ _ = error $ $(curLoc) ++ "reduceUnconcat: unimplemented"
reduceTranspose :: Integer
-> Integer
-> Type
-> Term
-> NormalizeSession Term
reduceTranspose n 0 aTy arg = do
tcm <- Lens.view tcCache
ty <- termType tcm arg
go tcm ty
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= let nilVec = mkVec nilCon consCon aTy 0 []
innerVecTy = mkTyConApp vecTcNm [LitTy (NumTy 0), aTy]
retVec = mkVec nilCon consCon innerVecTy n (replicate (fromInteger n) nilVec)
in changed retVec
go _ ty = error $ $(curLoc) ++ "reduceTranspose: argument does not have a vector type: " ++ showDoc ty
reduceTranspose _ _ _ _ = error $ $(curLoc) ++ "reduceTranspose: unimplemented"
reduceReplicate :: Integer
-> Type
-> Type
-> Term
-> NormalizeSession Term
reduceReplicate n aTy eTy arg = do
tcm <- Lens.view tcCache
go tcm eTy
where
go tcm (coreView tcm -> Just ty') = go tcm ty'
go tcm (tyView -> TyConApp vecTcNm _)
| (Just vecTc) <- HashMap.lookup vecTcNm tcm
, [nilCon,consCon] <- tyConDataCons vecTc
= let retVec = mkVec nilCon consCon aTy n (replicate (fromInteger n) arg)
in changed retVec
go _ ty = error $ $(curLoc) ++ "reduceReplicate: argument does not have a vector type: " ++ showDoc ty