sbcl Log


Commit Date  
[0975e0] (23.3 kB) by Alexey Dejneka Alexey Dejneka

0.7.13.30-cast.4: (updated to 0.7.13.30)

* Small steps towards ANSI VALUES type specifier:
** removed checks for VALUES-TYPE-{KEYP,KEYWORDS};
** &OPTIONAL type in VALUES does not automatically allow NIL;
** object type <type> in a values context \approx (VALUES &OPTIONAL
<type> &REST T); DEFKNOWN uses the old meaning;

* added type checking for single value and MV-BIND receivers;
* THE coerces the asserted type to VALUES;
* fixed order of CAST LTN-annotating;

2003-03-20 10:17:57 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
[8731c1] (23.7 kB) by Christophe Rhodes Christophe Rhodes

0.7.3.18:
Merged def!constant patch (CSR sbcl-devel 2002-05-17)
... cross-compiler now starts knowing about constant values
src/compiler/assem tweaks
... declare some things ignorable
... comment tweaks
other backend tweaks
... declare the type for with-adjustable-vector
[ the fact that I had to do this four times, once for each
backend, is not optimal. ]

2002-05-19 13:55:31 View
Download
[bc46c8] (23.6 kB) by Daniel Barlow Daniel Barlow

0.7.3.10: Fix the SIGILL with ev6 and later Alphas: icache needs flushing
after code objects are created e.g. by loading fasls

* Move sanctify-for-execution from *-vm.lisp to
compiler/target/sanctify.lisp, as *-vm is built too early to
call VOPs

* Add IMB to Alpha insts.lisp, and istream-memory-barrier VOP
that calls it.

* Create Alpha sanctify-for-execution function that calls said
new VOP

* Also flush icache after GC

* Double Alpha dynamic sizes to 256Mb: 128Mb is marginal to
rebuild SBCL

* Minor Config.ppc-linux cleanup

2002-05-05 15:09:34 View
Download
[1dfcd0] (23.5 kB) by Christophe Rhodes Christophe Rhodes

0.7.3.2:
(slightly dangerous, as WHN committed while I was building, but
these fixes have been in my tree for a while, anyway)
More clisp bootstrapping fixes:
... define FASL-WRITE-STRING to write fasl headers, and use it
... don't pass :start arguments that are greater than the length
of the sequence
... make set-functions to pass around for structure setters, rather
than #'(setf slot)
... move compiler/generic/vm-tran.lisp later in the build order

2002-04-25 20:59:44 View
Download
[8097f5] (23.4 kB) by William Harold Newman William Harold Newman

0.7.1.37:
merged CSR

2002-03-12 15:47:52 View
Download
[ec2616] (23.3 kB) by William Harold Newman William Harold Newman

0.7.1.32:
merged MNA cleanups patch (sbcl-devel 2002-03-05)...
...correct FTYPE for SAPINT-TO-CORE, which has been
renamed to SAP-INT-TO-CORE
...dead code removal
...*TARGET-MOST-NEGATIVE-FIXNUM*" is renamed to
+TARGET-MOST-NEGATIVE-FIXNUM+, as well as being defined
as a constant now (same for the POSITIVE).
...SB!KERNEL::ARG-COUNT-ERROR is defined as a stub, to silence
the flood of style-warnings a little bit.
...some other FIXMEs (renaming DEFINE-STORAGE-CLASSES to
!DEFINE-STORAGE-CLASSES, introducing SB-SHOW
dependencies)
further cleanups of MOST-FOOATIVE-FIXNUM stuff...
...renamed again, this time to SB!XC:MOST-FOOATIVE-FIXNUM
...removed now-redundant DEFCONSTANTs in toplevel.lisp
...removed now-redundant #. wrappers
other tweaks to the patch...
...Instead of defining a second version of ARG-COUNT-ERROR
for use at compile time, move the definition of
ARG-COUNT-ERROR earlier so it'll be visible in more
of the code which uses it.
moved src/code/globals.lisp much earlier in build-order.lisp,
since there's no such thing as too early and since the
previous location was too late for some uses of
SB!DEBUG:*STACK-TOP-HINT*
s/sap-int-type/sap-int/

2002-03-07 01:00:11 View
Download
[08671c] (23.1 kB) by William Harold Newman William Harold Newman

0.7.1.23:
catching stack overflow, part I...
...defined placeholder %DETECT-STACK-EXHAUSTION
...arranged for it to be called on entry to lambdas when
(OR (> SAFETY (MAX SPEED SPACE)) (= SAFETY 3))
...downgraded SAFETY to 2 (= SPEED) in SBCL's own code, since
SBCL's own code seems to be at little risk of infinite
recursion

2002-02-21 23:01:25 View
Download
[68fd2d] (23.1 kB) by William Harold Newman William Harold Newman

0.7.1.20:
merged CSR SPARC port patch (sbcl-devel 2002-02-12, plus
lotso new files through FTP)
tweaking patch...
...s/ARCH_HAS_FOO/ARCH_HAS_FOO_IN_SIGCONTEXT/
...updated sbcl.1
...added 'typedef os_context_register' for OpenBSD
...added ARCH_HAS_STACK_POINTER for x86 (and added
x86-arch.h to hold it)
...renamed fpregister and fp.register to float.register (to
avoid the ambiguity with "frame pointer" that I
experienced when first trying to figure this out,
since even though for a given architecture it's pretty
unambiguous, in architecture-neutral code it's not)
...added x86-bsd-os.h

2002-02-15 17:10:02 View
Download
[c53ec0] (22.5 kB) by William Harold Newman William Harold Newman

0.7.1.17:
merged the second of the two patches (the one that's not
supposed to work) from Dave McDonald's "patch for CLISP
compilation" message (sbcl-devel 2002-02-03)...
...made reader macro functions BACKQUOTE-MACRO and COMMA-MACRO
return single values, as described by ANSI and enforced
by CLISP
...used SLOT-VALUE instead of DEFSTRUCT-generated slot
setters. (ANSI allows structure slot setters to be
implemented either as SETF functions or as SETF
expanders. Some SBCL code in vm-macs.lisp assumes
they're functions, and forward references them, which
doesn't work in CLISP, which uses SETF expanders.)
...coerced float-tran.lisp float literals to DOUBLE-FLOAT
(since CLISP was defaulting them to LONG-FLOAT and then
getting confused)
...added :ADJUSTABLE T for some MAKE-ARRAYs (where the old
code had unportably relied on :FILL-POINTER T causing
adjustableness to happen)
tweaking the patch...
...went back to using DEFSTRUCT-generated slot setters
(since (1) under ANSI, SLOT-VALUE's behavior for
STRUCTURE-OBJECTs is explicitly unspecified by ANSI,
and (2) in SBCL, SLOT-VALUE is defined in terms of
PCL machinery, and so isn't available in cold init)
and solved the forward reference problem by
rearranging build order instead

2002-02-09 17:20:53 View
Download
[f9d6d2] (22.4 kB) by William Harold Newman William Harold Newman

0.pre7.111:
hunting bug 138...
...Poking around in the bug 138 test case, I found that the
failure is occurring for a LAMBDA which represents
the inline expansion of LAYOUT-INHERITS. It seems
correct for :INLINE LAMBDAs not to be in
COMPONENT-LAMBDAS, so it looks as though the bug is
in the AVER, not the code it's trying to protect,
so I added a new :INLINE case to the check logic.
Alas, that only converted bug 138a into bug 138b.
...added some assertions and comments hunting for 138b
redid DUMP-CODE-OBJECT loop for clarity as LOOP not DO

2002-01-02 18:52:59 View
Download
[e8b69b] (22.4 kB) by William Harold Newman William Harold Newman

0.pre7.95:
(never checked into CVS separately, since I was travelling)
gave up on fixing BACKTRACE function name nastiness for 0.7.0,
wrote it up as bug 137 instead
experimented with bootstrapping under CLISP (which still
doesn't work, but at least fails at a new place now)

0.pre7.96:
(never checked into CVS separately, since I was travelling)
commented out code which uses SETF %FUN-NAME, since not
only do I know now that it doesn't work on the other
parallel representation of function names, I also know
now that it's insanely tricky to modify function names
correctly in the current representation (and somewhat
dangerous to try)

0.pre7.97:
merged NJF "No more SB-ITERATE" patch (sbcl-devel 2001-12-20)

2001-12-26 16:27:04 View
Download
[e33fb8] (22.4 kB) by William Harold Newman William Harold Newman

0.pre7.90:
changed publicly-visible DEF-FOO-style names to DEFINE-FOO:
DEF-ALIEN-ROUTINE, DEF-ALIEN-TYPE, DEF-ALIEN-VARIABLE,
DEF-SOURCE-CONTEXT (and a few other lexically-similar
DEF-FOO-style names as well)
defined deprecated wrappers using the old names
defined DEPRECATION-WARNING to support this

2001-12-12 22:54:49 View
Download
[a10eba] (22.4 kB) by William Harold Newman William Harold Newman

0.pre7.76:
As long as I'm testing whether the old code works as an xc
host, I might as well make some pending cleanups..
..made CERROR use COERCE-CONDITION directly instead of
trying to screen it from the already-a-CONDITION case
..renamed stems-and-flags.lisp-expr to build-order.lisp-expr
(taking a hint from the explanatory comment at head
of file:-)
..factored should-we-CHECK-IT logic out of OUTPUT-OBJECT into
COMPOUND-OBJECT-P, and shared it with DUMP-OBJECT
..renamed CIRCULAR-LIST-P to CYCLIC-LIST-P
..factored out UNIQUELY-IDENTIFIED-BY-PRINT-P too
..deleted unused INSTANCE-SET-CONDITIONAL and INSTANCE-XADD
stuff

2001-10-31 21:38:18 View
Download
[8eb6f7] (None) by William Harold Newman William Harold Newman

0.pre7.75:
merged MNA READ-SEQUENCE and WRITE-SEQUENCE patch
("Re: .. horks" sbcl-devel 2001-10-23)
renamed LISP-STREAM to ANSI-STREAM
renamed lisp-stream.lisp to ansi-stream.lisp
renamed ANSI-STREAM-related IN-BUFFER-FOO stuff to
ANSI-STREAM-IN-BUFFER-FOO
renamed +IN-BUFFER-EXTRA+ to +ANSI-STREAM-IN-BUFFER-EXTRA+
renamed ANSI-STREAM-IN-BUFFER-TYPE to ANSI-STREAM-IN-BUFFER
(If you have half a dozen namespaces, why not
use them?:-|)

2001-10-31 19:42:57 View
Download
Older >