[llvm] [ConstraintElim] Add facts implied by intrinsics if they are used by other constraints (PR #80121)

[Florian Hahn via llvm-commits]

fhahn wrote:

Hmm, did you measure the compile-time impact of this change? If possible, it would be preferable to do this in ConstraintElimination only, without complicating ConstraintSystem.

Do you think adding the info from Min/Max only when trying to simplify conditions that use it would work and removing it after simplifying the condition?

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