From 5a68e578cafe5b0bc7c00772185ccbf3cdcc795a Mon Sep 17 00:00:00 2001 From: Florian Hahn Date: Fri, 14 Oct 2022 11:01:53 +0100 Subject: [PATCH] [ConstraintElim] Add debug message when decomposition fails. --- llvm/lib/Transforms/Scalar/ConstraintElimination.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp b/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp index 89d22a4..261548a 100644 --- a/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp +++ b/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp @@ -748,8 +748,10 @@ static bool checkAndReplaceCondition(CmpInst *Cmp, ConstraintInfo &Info) { Value *B = Cmp->getOperand(1); auto R = Info.getConstraintForSolving(Pred, A, B); - if (R.empty() || !R.isValid(Info)) + if (R.empty() || !R.isValid(Info)){ + LLVM_DEBUG(dbgs() << " failed to decompose condition\n"); return false; + } auto &CSToUse = Info.getCS(R.IsSigned); -- 2.7.4