summaryrefslogtreecommitdiff
path: root/compiler/vectorise/Vectorise/Exp.hs
diff options
context:
space:
mode:
authorGabriele Keller <keller@cse.unsw.edu.au>2012-04-25 00:11:25 +1000
committerGabriele Keller <keller@cse.unsw.edu.au>2012-04-25 00:11:25 +1000
commit85c5dcf9750df6b03e3a3b190d5ab9cf7e06b6cd (patch)
tree7f838e3a83dac7e5944cacd53946edb47249f47d /compiler/vectorise/Vectorise/Exp.hs
parentedd95cc954e91a93133a72c22e1293ffdf6b4169 (diff)
downloadhaskell-85c5dcf9750df6b03e3a3b190d5ab9cf7e06b6cd.tar.gz
Replaced tabs
Diffstat (limited to 'compiler/vectorise/Vectorise/Exp.hs')
-rw-r--r--compiler/vectorise/Vectorise/Exp.hs28
1 files changed, 14 insertions, 14 deletions
diff --git a/compiler/vectorise/Vectorise/Exp.hs b/compiler/vectorise/Vectorise/Exp.hs
index 3012a3fae1..36fe910323 100644
--- a/compiler/vectorise/Vectorise/Exp.hs
+++ b/compiler/vectorise/Vectorise/Exp.hs
@@ -280,7 +280,7 @@ encapsulateScalar (VITNode vi [vit]) (fvs, AnnTick tck expr)
encapsulateScalar _ (_fvs, AnnTick _tck _expr)
= panic "encapsulateScalar AnnTick doesn't match up"
-encapsulateScalar (VITNode vi [vit]) ce@(fvs, AnnLam bndr expr)
+encapsulateScalar (VITNode vi [vit]) ce@(fvs, AnnLam bndr expr)
= do { varsS <- varsSimple fvs
; case (vi, varsS) of
(VISimple, True) -> do { let (e', vit') = encaps vit ce
@@ -291,11 +291,11 @@ encapsulateScalar (VITNode vi [vit]) ce@(fvs, AnnLam bndr expr)
}
}
-encapsulateScalar _ (_fvs, AnnLam _bndr _expr)
+encapsulateScalar _ (_fvs, AnnLam _bndr _expr)
= panic "encapsulateScalar AnnLam doesn't match up"
-encapsulateScalar vt@(VITNode vi [vit1, vit2]) ce@(fvs, AnnApp ce1 ce2)
+encapsulateScalar vt@(VITNode vi [vit1, vit2]) ce@(fvs, AnnApp ce1 ce2)
= do { varsS <- varsSimple fvs
; case (vi, varsS) of
(VISimple, True) -> do { let (e', vt') = encaps vt ce
@@ -311,7 +311,7 @@ encapsulateScalar vt@(VITNode vi [vit1, vit2]) ce@(fvs, AnnApp ce1 ce2)
encapsulateScalar _ (_fvs, AnnApp _ce1 _ce2)
= panic "encapsulateScalar AnnApp doesn't match up"
-encapsulateScalar vt@(VITNode vi (scrutVit : altVits)) ce@(fvs, AnnCase scrut bndr ty alts)
+encapsulateScalar vt@(VITNode vi (scrutVit : altVits)) ce@(fvs, AnnCase scrut bndr ty alts)
= do { varsS <- varsSimple fvs
; case (vi, varsS) of
(VISimple, True) -> return $ encaps vt ce
@@ -330,20 +330,20 @@ encapsulateScalar vt@(VITNode vi (scrutVit : altVits)) ce@(fvs, AnnCase scrut b
encapsulateScalar _ (_fvs, AnnCase _scrut _bndr _ty _alts)
= panic "encapsulateScalar AnnCase doesn't match up"
-encapsulateScalar vt@(VITNode vi [vt1, vt2]) ce@(fvs, AnnLet (AnnNonRec bndr expr1) expr2)
+encapsulateScalar vt@(VITNode vi [vt1, vt2]) ce@(fvs, AnnLet (AnnNonRec bndr expr1) expr2)
= do { varsS <- varsSimple fvs
; case (vi, varsS) of
(VISimple, True) -> return $ encaps vt ce
_ -> do { (extExpr1, vt1') <- encapsulateScalar vt1 expr1
; (extExpr2, vt2') <- encapsulateScalar vt2 expr2
- ; return ((fvs, AnnLet (AnnNonRec bndr extExpr1) extExpr2), VITNode vi [vt1', vt2'])
+ ; return ((fvs, AnnLet (AnnNonRec bndr extExpr1) extExpr2), VITNode vi [vt1', vt2'])
}
}
-encapsulateScalar _ (_fvs, AnnLet (AnnNonRec _bndr _expr1) _expr2)
+encapsulateScalar _ (_fvs, AnnLet (AnnNonRec _bndr _expr1) _expr2)
= panic "encapsulateScalar AnnLet nonrec doesn't match up"
-encapsulateScalar vt@(VITNode vi (vtB : vtBnds)) ce@(fvs, AnnLet (AnnRec bndngs) expr)
+encapsulateScalar vt@(VITNode vi (vtB : vtBnds)) ce@(fvs, AnnLet (AnnRec bndngs) expr)
= do { varsS <- varsSimple fvs
; case (vi, varsS) of
(VISimple, True) -> return $ encaps vt ce
@@ -360,7 +360,7 @@ encapsulateScalar vt@(VITNode vi (vtB : vtBnds)) ce@(fvs, AnnLet (AnnRec bndngs)
; return ((bndr, extExpr), vit')
}
-encapsulateScalar _ (_fvs, AnnLet (AnnRec _) _expr2)
+encapsulateScalar _ (_fvs, AnnLet (AnnRec _) _expr2)
= panic "encapsulateScalar AnnLet rec doesn't match up"
@@ -383,9 +383,9 @@ encapsulateScalar _ _
-- CoreExprWithFVs, -- = AnnExpr Id VarSet
-- AnnExpr bndr VarSet = (annot, AnnExpr' bndr VarSet)
-- AnnLam :: bndr -> (AnnExpr bndr VarSet) -> AnnExpr' bndr VarSet
--- AnnLam bndr (AnnExpr bndr annot)
+-- AnnLam bndr (AnnExpr bndr annot)
encaps :: VITree -> CoreExprWithFVs -> (CoreExprWithFVs, VITree)
-encaps (VITNode vi (scrutVit : altVits)) (fvs, AnnCase expr bndr t alts)
+encaps (VITNode vi (scrutVit : altVits)) (fvs, AnnCase expr bndr t alts)
| Just (c,_) <- splitTyConApp_maybe (exprType $ deAnnotate $ expr),
(not $ elem c [boolTyCon, intTyCon, doubleTyCon, floatTyCon]) -- TODO: globalScalarTyCons
= ((fvs, AnnCase expr bndr t alts'), VITNode vi (scrutVit : altVits'))
@@ -1200,7 +1200,7 @@ checkTree (VITNode _ [vit]) (Tick _ expr)
-checkTree (VITNode _ [vit]) (Lam _ expr)
+checkTree (VITNode _ [vit]) (Lam _ expr)
= checkTree vit expr
@@ -1215,12 +1215,12 @@ checkTree (VITNode _ (scrutVit : altVits)) (Case scrut _ _ alts)
checkAlt vt (_, _, expr) = checkTree vt expr
-checkTree (VITNode _ [vt1, vt2]) (Let (NonRec _ expr1) expr2)
+checkTree (VITNode _ [vt1, vt2]) (Let (NonRec _ expr1) expr2)
= (checkTree vt1 expr1) && (checkTree vt2 expr2)
-checkTree (VITNode _ (vtB : vtBnds)) (Let (Rec bndngs) expr)
+checkTree (VITNode _ (vtB : vtBnds)) (Let (Rec bndngs) expr)
= (and $ zipWith checkBndr vtBnds bndngs) &&
(checkTree vtB expr)
where