Raymond Toy pushed to branch issue-468-core-math-signals at cmucl / cmucl

Commits:

• fdb86a06
  by Raymond Toy at 2026-02-01T07:38:55-08:00

  Fix #434:  Add support for correctly rounded double-precision math functions
  

• e3ec78e4
  by Raymond Toy at 2026-02-01T07:38:55-08:00

  Merge branch 'issue-425-correctly-rounded-math-functions' into 'master'
  
  Fix #434:  Add support for correctly rounded double-precision math functions
  
  Closes #434, #426, and #425
  
  See merge request cmucl/cmucl!312

• f055eed9
  by Raymond Toy at 2026-02-02T20:22:35-08:00

  Merge branch 'master' into issue-468-core-math-signals
  

2 changed files:

• src/lisp/irrat.c
• tests/fdlibm.lisp

Changes:

 double

 lisp_pow(double x, double y)

 {

-#ifdef FEATURE_CORE_MATH

-    return cr_pow(x, y);

-#else    

+    /*

+     * cr_pow seems causes ansi-tests to fail in test WRITE.1 among

+     * others.  Somewhere an invalid operation is occurring.  Thus

+     * just use fdlibm for now until we can figure out what's causing

+     * the failure.

+     */

     return __ieee754_pow(x, y);

 #endif

 }

   ;; overflow.

   (assert-error 'floating-point-overflow

 		(kernel:%asinh ext:double-float-positive-infinity))

+  #-core-math

   (assert-error 'floating-point-overflow

 		(kernel:%asinh ext:double-float-negative-infinity))

   (assert-true (ext:float-nan-p (kernel:%asinh *qnan*)))