opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.
authorwhitequark <whitequark@whitequark.org>
Wed, 2 Jan 2019 04:31:20 +0000 (04:31 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 2 Jan 2019 05:11:29 +0000 (05:11 +0000)
commit4fd458290c3da4c3f372f2e1fdd99829a9462a38
tree56631d06ff7334e389fa67e56da8e5cf8fcf273f
parent9e9846a6ead700756fbd7a5e6c72ccb424006934
opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.
passes/opt/opt_expr.cc
tests/opt/opt_expr_cmp.v