mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-21 03:51:47 -08:00
Code Issues Projects Releases Packages Wiki Activity

cmp: fix inline expansions for EXPT function

Browse source 
Floating point contagion rules and the special case (expt 0 0) were
not handled correctly.
This commit is contained in:
Marius Gerbershagen 2025-12-13 17:41:12 +01:00
parent c6488fa1c1
commit cae32c08bc
1 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/cmp/cmpbackend-cxx/cmpc-inl-sysfun.lsp
View file

@ -533,8 +533,17 @@
;; Note that the following two inlines are conflicting. CHOOSE-INLINE-INFO
;; assumes the one that has more specific types.
(def-inline cl:expt :always ((integer 0 0) (integer 0 0)) :fixnum "1")
(def-inline cl:expt :always ((integer 0 0) t) :fixnum "0")
(def-inline cl:expt :always ((integer 1 1) t) :fixnum "1")
(def-inline cl:expt :always ((real 0 0) (real 0 0)) :float "1.0f" :exact-return-type t)
(def-inline cl:expt :always ((real 0 0) (real 0 0)) :double "1.0" :exact-return-type t)
(def-inline cl:expt :always ((real 0 0) (real 0 0)) :long-double "1.0l" :exact-return-type t)
(def-inline cl:expt :always ((integer 0 0) integer) :fixnum "(((#1) == 0) ? 1 : 0)")
(def-inline cl:expt :always ((real 0 0) real) :float "(ecl_zerop(#1) ? 1.0f : 0.0f)" :exact-return-type t)
(def-inline cl:expt :always ((real 0 0) real) :double "(ecl_zerop(#1) ? 1.0 : 0.0)" :exact-return-type t)
(def-inline cl:expt :always ((real 0 0) real) :long-double "(ecl_zerop(#1) ? 1.0l : 0.0l)" :exact-return-type t)
(def-inline cl:expt :always ((integer 1 1) integer) :fixnum "1")
(def-inline cl:expt :always ((real 1 1) real) :float "1.0f" :exact-return-type t)
(def-inline cl:expt :always ((real 1 1) real) :double "1.0" :exact-return-type t)
(def-inline cl:expt :always ((real 1 1) real) :long-double "1.0l" :exact-return-type t)
(def-inline cl:expt :always ((long-float 0.0l0 *) long-float) :long-double "powl((long double)#0,(long double)#1)")
(def-inline cl:expt :always ((double-float 0.0d0 *) double-float) :double "pow((double)#0,(double)#1)")
(def-inline cl:expt :always ((single-float 0.0f0 *) single-float) :float "powf((float)#0,(float)#1)")