Displaying 1 result from an estimated 1 matches for "landingpadsuccs".
2014 Nov 06
2
[LLVMdev] Should the MachineVerifier accept a MBB with a single (landing pad) successor?
...gets removed early, for
various reasons (happenstance, really). The edge to the landing pad
is still there, but the verifier can't check anything because there's
no branch to analyze.
On AArch64, the branch remains, and the verifier hits this condition:
if (MBB->succ_size() != 1+LandingPadSuccs.size())
So:
- the problem exists elsewhere, but is hidden by branch folder optimizations
- if the normal successor to an invoke BB is unreachable, it seems
reasonable to only have 1 successor, the landing pad.
Hence my simple change, making the verifier accept it:
--- c/lib/CodeGen/MachineVerifi...