HomePhabricator

[SimplifyCFG] SUCCESS! Teach createUnreachableSwitchDefault() to preserve…

Authored by lebedev.ri on Dec 31 2020, 4:19 PM.

Description

[SimplifyCFG] SUCCESS! Teach createUnreachableSwitchDefault() to preserve DomTree

This pretty much concludes patch series for updating SimplifyCFG
to preserve DomTree. All 318 dedicated -simplifycfg tests now pass
with -simplifycfg-require-and-preserve-domtree=1.

There are a few leftovers that apparently don't have good test coverage.
I do not yet know what gaps in test coverage will the wider-scale testing
reveal, but the default flip might be close.

Details

Committed
lebedev.riDec 31 2020, 4:25 PM
Parents
rGe1440d43bca5: [SimplifyCFG] Teach tryToSimplifyUncondBranchWithICmpInIt() to preserve DomTree
Branches
Unknown
Tags
Unknown