« Previous | Next » 

Revision 587eabfa

ID587eabfafc9dbf80c381bd0d98c000a94f8af60d

Added by Aurelien Jarno almost 13 years ago

softfloat: add float*_is_zero_or_denormal()

float*_is_zero_or_denormal() is available for float32, but not for
float64, floatx80 and float128. Fix that.

Reviewed-by: Peter Maydell <>
Signed-off-by: Aurelien Jarno <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences