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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Mon Mar 4 02:00:56 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);
----------------
nikic wrote:

Hm, any reason not to export this function in ValueTracking.h?

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


More information about the llvm-commits mailing list