diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-21 12:45:01 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-16 13:25:25 +0200 |
| commit | 098a4978bba3c813b8134d361bfffe8a97a3a8d4 (patch) | |
| tree | 50eb982fc19eac2b0847e5e73411a746cc1328c8 /optimize.c | |
| parent | b7c69808487ad1c8aa0cee0ee27d5cfd8d578551 (diff) | |
| download | sparse-dev-098a4978bba3c813b8134d361bfffe8a97a3a8d4.tar.gz | |
ir-validate: add more validation points
Diffstat (limited to 'optimize.c')
| -rw-r--r-- | optimize.c | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -71,6 +71,7 @@ repeat: */ do { simplify_memops(ep); + //ir_validate(ep); do { repeat_phase = 0; clean_up_insns(ep); @@ -81,11 +82,15 @@ repeat: if (repeat_phase & REPEAT_SYMBOL_CLEANUP) simplify_memops(ep); + //ir_validate(ep); } while (repeat_phase); pack_basic_blocks(ep); + //ir_validate(ep); if (repeat_phase & REPEAT_CFG_CLEANUP) kill_unreachable_bbs(ep); + //ir_validate(ep); } while (repeat_phase); + //ir_validate(ep); vrfy_flow(ep); @@ -102,11 +107,13 @@ repeat: * again */ if (simplify_flow(ep)) { + //ir_validate(ep); clear_liveness(ep); if (repeat_phase & REPEAT_CFG_CLEANUP) kill_unreachable_bbs(ep); goto repeat; } + //ir_validate(ep); /* Finally, add deathnotes to pseudos now that we have them */ if (dbg_dead) |