[llvm] [ValueTracking] Compute KnownFP state from recursive select/phi. (PR #113686)

[Matt Arsenault via llvm-commits]

================
@@ -2,7 +2,7 @@
 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S < %s | FileCheck %s
 
 define float @phi_select(i1 %c, float nofpclass(inf) %base, float nofpclass(inf) %arg) {
----------------
arsenm wrote:

Needs another case in the other select operand? 

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