diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-24 23:37:43 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-24 23:37:43 +0200 |
| commit | c09e8239027fea6999bb3b64c157fc2133769444 (patch) | |
| tree | ba991278bf16a1b4ca160922c35db1ed497729d4 /validation/optim | |
| parent | 19b19d0b8ea8b9a4e5f0babadcb227855434ce82 (diff) | |
| parent | 5c5dc0a95fd65a7fbbb05ba9f018bc8dfebaa97d (diff) | |
| parent | 3b9ae3404df8a067f0aa487c9606ee14f7ef2418 (diff) | |
| download | sparse-dev-c09e8239027fea6999bb3b64c157fc2133769444.tar.gz | |
Merge branches 'optim-setuimm' and 'optim-unop' into next
* simplify and canonicalize unsigned compares
* basic unop simplifications
