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

[Matt Arsenault via llvm-commits]

arsenm wrote:

Can you fix the title to make it clear this is the one with the signbit special case? 

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