Start work on array support

Try to add a verilog register to represent the stack.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/translation/Veriloggen.v b/src/translation/Veriloggen.v
index 6aa94df..0d846a5 100644
--- a/src/translation/Veriloggen.v
+++ b/src/translation/Veriloggen.v
@@ -551,6 +551,7 @@ Definition set_int_size (r: reg) : reg * nat := (r, 32%nat).
 Definition transf_module (f: function) : mon module :=
   do fin <- decl_io 1%nat;
   do rtrn <- decl_io 32%nat;
+  do _ <- decl_fresh_reg ((Z.to_nat f.(fn_stacksize)) * 8%nat);
   do _ <- traverselist (transf_instr (fst fin) (fst rtrn)) (Maps.PTree.elements f.(fn_code));
   do start <- decl_io 1%nat;
   do rst <- decl_io 1%nat;