sbcl-cvs-import Log


Commit Date  
[27a028] (backend_cleanup_1_branch) by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.10:
OAOO treatment for WITH-ADJUSTABLE-VECTOR

2002-09-13 15:54:35 Tree
[7ce4dc] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.9:
Really delete the PPC dead code (was commented out before)
... deletia
Add some boilerplate to various files.

2002-09-12 15:11:33 Tree
[4081f9] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.8:
Commit PPC handling of !DEFINE-TYPE-VOPS
... adjust interface slightly on x86
... new MASK keyword for super-duper scary "save a couple of
instructions" lowtag checking
... deletia
Tested on PPC and x86. Should now work on all architectures!

2002-09-12 13:40:29 Tree
[45c053] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.7:
HPPA update to !DEFINE-TYPE-VOPS
... deletia
This seems to work as well as it did before; i.e., on the system
I have access to, there are cache consistency issues
that are yet unresolved, but cold-init and the beginning
of warm load work fine.

2002-09-11 17:01:36 Tree
[14edb5] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.6:
Migrate MIPS and Alpha to the new !DEFINE-TYPE-VOPS scheme
... much deletia
Tested on MIPS; not yet tested on Alpha

2002-09-11 11:48:03 Tree
[369029] 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 Tree
[faa0ea] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.4:
Generalize interface to TEST-TYPE to allow for different
architectural needs
... &REST OTHER-ARGS &KEY &ALLOW-OTHER-KEYS
... pass the OTHER-ARGS through to
architecture-specific %TEST-FIXNUM and friends
(still x86-only)

2002-09-10 12:47:39 Tree
[760b57] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.3:
New !DEFINE-TYPE-VOPS interface, replacing DEF-TYPE-VOPS and
DEF-SIMPLE-TYPE-VOPS
... define an x86 version
... use it in the generic code
(still won't work on non-x86, for obvious reasons)

2002-09-09 18:09:33 Tree
[2c467e] by Christophe Rhodes Christophe Rhodes

0.7.7.20-backend-cleanup-1.2:
Delete unused assembly/ppc/foo.lisp file.

2002-09-09 16:27:28 Tree
[d007a0] 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 Tree
[bcbcc0] (backend_cleanup_1_branch_pointbackend.cleanup.1.branch.point) by Christophe Rhodes Christophe Rhodes

0.7.7.20:
Fix DATA-VECTOR-REF-C for small-data vectors on the SPARC (Raymond
Toy cmucl-imp 2002-09-06)
Fix bugs 47a-c and 171 (from Gerd Moellmann via cmucl-imp)

2002-09-09 08:45:55 Tree
[fb91e1] by William Harold Newman William Harold Newman

0.7.7.19:
corrected BUGS 35 entry as per APD sbcl-devel 2002-08-07
merged APD "more strict type checking" patch (sbcl-devel
2002-08-08), fixing bug 192a ("free type declarations
are promises") and one of the problems lumped into
bug 194 (the case of type checking getting lost
when THE occurs inside MULTIPLE-VALUE-PROG1)

2002-09-09 01:09:15 Tree
[dae743] by Christophe Rhodes Christophe Rhodes

0.7.7.18:
Fix error message from (ATAN 1 #C(0 1)) as per Raymond Toy
(sbcl-devel "confusing error message" 2002-09-04)

2002-09-06 12:35:19 Tree
[93ff08] by Christophe Rhodes Christophe Rhodes

0.7.7.17:
MIPS fixup
... Linux appears to put garbage in the sc_cause sigcontext
slot. So assume that we never trap in a branch delay
instruction, and hope for the best.

2002-09-06 08:55:25 Tree
[4d5026] by Christophe Rhodes Christophe Rhodes

0.7.7.16:
Fix bug 113
... allow logical hosts to be dumped, as references to the name
of the host
... test for dumping behaviour
Fix bug 174
... when the bad directive character has a name, print it as
part of the error message
Save a massive 20k or so on core size by zapping globaldb
entries for cold-init symbols
Various text file frobs and comments

2002-09-05 13:15:48 Tree
[77d8ab] by William Harold Newman William Harold Newman

0.7.7.15:
deleted unused SB-PCL machinery pointed out by Gerd Moellman
on cmucl-imp: GF-MAKE-FUNCTION-FROM-EMF,
CHECK-WRAPPER-VALIDITY1

2002-09-05 11:42:17 Tree
[af73b3] by William Harold Newman William Harold Newman

0.7.7.14:
Nathan Froyd pointed out *another* dumb error in the same
function in seq.lisp, so I fixed that too.
(2 bugs per 10 lines times 150K lines gives what?)

2002-09-05 02:07:21 Tree
[755ff8] by William Harold Newman William Harold Newman

0.7.7.13:
APD pointed out on sbcl-devel 2002-09-04 that NOT was being
called with two arguments in seq.lisp, so fix it.

2002-09-04 13:59:54 Tree
[c76385] by William Harold Newman William Harold Newman

0.7.7.12:
fixing insufficient-DEFGENERIC-checking problem in my 0.7.7.10
code (pointed out by APD on sbcl-devel)...
...added APD test case to tests/clos.impure.lisp
...added AUXP value to PARSE-LAMBDA-LIST return values
everywhere
...made CHECK-GF-LAMBDA-LIST check AUXP instead of just
checking that AUX list is empty

2002-09-03 02:29:44 Tree
[9a2e73] by William Harold Newman William Harold Newman

0.7.7.11:
Work around bug 194 in MIN/MAX type checking by using explicit
UNLESS instead of THE. (This is loosely based on
Matthew Danish's patch from sbcl-devel, which showed
that the explicit type tests in CHECK-TYPE worked where
THE did not. I also tried a few experiments based
on APD's IDENTITY wrapper workaround for bug 194, but
I wasn't immediately successful, and I'm not all that
motivated to debug clever workarounds instead of just
working to fix a real bug.)
more tests of MIN and MAX
tried to clarify slam.sh in response to emu question on IRC

2002-09-02 22:35:17 Tree
[56f96e] by William Harold Newman William Harold Newman

0.7.7.10:
got rid of SB-PCL::PROCESS-LAMBDA-LIST in favor of reusing
PARSE-LAMBDA-LIST
Why is PARSE-LAMBDA-LIST in SB-KERNEL? Move it to SB-INT.
Now that we rely on ordinary PARSE-LAMBDA-LIST to catch some
of the things Alexey's PROCESS-LAMBDA-LIST caught,
it should be a little less credulous about things
like non-symbols being used as var names.
Argh! PARSE-LAMBDA-LIST isn't just used for lambda lists. That
would be too obvious.:-( Instead it's also used for
"lambda-list-like" things, in PARSE-ARGS-TYPES. So...
...Split the no-sanity-checking version of P-L-L into
PARSE-LAMBDA-LIST-LIKE-THING.
...Make PARSE-ARGS-TYPES call P-L-L-L-THING.
...Define PARSE-LAMBDA-LIST in terms of P-L-L-L-THING.
ANSI: MAX and MIN "should signal an error of type TYPE-ERROR
if any NUMBER is not a REAL". lrasinen on #lisp:
"stupid CMUCL". me: "gotta fix this so SBCL can win
ICFP next year". (afterthought: "or this year, if
you check this patched version out of CVS and then
code really fast":-) (extra afterthought: "or maybe
next year after all, since bug 194 seems to keep
the new THEs from solving the problem")

2002-09-02 03:18:07 Tree
[4ae1b7] 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 Tree
[6e64d0] by William Harold Newman William Harold Newman

0.7.7.8:
merged APD bug 122 patch (sbcl-devel 2002-08-30)
Tweak seq.impure.lisp test more or less along the lines of
APD's explanation of the pathname problem. (SUBSEQ is
FLUSHABLE, and validly so. The old test bogusly relied
on it not being flushed and/or the compiler not being
infernally clever about type inference.)

2002-09-01 21:49:02 Tree
[eb356d] by Christophe Rhodes Christophe Rhodes

0.7.7.7:
HPPA (CATCH 0 ...) fix
sbcl.nm SPARC/Sunos fix (thanks to Antonio Martinez, sbcl-devel
2002-08-23)
filesys.test.sh symlinks and NFS fix (Eric Marsden sbcl-devel
2002-08-23)

2002-09-01 15:14:04 Tree
[19e8b8] by William Harold Newman William Harold Newman

0.7.7.6:
merged Nathan Froyd's "various constants in SB-UNIX" patch
(sbcl-devel 2002-08-27)

2002-08-31 23:36:57 Tree
Older >