commit | 8af2432923486c753ab52cae70b94ee684121080 | [log] [tgz] |
---|---|---|
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | Mon Apr 19 05:43:29 2021 +0200 |
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | Tue Apr 20 05:35:39 2021 +0200 |
tree | 1f7935b649f2325b9480af5c679903a7cf5e9310 | |
parent | 09ec74f6acaf6837e18157f5b9588bb08971aafb [diff] | |
parent | 929b10d66002e85202f446ed7e0ad8ec4c01f637 [diff] | |
parent | 32f1c1c24386e9379a8a7b3148d876e0a7cf027e [diff] | |
parent | df7767c6c57284ec3deda589f3694d2170b21fd6 [diff] | |
parent | 99bf609861c3bc9ba313a81642988da92838c9e2 [diff] | |
parent | 94750498b1d3ef03fd78920b70e7330072dbb4ed [diff] |
Merge branches misc, cmp-pow2, optim-and-cmp, cmp-and-or and optim-cast-eval into next * no needs to use MARK_CURRENT_DELETED() for multi-jumps * canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2 * simplify AND(x >= 0, x < C) --> (unsigned)x < C * simplify TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C * remove early simplification of casts during evaluation * but this back as simplificaion of TRUNC(NOT(x)) --> NOT(TRUNC(x))