The flag '-vir' can be used to debug the IR after every passes.
These patches add a few more validations useful to detect
problems with the generated IR just after linearization.
This series is available for review & testing in the Git repository at:
git://github.com/lucvoo/sparse-dev.git ir-validate
----------------------------------------------------------------
Luc Van Oostenryck (3):
ir-validate: add validation branch to dead BB
ir-validate: ignore dead phis
ir-validate: validate return value
ir.c | 55 ++++++++++++++++++++++++++++++++++++++++++++++++++++---
linearize.h | 6 ++++++
2 files changed, 58 insertions(+), 3 deletions(-)
