diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-24 01:04:35 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-24 01:04:35 +0100 |
| commit | 540c2c4bf47f0c517c042ff689679b2900bb36a5 (patch) | |
| tree | 33b811aec1bc81b1056f66dd91d7971adb16c2b5 /validation/memops | |
| parent | 4f10206cc4dcbe28d712a82497fc582585d4d2c7 (diff) | |
| parent | 7f03e99c7e74d9971460e42a2230de66ae6ffdcf (diff) | |
| download | sparse-dev-540c2c4bf47f0c517c042ff689679b2900bb36a5.tar.gz | |
Merge branch 'optim-not' into next
* put PSEUDO_ARGS and PSEUDO_REGs in canonical order too
* simplify (~x {&,|,^} x) --> {0,~0,~0}
* simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1}
Diffstat (limited to 'validation/memops')
0 files changed, 0 insertions, 0 deletions