diff options
| author | Sai Praveen Bangaru <31557731+saipraveenb25@users.noreply.github.com> | 2024-05-14 18:29:09 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-14 15:29:09 -0700 |
| commit | 5ceb8569b1ac7898c437b0c47ad29a5d8a9f7d90 (patch) | |
| tree | b7ec73d72c5d468fe9526f10bc72bc77b2b14ef8 /docs | |
| parent | 291b4cd82cebeed39d8c06c8208fc415dfa32a48 (diff) | |
Fix CFG reversal logic for loops (#4162)
Handles a corner case where the first block after the condition on the true-side is another condition. This would currently result in an invalid reverse graph, where the reverse version of the true-block is the merge point for two different branching insts (the reverse version of the loop as well as the second condition).
This patch simply adds a blank block when constructing the reverse-loop (similar to critical edge breaking) so that each branch inst in the reversed loop has a unique merge block.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions