From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: [PATCH v2 00/10] fix usage when killing loads & stores
Date: Tue, 13 Feb 2018 22:58:02 +0100 [thread overview]
Message-ID: <20180213215812.18735-1-luc.vanoostenryck@gmail.com> (raw)
This series contains 4 fixes for missing removal of
value or address usage when unneeded loads or stores
are killed during symbol simplification.
Change since v1:
- split patch "add helpers for pseudo's user-list's size" in two
so to not add has_users() in a patch that where only the other
helper is used (noticed by Linus).
This series is available in the Git repository at:
https://github.com/lucvoo/sparse-dev/tree/fix-missing-kills-v2
git://github.com/lucvoo/sparse-dev.git fix-missing-kills-v2
----------------------------------------------------------------
Luc Van Oostenryck (10):
add testcase for bad killing of dominated stores
add testcases for converted loads
fix killing of converted loads
kill dead stores when simplifying symbols
fix usage of deadborn loads
add helper for pseudo's user-list's size
add helper: has_users()
use has_users() in dead_insn() too
let kill_instruction() report if changes were made
kill dead loads
flow.c | 23 ++++++-----------------
flow.h | 10 +++++-----
linearize.h | 10 ++++++++++
memops.c | 11 +----------
simplify.c | 34 +++++++++++++++++-----------------
validation/mem2reg/load-deadborn.c | 9 +++++++++
validation/optim/load-converted.c | 14 ++++++++++++++
validation/optim/load-dead.c | 11 +++++++++++
validation/optim/load-semi-volatile.c | 25 +++++++++++++++++++++++++
validation/optim/store-dominated.c | 15 +++++++++++++++
10 files changed, 113 insertions(+), 49 deletions(-)
create mode 100644 validation/mem2reg/load-deadborn.c
create mode 100644 validation/optim/load-converted.c
create mode 100644 validation/optim/load-dead.c
create mode 100644 validation/optim/load-semi-volatile.c
create mode 100644 validation/optim/store-dominated.c
next reply other threads:[~2018-02-13 22:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-13 21:58 Luc Van Oostenryck [this message]
2018-02-13 21:58 ` [PATCH v2 01/10] add testcase for bad killing of dominated stores Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 02/10] add testcases for converted loads Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 03/10] fix killing of " Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 04/10] kill dead stores when simplifying symbols Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 05/10] fix usage of deadborn loads Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 06/10] add helper for pseudo's user-list's size Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 07/10] add helper: has_users() Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 08/10] use has_users() in dead_insn() too Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 09/10] let kill_instruction() report if changes were made Luc Van Oostenryck
2018-02-13 21:58 ` [PATCH v2 10/10] kill dead loads 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=20180213215812.18735-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).