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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> > I can give it a try next week :)
> 
> Ping :)

I will post a patch today.

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