aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt/wreduce.cc
diff options
context:
space:
mode:
authorclairexen <claire@symbioticeda.com>2020-05-29 16:37:23 +0200
committerGitHub <noreply@github.com>2020-05-29 16:37:23 +0200
commit94c10353897c6b2b3f960bdd6647a5da9c1d9f2c (patch)
tree695ca7d8b26c8c4268498c76e09c157d9846bde0 /passes/opt/wreduce.cc
parentaf36afe722dc35b129351af592ef340e512e0292 (diff)
parentf88bef767263590c94e157d0989afa91db3ccdb0 (diff)
downloadyosys-94c10353897c6b2b3f960bdd6647a5da9c1d9f2c.tar.gz
yosys-94c10353897c6b2b3f960bdd6647a5da9c1d9f2c.tar.bz2
yosys-94c10353897c6b2b3f960bdd6647a5da9c1d9f2c.zip
Merge pull request #1885 from Xiretza/mod-rem-cells
Fix modulo/remainder semantics
Diffstat (limited to 'passes/opt/wreduce.cc')
-rw-r--r--passes/opt/wreduce.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/opt/wreduce.cc b/passes/opt/wreduce.cc
index 195400bf0..f60f2f8a8 100644
--- a/passes/opt/wreduce.cc
+++ b/passes/opt/wreduce.cc
@@ -37,7 +37,7 @@ struct WreduceConfig
ID($and), ID($or), ID($xor), ID($xnor),
ID($shl), ID($shr), ID($sshl), ID($sshr), ID($shift), ID($shiftx),
ID($lt), ID($le), ID($eq), ID($ne), ID($eqx), ID($nex), ID($ge), ID($gt),
- ID($add), ID($sub), ID($mul), // ID($div), ID($mod), ID($pow),
+ ID($add), ID($sub), ID($mul), // ID($div), ID($mod), ID($divfloor), ID($modfloor), ID($pow),
ID($mux), ID($pmux),
ID($dff), ID($adff)
});
@@ -545,7 +545,7 @@ struct WreducePass : public Pass {
}
}
- if (c->type.in(ID($div), ID($mod), ID($pow)))
+ if (c->type.in(ID($div), ID($mod), ID($divfloor), ID($modfloor), ID($pow)))
{
SigSpec A = c->getPort(ID::A);
int original_a_width = GetSize(A);