X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Faliencomp.lisp;h=7c2fbc0b6b1fc23b33211b1c046f689ded5a6dbf;hb=4cf50b1896b25f5337e7c258b0b560da00d47993;hp=ce650192edddbf9acd6815d2bc82f77ff735bb04;hpb=c9c0e648c51317ff374851c4fcc740a15d37acae;p=sbcl.git diff --git a/src/compiler/aliencomp.lisp b/src/compiler/aliencomp.lisp index ce65019..7c2fbc0 100644 --- a/src/compiler/aliencomp.lisp +++ b/src/compiler/aliencomp.lisp @@ -10,9 +10,6 @@ ;;;; files for more information. (in-package "SB!C") - -(file-comment - "$Header$") ;;;; DEFKNOWNs @@ -387,7 +384,7 @@ (specifier-type (compute-alien-rep-type (local-alien-info-type info)))))))) - 'nil) + nil) (deftransform local-alien ((info var) * * :important t) (unless (constant-continuation-p info) @@ -488,6 +485,8 @@ (deftransform %sap-alien ((sap type) * * :important t) (give-up-ir1-transform + ;; FIXME: The hardcoded newline here causes more-than-usually + ;; screwed-up formatting of the optimization note output. "could not optimize away %SAP-ALIEN: forced to do runtime ~@ allocation of alien-value structure")) @@ -646,12 +645,12 @@ (alien-function-type-result-type type))))) (defoptimizer (%alien-funcall ltn-annotate) - ((function type &rest args) node policy) + ((function type &rest args) node ltn-policy) (setf (basic-combination-info node) :funny) (setf (node-tail-p node) nil) - (annotate-ordinary-continuation function policy) + (annotate-ordinary-continuation function ltn-policy) (dolist (arg args) - (annotate-ordinary-continuation arg policy))) + (annotate-ordinary-continuation arg ltn-policy))) (defoptimizer (%alien-funcall ir2-convert) ((function type &rest args) call block) @@ -670,10 +669,9 @@ #!-x86 (temp-tn (make-representation-tn (tn-primitive-type tn) scn)) (move-arg-vops (svref (sc-move-arg-vops sc) scn))) - (assert arg) - (assert (= (length move-arg-vops) 1) () - "no unique move-arg-vop for moves in SC ~S" - (sc-name sc)) + (aver arg) + (unless (= (length move-arg-vops) 1) + (error "no unique move-arg-vop for moves in SC ~S" (sc-name sc))) #!+x86 (emit-move-arg-template call block (first move-arg-vops) @@ -691,7 +689,7 @@ temp-tn nsp tn)))) - (assert (null args)) + (aver (null args)) (unless (listp result-tns) (setf result-tns (list result-tns))) (vop* call-out call block