This is an archive of the discontinued LLVM Phabricator instance.

[FlattenCFG] Replace branch condition with a created one correctly
ClosedPublic

Authored by aleksandr.popov on Apr 19 2023, 4:53 AM.

Details

Summary

Fix case when FlattenCFGOpt combines the conditions but doesn't update
branch with a new combined condition. It happens when one of the
combinable condition is inverted and has more then 1 user

Diff Detail

Event Timeline

Herald added a project: Restricted Project. · View Herald TranscriptApr 19 2023, 4:53 AM
Herald added a subscriber: hiraditya. · View Herald Transcript
aleksandr.popov requested review of this revision.Apr 19 2023, 4:53 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 19 2023, 4:53 AM
aleksandr.popov edited the summary of this revision. (Show Details)Apr 19 2023, 4:55 AM
mkazantsev accepted this revision.Apr 21 2023, 2:45 AM

Confirmed with alive2.
Bugged version: https://alive2.llvm.org/ce/z/L4ps9v
Fixed version: https://alive2.llvm.org/ce/z/QdrG5U

This revision is now accepted and ready to land.Apr 21 2023, 2:45 AM
This revision was landed with ongoing or failed builds.Apr 21 2023, 2:50 AM
This revision was automatically updated to reflect the committed changes.