Repository navigation

[KnownFPClass] Improve fadd/fsub deductions around infinity classes - #239064

Draft

ZERICO2005 wants to merge 3 commits into

ZERICO2005:fadd_inf

Draft

[KnownFPClass] Improve fadd/fsub deductions around infinity classes#239064
ZERICO2005 wants to merge 3 commits into
llvm:mainfrom
ZERICO2005:fadd_inf

Commits on Nov 8, 2026
- precommit tests
  ZERICO2005
  committed
  9930efd
- [KnownFPClass] Improve fadd/fsub deductions around infinity classes
  ZERICO2005
  committed
  d060985
- [KnownFPClass] Rule out subnormal + subnormal producing infinity for fadd/fsub
  ZERICO2005
  committed
  289dd7d