[0/4] fix 2 problems with phi-sources

Message

Luc Van Oostenryck April 2, 2021, 8:25 p.m. UTC

This series fixes two problems relatd to phi-sources:
1) fix and improve the check that protects try_to_simplify_bb()
2) fix remove_merging_phisrc() which couldn't handle the case
   where there is several CFG edges between two basic blocks.

Luc Van Oostenryck (4):
  additional testcase for remove_merging_phisrc()
  correctly count phi arguments
  better check validity of phi-sources
  fix remove_merging_phisrc()

 flow.c                          | 53 ++++++++++++++++++++++++++-------
 validation/optim/multi-phisrc.c | 23 ++++++++++++++
 validation/optim/phi-count00.c  | 27 +++++++++++++++++
 3 files changed, 92 insertions(+), 11 deletions(-)
 create mode 100644 validation/optim/multi-phisrc.c
 create mode 100644 validation/optim/phi-count00.c