diff options
| author | C-Elegans <mtnolan2640@gmail.com> | 2017-01-15 09:23:04 -0500 |
|---|---|---|
| committer | C-Elegans <mtnolan2640@gmail.com> | 2017-01-15 13:38:29 -0500 |
| commit | 943389cdd50e8c77d76f64ba9abffa5190e5106a (patch) | |
| tree | fb6c956d3ec9bb5f63f4bc04511c8358678fd30e /passes/opt/Makefile.inc | |
| parent | b7cfb7dbd250a8595589f86e1b38b67015c7b9c5 (diff) | |
| download | yosys-943389cdd50e8c77d76f64ba9abffa5190e5106a.tar.gz yosys-943389cdd50e8c77d76f64ba9abffa5190e5106a.tar.bz2 yosys-943389cdd50e8c77d76f64ba9abffa5190e5106a.zip | |
Fix issue #269, optimize signed compare with 0
add opt_compare pass and add it to opt
for a < 0:
if a is signed, replace with a[max_bit-1]
for a >= 0:
if a is signed, replace with ~a[max_bit-1]
Diffstat (limited to 'passes/opt/Makefile.inc')
| -rw-r--r-- | passes/opt/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/opt/Makefile.inc b/passes/opt/Makefile.inc index a8b1537bb..a15c4184d 100644 --- a/passes/opt/Makefile.inc +++ b/passes/opt/Makefile.inc @@ -6,6 +6,7 @@ OBJS += passes/opt/opt_reduce.o OBJS += passes/opt/opt_rmdff.o OBJS += passes/opt/opt_clean.o OBJS += passes/opt/opt_expr.o +OBJS += passes/opt/opt_compare.o ifneq ($(SMALL),1) OBJS += passes/opt/share.o |