opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.
[yosys.git] / tests / opt /
drwxr-xr-x   ..
-rw-r--r-- 6 .gitignore
-rw-r--r-- 446 opt_expr_cmp.v
-rw-r--r-- 129 opt_expr_cmp.ys
-rw-r--r-- 321 opt_lut.v
-rw-r--r-- 130 opt_lut.ys
-rw-r--r-- 337 opt_lut_elim.il
-rw-r--r-- 65 opt_lut_elim.ys
-rw-r--r-- 363 opt_lut_port.il
-rw-r--r-- 65 opt_lut_port.ys
-rwxr-xr-x 98 run-test.sh