diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-06-05 09:08:27 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-06-05 09:08:27 +0200 |
| commit | 68978a5a6bc78b9d71985648ae4976119d3c640c (patch) | |
| tree | a189dc1aa8b1af40288bde38801da5e935252d8a /src | |
| parent | 58fce267c29f44ccec558ef23b499f1b2917861b (diff) | |
| download | ghdl-68978a5a6bc78b9d71985648ae4976119d3c640c.tar.gz ghdl-68978a5a6bc78b9d71985648ae4976119d3c640c.tar.bz2 ghdl-68978a5a6bc78b9d71985648ae4976119d3c640c.zip | |
synth-vhdl_expr: adjust max computation for memidx. Fix #2073
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/netlists-gates.ads | 4 | ||||
| -rw-r--r-- | src/synth/synth-vhdl_expr.adb | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/synth/netlists-gates.ads b/src/synth/netlists-gates.ads index 6e78054af..305bd5158 100644 --- a/src/synth/netlists-gates.ads +++ b/src/synth/netlists-gates.ads @@ -264,8 +264,8 @@ package Netlists.Gates is -- addidx. -- Inputs: 0: index -- Params: 0: step - -- 1: max - -- OUT := IN0 * STEP, IN0 < MAX + -- 1: max (maximum value for index, so length - 1). + -- OUT := IN0 * STEP, IN0 <= MAX Id_Memidx : constant Module_Id := 90; -- Combine (simply add) indexes for dynamic insert or extract. diff --git a/src/synth/synth-vhdl_expr.adb b/src/synth/synth-vhdl_expr.adb index d58399021..75d7d7e78 100644 --- a/src/synth/synth-vhdl_expr.adb +++ b/src/synth/synth-vhdl_expr.adb @@ -1258,7 +1258,7 @@ package body Synth.Vhdl_Expr is -- max so that max*step+wd <= len - off -- max <= (len - off - wd) / step Max := (Pfx_Bnd.Len - Off.Net_Off - Res_Bnd.Len) / Step; - if Clog2 (Uns64 (Max)) > Natural (Inp_W) then + if Max > 2**Natural (Inp_W) - 1 then -- The width of Inp limits the max. Max := 2**Natural (Inp_W) - 1; end if; |