The series fixes some issues regarding the operands of killed
instructions not having their usage adjusted.
The main apparent consequence of this situation is that
some instructions which should be considered as unneeded are
not removed from the code as expected. This can sometimes have
a cascading effect that can be "quite interesting".
There is some closely related issues that remains,
for example the situation of the exotic instructions.
It's also possible that something is missing with OP_SYMADDR.
OP_LOAD, OP_STORE & OP_CALL are completly ignored and their
correct handling need another approach, so they're also
ignored by this series.
*ATTENTION*
The test cases in this series depends on some
features I added to the test-suite that I posted the
10th November with the "fix discarded label statement" serie.
Change since V1:
- change the testing of conditional vs uncondiational branches (patch 1)
- add a missing default case in patch 8
- drop patch 2 ("fix killing of OP_SETVAL instructions") as it causes
a strange unexpected change at a single place when testing on a kernel
allyesconfig on x86.
Luc Van Oostenryck (8):
fix crash while testing between conditional & unconditional OP_BR
kill uses of replaced instructions
fix killing OP_PHI instructions
fix killing OP_CAST & friends
fix killing OP_SELECT
fix killing OP_COMPUTEDGOTO
explicitely ignore killing OP_ENTRY
cleanup kill_instruction()
simplify.c | 74 ++++++++++++++++++++++++++++-------------
validation/kill-casts.c | 22 ++++++++++++
validation/kill-computedgoto.c | 17 ++++++++++
validation/kill-phi-node.c | 18 ++++++++++
validation/kill-replaced-insn.c | 54 ++++++++++++++++++++++++++++++
validation/kill-select.c | 16 +++++++++
6 files changed, 177 insertions(+), 24 deletions(-)
create mode 100644 validation/kill-casts.c
create mode 100644 validation/kill-computedgoto.c
create mode 100644 validation/kill-phi-node.c
create mode 100644 validation/kill-replaced-insn.c
create mode 100644 validation/kill-select.c
--
2.11.0
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
