[ValueTracking] fadd never produces subnormal with no underflow (#186985)
In the cases where the fadd does not underflow, the result is both
non-zero and non-subnormal.
alive2 results for the added positive testcases:
testcase 1: https://alive2.llvm.org/ce/z/Mxjott
testcase 2: https://alive2.llvm.org/ce/z/Q-_A-v
testcase 3: https://alive2.llvm.org/ce/z/Y3XpSk
testcase 4: https://alive2.llvm.org/ce/z/34n8MZ
Fix #186975.