Commit 8ae3fe98 authored by Benedikt Geßele's avatar Benedikt Geßele

automake update; liveness conservative state after first iteration

parent f3f108af
......@@ -129,7 +129,7 @@ GDSLC_SML_FILES = \
JAR=jgdsl.jar
GDSLC_DEP = detail/codegen/c1/runtime.c detail/codegen/c1/runtime.h
GDSLFLAGS = --runtime=$(srcdir)/detail/codegen @EXTRA_GDSL_FLAGS@
GDSLFLAGS = --runtime=$(srcdir)/detail/codegen --maxIter=42 @EXTRA_GDSL_FLAGS@
if HAVE_MLTON
......
......@@ -253,10 +253,11 @@ val lv-analyze initial-live stack =
backup <- live-stack-backup-and-reset;
body-rev <- return (rreil-stmts-rev y.body);
first-it-state <- sweep body-rev (lvstate-empty initial-live body-rev);
empty-state <- return (lvstate-empty fmap-empty SEM_NIL);
first-it-state <- sweep body-rev empty-state;
live-stack-backup-and-reset;
second-it-state <- sweep body-rev (lvstate-union (lvstate-eval state x.hd) first-it-state);
second-it-state <- sweep body-rev (lvstate-union-conservative (lvstate-eval state x.hd) first-it-state);
# state-new <- return (lvstate-union-conservative state body-state);
body-live <- query $live;
......@@ -265,7 +266,7 @@ val lv-analyze initial-live stack =
live-stack-restore backup;
#lv-push-live (/WHILE y.cond maybelive);
lv-push-live (/WHILE y.cond body-live);
sweep x.tl (lvstate-eval second-it-state x.hd)
sweep x.tl second-it-state
end
| SEM_ITE y: do
org-backup <- live-stack-backup-and-reset;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment