diff options
author | 2004-12-02 18:04:06 -0700 | |
---|---|---|
committer | 2005-04-07 21:05:26 -0700 | |
commit | b6d2fa5bac3fed9e9242bb626a9ccce1fbb6b419 (patch) | |
tree | 4720cc323afd4ce2ee87325372841e6ad856a1f3 /flow.h | |
parent | Add INSERT_CURRENT() macro to insert a new entry at the (diff) | |
download | sparse-b6d2fa5bac3fed9e9242bb626a9ccce1fbb6b419.tar.gz sparse-b6d2fa5bac3fed9e9242bb626a9ccce1fbb6b419.tar.bz2 sparse-b6d2fa5bac3fed9e9242bb626a9ccce1fbb6b419.zip |
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.
Diffstat (limited to 'flow.h')
-rw-r--r-- | flow.h | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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); |