[llvm] [ValueTracking] Use SimplifyQuery in some public APIs (NFC) (PR #68290)

via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 9 09:56:54 PDT 2023


================
@@ -6407,32 +6390,29 @@ OverflowResult llvm::computeOverflowForUnsignedSub(const Value *LHS,
   //       See simplifyICmpWithBinOpOnLHS() for candidates.
   if (match(RHS, m_URem(m_Specific(LHS), m_Value())) ||
       match(RHS, m_NUWSub(m_Specific(LHS), m_Value())))
-    if (isGuaranteedNotToBeUndefOrPoison(LHS, AC, CxtI, DT))
+    if (isGuaranteedNotToBeUndefOrPoison(LHS, SQ.AC, SQ.CxtI, SQ.DT))
----------------
goldsteinn wrote:

Should `isGuranteedNotToBeUndefOrPoison` be made to take `SQ` as well?

https://github.com/llvm/llvm-project/pull/68290


More information about the llvm-commits mailing list