aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/lib.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-08-25 14:29:48 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-08-25 14:55:25 +0200
commit96f388f0f55cfa1984daa70d7dc4faa63a85c590 (patch)
tree5a8af02749000a8228f4d8f68720f088356faef6 /lib.c
parentd46b7b2f9fc4769d8dce72913bfac370f1d69df5 (diff)
parent3f06ccfcc0be01c0d5bc6a982c2fbadf62fa502a (diff)
downloadsparse-dev-96f388f0f55cfa1984daa70d7dc4faa63a85c590.tar.gz
Merge branch 'ssa' into tip
* do 'classical' SSA conversion (via the iterated dominance frontier). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'lib.c')
-rw-r--r--lib.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib.c b/lib.c
index 2d87b567..db456a63 100644
--- a/lib.c
+++ b/lib.c
@@ -289,8 +289,10 @@ int dump_macro_defs = 0;
int dbg_compound = 0;
int dbg_dead = 0;
+int dbg_domtree = 0;
int dbg_entry = 0;
int dbg_ir = 0;
+int dbg_postorder = 0;
unsigned long fdump_ir;
int fmem_report = 0;
@@ -770,8 +772,10 @@ static char **handle_switch_W(char *arg, char **next)
static struct flag debugs[] = {
{ "compound", &dbg_compound},
{ "dead", &dbg_dead},
+ { "domtree", &dbg_domtree},
{ "entry", &dbg_entry},
{ "ir", &dbg_ir},
+ { "postorder", &dbg_postorder},
};