Add pseudo death-note tracking.

Now that we have full pseudo usage lists, we can also add
deathnotes to pseudos in the instruction stream.

NOTE! We add the deathnote to _before_ the last instruction
that uses that pseudo. That looks a bit strange, but it's
actually what you want: when we traverse the instuctions, we
want to know that the inputs are dead.

1 files changed, 2 insertions, 0 deletions

diff --git a/flow.h b/flow.h
index 0c0d1d74..cfa4dd54 100644
--- a/flow.h
+++ b/flow.h
@@ -27,6 +27,8 @@ int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom
 
 extern void clear_liveness(struct entrypoint *ep);
 extern void track_pseudo_liveness(struct entrypoint *ep);
+extern void track_pseudo_death(struct entrypoint *ep);
+
 extern void vrfy_flow(struct entrypoint *ep);
 extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);