[llvm] [ConstraintElim] Link values to decompositions during queries if needed. (PR #224623)

[Antonio Frighetto via llvm-commits]

================
@@ -1783,6 +1783,27 @@ static void generateReproducer(Instruction *Cond, bool IsSigned, Module *M,
   assert(!verifyFunction(*F, &dbgs()));
 }
 
+/// If \p V is a variable in the system and constraint \p C does not contain \p
+/// V, it is likely we managed to decompose \p V at this point, but not earlier
----------------
antoniofrighetto wrote:

Just wondering, why likely and not _is_?

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