Add "fmcombine -initeq -anyeq"
authorClifford Wolf <clifford@clifford.at>
Sat, 11 May 2019 07:28:55 +0000 (09:28 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 May 2019 07:28:55 +0000 (09:28 +0200)
commitb66b657b6b161910be8a62d37b2d981d33c9f1e3
tree9639ffed37582bfab91a6daac72a866b0b557597
parent04ef222cfb618b6ee7c43b6bef82299d5b5bc010
Add "fmcombine -initeq -anyeq"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/fmcombine.cc