[llvm] [ConstraintElim] Add facts about non-poison intrinsics on demand (PR #136558)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

I don't really understand the approach you are using here. What I expected to see is something along the lines of how we handle IsKnownNonNegative, where we add additional constraints to ExtraInfo, which will be used while checking the condition only.

Basically, would it be possible to extend ConstraintInfo::getConstraint to go through the variables, and if they are umin/etc add the additional constraint to ExtraInfo? Or is that insufficient?

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