[IPSCCP] Support unfeasible default dests for switch.
authorFlorian Hahn <flo@fhahn.com>
Tue, 26 Apr 2022 11:41:41 +0000 (12:41 +0100)
committerFlorian Hahn <flo@fhahn.com>
Tue, 26 Apr 2022 11:41:41 +0000 (12:41 +0100)
commit857c612d899f271402470d4026d2e3be1dce53a4
treea4a740480b150c9c4cff671c4df7881f326b1370
parent5b3ca24a35e91bf9c19af856e7f92c69b17f989e
[IPSCCP] Support unfeasible default dests for switch.

At the moment, unfeasible default destinations are not handled properly
in removeNonFeasibleEdges. So far, only unfeasible cases are removed,
but later code expects unreachable blocks to have no predecessors.

This is causing the crash reported in PR49573.

If the default destination is unfeasible it won't be executed. Create
a new unreachable block on demand and use that as default
destination.

Note that at the moment this only is relevant for cases where
resolvedUndefsIn marks the first case as executable. Regular switch
handling has a FIXME/TODO to support determining whether the default
case is feasible or not.

Fixes #48917.

Differential Revision: https://reviews.llvm.org/D113497
llvm/lib/Transforms/Scalar/SCCP.cpp
llvm/test/Transforms/SCCP/switch-constantfold-crash.ll