Replaced another use of SizeVariable with VariableSizes (via specificDimSize), in SimplifyExprs
This commit is contained in:
parent
af9ab28718
commit
654dd453f1
|
@ -482,9 +482,8 @@ pullUp pullUpArraysInsideRecords = pass "Pull up definitions"
|
||||||
A.Array ds (A.Chan attr innerT) ->
|
A.Array ds (A.Chan attr innerT) ->
|
||||||
do let ds' = [case d of
|
do let ds' = [case d of
|
||||||
A.Dimension {} -> d
|
A.Dimension {} -> d
|
||||||
A.UnknownDimension -> A.Dimension $ A.SizeVariable m $
|
A.UnknownDimension -> A.Dimension $ A.ExprVariable m $
|
||||||
foldr (\n v -> A.SubscriptedVariable m (A.Subscript m A.CheckBoth
|
specificDimSize i innerV
|
||||||
n) v) innerV (replicate i $ makeConstant m 0)
|
|
||||||
| (d, i) <- zip ds [0..]]
|
| (d, i) <- zip ds [0..]]
|
||||||
spec@(A.Specification _ n _) <- makeNonceIs "dir_array" m
|
spec@(A.Specification _ n _) <- makeNonceIs "dir_array" m
|
||||||
(A.Array ds' $ A.ChanEnd dir (dirAttr dir attr) innerT) A.Abbrev v
|
(A.Array ds' $ A.ChanEnd dir (dirAttr dir attr) innerT) A.Abbrev v
|
||||||
|
|
Loading…
Reference in New Issue
Block a user