aboutsummaryrefslogtreecommitdiff
path: root/all.h
diff options
context:
space:
mode:
authorQuentin Carbonneaux <[email protected]>2017-02-06 14:38:47 -0500
committerQuentin Carbonneaux <[email protected]>2017-02-06 15:58:09 -0500
commit8215b50a10e240581bd1f9e8ae4d13c48f865c6c (patch)
treea6c76c644f31a317262838408c01e1ef913130e7 /all.h
parent1a76fd11f501d0bf762e01661d8a67c18c3e01bd (diff)
fix edge deletion bug in sccp
When an edge is deleted, the phis and predecessors of the destination block have to be updated. This is what blkdel() was doing, but at a level too coarse. The new function edgedel() allows to remove a single edge (and takes care of multiple edges).
Diffstat (limited to 'all.h')
-rw-r--r--all.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/all.h b/all.h
index cc94161..a40627c 100644
--- a/all.h
+++ b/all.h
@@ -547,7 +547,7 @@ void err(char *, ...) __attribute__((noreturn));
/* cfg.c */
Blk *blknew(void);
-void blkdel(Blk *);
+void edgedel(Blk *, Blk **);
void fillpreds(Fn *);
void fillrpo(Fn *);
void filldom(Fn *);