diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-14 17:59:29 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-17 18:03:18 +0100 |
| commit | 5a7a06698fe2cd4ccb8d3f1a8585c70e6d8f7531 (patch) | |
| tree | f044bf05f0702556a3db451adffe2749d0f557cb /parse.c | |
| parent | 2fdaca9e7175e62f08d259f5cb3ec7c9725bba68 (diff) | |
| download | sparse-dev-5a7a06698fe2cd4ccb8d3f1a8585c70e6d8f7531.tar.gz | |
cfg: remove phi-nodes when merging BBs
When merging BBs, it's possible that the top BB feeds one or
several phi-nodes in the bottom BB. Since phi-nodes only make
sense for values incoming from the parent BBs, these phi-nodes
can and should be removed when merging the BBs.
So, when merging BBs, remove these related phi-nodes.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'parse.c')
0 files changed, 0 insertions, 0 deletions
