================ @@ -3064,9 +3064,10 @@ getRecipesForUncountableExit(SmallVectorImpl<VPInstruction *> &Recipes, // Find the uncountable loop exit condition. VPValue *UncountableCondition = nullptr; - if (!match(LatchVPBB->getTerminator(), - m_BranchOnTwoConds(m_AnyOf(m_VPValue(UncountableCondition)), - m_VPValue()))) + if (!match( + LatchVPBB->getTerminator(), + m_BranchOnTwoConds(m_AnyOf(m_Freeze(m_VPValue(UncountableCondition))), ---------------- fhahn wrote:
I don't think we necessarily need `Freeze`. Whether it is needed depends on whether `UncountableCondition` can be poison or not (we may be able to proof it is never poison , e.g. `!noundef` on load https://github.com/llvm/llvm-project/pull/223640 _______________________________________________ llvm-branch-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
