This makes it possible to use canonicalize to perform a dynamic check
for whether denormal flushing is enabled, which will fold out when the
denormal mode is known. Previously it would only fold if denormal
flushing were known enabled.
Not sure if this needs to filter the misbehaved types
You could still fold this case if Src is positive and output mode is PreserveSign or PositiveZero.