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

via llvm-commits llvm-commits at lists.llvm.org
Mon Mar 4 09:45:44 PST 2024


================
@@ -42,6 +42,12 @@ static cl::opt<bool>
                           cl::desc("Enable verification of assumption cache"),
                           cl::init(false));
 
+// Implemented in ValueTracking.cpp
+void addValueAffectedByCondition(Value *V,
+                                 function_ref<void(Value *)> InsertAffected);
+void findValuesAffectedByCondition(Value *Cond, bool IsAssume,
+                                   function_ref<void(Value *)> InsertAffected);
----------------
goldsteinn wrote:

No, initially I had thought we need includes to go the other way.

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


More information about the llvm-commits mailing list