suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Replaced a use of SizeVariable with VariableSizes (indirectly) in SimplifyProcs

Browse Source
This commit is contained in:
Neil Brown 2009-03-31 09:21:32 +00:00
parent 72fe41cdc1
commit af9ab28718
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
transformations/SimplifyProcs.hs
View File

@ -120,12 +120,15 @@ flattenAssign = pass "Flatten assignment"
let srcV = A.Variable m' srcN let srcV = A.Variable m' srcN
body <- case t of body <- case t of
A.Array _ _ -> A.Array (d:_) _ ->
-- Array assignments become a loop with an assignment -- Array assignments become a loop with an assignment
-- inside. -- inside.
do counter <- makeNonceCounter "i" m do counter <- makeNonceCounter "i" m
let zero = A.Literal m A.Int $ A.IntLiteral m "0" let zero = A.Literal m A.Int $ A.IntLiteral m "0"
let rep = A.For m zero (A.SizeVariable m srcV) (makeConstant m 1) limit = case d of
A.UnknownDimension -> A.ExprVariable m $ specificDimSize 0 srcV
A.Dimension e -> e
rep = A.For m zero limit (makeConstant m 1)
itemT <- trivialSubscriptType m t itemT <- trivialSubscriptType m t
-- Don't need to check bounds, as we'll always be within bounds -- Don't need to check bounds, as we'll always be within bounds
let sub = A.Subscript m A.NoCheck (A.ExprVariable m let sub = A.Subscript m A.NoCheck (A.ExprVariable m