Fix updateTerminator to be resiliant to degenerate terminators where
authorChandler Carruth <chandlerc@gmail.com>
Mon, 16 Apr 2012 22:03:00 +0000 (22:03 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Mon, 16 Apr 2012 22:03:00 +0000 (22:03 +0000)
commitf1a60c734c2edb97ab75e67328935538fae5bae6
treea8ca8b24baa1537f51f682df1becfdecd315ac00
parent68f89a61587e8d482347cf892c2670a869a1ad61
Fix updateTerminator to be resiliant to degenerate terminators where
both fallthrough and a conditional branch target the same successor.
Gracefully delete the conditional branch and introduce any unconditional
branch needed to reach the actual successor. This fixes memory
corruption in 2009-06-15-RegScavengerAssert.ll and possibly other tests.

Also, while I'm here fix a latent bug I spotted by inspection. I never
applied the same fundamental fix to this fallthrough successor finding
logic that I did to the logic used when there are no conditional
branches. As a consequence it would have selected landing pads had they
be aligned in just the right way here. I don't have a test case as
I spotted this by inspection, and the previous time I found this
required have of TableGen's source code to produce it. =/ I hate backend
bugs. ;]

Thanks to Jim Grosbach for helping me reason through this and reviewing
the fix.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154867 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/MachineBasicBlock.cpp
test/CodeGen/Thumb2/thumb2-ifcvt2.ll
test/CodeGen/X86/br-fold.ll