[llvm] [ValueTracking] Compute known FPClass from dominating condition (PR #80740)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> I'd generally expect that assume and condition handling reuses the same logic. It seems like now assumes and conditions will handle different (even disjoint) cases?

I have added fcmp/is.fpclass support.


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