From: Matt Arsenault <Matthew.Arsenault@amd.com>
Date: Mon, 25 Apr 2022 12:12:32 +0000 (-0400)
Subject: BranchFolder: Assert on SSA functions
X-Git-Tag: upstream/15.0.7~9221
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=6ff91d17d66da46572e97f9a0b042182762cbe9e;p=platform%2Fupstream%2Fllvm.git

BranchFolder: Assert on SSA functions

We probably should have the opposite of getRequiredProperties for this
---

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<TargetPassConfig>();
   // TailMerge can create jump into if branches that make CFG irreducible for
   // HW that requires structurized CFG.