Raymond Toy pushed to branch master at cmucl / cmucl Commits: 1b688607 by Raymond Toy at 2026-01-18T15:38:33-08:00 Fix #463: Handle double-double-float and double-float comparisons - - - - - 67dc5c9d by Raymond Toy at 2026-01-18T15:38:34-08:00 Merge branch 'issue-463-double-double-float-comparison' into 'master' Fix #463: Handle double-double-float and double-float comparisons Closes #463 See merge request cmucl/cmucl!342 - - - - - 1 changed file: - src/compiler/float-tran-dd.lisp Changes: ===================================== src/compiler/float-tran-dd.lisp ===================================== @@ -674,6 +674,18 @@ (kernel:double-double-hi b) (kernel:double-double-lo b))) +(deftransform = ((a b) (vm::double-double-float double-float) *) + `(dd= (kernel:double-double-hi a) + (kernel:double-double-lo a) + b + 0d0)) + +(deftransform = ((a b) (double-float vm::double-double-float) *) + `(dd= a + 0d0 + (kernel:double-double-hi b) + (kernel:double-double-lo b))) + (deftransform < ((a b) (vm::double-double-float vm::double-double-float) *) `(dd< (kernel:double-double-hi a) @@ -681,10 +693,34 @@ (kernel:double-double-hi b) (kernel:double-double-lo b))) +(deftransform < ((a b) (vm::double-double-float double-float) *) + `(dd< (kernel:double-double-hi a) + (kernel:double-double-lo a) + b + 0d0)) + +(deftransform < ((a b) (double-float vm::double-double-float) *) + `(dd< a + 0d0 + (kernel:double-double-hi b) + (kernel:double-double-lo b))) + (deftransform > ((a b) (vm::double-double-float vm::double-double-float) *) `(dd> (kernel:double-double-hi a) (kernel:double-double-lo a) (kernel:double-double-hi b) (kernel:double-double-lo b))) + +(deftransform > ((a b) (vm::double-double-float double-float) *) + `(dd> (kernel:double-double-hi a) + (kernel:double-double-lo a) + b + 0d0)) + +(deftransform > ((a b) (double-float vm::double-double-float) *) + `(dd> a + 0d0 + (kernel:double-double-hi b) + (kernel:double-double-lo b))) ) ; end progn View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/336b9322330eee9a4b44d99... -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/336b9322330eee9a4b44d99... You're receiving this email because of your account on gitlab.common-lisp.net.