[PATCH] D33037: [IfConversion] Keep the CFG updated incrementally in IfConvertTriangle

[Mikael Holmén via Phabricator via llvm-commits]

uabelho added a comment.

Btw, without the fix we get the following result from IfConversion for the testcase:

body:             |

  bb.0:
  
  bb.1:
    successors: %bb.2(0x40000000), %bb.1(0x00000000)
  
    BX_RET 14, 0
  
  bb.2:

...

So bb.1 has both bb.2 and itself as successors, even if it only contains an unconditional return.


https://reviews.llvm.org/D33037