Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
De-morgan's "and" law #1297
I was looking at fastcomp and wasm-backend code samples for perf and I noticed that binaryen doesn't do this:
Normally de-morgan's laws apply only to boolean vars, but for the and (but not or or xor) version, it works in all cases, unless I am missing something (both sides are true iff X and Y have all zero bits).