sbcl Log


Commit Date  
[580842] (24.1 kB) by Christophe Rhodes Christophe Rhodes

0.8.1.14:
Fix OPTIMIZATIONS #1b on x86, at Gilbert Baumann's request (on
#lisp IRC 2003-07-01)
... new VOPs for base-char comparisons with constant second
argument;
... new transforms for CHAR< and CHAR> to ensure that any constant
argument is second;
... don't fall into the trap of assuming that the world is ASCII;
instead, define SB!XC:CODE-CHAR and SB!XC:CHAR-CODE that
deal with converting STANDARD-CHARs to and from ASCII codes;
... in the interest of the sanity of those with slow machines, refactor
tests/seq.impure.lisp slightly so that it takes somewhat less
time than the cosmological epoch to run

2003-07-02 08:36:56 View
Download
[468020] (24.2 kB) by Christophe Rhodes Christophe Rhodes

0.8.0.78.vector-nil-string.9:
Indeed, with a little build rearrangement, we don't need a
temporary SB!XC:DEFTYPE FIXNUM, so let's do that instead.
... move some of src/code/type-init.lisp into
src/code/class-init.lisp

2003-06-25 09:30:55 View
Download
[9767de] (24.2 kB) by Christophe Rhodes Christophe Rhodes

0.8.0.78.vector-nil-string.7:
The beginnings of the payoff: being sufficiently irritated by
the baroque intertwinings of the different places where array
types have to be specified, here is a beginning of a
rationalization.
... make *SPECIALIZED-ARRAY-ELEMENT-TYPE-PROPERTIES* a master
value, and derive three other compiler-internal lists
from it. (net win so far: 3)
... but because it's made earlier so that we can use it as a
master value, SPECIFIER-TYPE gives unknown types;
a new file (and corresponding cold-init function)
fixes up unknown types (and for primitive-types too)
... there are still plenty of places left where array logic
isn't derived from *SAETP*; they will be worked on.

2003-06-24 10:56:11 View
Download
[77c80b] (24.1 kB) by Alexey Dejneka Alexey Dejneka

IR1-convertion of lambda is separated into
src/compiler/ir1tran-lambda.lisp.

2003-06-04 05:58:18 View
Download
[c5df20] (24.0 kB) by Christophe Rhodes Christophe Rhodes

0.8.0.19:
No-one's complained, so merge CSR patch "Type checking on global
variables" (sbcl-devel 2003-05-27)
... fix SB-XC:PROCLAIM to queue up TYPE and FTYPE proclamations
when the system isn't initialized, and then reproclaim them
later;
... fix EVAL to punt to the compiler if there's a type proclamation
for FOO in (SETQ FOO ...);
... proclaim the types of the various CL:*FOO* variables, according
to the CLHS;
... fix two instances of undefined behaviour in the test suite. :-)

2003-05-30 10:44:10 View
Download
[bd0ba0] (23.9 kB) by Christophe Rhodes Christophe Rhodes

0.8.0.2:
Fix stack exhaustion stack exhaustion death
... define DEFINE-FUNCTION-NAME-SYNTAX function-name-defining macro;
... use it for SETF functions, and define LEGAL-FUNCTION-NAME-P
and FUN-NAME-BLOCK-NAME in terms of VALID-FUNCTION-NAME-P;
... also define internal PCL generalized function name syntax as
such, and test for internalness in SET-ARG-INFO1;
... OAOO bonus: delete bits of SB!PCL::CLASS-PREDICATE that were
decorating the compiler;

(note: this API is interface-compatible with CMUCL's for defining
generalized function name syntax. However, it's not currently exported
from SB-EXT because I happen to think that calling something
VALID-FUNCTION-NAME-P when it returns two values, the second of which
is syntactically significant, is a bit lame, and maybe we'll be able
to agree a better name between the two projects)

2003-05-25 22:34:23 View
Download
[d76c81] (23.8 kB) by Christophe Rhodes Christophe Rhodes

0.8alpha.0.21:
The "uh, I thought we had users beta-testing for us" release:
Make SETQ on globals return a value (and IN-PACKAGE, and ...)
... the SET VOP and the %SET-SYMBOL-VALUE IR2 thingy are
different, so one shouldn't translate the other;
... instead, create an IR2 translator for %SET-SYMBOL-VALUE by
hand, mimicking the effect of :SET-TRANS in
DEFINE-PRIMITIVE-OBJECT;
... this removes the need for late-symbol.lisp, so delete it.
While we're in a deleting mood...
... delete src/pcl/fast-init.lisp, which hasn't been part of the
build for the last 5 months or so.

2003-05-08 16:17:57 View
Download
[22b819] (23.8 kB) by Christophe Rhodes Christophe Rhodes

0.8alpha.0.13:
CLISP build megapatch
... mostly putting #-SB-XC in front of :COMPILE-TOPLEVEL,
because clisp gives a full warning for function and
macro redefinition;
... workaround clisp's buggy pretty printer by not exercising it
as much: use (INHIBIT-WARNINGS 3);
... explicit :INITIAL-ELEMENT 0 when we're using 0 to mean
"uninitialized" in MAKE-ARRAY;
... SPECIAL-OPERATOR-P isn't a good test on the host for what
can become a target macro;
... slightly more portable floating point logic:
Explicitly set *READ-DEFAULT-FLOAT-FORMAT* so that we
don't create host LONG-FLOATs by accident;
LOAD-TIME-VALUE magic for negative floating point zeros;
Minor associated text file frobbage
... braindump some unrelated TODO items
Obligatory runtime code improvement
... fix one warning in gencgc.h

2003-05-05 14:09:03 View
Download
[02c900] (23.5 kB) by Daniel Barlow Daniel Barlow

0.pre8.85
Merge the definitely-maybe-gc branch:

Remove all the lispland logic that checks bytes-consed
thresholds to see if it's worth GCing: C does these checks
anyway. SUB-GC now always GCs unless *GC-INHIBIT* says not to

Delete the notify before/after calls and notify-stream.
(Planned future change: pass the same information to
*{BEFORE,AFTER}-GC-HOOKS* instead)

*SOFT-HEAP-LIMIT* and MAYBE-GC are gone (unused).
*ALREADY-MAYBE-GCING* is also dead, replaced with a proper
mutex that will also prevent simultaneous GCs from multiple
threads. This entails moving gc.lisp and purify.lisp after
target-thread in the build-order

(Unithread WITH-MUTEX now honours its WAIT-P argument, so
actually works in this situation)

2003-04-21 21:06:24 View
Download
[c3a38a] (23.5 kB) by Alexey Dejneka Alexey Dejneka

0.pre8.82:
Fixed bugs caught by Paul Dietz' test suite:
* CONVERT-MORE-CALL failed on ((LAMBDA (&KEY) 1)
:ALLOW-OTHER-KEYS T) (fixed by Gerd Moellmann);
* &WHOLE and &REST arguments in a macro lambda list may be
patterns.

2003-04-20 10:53:42 View
Download
[e365f2] (23.5 kB) by Daniel Barlow Daniel Barlow

0.pre8.28
=== Threads merge, 100 metres ===

This is the first commit of experimental native threads for
SBCL. Note that thread support is by default not compiled in
- you need to add :sb-thread to target features. Note also
that non-x86 probably doesn't build in this version - that
will be fixed imminently

See log messages for dan_native_threads_branch,
dan_native_threads_2_branch, dan_native_threads_3_branch for
more information. I'm not going to type it all in again

2003-04-02 11:15:10 View
Download
[2db3b6] (23.3 kB) by Christophe Rhodes Christophe Rhodes

0.7.13.21:
The (ARRAY NIL) has landed.
... implement a SIMPLE-ARRAY-NIL primitive type, including in
garbage collection and (ROOM) logic;
... adjust implementation of array creation and reference to
deal with arrays that can't contain anything;
... (HAIRY-)DATA-VECTOR-REF are can no longer be FLUSHABLE;
Enjoy!

2003-03-10 14:54:16 View
Download
[40bf78] (23.3 kB) by Christophe Rhodes Christophe Rhodes

0.7.13.17:
Merge mini backend-refactor, motivated by APD's
*CHECK-CONSISTENCY*/non-local-exit observations
... OAOOize MAKE-DYNAMIC-SPACE-TNS VM support routine
Also add tests for documentation in the presence of generalized
function names that should have been merged before but were
forgotten (sorry).

2003-03-07 12:15:12 View
Download
[6daed9] (23.3 kB) by Daniel Barlow Daniel Barlow

0.7.13.2
Remove all #+mp/#-mp conditionals, and rid the world of the
SB!MP package

2003-02-26 02:18:45 View
Download
[eadecf] (23.3 kB) by William Harold Newman William Harold Newman

0.7.12.22:
cautiously reconnoitering the great dragon's lair: moved the
first innocuous-looking src/pcl/ file into cold build

2003-02-05 17:12:32 View
Download
[a74b0b] (23.0 kB) by Alexey Dejneka Alexey Dejneka

0.7.12.10:
* Definitions of dependent optimizations qualities are grouped
in src/compiler/policies.lisp;
* new dependent optimization policy: MERGE-TAIL-CALLS;
... which is used in XEPs.

2003-01-29 11:29:12 View
Download
[242432] (23.0 kB) by William Harold Newman William Harold Newman

0.7.10.19:
comments documenting :NOT-HOST and :NOT-TARGET flags

2002-12-15 16:40:09 View
Download
[f6f77e] (22.8 kB) by Christophe Rhodes Christophe Rhodes

0.7.10.16:
Fix one "outstanding embarrassment" (as per CSR sbcl-devel
2002-12-10): no more building of compiler files in
warm load.
... play symlink games instead, to build the troublesome
assembly files twice under different names (will need
adjustments to work on non-Unix filesystems (e.g.
NTFS) but no more than the rest of the build).

2002-12-11 11:10:27 View
Download
[369029] (22.3 kB) by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.5:
Convert SPARC backend to new !DEFINE-TYPE-VOPS system
... define %TEST-FOO functions
... delete old over-general test type generating code
... delete DEF-TYPE-VOPS calls
... move early-type-vops earlier in the build process, so other
backend files can use TEST-TYPE
... update TEST-TYPE calls for new interface
CAVEAT: I haven't (yet) tested this precise version on either
x86 or SPARC. A very similar version has just passed
tests on SPARC/Solaris, however. It is expected that
this version works on both SPARC and x86 platforms

2002-09-10 17:15:26 View
Download
[d007a0] (22.3 kB) by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.1:
I hope this works.
This is the start of a branch aimed to clean up, somewhat, the
backend code. It is not expected that code on this
branch will necessarily build and run on all
architectures. For a start, this checkin will only work
on x86.
Start TYPE-VOPS genericization:
... new src/compiler/{early,late}-type-vops.lisp files,
containing bits of what was formerly in
x86/type-vops.lisp

2002-09-09 16:11:40 View
Download
[4ae1b7] (22.2 kB) by Christophe Rhodes Christophe Rhodes

0.7.7.9:
Commit MIPS backend
... one or two modifications to extant code, as per CSR sbcl-devel
2002-08-31
... lots of new files

2002-09-01 22:34:13 View
Download
[2e91e2] (22.3 kB) by Christophe Rhodes Christophe Rhodes

0.7.4.30:
Merge BYTE fix.
... include LDB-TEST in the shadowed symbols
... leave hideous violation of OAOO in load-or-cload-xcompiler
unfixed for now
Minor IGNORE/IGNORABLE and IN-PACKAGE tweaks

2002-06-13 08:54:37 View
Download
[4e3b57] (22.2 kB) by Christophe Rhodes Christophe Rhodes

0.7.4.21:
Install slightly sanitized version of TYPE-SYSTEM-INITIALIZED (CSR
sbcl-devel 2002-06-07)
... really fix LOAD this time.

2002-06-08 15:01:49 View
Download
[1fdd78] (22.2 kB) by William Harold Newman William Harold Newman

0.7.4.10:
fixed dumb error in debug.lisp/0.7.4.9 modifications (spotted
by eagle eyes of CSR)
Since I still don't have a good fix for the bogus "error in
constant folding" in %WITH-ARRAY-DATA-MACRO (e.g. in
compiling src/compiler/dump.lisp)...
...logged it as bug
...downgraded it from full WARNING to STYLE-WARNING to make the
bug less painful
...removed :IGNORE-FAILURE-P from src/compiler/dump and
src/code/cold-init entries in build-order.lisp-expr,
since the downgrade to STYLE-WARNING makes them
unneeded

2002-06-01 02:34:52 View
Download
[d202a4] (23.7 kB) by Christophe Rhodes Christophe Rhodes

0.7.4.7:
Slightly sanitized version of CSR "MAKE-LOAD-FORM bootstrapping
problem" sbcl-devel 2002-05-27
... write and use SB!XC:MAKE-LOAD-FORM-SAVING-SLOTS
... make the magic symbol :SB-JUST-DUMP-IT-NORMALLY; should now be
arbitrarily changeable
Minor unrelated cleanups to text files

2002-05-30 12:30:53 View
Download
Older >