hw: Change FREP encoding to not require imm12m1 in toolchain

Author: colluca

hw/snitch_fp_ss/src/snitch_sequencer.sv

@@ -445,7 +445,7 @@ module snitch_sequencer import snitch_pkg::*; #(
 
     if (core_frep_valid && core_frep_ready) begin
       nest_cfg_d[loop_cnt_d].is_streamctl = inp_qdata_op_i[31];
-      nest_cfg_d[loop_cnt_d].max_inst = inp_qdata_op_i[20+:DepthBits];
+      nest_cfg_d[loop_cnt_d].max_inst = inp_qdata_op_i[20+:DepthBits] - 1;
       nest_cfg_d[loop_cnt_d].stagger_max = inp_qdata_op_i[14:12];
       nest_cfg_d[loop_cnt_d].stagger_mask = inp_qdata_op_i[11:8];
       nest_cfg_d[loop_cnt_d].max_iter = inp_qdata_arga_i[LoopIterBits-1:0];
@@ -717,7 +717,7 @@ module snitch_sequencer import snitch_pkg::*; #(
   // pragma translate_off
   assign trace_port_o.source    = snitch_pkg::SrcFpuSeq;
   assign trace_port_o.cbuf_push = core_frep_valid && core_frep_ready;
-  assign trace_port_o.max_inst  = inp_qdata_op_i[20+:DepthBits];
+  assign trace_port_o.max_inst  = inp_qdata_op_i[20+:DepthBits] - 1;
   assign trace_port_o.max_iter  = inp_qdata_arga_i[LoopIterBits-1:0];
   assign trace_port_o.stg_max   = inp_qdata_op_i[14:12];
   assign trace_port_o.stg_mask  = inp_qdata_op_i[11:8];