From 8e5a673890a6765f73c47c497bb7d94d6e5000b6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 30 Jul 2021 14:56:16 +0200 Subject: Fix shuffle for VecSelect and RangeSelect --- src/Verismith/Shuffle.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/Verismith/Shuffle.hs b/src/Verismith/Shuffle.hs index 0c460e2..b8b955a 100644 --- a/src/Verismith/Shuffle.hs +++ b/src/Verismith/Shuffle.hs @@ -59,6 +59,9 @@ renameIdent map (Identifier e) = Identifier $ Map.findWithDefault e e map renameExpr :: Map.Map Text Text -> Expr -> Expr renameExpr map (Id e) = Id (renameIdent map e) +renameExpr map (VecSelect e a) = VecSelect (renameIdent map e) a +renameExpr map (RangeSelect e r) = RangeSelect (renameIdent map e) r +renameExpr map (Appl e r) = Appl (renameIdent map e) r renameExpr _ e = e renameVariablesModule :: (MonadGen m) => ModDecl a -> m (ModDecl a) @@ -127,7 +130,7 @@ module fir_kernel_4tap_arch_1 #( wire [BW-1:0] second_sum; always @* two_shift = S<<1; - assign first_sum = X1 + X2 + (X3<> two_shift) + second_sum) >> S; endmodule -- cgit