Closed ceeac closed 5 years ago
Simplifications of twoway BBs that have the same destination BB for both branch edges left the CFG in a non-well-formed state. Additionally, removing double branch edges between two BBs removed both edges instead of just one.
Simplifications of twoway BBs that have the same destination BB for both branch edges left the CFG in a non-well-formed state. Additionally, removing double branch edges between two BBs removed both edges instead of just one.