BranchFolder: Assert on SSA functions

We probably should have the opposite of getRequiredProperties for this
This commit is contained in:
Matt Arsenault 2022-04-25 08:12:32 -04:00 committed by Matt Arsenault
parent 7d2dddce8f
commit 6ff91d17d6
1 changed files with 2 additions and 0 deletions

View File

@ -119,6 +119,8 @@ bool BranchFolderPass::runOnMachineFunction(MachineFunction &MF) {
if (skipFunction(MF.getFunction()))
return false;
assert(!MF.getProperties().hasProperty(MachineFunctionProperties::Property::IsSSA));
TargetPassConfig *PassConfig = &getAnalysis<TargetPassConfig>();
// TailMerge can create jump into if branches that make CFG irreducible for
// HW that requires structurized CFG.