diff options
Diffstat (limited to 'llvm/lib/Analysis/AssumptionCache.cpp')
| -rw-r--r-- | llvm/lib/Analysis/AssumptionCache.cpp | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/AssumptionCache.cpp b/llvm/lib/Analysis/AssumptionCache.cpp index 11796ef..b439dc1 100644 --- a/llvm/lib/Analysis/AssumptionCache.cpp +++ b/llvm/lib/Analysis/AssumptionCache.cpp @@ -87,7 +87,7 @@ findAffectedValues(CallBase *CI, TargetTransformInfo *TTI, AddAffected(Cond); CmpInst::Predicate Pred; - if (match(Cond, m_ICmp(Pred, m_Value(A), m_Value(B)))) { + if (match(Cond, m_Cmp(Pred, m_Value(A), m_Value(B)))) { AddAffected(A); AddAffected(B); @@ -128,7 +128,18 @@ findAffectedValues(CallBase *CI, TargetTransformInfo *TTI, if (match(A, m_Add(m_Value(X), m_ConstantInt())) && match(B, m_ConstantInt())) AddAffected(X); + } else if (CmpInst::isFPPredicate(Pred)) { + // fcmp fneg(x), y + // fcmp fabs(x), y + // fcmp fneg(fabs(x)), y + if (match(A, m_FNeg(m_Value(A)))) + AddAffected(A); + if (match(A, m_FAbs(m_Value(A)))) + AddAffected(A); } + } else if (match(Cond, m_Intrinsic<Intrinsic::is_fpclass>(m_Value(A), + m_Value(B)))) { + AddAffected(A); } if (TTI) { |