X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=OPTIMIZATIONS;h=0308f8507c4e8955d713ea703e1744266bda8f25;hb=ed891a4fd882d1b9fe066ab14bcf2107aea95baa;hp=44663eff6f78a8c6b7dfd4763465b64d2761ba35;hpb=66cff1e1319861c080d563359afea284614b3a7f;p=sbcl.git diff --git a/OPTIMIZATIONS b/OPTIMIZATIONS index 44663ef..0308f85 100644 --- a/OPTIMIZATIONS +++ b/OPTIMIZATIONS @@ -162,15 +162,6 @@ through TYPEP UNBOXED-ARRAY, within the compiler itself. rather than either constant-folding or manipulating NIL-VALUE or NULL-TN directly. -------------------------------------------------------------------------------- -#19 - (let ((dx (if (foo) - (list x) - (list y z)))) - (declare (dynamic-extent dx)) - ...) - -DX is not allocated on stack. --------------------------------------------------------------------------------- #20 (defun-with-dx foo (x) (flet ((make (x) @@ -185,14 +176,6 @@ DX is not allocated on stack. Result of MAKE is not stack allocated, which means that stack-allocation of structures is impossible. -------------------------------------------------------------------------------- -#21 -(defun-with-dx foo () - (let ((dx (list (list 1 2) (list 3 4)))) - (declare (dynamic-extent dx)) - ...)) - -External list in DX is allocated on stack, but internal are not. --------------------------------------------------------------------------------- #22 IR2 does not perform unused code flushing. --------------------------------------------------------------------------------