cmps: canonicalize signed compares with SMIN/SMAX
commit61010b15b6074fcfee4256b848b1123a57d61947
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Tue, 5 Jan 2021 23:16:08 +0000 (6 00:16 +0100)
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Tue, 26 Jan 2021 21:49:11 +0000 (26 22:49 +0100)
tree58b8cd23df3e6c78f80014fc613d9a5044e66424
parentb5a4f039a159ade2f01af7b10cd7615cbc42ba35
cmps: canonicalize signed compares with SMIN/SMAX

The remaining compares with SMIN or SMAX are equivalent to an
equality testing. For example, (x < SMAX) is the same as (x != SMAX).

Canonicalize these to the equality testing since these are usually
simpler to handle.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
simplify.c
validation/optim/canonical-cmps-minmax.c