summary refs log tree commit diff
path: root/all.h
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2017-02-06 14:38:47 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2017-02-06 15:58:09 -0500
commit8215b50a10e240581bd1f9e8ae4d13c48f865c6c (patch)
treea6c76c644f31a317262838408c01e1ef913130e7 /all.h
parent1a76fd11f501d0bf762e01661d8a67c18c3e01bd (diff)
downloadroux-8215b50a10e240581bd1f9e8ae4d13c48f865c6c.tar.gz
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 *);