This series contains 4 fixes for missing removal of value or address usage when unneeded loads or stores are killed during symbol simplification. This series is available in the Git repository at: https://github.com/lucvoo/sparse-dev/tree/fix-missing-kills git://github.com/lucvoo/sparse-dev.git fix-missing-kills ---------------------------------------------------------------- Luc Van Oostenryck (9): add helpers for pseudo's user-list's size add testcase for bad killing of dominated stores add testcases for converted loads fix killing of converted loads kill dead stores when simplifying symbols use has_users() in dead_insn() too let kill_instruction() report if changes were made kill dead loads fix usage of deadborn 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 -- 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
