diff options
author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2017-02-06 14:38:47 -0500 |
---|---|---|
committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2017-02-06 15:58:09 -0500 |
commit | 8215b50a10e240581bd1f9e8ae4d13c48f865c6c (patch) | |
tree | a6c76c644f31a317262838408c01e1ef913130e7 /all.h | |
parent | 1a76fd11f501d0bf762e01661d8a67c18c3e01bd (diff) | |
download | roux-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.h | 2 |
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 *); |