From 4aa205870c0c396b48f515f80f5b73b256538292 Mon Sep 17 00:00:00 2001
From: Alban Gruin <alban.gruin@irit.fr>
Date: Thu, 17 Feb 2022 13:10:23 +0100
Subject: [PATCH] fixup! sras: size improvements

---
 src/frontend/sras.sv | 34 +++++++++++++++++++---------------
 1 file changed, 19 insertions(+), 15 deletions(-)

diff --git a/src/frontend/sras.sv b/src/frontend/sras.sv
index 1bd7ed8e..accec65b 100644
--- a/src/frontend/sras.sv
+++ b/src/frontend/sras.sv
@@ -60,16 +60,17 @@ module sras #(
             ovf_counter_d = '0;
         end else if (!bad_spec_i) begin
             if (push_i && !pop_i) begin
-                if (overflow) begin
+                if (overflow || prev_plus_one == '0 || pp_plus_one == '0) begin
                     ovf_counter_d[ptr_spec_d] = ovf_counter_q[ptr_spec_q] + 1'b1;
-                end else if (prev_plus_one == '0 || pp_plus_one == '0) begin
-                    ovf_counter_d[ptr_spec_d] = ovf_counter_q[ptr_spec_q] + 1'b1;
-                    if (begin_spec_i) begin
-                        ovf_counter_d[ptr_spec_q] = ovf_counter_q[ptr_spec_q] + 1'b1;
-                    end
                 end
-            end else if (!push_i && pop_i && ovf_counter_q[ptr_spec_q] != '0) begin
-                ovf_counter_d[ptr_spec_d] = ovf_counter_q[ptr_spec_q] - 1'b1;
+
+                if ((prev_plus_one == '0 || pp_plus_one == '0) && begin_spec_i) begin
+                    ovf_counter_d[ptr_spec_q] = ovf_counter_q[ptr_spec_q] + 1'b1;
+                end
+            end else if (!push_i && pop_i) begin
+                if (ovf_counter_q[ptr_spec_q] != '0) begin
+                    ovf_counter_d[ptr_spec_d] = ovf_counter_q[ptr_spec_q] - 1'b1;
+                end
             end else if (!bad_spec_i && begin_spec_i) begin
                 ovf_counter_d[ptr_spec_d] = ovf_counter_q[ptr_spec_q];
             end
@@ -82,14 +83,17 @@ module sras #(
         if (flush_i) begin
             tos_d = '0;
         end else if (!bad_spec_i) begin
-            if (push_i && !pop_i && !overflow && prev_plus_one != '0 && pp_plus_one != '0) begin
-                tos_d[ptr_spec_d] = prev_plus_one;
-
-                if (begin_spec_i) begin
-                    tos_d[ptr_spec_q] = pp_plus_one;
+            if (push_i && !pop_i) begin
+                if (!overflow && prev_plus_one != '0 && pp_plus_one != '0) begin
+                    tos_d[ptr_spec_d] = prev_plus_one;
+                    if (begin_spec_i) begin
+                        tos_d[ptr_spec_q] = pp_plus_one;
+                    end
+                end
+            end else if (!push_i && pop_i) begin
+                if (ovf_counter_q[ptr_spec_q] == '0) begin
+                    tos_d[ptr_spec_d] = prev_minus_one;
                 end
-            end else if (!push_i && pop_i && ovf_counter_q[ptr_spec_q] == '0) begin
-                tos_d[ptr_spec_d] = prev_minus_one;
             end else if (!bad_spec_i && begin_spec_i) begin
                 tos_d[ptr_spec_d] = tos_q[ptr_spec_q];
             end
-- 
GitLab