X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fppc%2Finsts.lisp;h=8229af3712f910f506e72670547a2fd42f96a34a;hb=a7a9b1029e8b9e45a5b66d62e161cc476cb7b60c;hp=9dceec492229453a88af634191813427173e64be;hpb=52cfe54802db8736f1f4e2b67764c43bba9b78b3;p=sbcl.git diff --git a/src/compiler/ppc/insts.lisp b/src/compiler/ppc/insts.lisp index 9dceec4..8229af3 100644 --- a/src/compiler/ppc/insts.lisp +++ b/src/compiler/ppc/insts.lisp @@ -640,8 +640,7 @@ (#.fun-end-breakpoint-trap (nt "Function end breakpoint trap")) (#.object-not-instance-trap - (nt "Object not instance trap")) - ))) + (nt "Object not instance trap"))))) (eval-when (:compile-toplevel :execute) @@ -869,7 +868,7 @@ (when (typep si 'fixup) (ecase ,fixup ((:ha :l) (note-fixup segment ,fixup si))) - (setq si 0)) + (setq si (or (fixup-offset si) 0))) (emit-d-form-inst segment ,op (reg-tn-encoding rt) (reg-tn-encoding ra) si))))) (define-d-rs-ui-instruction (name op &key (cost 1) other-dependencies) @@ -1828,12 +1827,24 @@ (define-instruction-macro extlwi. (ra rs n b) `(inst rlwinm. ,ra ,rs ,b 0 (1- ,n))) + (define-instruction-macro extrwi (ra rs n b) + `(inst rlwinm ,ra ,rs (mod (+ ,b ,n) 32) (- 32 ,n) 31)) + + (define-instruction-macro extrwi. (ra rs n b) + `(inst rlwinm. ,ra ,rs (mod (+ ,b ,n) 32) (- 32 ,n) 31)) + (define-instruction-macro srwi (ra rs n) `(inst rlwinm ,ra ,rs (- 32 ,n) ,n 31)) (define-instruction-macro srwi. (ra rs n) `(inst rlwinm. ,ra ,rs (- 32 ,n) ,n 31)) + (define-instruction-macro clrlwi (ra rs n) + `(inst rlwinm ,ra ,rs 0 ,n 31)) + + (define-instruction-macro clrlwi. (ra rs n) + `(inst rlwinm. ,ra ,rs 0 ,n 31)) + (define-instruction-macro clrrwi (ra rs n) `(inst rlwinm ,ra ,rs 0 0 (- 31 ,n))) @@ -2077,10 +2088,8 @@ (inst ori temp temp (ldb (byte 16 0) delta)) (inst add dst src temp)))))) -;; this function is misnamed. should be compute-code-from-lip, -;; if the use in xep-allocate-frame is typical -;; (someone says code = fn - header - label-offset + other-pointer-tag) -(define-instruction compute-code-from-fn (segment dst src label temp) +;; code = lip - header - label-offset + other-pointer-tag +(define-instruction compute-code-from-lip (segment dst src label temp) (:declare (type tn dst src temp) (type label label)) (:attributes variable-length) (:dependencies (reads src) (writes dst) (writes temp)) @@ -2095,6 +2104,7 @@ (component-header-length)))))) ;; code = lra - other-pointer-tag - header - label-offset + other-pointer-tag +;; = lra - (header + label-offset) (define-instruction compute-code-from-lra (segment dst src label temp) (:declare (type tn dst src temp) (type label label)) (:attributes variable-length) @@ -2108,6 +2118,7 @@ (component-header-length))))))) ;; lra = code + other-pointer-tag + header + label-offset - other-pointer-tag +;; = code + header + label-offset (define-instruction compute-lra-from-code (segment dst src label temp) (:declare (type tn dst src temp) (type label label)) (:attributes variable-length)