[libc-commits] [PATCH] D117590: [libc] Implement correct rounding with all rounding modes for hypot functions.

[Paul Zimmermann via Phabricator via libc-commits]

zimmermann6 requested changes to this revision.
zimmermann6 added a comment.
This revision now requires changes to proceed.

after fixing my stress program I was able to find one value which does not seem to be correctly rounded (for binary32 and rounding up):

  zimmerma at biscotte:~/svn/tbd/20/src/binary32$ CFLAGS=-DCHECK_CR LLVM=llvm-project VERBOSE=-v RND=rndu ./doitb.llvm hypot 1000
  Checking hypot with llvm-project and rndu
  Using seed 1076573
  NEW hypot 0 -1 0x1.ffffecp-1,-0x1.000002p+27 [1.00] 1 1
  libm gives 0x1.000002p+27
  mpfr gives 0x1.000004p+27

Please can you confirm?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D117590/new/

https://reviews.llvm.org/D117590