| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2020-11-08 | cmp: canonicalize unsigned compare with UMAX or UMAX-1 | Luc Van Oostenryck | 1 | -1/+0 | |
| Unsigned compares with UMAX (or UMAX-1) are equivalent to equality tests. These are preferable since it's easier to reason about them in other simplifications. So canonicalize these compares to equality tests. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |||||
| 2020-11-05 | cmp: add testcases for the simplification of compares | Luc Van Oostenryck | 1 | -0/+13 | |
| Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |||||
