aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt/opt_expr_cmp.v
Commit message (Expand)AuthorAgeFilesLines
* opt_expr: improve simplification of comparisons with large constants.whitequark2019-01-021-0/+18
* opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.whitequark2019-01-021-0/+5
* opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.whitequark2019-01-021-8/+14
* opt_expr: simplify any unsigned comparisons with all-0 and all-1.whitequark2019-01-021-0/+11