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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Hmm, did you measure the compile-time impact of this change?

http://llvm-compile-time-tracker.com/compare.php?from=7e4ac8541dcc389ca8f0d11614e19ea7bae07af7&to=bd368f47d7554971a918b4926c1195b592a581d5&stat=instructions:u

> 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?

I can give it a try next week :)


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