From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: [PATCH 00/16] simplify & canonicalize compares
Date: Sun, 8 Nov 2020 02:19:30 +0100 [thread overview]
Message-ID: <20201108011939.94252-1-luc.vanoostenryck@gmail.com> (raw)
This series contains a series of simplifications and
canonicalizations, mainly ones involving sign or zero extension.
Luc Van Oostenryck (16):
cmp: adapt testcase for compares' canonicalization
cmp: add testcases for the simplification of compares
cmp: add signed/unsigned to opcode table
cmp: move some code in a separate function: simplify_compare_constant()
cmp: use a few helpers for the simplification of compares
cmp: canonicalize unsigned (x {<,>=} C) --> (x {<=,>} C-1)
cmp: simplify unsigned (x {<=,>} UMAX) into {1,0}
cmp: canonicalize unsigned compare with UMAX or UMAX-1
cmp: canonicalize unsigned (x {<=,>} SMAX)
cmp: simplify sext(x) cmp C --> x cmp C
cmp: simplify zext(x) cmp C --> x cmp C
cmp: simplify sext(x) cmps {SMAX,SMIN}
cmp: canonicalize sext(x) cmpu C (with C >= SMAX)
cmp: simplify zext(x) cmps C
cmp: simplify zext(x) cmpu C
cmp: simplify compares and sign/zero extend
opcode.c | 3 +-
opcode.def | 164 ++++++++++----------
opcode.h | 8 +-
simplify.c | 240 +++++++++++++++++++++++++-----
validation/optim/canonical-cmp.c | 125 ++--------------
validation/optim/canonical-cmpu.c | 15 ++
validation/optim/cmp-sext-sext.c | 17 +++
validation/optim/cmp-sext-simm.c | 29 ++++
validation/optim/cmp-sext-uimm.c | 25 ++++
validation/optim/cmp-sext.c | 23 +++
validation/optim/cmp-zext-simm.c | 23 +++
validation/optim/cmp-zext-uimm0.c | 21 +++
validation/optim/cmp-zext-uimm1.c | 15 ++
validation/optim/cmp-zext-uimm2.c | 29 ++++
validation/optim/cmp-zext-zext.c | 17 +++
validation/optim/cmp-zext.c | 17 +++
validation/optim/set-uimm1.c | 10 ++
validation/optim/set-uimm2.c | 12 ++
validation/optim/set-uimm3.c | 10 ++
validation/optim/zext-cmpu.c | 16 ++
20 files changed, 582 insertions(+), 237 deletions(-)
create mode 100644 validation/optim/canonical-cmpu.c
create mode 100644 validation/optim/cmp-sext-sext.c
create mode 100644 validation/optim/cmp-sext-simm.c
create mode 100644 validation/optim/cmp-sext-uimm.c
create mode 100644 validation/optim/cmp-sext.c
create mode 100644 validation/optim/cmp-zext-simm.c
create mode 100644 validation/optim/cmp-zext-uimm0.c
create mode 100644 validation/optim/cmp-zext-uimm1.c
create mode 100644 validation/optim/cmp-zext-uimm2.c
create mode 100644 validation/optim/cmp-zext-zext.c
create mode 100644 validation/optim/cmp-zext.c
create mode 100644 validation/optim/set-uimm1.c
create mode 100644 validation/optim/set-uimm2.c
create mode 100644 validation/optim/set-uimm3.c
create mode 100644 validation/optim/zext-cmpu.c
--
2.29.2
next reply other threads:[~2020-11-08 1:19 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-11-08 1:19 Luc Van Oostenryck [this message]
2020-11-08 1:19 ` [PATCH 01/16] cmp: adapt testcase for compares' canonicalization Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 02/16] cmp: add testcases for the simplification of compares Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 03/16] cmp: add signed/unsigned to opcode table Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 04/16] cmp: move some code in a separate function: simplify_compare_constant() Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 05/16] cmp: use a few helpers for the simplification of compares Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 06/16] cmp: canonicalize unsigned (x {<,>=} C) --> (x {<=,>} C-1) Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 07/16] cmp: simplify unsigned (x {<=,>} UMAX) into {1,0} Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 08/16] cmp: canonicalize unsigned compare with UMAX or UMAX-1 Luc Van Oostenryck
2020-11-08 1:19 ` [PATCH 09/16] cmp: canonicalize unsigned (x {<=,>} SMAX) Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 10/16] cmp: simplify sext(x) cmp C --> x cmp C Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 11/16] cmp: simplify zext(x) " Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 12/16] cmp: simplify sext(x) cmps {SMAX,SMIN} Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 13/16] cmp: canonicalize sext(x) cmpu C (with C >= SMAX) Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 14/16] cmp: simplify zext(x) cmps C Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 15/16] cmp: simplify zext(x) cmpu C Luc Van Oostenryck
2020-11-08 1:21 ` [PATCH 16/16] cmp: simplify compares and sign/zero extend Luc Van Oostenryck
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20201108011939.94252-1-luc.vanoostenryck@gmail.com \
--to=luc.vanoostenryck@gmail.com \
--cc=linux-sparse@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).