sbcl-cvs-import Log


Commit Date  
[110ebc] by Nikodemus Siivola Nikodemus Siivola

1.0.44.20: clarify meaning of make.sh --dynamic-space-size option

EOM.

2010-11-10 17:39:25 Tree
[9e83e3] by Alastair Bridgewater Alastair Bridgewater

1.0.44.19: NEWS: Updates for changes starting at 1.0.44.6.

* EOM.

2010-11-09 19:46:49 Tree
[6e1eec] by Alastair Bridgewater Alastair Bridgewater

1.0.44.18: physenvanal: When checking closure-DXness, handle XEPs reasonably.

* In ANALYZE-INDIRECT-LAMBDA-VARS, treat functionals as being DX if
either they are marked as being DX or they have a FUNCTIONAL-ENTRY-FUN
that is marked as being DX.

* This extends the existing logic to allow functions with XEPs (those
functions callable via the full-call convention) to use the
ANCESTOR-FRAME optimizations.

2010-11-09 19:46:33 Tree
[97f956] by Alastair Bridgewater Alastair Bridgewater

1.0.44.17: ir1: Declare UNWIND-PROTECT cleanup functions to be dynamic-extent.

* Since we now have the analysis to do the right thing
for these functions, why not take advantage of it?

2010-11-09 19:45:50 Tree
[48646d] by Alastair Bridgewater Alastair Bridgewater

1.0.44.16: ir2tran: Don't try to stack-allocate VALUE-CELLs.

* Explicit VALUE-CELLs are only used if a closure that refers
to a mutable LAMBDA-VAR has indefinite extent, implying that the
reference itself has indefinite extent. In such cases, dynamic
extent allocation of the VALUE-CELL is contraindicated.

* Remove most of the logic from EMIT-MAKE-VALUE-CELL, leaving
only the statistics-tracking (EVENT) and the VOP emission,
forcing the new VALUE-CELL to be heap-allocated.

2010-11-09 19:45:36 Tree
[c097df] by Alastair Bridgewater Alastair Bridgewater

1.0.44.15: ir2: Skip value-cell allocation where possible.

* Expose the new ANCESTOR-FRAME VOPs in package-data.lisp-expr.

* When creating TNs for closed-over LAMBDA-VARs with "implicit"
VALUE-CELLs, force the TNs to be allocated on the control-stack,
and to be live over the entire extent of the PHYSENV.

* When translating a REF or SET node for such LAMBDA-VARs from
a NODE in a CLAMBDA with a different PHYSENV, use the new VOPs to
access the LAMBDA-VAR.

* When setting up a closure for such LAMBDA-VARs from a NODE in
a CLAMBDA with the same PHYSENV as the variable, use the new
CLOSURE-INIT-FROM-FP VOP to stash the frame pointer instead of a
VALUE-CELL or the current value of the variable.

* When setting up the closure environment for a local-call that
closes over such a LAMBDA-VAR, and the call is being made from a
NODE in a CLAMBDA with the same PHYSENV as the variable, store the
current frame-pointer instead of a VALUE-CELL or the current value
of the variable.

2010-11-09 19:45:23 Tree
[2c3112] by Alastair Bridgewater Alastair Bridgewater

1.0.44.14: x86-64: Implement ANCESTOR-FRAME VOPs.

* This is the x86-64 version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

2010-11-09 19:45:09 Tree
[997959] by Alastair Bridgewater Alastair Bridgewater

1.0.44.13: x86: Implement ANCESTOR-FRAME VOPs.

* This is the x86 version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

2010-11-09 19:44:53 Tree
[4ad46c] by Alastair Bridgewater Alastair Bridgewater

1.0.44.12: sparc: Implement ANCESTOR-FRAME VOPs.

* This is the SPARC version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

* This commit is untested, but should work, as it is based on
the PPC changes, which were tested.

2010-11-09 19:44:41 Tree
[32594a] by Alastair Bridgewater Alastair Bridgewater

1.0.44.11: ppc: Implement ANCESTOR-FRAME VOPs.

* This is the PPC version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

2010-11-09 19:44:22 Tree
[94688f] by Alastair Bridgewater Alastair Bridgewater

1.0.44.10: mips: Implement ANCESTOR-FRAME VOPs.

* This is the MIPS version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

* This commit is untested, but should work, as it is based on
the PPC changes, which were tested.

2010-11-09 19:44:09 Tree
[f5186e] by Alastair Bridgewater Alastair Bridgewater

1.0.44.9: hppa: Implement ANCESTOR-FRAME VOPs.

* This is the HPPA version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

* This commit is untested, but should work, as it is based on
the PPC changes, which were tested.

2010-11-09 19:43:56 Tree
[8e35f6] by Alastair Bridgewater Alastair Bridgewater

1.0.44.8: alpha: Implement ANCESTOR-FRAME VOPs.

* This is the Alpha version of the "implicit" VALUE-CELL access
for DYNAMIC-EXTENT closures.

* This commit is untested, but should work, as it is based on
the PPC changes, which were tested.

2010-11-09 19:43:44 Tree
[fb2603] by Alastair Bridgewater Alastair Bridgewater

1.0.44.7: ir1: Set LAMBDA-VAR-EXPLICIT-VALUE-CELL where possible.

* Add a new stage to PHYSENVANAL, after tail-annotation to
fix up indirect (wanting value-cell) LAMBDA-VARs.

* For each non-dynamic-extent CLAMBDA in the component,
mark all of the LAMBDA-VARs as needing an explicit value cell.

* This analysis is correct as far as it goes, but it turns
out that marking CLAMBDAs as being dynamic-extent isn't done
in several cases that one would naively expect it to, thus
defeating most of the point of this analysis.

2010-11-09 19:43:30 Tree
[df3969] by Alastair Bridgewater Alastair Bridgewater

1.0.44.6: ir1: Add a new attribute for LAMBDA-VARs that need explicit value-cells.

* Add a new EXPLICIT-VALUE-CELL attribute to the LAMBDA-VAR
attributes.

* Add a new LAMBDA-VAR-EXPLICIT-VALUE-CELL access macro while
we're at it.

2010-11-09 19:43:17 Tree
[9aac8c] by Nikodemus Siivola Nikodemus Siivola

1.0.44.5: teach UNTRACE-1 how to actually untrace unbound functions

Fixes the remainder of lp#667657.

2010-11-08 13:03:56 Tree
[836597] by Nikodemus Siivola Nikodemus Siivola

1.0.44.4: make MAKE-FUNCTIONAL-FROM-TOPLEVEL-LAMBDA build proper XEPs

Bring MAKE-FUNCTIONAL-FROM-TOPLEVEL-LAMBDA into closer alignment with
MAKE-XEP. Specifically, cross-link the underlying function and the
TL-XEP, and mark the TL-XEP for reanalysis.

Fixes lp#310173 and lp#384892:

* Show &REST arguments properly in backtraces.

* Better type-derivation of function result types when the
lambda-list is complex.

2010-11-08 12:42:01 Tree
[2d93dc] by Nikodemus Siivola Nikodemus Siivola

1.0.44.3: better docstring for CONDITION-WAIT

Mention the fact that it might get spurious wakeups.

2010-11-08 10:00:53 Tree
[33a453] by Nikodemus Siivola Nikodemus Siivola

1.0.44.2: don't add pointless TYPEP T constraints

Pointless constraints are not only pointless, they also slow things
down for no good reason.

2010-11-07 01:18:29 Tree
[a4ea39] by Nikodemus Siivola Nikodemus Siivola

1.0.44.1: more conservative CONCATENATE open-coding

Don't fully open code for long strings, no matter what policy:
constraint-propagation will go seriously nonlinear.

Also optimize the open-coded form a bit. Use

(SETF (AREF .STRING. (TRULY-THE INDEX (+ .POS. <constant>))) <char>)
...repeat...
(INCF .POS. <constant>)

instead of

(SETF (AREF .STRING .POS.) <char>)
(INCF .POS.)
...repeat...

. Smaller code, easier on the constraint propagation, and a tiny
bit faster too.

2010-11-07 01:14:39 Tree
[37df3b] (sbcl_1_0_44sbcl.1.0.44) by Juho Snellman Juho Snellman

1.0.44: will be tagged as sbcl_1_0_44

2010-11-06 03:29:03 Tree
[a5b1b8] by Juho Snellman Juho Snellman

1.0.43.82: Make compiling a MAKE-ARRAY call with a bad keyword list signal warning

* Instead of a crashing inside the guts of the compiler...
* lp#664373, patch by Stas Boukarev

2010-10-30 13:30:12 Tree
[bbf1b4] by Juho Snellman Juho Snellman

1.0.43.81: Make :overeager-character-buffering test reap child processes

* Patch lp#665637 from Josh Elsasser

2010-10-30 11:47:11 Tree
[db1cec] by Juho Snellman Juho Snellman

1.0.43.80: Allow UNTRACE of functions that are no longer defined

* Patch lp#667657 from Attila Lendvai

2010-10-30 11:39:14 Tree
[704eaa] by Nikodemus Siivola Nikodemus Siivola

1.0.43.79: run-sbcl.sh: print run location to stderr instead of stdout

Allows using run-sbcl.sh for jobs requiring a clean stdout.

2010-10-20 14:32:14 Tree
Older >