[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 (without tests).



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