[llvm] [Analysis][ValueTracking] Unify most of the tracking between AssumptionCache and DomConditionCache (PR #83161)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 29 09:39:06 PST 2024


================
@@ -813,6 +813,8 @@ void llvm::computeKnownBitsFromContext(const Value *V, KnownBits &Known,
     if (!isValidAssumeForContext(I, Q.CxtI, Q.DT))
       continue;
 
+    // Change to `computeKnownBitsFromCond` if we start supporting assume of
+    // logic op in ConditionCacheUtil.
----------------
dtcxzyw wrote:

> Something like `assume(a || b)` can exist.

Yeah, but it would not benefit the optimization if we fail to merge `a || b`.


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


More information about the llvm-commits mailing list