[PATCH 0/8] avoid creating orphaned OP_PHISRCs

[Luc Van Oostenryck <luc.vanoostenryck@gmail.com>]

The goal of this series is to avoid the creation of
orphaned OP_PHISRCs by simplify_loads() when it appears
that the loads con't be simplified afterall but that some
OP_PHISRC have already been created.
This change then lead to some code restructuration and
simplification.

This series is available at:
	git://github.com/lucvoo/sparse.git fix-orphaned-phisrc
based on commits (a merge)
	ac6c25bc066eab36942539ba11c7ab6cf0c63674 (bool-context)
	ecda2093f19088fa94c3a4ac85359c6d0f1c64af (fix-cond-address)
	fc981fe285c37ee297e93ef1cc8725caac75f9b3 (fix-bitfield-init-v2)
up to commit:
	8b6716908788dfd1713215e7d4ddaa4f3d341948


Luc Van Oostenryck (8):
  extract add_dominator() from find_dominating_parents()
  add helper add_load_dominators()
  remove test on initial phi->ident
  avoid phisrc orphaned by simplify_loads()
  avoid phisrc orphaned by find_dominating_stores()
  integrate add_load_dominators() into rewrite_load_instruction()
  check duplicated phi-nodes directly on dominators
  avoid creating unneeded phi-sources

 flow.c                               | 79 +++++++++++++++++++++++-------------
 flow.h                               |  2 +-
 memops.c                             | 14 ++-----
 validation/linear/phisrc-orphan-ld.c | 22 ++++++++++
 validation/linear/phisrc-orphan-st.c | 17 ++++++++
 validation/loop-linearization.c      | 30 +++++++-------
 6 files changed, 110 insertions(+), 54 deletions(-)
 create mode 100644 validation/linear/phisrc-orphan-ld.c
 create mode 100644 validation/linear/phisrc-orphan-st.c

-- 
2.12.0