sbcl Log


Commit Date  
[30ef07] (atropos-branch) by Daniel Barlow Daniel Barlow

0.8.3.95.atropos.2
Rewrote the strange locking stuff in SUB-GC so that I can
understand it again: as a side effect, my newest thread/gc
torture test works again

OTOH, the final test in threads.impure.lisp was once observed
to break with this code, but who's to know if that's new?

2003-09-30 15:49:11 Tree
[8f4ef0] by Christophe Rhodes Christophe Rhodes

0.8.3.94:
Compiler fixes (touching only files in the alpha backend)
... the assembly routine for (signed-byte 32) [sic] truncate did
in fact work only for signed-byte 32 quantities, but was
being called on signed-byte 64 quantities. Fix it.
... the translators for ASH were broken in amusing ways: some
led to internal compiler errors when fed out-of-range
numbers; more insidiously, others allowed temporaries
to be overwritten in some cases. Fix them.
... lastly but not leastly, the %LI code to load an immediate
was wrong in a very small proportion of cases. After
much scribbling, deduce why and fix it.
... test cases to go with all of the above.

2003-09-26 17:19:13 Tree
[2e9def] by Alexey Dejneka Alexey Dejneka

0.8.3.91:
* Fix bug reported by Paul F. Dietz 2003-09-24 "NIL is not of
type LVAR": use NODE-DEST in MAYBE-CONVERT-TO-ASSIGNMENT.

2003-09-25 05:17:23 Tree
[56a55f] by Alexey Dejneka Alexey Dejneka

0.8.3.88:
* Fix bug reported by Paul Dietz 2003-09-22: do not perform
modular function coversion in deleted blocks.

2003-09-23 06:51:39 Tree
[5af8c2] by Alexey Dejneka Alexey Dejneka

0.8.3.84:
* fix bug reported by Nicodemus Siivola:
... FIND-RESULT-TYPE: ignore uses in deleted blocks/functions;
... DELETE-LAMBDA: work with :OPTIONAL;
* DELETE-BLOCK: when deleting ENTRY, delete it from
LAMBDA-ENTRIES and delete all its EXITs.
* add DERIVE-TYPE optimizer for ISQRT (thanks to Robert
E. Brown).

2003-09-21 09:58:07 Tree
[504959] by Alexey Dejneka Alexey Dejneka

0.8.3.81:
* DOLIST: take CDR before execution of the body as suggested
by Paul F. Dietz;
* DELETE-COMPONENT: do not try to delete deleted lambda
(bug reported by Paul Dietz);
* fix building with #+HIGH-SECURITY:
... {IN,OUT}-SYNONYM-OF: fix comma placing;
... src/pcl/gray-streams.lisp: make redefinition of
{INPUT,OUTPUT}-STREAM-P be atomic.

2003-09-19 12:57:38 Tree
[ce18bc] by Alexey Dejneka Alexey Dejneka

0.8.3.80:
* FROB-DO-BODY: wrap a body in an additional TAGBODY.

2003-09-19 03:49:28 Tree
[1b56ed] by Daniel Barlow Daniel Barlow

0.8.3.79
GC fix fixes

Rearrange the sigcontext GCing a bit and add commentary
describing what's going on

Delete debugging message accidentally committed in .76

tests/threads.impure.lisp now works (but don't worry, I
have another test locally which still kills sbcl sometimes)

2003-09-18 23:15:56 Tree
[954902] by Christophe Rhodes Christophe Rhodes

0.8.3.77:
Implement FILE-POSITION on string streams
... patch from Nikodemus Siivola sbcl-devel 2003-09-15

2003-09-18 16:43:56 Tree
[8f4d31] by Alexey Dejneka Alexey Dejneka

0.8.3.75:
* Do not let-convert into a deleted function.

2003-09-18 06:26:57 Tree
[227096] by Alexey Dejneka Alexey Dejneka

0.8.3.74:
* Change transformers for </>/>=/<= to work with unions of
intervals;
* CONSTRAIN-REF-TYPE: ignore constraints of form (EQL val
<unreferenced-var>).

2003-09-17 17:11:46 Tree
[f8c2f7] by Alexey Dejneka Alexey Dejneka

0.8.3.73:
* DELETE-LAMBDA: delete also contained lambdas.

2003-09-17 06:45:45 Tree
[ca125e] by Alexey Dejneka Alexey Dejneka

0.8.3.71:
* Update consistency checking;
* fix bug found by Paul Dietz ("NIL is not of type LVAR") in
IMMEDIATELY-USED-P: component tail block does not have a
start CTRAN.

2003-09-16 09:45:15 Tree
[6053e7] by Alexey Dejneka Alexey Dejneka

0.8.3.70:
* Update comments to the change of "continuation"
representation;
* fix bug reported by WHN: IR1-translator for TRULY-THE does
nothing if its value is unused;
* describe bug reported by Nikodemus Siivola on sbcl-devel
2003-09-15;
* rewrite test of restoring floating point modes on Alpha: old
version failed due to the absence of ABORT restart.

2003-09-16 07:45:06 Tree
[b31484] by Christophe Rhodes Christophe Rhodes

0.8.3.68:
Kludge around an apparent problem in hardware/kernel/somewhere
to do with denormalized float traps...
... explicitly clear that bit in os_restore_fp_control();
... document in BUGS;
... handle ARITHMETIC-ERROR, not just DIVISION-BY-ZERO, so that
ports without fp words in sigcontext pass the test

2003-09-15 15:09:01 Tree
[adcd87] by Christophe Rhodes Christophe Rhodes

0.8.3.67:
Somewhat amazingly, fixing the floating point issue described in
"Alpha aargh" (CSR sbcl-devel 2003-09-12) wasn't too hard to fix.
... so fix it :-)

2003-09-15 13:45:16 Tree
[02b6f6] by Christophe Rhodes Christophe Rhodes

0.8.3.66:
Fix Alpha data corruption bug
... as with MIPS case a couple of months ago, index goes
forwards through a string, not backwards.
... include a test case (how did that happen?)

2003-09-15 13:14:54 Tree
[32d188] by Christophe Rhodes Christophe Rhodes

0.8.3.65:
More alpha backend stuff
... fix ASH ... -31 bug;
... fix LOGCOUNT bug found while investigating ASH bug.

2003-09-15 11:31:56 Tree
[2192a7] by Christophe Rhodes Christophe Rhodes

0.8.3.63:
Bignum multiplication on the Alpha...
... when creating notionally unsigned 32-bit quantities from
notionally unsigned 64-bit quantities, it's quite
important to do a logical and not an arithmetic shift.

2003-09-15 09:59:11 Tree
[57e21c] by Alexey Dejneka Alexey Dejneka

0.8.3.62:
* Split CONTINUATION into CTRAN (control part) and LVAR (value
part);
... remove :DELETED and :DELETED-BLOCK-START continuation
kinds;
... remove bug reported by Paul Dietz on sbcl-devel
2003-09-14.

2003-09-15 09:21:37 Tree
[071afc] by Christophe Rhodes Christophe Rhodes

0.8.3.61:
Fix for compiler "cannot convert to SINGLE-FLOAT: <largenum>" in
type inference, as reported PFD sbcl-devel 2003-09-13:
... a slight rewrite to the SIGNED-ZERO-OP methods in
src/compiler/srctran.lisp
... not correct in the presence of one integer and one float argument,
as coercion could still occur. Break me if you can.

2003-09-14 16:14:54 Tree
[45e422] by Alexey Dejneka Alexey Dejneka

0.8.3.60:
* Fix bug reported by Doug McNaught: COMPILE-FILE should bind
*READTABLE* (we bind it in SUB-COMPILE-FILE).

2003-09-14 07:44:45 Tree
[94cc19] by Alexey Dejneka Alexey Dejneka

0.8.3.59:
* Fixed compier failure reported by Paul Dietz to sbcl-devel
in <3F630474.6070301@dls.net>.

"APD, continuations do not represent control transfers, is it
so hard to remember?!"

2003-09-14 05:02:45 Tree
[49c69b] by Christophe Rhodes Christophe Rhodes

0.8.3.56:
Fix (BYTE 0 0)
... again, in the %LDB-and-friends DERIVE-TYPE methods, but this
time the failure seemed more justifiable, because...
... (UNSIGNED-BYTE 0) is quite naturally interpreted as
(INTEGER 0 0), and that's what we wrote, but ...
... ANSI saith "s---a positive integer". Ugh. So ...
... implement SB!INT:UNSIGNED-BYTE* that does the right thing,
and use it to simplify derive-type logic.

2003-09-12 15:23:07 Tree
[ba0242] by Alexey Dejneka Alexey Dejneka

0.8.3.54:
* Fix type derivers for %DPB and %DEPOSIT-FIELD: SIGNED-BYTE
representation requires extra sign bit. (reported by Paul
Dietz)

2003-09-12 09:16:53 Tree
Older >