Commit 93ba497c by Zachary Snow

allow simple unbased-unsized RHSs to sign extend

parent 17b01b16
...@@ -150,6 +150,8 @@ sizedLiteralFor expr bit = ...@@ -150,6 +150,8 @@ sizedLiteralFor expr bit =
where size = DimsFn FnBits $ Right expr where size = DimsFn FnBits $ Right expr
convertAsgn :: (LHS, Expr) -> (LHS, Expr) convertAsgn :: (LHS, Expr) -> (LHS, Expr)
convertAsgn (lhs, UU bit) =
(lhs, literalFor bit)
convertAsgn (lhs, expr) = convertAsgn (lhs, expr) =
(lhs, convertExpr context expr) (lhs, convertExpr context expr)
where context = ContextDetermined $ lhsToExpr lhs where context = ContextDetermined $ lhsToExpr lhs
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment