[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
Mon Mar 4 10:11:06 PST 2024


================
@@ -1195,6 +1195,12 @@ std::optional<bool> isImpliedByDomCondition(CmpInst::Predicate Pred,
                                             const Value *LHS, const Value *RHS,
                                             const Instruction *ContextI,
                                             const DataLayout &DL);
+
+// Call `InsertAffected` on all Values whose known bits / value may be affected
+// the condition `Cond`. Used by AssumptionCache and DomConditionCache.
----------------
dtcxzyw wrote:

```suggestion
/// Call \p InsertAffected on all Values whose known bits / value may be affected by
/// the condition \p Cond. Used by AssumptionCache and DomConditionCache.
```

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


More information about the llvm-commits mailing list