[SimplifyCFG] FoldValueComparisonIntoPredecessors(): don't insert a DomTree edge...
authorRoman Lebedev <lebedev.ri@gmail.com>
Mon, 11 Jan 2021 21:21:25 +0000 (00:21 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Mon, 11 Jan 2021 23:09:47 +0000 (02:09 +0300)
commitf9ba34770638389ee9b251f6ab801c7411601c77
tree3b9fb064cf21541af574f1911da1e24259766e2a
parentc0de0a1b72c08783141c430b583e04e5107ebc0a
[SimplifyCFG] FoldValueComparisonIntoPredecessors(): don't insert a DomTree edge if it already exists

When we are adding edges to the terminator and potentially turning it
into a switch (if it wasn't already), it is possible that the
case we're adding will share it's destination with one of the
preexisting cases, in which case there is no domtree edge to add.

Indeed, this change does not have a test coverage change.
This failure has been exposed in an existing test coverage
by a follow-up patch that switches to lazy domtreeupdater mode,
and removes domtree verification from
SimplifyCFGOpt::simplifyOnce()/SimplifyCFGOpt::run(),
IOW it does not appear feasible to add dedicated test coverage here.
llvm/lib/Transforms/Utils/SimplifyCFG.cpp