X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fsaptran.lisp;h=4270fed71ececd847c4c0c8a1a82d58cf0177b15;hb=8a19c6876412b8ad1cf729297c2a373d63a0d0ec;hp=4719183a4ff38a708076bbb008090155b49157b5;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/src/compiler/saptran.lisp b/src/compiler/saptran.lisp index 4719183..4270fed 100644 --- a/src/compiler/saptran.lisp +++ b/src/compiler/saptran.lisp @@ -10,9 +10,6 @@ ;;;; files for more information. (in-package "SB!C") - -(file-comment - "$Header$") ;;;; DEFKNOWNs @@ -112,10 +109,14 @@ ;;;; transforms for converting sap relation operators -(dolist (info '((sap< <) (sap<= <=) (sap= =) (sap>= >=) (sap> >))) - (destructuring-bind (sap-fun int-fun) info - (deftransform sap-fun ((x y) '* '* :eval-name t) - `(,int-fun (sap-int x) (sap-int y))))) +(macrolet ((def (sap-fun int-fun) + `(deftransform ,sap-fun ((x y) * *) + `(,',int-fun (sap-int x) (sap-int y))))) + (def sap< <) + (def sap<= <=) + (def sap= =) + (def sap>= >=) + (def sap> >)) ;;;; transforms for optimizing SAP+ @@ -124,22 +125,36 @@ (eql (continuation-value offset) 0)) 'sap) (t - (extract-function-args sap 'sap+ 2) + (extract-fun-args sap 'sap+ 2) '(lambda (sap offset1 offset2) (sap+ sap (+ offset1 offset2)))))) -(dolist (fun '(sap-ref-8 %set-sap-ref-8 - signed-sap-ref-8 %set-signed-sap-ref-8 - sap-ref-16 %set-sap-ref-16 - signed-sap-ref-16 %set-signed-sap-ref-16 - sap-ref-32 %set-sap-ref-32 - signed-sap-ref-32 %set-signed-sap-ref-32 - sap-ref-sap %set-sap-ref-sap - sap-ref-single %set-sap-ref-single - sap-ref-double %set-sap-ref-double - #!+(or x86 long-float) sap-ref-long - #!+long-float %set-sap-ref-long)) - (deftransform fun ((sap offset) '* '* :eval-name t) - (extract-function-args sap 'sap+ 2) - `(lambda (sap offset1 offset2) - (,fun sap (+ offset1 offset2))))) +(macrolet ((def (fun) + `(deftransform ,fun ((sap offset) * *) + (extract-fun-args sap 'sap+ 2) + `(lambda (sap offset1 offset2) + (,',fun sap (+ offset1 offset2)))))) + (def sap-ref-8) + (def %set-sap-ref-8) + (def signed-sap-ref-8) + (def %set-signed-sap-ref-8) + (def sap-ref-16) + (def %set-sap-ref-16) + (def signed-sap-ref-16) + (def %set-signed-sap-ref-16) + (def sap-ref-32) + (def %set-sap-ref-32) + (def signed-sap-ref-32) + (def %set-signed-sap-ref-32) + (def sap-ref-sap) + (def %set-sap-ref-sap) + (def sap-ref-single) + (def %set-sap-ref-single) + (def sap-ref-double) + (def %set-sap-ref-double) + ;; The original CMUCL code had #!+(and x86 long-float) for this first one, + ;; but only #!+long-float for the second. This was redundant, since the + ;; LONG-FLOAT target feature only exists on X86. So we removed the + ;; redundancy. --njf 2002-01-08 + #!+long-float (def sap-ref-long) + #!+long-float (def %set-sap-ref-long))