diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 13:25:58 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 13:25:58 +0100 |
commit | 5e8e2ae04539121366bb34128f4a9d8bbdf930cc (patch) | |
tree | aa242064dba3de14077e307b194b95a641856a68 /src/hls | |
parent | 5587a3a45d9fb706e97f13b836fe4021179d1aeb (diff) | |
download | vericert-5e8e2ae04539121366bb34128f4a9d8bbdf930cc.tar.gz vericert-5e8e2ae04539121366bb34128f4a9d8bbdf930cc.zip |
Fix control register ordering in Renaming pass
Diffstat (limited to 'src/hls')
-rw-r--r-- | src/hls/Renaming.v | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/hls/Renaming.v b/src/hls/Renaming.v index ab14ba4..714c99b 100644 --- a/src/hls/Renaming.v +++ b/src/hls/Renaming.v @@ -143,14 +143,16 @@ Definition renumber_reg_assocmap {A} (regmap : AssocMap.t A) : mon (AssocMap.t A ret (AssocMap_Properties.of_list l). Definition renumber_module (m : HTL.module) : mon HTL.module := - do mod_start' <- renumber_reg (HTL.mod_start m); - do mod_reset' <- renumber_reg (HTL.mod_reset m); - do mod_clk' <- renumber_reg (HTL.mod_clk m); + do mod_params' <- traverselist renumber_reg (HTL.mod_params m); + + do mod_st' <- renumber_reg (HTL.mod_st m); do mod_finish' <- renumber_reg (HTL.mod_finish m); do mod_return' <- renumber_reg (HTL.mod_return m); - do mod_st' <- renumber_reg (HTL.mod_st m); do mod_stk' <- renumber_reg (HTL.mod_stk m); - do mod_params' <- traverselist renumber_reg (HTL.mod_params m); + do mod_start' <- renumber_reg (HTL.mod_start m); + do mod_reset' <- renumber_reg (HTL.mod_reset m); + do mod_clk' <- renumber_reg (HTL.mod_clk m); + do mod_controllogic' <- traverse_ptree1 renumber_stmnt (HTL.mod_controllogic m); do mod_datapath' <- traverse_ptree1 renumber_stmnt (HTL.mod_datapath m); |