luke
/
sv2v
mirror of https://github.com/zachjs/sv2v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixed combined ranges incorrect upper bound calculation

This commit is contained in:
Zachary Snow 2019-04-01 02:26:40 -04:00
parent 9b8a95029b
commit 00d12c7ae5
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Convert/Struct.hs
View File

@ -149,11 +149,11 @@ convertAsgn structs types (lhs, expr) =
(tf, rs) = typeRanges t
convertLHS (LHSRange l (rOuter @ (hiO, loO))) =
case l' of
LHSRange lInner (hiI, loI) ->
LHSRange lInner (_, loI) ->
(t, LHSRange lInner (simplify hi, simplify lo))
where
hi = BinOp Add (BinOp Sub hiI loI) hiO
lo = BinOp Add loI loO
hi = BinOp Add loI hiO
_ -> if null rs
then (Implicit Unspecified [], LHSRange l' rOuter)
else (tf rs', LHSRange l' rOuter)
@ -237,11 +237,11 @@ convertAsgn structs types (lhs, expr) =
-- nested Ranges into a single range. My understanding of the
-- semantics are that a range returns a new, zero-indexed sub-range.
case eOuter' of
Range eInner (hiI, loI) ->
Range eInner (_, loI) ->
(t, Range eInner (simplify hi, simplify lo))
where
hi = BinOp Add (BinOp Sub hiI loI) hiO
lo = BinOp Add loI loO
hi = BinOp Add loI hiO
_ -> (t, Range eOuter' rOuter)
where (t, eOuter') = convertSubExpr eOuter
convertSubExpr (Concat exprs) =