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

[Florian Hahn 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
----------------
fhahn wrote:

The likely was meant to apply to the second part (`but not earlier ...` ) because `V` may have been added as fact mutliple times, and failed at some, but succeeded later. I moved that.

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