sbcl Log


Commit Date  
[fc31bc] (sbcl_1_0_15) by William Harold Newman William Harold Newman

1.0.15: release, will be tagged as sbcl_1_0_15

2008-02-26 14:48:27 Tree
[3a7a42] by Nikodemus Siivola Nikodemus Siivola

1.0.14.41: record bug 423

* TRULY-THE interacts badly with *CHECK-CONSISTENCY*.

2008-02-22 19:10:36 Tree
[14e60e] by Nikodemus Siivola Nikodemus Siivola

1.0.14.40: make deftransforms for UB<N>-BASH-COPY have consistent return type

* Make REPLACE *CHECK-CONSISTENCY* happy: the transforms used to have
return type (VALUES NULL &OPTIONAL), whereas the out-of-line
definitions had return type (VALUES &OPTIONAL).

2008-02-22 16:54:48 Tree
[c8da65] by Nikodemus Siivola Nikodemus Siivola

1.0.14.39: make GENCGC gencgc_zero_check=1 proof again

* 0.9.8.19 moved zeroing from GC time to allocation time, but after
the point where the check was done -- thus causing the check to
fail immediately if it was turned on. This commit moves the check
after the zeroing, so we're good again.

...which also means that gencgc_zero_check=1 is not very
interesting anymore, since the zeroing happens in the immediate
vicinity of the check.

2008-02-19 16:06:34 Tree
[7a79c7] by Nikodemus Siivola Nikodemus Siivola

1.0.14.38: build runtime with -Wsign-compare, and clean warnings on x86/Linux

* Nothing serious seemed to be going on, though, but since C has nasty
signed vs unsigned comparison semantics, it is better to be clear
about what is going on.

2008-02-19 10:18:06 Tree
[1ca349] by Nikodemus Siivola Nikodemus Siivola

1.0.14.37: detect the Windows codepage at runtime

* Using the value from the saved core is wrong. Fix by Suzuki Kei on
sbcl-devel.

2008-02-19 09:20:09 Tree
[6d3b9d] by Nikodemus Siivola Nikodemus Siivola

1.0.14.36: faster PROPAGATE-FROM-SETS

20-25% improvement for the test-case in bug 188.

* New slot in LAMBDA-VAR: LAST-INITIAL-TYPE, which holds the last
initial-type for that variable seen by PROPAGATE-FROM-SETS.

* Be lazy, and don't PROPAGATE-TO-REFS unless something of
interest has happened, to wit:

-- One of the CSET nodes has a new, more specific type.

-- INITIAL-TYPE has become more specific.

This also allows us elide TYPE-UNION computation in the
uninteresting cases.

* Requires having NODE-REOPTIMIZE set when IR1-OPTIMIZE-SET
is called.

2008-02-18 19:25:22 Tree
[81153b] by Nikodemus Siivola Nikodemus Siivola

1.0.14.35: lift MAKE-SINGLE-VALUE-TYPE calls from loops

* Multiple places can use the same type, no need to cons
a new one each time through the loop.

2008-02-18 19:14:11 Tree
[4898fe] by Nikodemus Siivola Nikodemus Siivola

1.0.14.34: slightly less and slightly faster constraint propagation

* For negated EQL constaints, don't cons up multiple MEMBER-TYPE
instances during a single pass through CONSTRAIN-REF-TYPE:
accumulate a single XSET, and turn it into a MEMBER-TYPE only at
the end.

* Don't construct (NOT (MEMBER ...TON-OF-SYMBOLS...)) types at all,
unless SPEED > COMPILATION speed. Knowing that a variable is not
in a set of symbols is seldom useful, and compiling large CASE
statements with symbols as keys can end up spending huge amounts
of time just building these sets.

* Adjust FD-STREAMS to use an ECASE in the single place in SBCL where
without the aforementioned constraint propagation the compiler is
not able to determine sufficiently constrain the result type. (Not
needed since the build has SPEED > COMPILATION-SPEED, but keeps
things non-brittle.)

2008-02-18 10:05:40 Tree
[45fb57] by Christophe Rhodes Christophe Rhodes

1.0.14.33: Resurrexit Alpha
Sort out accumulated bitrot on the Alpha:
* xrefs slot for simple_fun: a couple of places in alpha-assem.S
* arch_skip_instruction(): compilers more careful about lvalues;
* arch_handle_single_step_trap(): implement it. (Untested)
* ld-script.alpha-linux: update for newer systems.

Works For Me. Other systems may vary.

2008-02-17 19:06:34 Tree
[b4c650] by Nikodemus Siivola Nikodemus Siivola

1.0.14.32: fix bug 407

* %SINGLE-FLOAT and %DOUBLE-FLOAT should not be flushable.

* BUGS entry remains: should (COERCE (EXPT 2 1024) 'SINGLE-FLOAT)
really signal a TYPE-ERROR?

2008-02-17 13:26:15 Tree
[de7e68] by Nikodemus Siivola Nikodemus Siivola

1.0.14.31: better ANSI-STREAM-FILE-POSITION

* Instead of searching for the external-format object to obtain
the character-width function, store the function (or its result
for fixed-width external formats) directly into the FD-STREAM
object. Non-FD-STREAM ANSI-STREAMS use the old strategy.

2008-02-17 08:18:40 Tree
[a6bd77] by Christophe Rhodes Christophe Rhodes

1.0.14.30: don't construct obsolete instances
The CTOR make-instance optimization machinery closes over the
class wrapper of the class in question; however, there are
code paths that cause wrappers to be invalidated without causing
all constructors to be recomputed: for instance, the
redefinition of a superclass, or calling
MAKE-INSTANCES-OBSOLETE. This would mean that the CTORs would
create obsolete instances, which would instantly trap, showing
up as slowness in CLOS-heavy code.

Problem and fix largely identified by Andy Hefner in
<http://paste.lisp.org/display/55689>.

2008-02-16 10:34:45 Tree
[47ccd7] by Nikodemus Siivola Nikodemus Siivola

1.0.14.29: update ASDF again

* ...to a version that has correct *asdf-revision*.

2008-02-15 14:42:30 Tree
[87e066] by Nikodemus Siivola Nikodemus Siivola

1.0.14.28: small FGEN improvements

* Use a DEFSTRUCT instead of a vector for clarity. Also eliminate the
unused mystery slot.

* Inline code of GET-NEW-FUN-GENERATOR-INTERNAL in
GET-NEW-FUN-GENERATOR.

* Store in a hash-table for O(1) goodness instead of a list.

* ENSURE-FGEN instead of MAKE-FGEN + STORE-FGEN.

* When lifting constants out of code in FGEN construction, leave
constant lists in place: several of the functions we generate FGENs
for have ETYPECASE forms, which will otherwise cause us to close
over the :EXPECTED-TYPE and :POSSIBILITIES arguments to ERROR for
no good reason.

2008-02-14 16:43:08 Tree
[4cb164] by Nikodemus Siivola Nikodemus Siivola

1.0.14.27: rename MAKE-FIXNUM to POINTER-HASH

* Use VOP translation instead of %PRIMITIVE.

* On x86 and x86-64 improve the pointer-hash slightly: use the whole
address, but none of the tag bits in the hash.

* Fix type in INDEX-FOR-HASHING: the first argument is a HASH, not an
INDEX. Given the better quality of low bits on x86oids (and
hopefully soon on others as well), adjust the mixing a bit.

2008-02-14 16:40:45 Tree
[3975b8] by Nikodemus Siivola Nikodemus Siivola

1.0.14.26: tweak COND slightly

* Don't expand into a final (COND), but directly to NIL (easier to
read macroexpansion.)

* Check for the common case of final T, so that the last clause can be
unconditional instead of generating redundant IF.

2008-02-08 14:16:11 Tree
[44a995] by Nikodemus Siivola Nikodemus Siivola

1.0.14.25: trivial WHEN & UNLESS change

* Implement directly on top of IF & PROGN instead of COND: clearer
macroexpansion, and slightly less work to compile to boot.

2008-02-08 12:55:54 Tree
[8d0f7e] by Nikodemus Siivola Nikodemus Siivola

1.0.14.0.24: spell-check and proofread NEWS a bit

* ...and add the "reported by" left out from the last commit.

2008-02-08 12:49:02 Tree
[27844b] by Nikodemus Siivola Nikodemus Siivola

1.0.14.0.23: hash-table printing improvements

* Respect printer-control variables when printing readably.

* Print non-null weakness when printing unreadably.

2008-02-08 12:38:15 Tree
[ef7625] by Nikodemus Siivola Nikodemus Siivola

1.0.14.22: more backtrace verbosity, for a change

* Revert part of the *SHOW-ENTRY-POINT-DETAILS* functionality: always
return the DEBUG-FUN-KIND from FRAME-CALL, so that instead of the
rather confusing

(FOO MY-ARGUMENT)
(FOO MY-ARGUMENT)

a slightly mysterious but hopefully less confusing

(FOO MY-ARGUMENT)
(FOO MY-ARGUMENT) [:EXTERNAL]

appears in backtraces where the XEP hasn't been tail-merged.

2008-02-06 14:26:41 Tree
[73bb13] by Nikodemus Siivola Nikodemus Siivola

1.0.14.21: debugger refactoring: MAP-BACKTRACE and MAP-FRAME-ARGS

* Thanks to Attila Lendvai.

2008-02-06 11:46:07 Tree
[281e26] by Nikodemus Siivola Nikodemus Siivola

1.0.14.20: XSET used EQ instead of EQL for comparison

* Fix it, and add a test specifically for MEMBER using EQL.

2008-02-05 04:09:23 Tree
[6617e5] by Richard M Kreuter Richard M Kreuter

1.0.14.19: Fix SB-SHOW, broken for a while.

* Optimization in CONCATENATE broke SB-SHOW in the cross compiler.
Disable this optimization in SB-SHOW.

2008-02-04 22:55:21 Tree
[11ff63] by Nikodemus Siivola Nikodemus Siivola

1.0.14.18: fix bogus STYLE-WARNING for MAKE-HASH-TABLE :SYNCHRONIZED

* Add :SYNCHRONIZED to thr DEFKNOWN.

* Also fix a bit of totally broken indentation in the
hash-table code.

* Cautionary comment about a potential type-error in parallel code.

* More threaded hash-table tests.

2008-02-04 22:14:08 Tree
Older >