mbox series

[0/9] simplify CMP(AND(x,M), C) and CMP(OR(x,M), C)

Message ID 20210310214950.84192-1-luc.vanoostenryck@gmail.com (mailing list archive)
Headers show
Series simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) | expand

Message

Luc Van Oostenryck March 10, 2021, 9:49 p.m. UTC
This series contains simplifications of compaes between a constant
and a constant AND/OR mask.

Luc Van Oostenryck (9):
  change testing of signed compares against SMIN or SMAX
  add testcases for constant compares against AND/OR
  simplify (x & M) cmps C
  simplify (x & M) cmpu C
  simplify (x & M) cmps 0
  simplify (x & M) {==,!=} C
  simplify (x | M) {==,!=} C
  simplify (x | M) cmps C
  simplify (x | M) cmpu C

 simplify.c                     | 98 ++++++++++++++++++++++++++++++++++
 validation/optim/cmpe-and0.c   | 10 ++++
 validation/optim/cmpe-or0.c    | 10 ++++
 validation/optim/cmps-and0.c   | 21 ++++++++
 validation/optim/cmps-minmax.c |  8 +--
 validation/optim/cmps-or0.c    | 21 ++++++++
 validation/optim/cmps0-and0.c  | 12 +++++
 validation/optim/cmpu-and0.c   | 17 ++++++
 validation/optim/cmpu-or0.c    | 18 +++++++
 9 files changed, 211 insertions(+), 4 deletions(-)
 create mode 100644 validation/optim/cmpe-and0.c
 create mode 100644 validation/optim/cmpe-or0.c
 create mode 100644 validation/optim/cmps-and0.c
 create mode 100644 validation/optim/cmps-or0.c
 create mode 100644 validation/optim/cmps0-and0.c
 create mode 100644 validation/optim/cmpu-and0.c
 create mode 100644 validation/optim/cmpu-or0.c