diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-11-30 11:12:17 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-30 11:12:17 -0800 |
| commit | bcc6205e83ec98f9b3d5704b79255a853a4ee8bd (patch) | |
| tree | fdedb36cbc9df17a636abffd082a54f7be6c3092 /src/tools/wasm-merge.cpp | |
| parent | 290b875970c535f910bbcd5755090f1723447573 (diff) | |
| download | binaryen-bcc6205e83ec98f9b3d5704b79255a853a4ee8bd.tar.gz binaryen-bcc6205e83ec98f9b3d5704b79255a853a4ee8bd.tar.bz2 binaryen-bcc6205e83ec98f9b3d5704b79255a853a4ee8bd.zip | |
De-morgan's "and" law (#1297)
(eqz X) and (eqz Y) === eqz (X or Y)
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 (both sides are true iff X and Y have all zero bits).
Diffstat (limited to 'src/tools/wasm-merge.cpp')
0 files changed, 0 insertions, 0 deletions