From 6ff91d17d66da46572e97f9a0b042182762cbe9e Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Mon, 25 Apr 2022 08:12:32 -0400 Subject: [PATCH] BranchFolder: Assert on SSA functions We probably should have the opposite of getRequiredProperties for this --- llvm/lib/CodeGen/BranchFolding.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/llvm/lib/CodeGen/BranchFolding.cpp b/llvm/lib/CodeGen/BranchFolding.cpp index 76f6a00..5b5c743 100644 --- a/llvm/lib/CodeGen/BranchFolding.cpp +++ b/llvm/lib/CodeGen/BranchFolding.cpp @@ -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(); // TailMerge can create jump into if branches that make CFG irreducible for // HW that requires structurized CFG. -- 2.7.4