Daniel Barlow [Tue, 17 Sep 2002 19:52:29 +0000 (19:52 +0000)]
0.7.7.29
Fix bug 200: (translate-logical-pathname "/") is now #p"/"
Fix x86 save-lisp-and-die problem (reported by CSR in sbcl-devel
Message-ID: <
20020916083642.GA3374@cam.ac.uk> - turns out to
be ugly gencgc/purify interaction
Christophe Rhodes [Mon, 16 Sep 2002 15:17:03 +0000 (15:17 +0000)]
0.7.7.28:
Merge APD "bug 198" patch (sbcl-devel 2002-09-16)
... which also removes an obsolete FUN-INFO slot
Fix bug 195
... write test for atomicity of atomic defined-by-ANSI types
(some of which are currently commented out)
Christophe Rhodes [Mon, 16 Sep 2002 08:28:41 +0000 (08:28 +0000)]
0.7.7.27:
MIN, MAX, +, *, LOGIOR, LOGAND, LOGXOR argument checking
... should now signal an error with bogus arguments
... still weirdness (connected with #194?) wrt tests
William Harold Newman [Sun, 15 Sep 2002 18:18:11 +0000 (18:18 +0000)]
0.7.7.26:
merged APD "compile-time type errors v. 2" patch (sbcl-devel
2002-09-14)
various trivial comment systematization
William Harold Newman [Sun, 15 Sep 2002 16:32:18 +0000 (16:32 +0000)]
0.7.7.25:
merged tonyms "Function constants" patch (sbcl-devel 2002-09-12)
Christophe Rhodes [Sun, 15 Sep 2002 14:20:22 +0000 (14:20 +0000)]
0.7.7.24:
Fix PROBE-FILE bug on pathnames with VERSION :UNSPECIFIC (reported
2002-09-15 on #lisp IRC)
Type declamation fix for *DISASSEM-INST-SPACE*
... declare the type after the type is defined
Try to tell Python a bit more about COMPLEX vectors
... vector arguments to VECTOR-PUSH, FILL-POINTER et al. must
be COMPLEX
Lotso BUGS; :LITTLE-ENDIAN, :MIPS, :HPPA comments
Christophe Rhodes [Fri, 13 Sep 2002 16:28:40 +0000 (16:28 +0000)]
0.7.7.23:
Merge backend_cleanup_1_branch
... I hope this is right :-)
Christophe Rhodes [Fri, 13 Sep 2002 15:54:35 +0000 (15:54 +0000)]
0.7.7.20-backend-cleanup-1.10:
OAOO treatment for WITH-ADJUSTABLE-VECTOR
Christophe Rhodes [Thu, 12 Sep 2002 15:11:33 +0000 (15:11 +0000)]
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.
William Harold Newman [Thu, 12 Sep 2002 14:10:01 +0000 (14:10 +0000)]
0.7.7.22:
added BACKTRACE-AS-LIST
Christophe Rhodes [Thu, 12 Sep 2002 13:40:29 +0000 (13:40 +0000)]
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!
Christophe Rhodes [Wed, 11 Sep 2002 17:01:36 +0000 (17:01 +0000)]
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.
Christophe Rhodes [Wed, 11 Sep 2002 11:48:03 +0000 (11:48 +0000)]
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
William Harold Newman [Tue, 10 Sep 2002 18:53:40 +0000 (18:53 +0000)]
0.7.7.21:
merged Antonio Martinez "file-error condition definition"
patch (sbcl-devel 2002-09-10)
Christophe Rhodes [Tue, 10 Sep 2002 17:15:26 +0000 (17:15 +0000)]
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
Christophe Rhodes [Tue, 10 Sep 2002 12:47:39 +0000 (12:47 +0000)]
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)
Christophe Rhodes [Mon, 9 Sep 2002 18:09:33 +0000 (18:09 +0000)]
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)
Christophe Rhodes [Mon, 9 Sep 2002 16:27:28 +0000 (16:27 +0000)]
0.7.7.20-backend-cleanup-1.2:
Delete unused assembly/ppc/foo.lisp file.
Christophe Rhodes [Mon, 9 Sep 2002 16:11:40 +0000 (16:11 +0000)]
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
Christophe Rhodes [Mon, 9 Sep 2002 08:45:55 +0000 (08:45 +0000)]
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)
William Harold Newman [Mon, 9 Sep 2002 01:09:15 +0000 (01:09 +0000)]
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)
Christophe Rhodes [Fri, 6 Sep 2002 12:35:19 +0000 (12:35 +0000)]
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)
Christophe Rhodes [Fri, 6 Sep 2002 08:55:25 +0000 (08:55 +0000)]
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.
Christophe Rhodes [Thu, 5 Sep 2002 13:15:48 +0000 (13:15 +0000)]
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
William Harold Newman [Thu, 5 Sep 2002 11:42:17 +0000 (11:42 +0000)]
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
William Harold Newman [Thu, 5 Sep 2002 02:07:21 +0000 (02:07 +0000)]
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?)
William Harold Newman [Wed, 4 Sep 2002 13:59:54 +0000 (13:59 +0000)]
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.
William Harold Newman [Tue, 3 Sep 2002 02:29:44 +0000 (02:29 +0000)]
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
William Harold Newman [Mon, 2 Sep 2002 22:35:17 +0000 (22:35 +0000)]
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
William Harold Newman [Mon, 2 Sep 2002 03:18:07 +0000 (03:18 +0000)]
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")
Christophe Rhodes [Sun, 1 Sep 2002 22:34:13 +0000 (22:34 +0000)]
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
William Harold Newman [Sun, 1 Sep 2002 21:49:02 +0000 (21:49 +0000)]
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.)
Christophe Rhodes [Sun, 1 Sep 2002 15:14:04 +0000 (15:14 +0000)]
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)
William Harold Newman [Sat, 31 Aug 2002 23:36:57 +0000 (23:36 +0000)]
0.7.7.6:
merged Nathan Froyd's "various constants in SB-UNIX" patch
(sbcl-devel 2002-08-27)
Christophe Rhodes [Sat, 31 Aug 2002 09:52:16 +0000 (09:52 +0000)]
0.7.7.5:
Minor HPPA fix
... get the SC-OFFSET right for the HPPA port
Include APD's test case for the (IF TEST <X> <X>) bogus constraint
propagation
Note in BUGS about autodeclaration of slot accessors
William Harold Newman [Sat, 31 Aug 2002 01:19:50 +0000 (01:19 +0000)]
0.7.7.4:
ported pmai's version of Gerd Moellman's "Remove
PCL::EXTRACT-DECLARATIONS" patch (gm cmucl-imp
2002-08-24, pmai cvs diff -D '2002-08-26 16:00 UTC'
-D '2002-08-26 16:20 UTC'), to make PCL use the same
PARSE-BODY as the rest of the system, instead of
reimplementing the wheel.
and actually we don't even need PARSE-BODY in DOPLIST as it is
currently used, nor ENV either
and why the heck is PARSE-BODY in SB!SYS? Move it to SB!INT.
William Harold Newman [Tue, 27 Aug 2002 13:04:52 +0000 (13:04 +0000)]
0.7.7.3:
deleted warnings about :WRITER in DEFINE-CONDITION, since
antonio martinez pointed out (sbcl-devel 2002-08-22)
that they're bogus
fixed brain-damaged misparenthesization in debug.lisp (pointed
out by CSR on #lisp IRC)
William Harold Newman [Mon, 26 Aug 2002 15:02:15 +0000 (15:02 +0000)]
0.7.7.2:
merged APD bug120a patch (sbcl-devel 2002-08-21)
deleted "TODO: convert to AVER" note from original patch,
replaced it with justification from discussion in
cmucl-imp (esp. Alexey's message 2002-08-23)
The function has gotten large enough that I really doubt that
the DECLAIM INLINE helps, so I deleted it.
William Harold Newman [Sun, 25 Aug 2002 15:30:31 +0000 (15:30 +0000)]
0.7.7.1:
added arg type checks to out-of-line 1-arg case of #'+ and
#'* (inspired by Gerd Moellman on cmucl-imp)
removed stale "egrep -i '\<cgc\>'" stuff
William Harold Newman [Sun, 25 Aug 2002 13:34:10 +0000 (13:34 +0000)]
0.7.7:
release, tagged as sbcl_0_7_7
Christophe Rhodes [Wed, 21 Aug 2002 10:30:03 +0000 (10:30 +0000)]
0.7.6.29:
Fix BUGS 123 and 165, somewhat along the lines of CSR sbcl-devel
2002-08-20 "(VECTOR UNDEFTYPE)", except also catch the
erroneous test in ARRAY-TYPES-INTERSECT.
William Harold Newman [Tue, 20 Aug 2002 19:17:00 +0000 (19:17 +0000)]
0.7.6.28:
merged APD "Let-converting recursive lambdas" patch (sbcl-devel
2002-08-19), fixing bugs 65, 70, and 109
Christophe Rhodes [Mon, 19 Aug 2002 12:13:59 +0000 (12:13 +0000)]
0.7.6.27:
Merge (alpha-quality, probably) HPPA/Linux port
... added hppa fixups in genesis.lisp
... moved disassem-state definition from target-disassem.lisp to
disassem.lisp, so building it on the host
... lots of new files (thank you, CMUCL)
Minor boilerplate cleanups in src/runtime/
William Harold Newman [Sun, 18 Aug 2002 13:55:26 +0000 (13:55 +0000)]
0.7.6.26:
comment tweaking
fixed bug 192, "constant-folding DATA-VECTOR-REF", by adding an
ordinary DEFUN definition of D-V-R
William Harold Newman [Thu, 15 Aug 2002 18:39:53 +0000 (18:39 +0000)]
0.7.6.25:
just logging a bug
William Harold Newman [Wed, 14 Aug 2002 22:54:09 +0000 (22:54 +0000)]
0.7.6.24:
fixing tonym's GRUFFALO bug (from #lisp)...
...made MAKE-INSTANCE-FUNCTION-SYMBOL use two colons whether
or not the symbol is currently exported, so that
EXPORTing the class name after class definition and
before class use doesn't lose track of the function
...incremented fasl file format to reflect this
(The whole PCL approach of encoding stuff into hairy symbol
names interned in odd places is still broken, as can
easily be demonstrated by renaming packages. But
that's unlikely to be fixed soon, and maybe in the
meantime this easy fix can help a little.)
William Harold Newman [Wed, 14 Aug 2002 18:22:57 +0000 (18:22 +0000)]
0.7.6.23:
merged APD patch for bugs 191-b (making gf lambda lists
conform to ANSI 3.4.2) from sbcl-devel
added tests, and fixed old tests whose brokenness is now
detected
(speculated about reusing SB-C:PARSE-LAMBDA-LIST instead of
adding new PROCESS-LAMBDA-LIST, but didn't actually
actually do that, in favor of checking in something
that works and fixes a bug. Maybe next version...)
reverted handling of illegal function name in DEFGENERIC
(from previous commit) since I guess it should be
PROGRAM-ERROR after all
Christophe Rhodes [Wed, 14 Aug 2002 13:28:23 +0000 (13:28 +0000)]
0.7.6.22:
No changes; simply adding back the .cvsignore files that I managed
to remove. Sorry. :-/
Christophe Rhodes [Wed, 14 Aug 2002 13:25:58 +0000 (13:25 +0000)]
0.7.6.21:
(I hope this checkin works. I have issued conflicting instructions
to do with adding and removal of .cvsignore files, and
it's possible that this has confused things. Only the
.cvsignore files should be messed up, if anything has
gone wrong)
Merge APD patch for BUG 191a (sbcl-devel 2002-08-12)
... s/slots-for-this-defclass/slot-names-for-this-defclass/
Merge patch from Gerd Moelmann regarding the long form of
DEFINE-METHOD-COMBINATION (cmucl-imp 2002-06-18)
Remove now-unneccessary .cvsignore files (having added a "master"
cvsignore file in sbcl's CVSROOT)
William Harold Newman [Wed, 14 Aug 2002 13:16:12 +0000 (13:16 +0000)]
0.7.6.20:
(I set out to suppress compiler macro expansion when
(> COMPILATION-SPEED SPEED), but now that I've read
the DEFINE-COMPILER-MACRO specification, I think that'd
probably be illegal. So I guess I won't.)
As far as I can tell from the ANSI spec, it's nonconforming to
return NIL from COMPILER-MACRO-FUNCTION just because of
a NOTINLINE declaration. So make
COMPILER-MACRO-FUNCTION ignore NOTINLINEness.
(I set out to make (DEFINE-COMPILER-MACRO (SETF FOO) ...) work,
but gave up, first because (SETF (FOO X) Y) expands
into (FUNCALL #'(SETF FOO) Y X) and it's not clear
that it's kosher to use compiler macros to transform
FUNCALL, and second because ANSI 3.2.2.1 says any
compiler macro definition can always be ignored.)
made DEFINE-COMPILER-MACRO (SETF FOO) issue a STYLE-WARNING
made COMPILER-MACRO-FUNCTION check for legal function names
factored out LEGAL-FUN-NAME-OR-TYPE-ERROR to support this
tiny ANSI-compliance tweak: made
(SETF (COMPILER-MACRO-FUNCTION FOO NIL) ...) work
various tweaks to *DEBUG-HELP-STRING* (especially to help
people avoid messing with restart numbers, ow!)
s/make-breakpoint-info/%make-breakpoint-info/, since leaving
the traditional default name MAKE-... exposed when you're
really supposed to use CREATE-... is an attractive
nuisance
s/code-location-number/code-location-selector/, since it's
not necessarily a number
Christophe Rhodes [Tue, 13 Aug 2002 14:40:41 +0000 (14:40 +0000)]
0.7.6.19:
COMPILE-FILE-PATHNAME behaviour change (ANSI fix, probably)
... now with extra juicy MERGE-PATHNAMES logic
Fixes related to this change
... always absolutify pathnames in SBCL's build procedure
(with the TRUENAME-of-a-closed-file-stream trick)
... don't wander off into random memory if an arbitrary
stream is fed to a pathname function
NEWS update
Christophe Rhodes [Tue, 13 Aug 2002 11:45:40 +0000 (11:45 +0000)]
0.7.6.18:
SYMBOL-MACROLET fixes
... throw a COMPILER-ERROR when attempting to bind a special or
a constant with SYMBOL-MACROLET
... throw a PROGRAM-ERROR when attempting to run a form
compiled with errors
(thanks to Raymond Toy and Eric Marsden for their work on the
CMUCL side)
Christophe Rhodes [Mon, 12 Aug 2002 13:54:50 +0000 (13:54 +0000)]
0.7.6.17:
Unabbreviate "variable" used adjectivally
... VARIABLE-LENGTH boolean attribute for backend pseudo-instructions
... VARIABLE-LENGTH-P slot in primitive object structure
Turn on the assembler scheduler for SPARCs
Christophe Rhodes [Fri, 9 Aug 2002 14:32:49 +0000 (14:32 +0000)]
0.7.6.16:
Fix for stop'n'copy garbage collection
... don't unconditionally set current_dynamic_space to be the 0
space
Christophe Rhodes [Thu, 8 Aug 2002 11:28:45 +0000 (11:28 +0000)]
0.7.6.15:
Bugfix for DEFINE-ALIEN-ROUTINE
... now alien routines with doctypes get an FTYPE DECLAIMed
which has the right number of arguments
... remove duplicate definition of get-timezone; use helper
functions defined in unix.lisp
Christophe Rhodes [Wed, 7 Aug 2002 18:48:47 +0000 (18:48 +0000)]
0.7.6.14:
Fix potential off-by-one in SCRUB-CONTROL-STACK when the stack
grows downwards.
v-----v-- guard page extent
[ || ]
^-- word at which we should stop scrubbing
in contrast with
v----v-- guard page extent
[ | ]
^-- word at which we should stop scrubbing
... <= changes to <
... I thought this might fix the large dynamic sizes after
purify seen on the x86 since 0.7.6.2, but no dice :-/
Christophe Rhodes [Wed, 7 Aug 2002 12:27:50 +0000 (12:27 +0000)]
0.7.6.13:
Various ANSI fixes via Raymond Toy and Wolfhard Buss, variously
on cmucl-imp
... (COERCE 1 '(COMPLEX FLOAT)) now returns a complex float
... (PARSE-INTEGER " 12 a") now throws an error of type
PARSE-ERROR
... (/ 2/3 0) now throws an error of type DIVISION-BY-ZERO
... LOGAND on the sparc now has more correct VOPs
also log the PCL bugs from APD sbcl-devel 2002-08-04
Daniel Barlow [Tue, 6 Aug 2002 11:46:32 +0000 (11:46 +0000)]
0.7.6.12:
merge gc-cleanup-branch
Daniel Barlow [Tue, 30 Jul 2002 21:33:09 +0000 (21:33 +0000)]
0.7.6.11:
update supported architecture list in manual page. No exciting
changes
William Harold Newman [Mon, 29 Jul 2002 22:06:34 +0000 (22:06 +0000)]
0.7.6.10:
suppressed DEFTRANSFORM CONCATENATE, since we still haven't
fixed bug 188 (so now CONCATENATE will presumably run
more slowly, but at least it won't have absurdly long
compile times)
William Harold Newman [Mon, 29 Jul 2002 20:21:25 +0000 (20:21 +0000)]
0.7.6.9:
documentation tweaks
Christophe Rhodes [Fri, 26 Jul 2002 10:03:39 +0000 (10:03 +0000)]
0.7.6.8:
Final deletion of %DETECT-STACK-EXHAUSTION, as per APD sbcl-devel
2002-07-26
... delete export of %D-S-E
... increase fasl file version number
Minor BUGS cleanup and cross-referencing
Christophe Rhodes [Thu, 25 Jul 2002 17:41:31 +0000 (17:41 +0000)]
0.7.6.7:
Fix up the SPARC fixups, *sigh*
... not only did my previous fix not run, it didn't compile, as
SIMPLE_FUN_CODE_OFFSET isn't defined in C, only in assembler.
... rewrite code address determination in two stages, and save
the fun object itself to go into reg_CODE on the SPARC
... [ keen observers will note that this is all terribly confusing. ]
Christophe Rhodes [Thu, 25 Jul 2002 11:07:46 +0000 (11:07 +0000)]
0.7.6.6:
Fix two typos for SB-SHOW
Daniel Barlow [Wed, 24 Jul 2002 22:10:31 +0000 (22:10 +0000)]
0.7.6.something
More stack checking fixes
... when frobbing signal context on x86, set arg count (ecx) to 0,
should fix problem observed on OpenBSD
... define a special control-stack-exhausted condition so that
ignore-errors won't ignore stack exhaustion
... fix the test to match the condition
Christophe Rhodes [Wed, 24 Jul 2002 10:43:17 +0000 (10:43 +0000)]
0.7.6.4:
SPARC fixups
... make DB's wonderful stack exhaustion work on the SPARC
adjust NPC logic
add in fixup for bizarre SPARC calling convention
... improve signal handling on SPARC/Linux
make a distinction between interrupt_handle_now() as called
from handlers, and interrupt_handle_now_handler()
installed as the sa_sigaction bit.
William Harold Newman [Tue, 23 Jul 2002 23:52:16 +0000 (23:52 +0000)]
0.7.6.3:
tweaked bsd-os.h to make the new sigaltstack(2) stuff build on
OpenBSD/x86
fixed bug 189: Now FLET and LABELS inlining respects NOTINLINE
declarations as required by ANSI.
While I'm at it, suppress FLET/LABELS inlining when (> DEBUG SPEED)
too.
Daniel Barlow [Tue, 23 Jul 2002 18:20:10 +0000 (18:20 +0000)]
0.7.6.2:
Revert random changes in my (Daniel's) checkout area that were
mistakenly committed in 0.7.6.1. Sorry!
Daniel Barlow [Tue, 23 Jul 2002 17:22:35 +0000 (17:22 +0000)]
0.7.6.1:
Mostly-tested but still considered "experimental" non-invasive
stack exhaustion checking, using a guard page at the end of the
stack and an extra clause in the sigsegv (on some ports, sigbus)
handler. One day there will be an internals doc with the
gory details: for now, try http://ww.telent.net/diary/2002/7/#23.59392
William Harold Newman [Tue, 23 Jul 2002 14:43:14 +0000 (14:43 +0000)]
0.7.6:
release, tagged as sbcl_0_7_6
William Harold Newman [Mon, 22 Jul 2002 20:22:41 +0000 (20:22 +0000)]
0.7.5.22:
deleted email addresses in the wake of autospam to cmucl-imp
("Attn: If you find bugs in CMU CL please report them to")
Christophe Rhodes [Mon, 22 Jul 2002 17:17:48 +0000 (17:17 +0000)]
0.7.5.21:
Complilation fix for Alpha/Linux (from DB, fixing CSR bogosity)
Christophe Rhodes [Mon, 22 Jul 2002 09:36:46 +0000 (09:36 +0000)]
0.7.5.20:
NEWS tweaking.
William Harold Newman [Fri, 19 Jul 2002 16:13:26 +0000 (16:13 +0000)]
0.7.5.19:
added FILES section of sbcl.1
screened CHECK-FULL-CALL with a test on *FAILURE-P* after one
too many times getting its "aiee! a compiler bug!"
complaints when the real problem is just that the
compiler is bravely trying to carry on despite
previously-detected programmer errors
renamed CHECK-FULL-CALL to PONDER-FULL-CALL because it has
side-effects, and even though they're very innocuous
side effects, naming a side-effectful function
CHECK-FOO just seems evil in principle
Christophe Rhodes [Thu, 18 Jul 2002 21:23:59 +0000 (21:23 +0000)]
0.7.5.18:
Get the NAME initarg for UNDEFINED-FUNCTION right (patch CSR
"PPC and undefined functions" sbcl-devel 2002-07-17)
Daniel Barlow [Thu, 18 Jul 2002 17:47:34 +0000 (17:47 +0000)]
0.7.5.17: whitespace! there is no substantive change between this and
0.7.5.16, but all of src/runtime/*.[ch] has been eyeballed and
weird indenting fixed up in favour of a uniform 4 charcters
everywhere. We give this change its version number to make
it easier to diff previous and subsequent changes without
white(space) noise adding to the confusion.
Daniel Barlow [Thu, 18 Jul 2002 17:35:31 +0000 (17:35 +0000)]
0.7.5.17: whitespace! there is no substantive change between this and
0.7.5.16, but all of src/runtime/*.[ch] has been eyeballed and
weird indenting fixed up in favour of a uniform 4 charcters
everywhere. We give this change its version number to make
it easier to diff previous and subsequent changes without
white(space) noise adding to the confusion.
Daniel Barlow [Thu, 18 Jul 2002 16:49:38 +0000 (16:49 +0000)]
0.7.5.16:
on targets that use the stop'n'copy gc, fix the "gc trigger
mysteriously ends up unset after MAYBE-GC doesn't" workaround,
to put the new barrier near the end of dynamic space instead of
leaving it only a page away.
William Harold Newman [Thu, 18 Jul 2002 03:31:01 +0000 (03:31 +0000)]
0.7.5.15:
fixed handling of INTERSECTION-TYPE corner case in
DEFTRANSFORM %DATA-VECTOR-AND-INDEX (used to fail with
TYPE-ERROR at compile time) by making DEFTRANSFORMs
call UPGRADED-ELEMENT-TYPE-SPECIFIER-OR-GIVE-UP instead
of assuming ARRAY-TYPE and calling
ARRAY-TYPE-SPECIALIZED-ELEMENT-TYPE directly
Christophe Rhodes [Wed, 17 Jul 2002 14:29:51 +0000 (14:29 +0000)]
0.7.5.14:
Add support for Solaris 9
... MAP_ANON is the same as in Solaris 8 (not that surprising).
Mention one or two other bits of NEWS
Christophe Rhodes [Tue, 16 Jul 2002 13:48:02 +0000 (13:48 +0000)]
0.7.5.13:
Linux floating point fixes
... define an os_restore_fp_control() function in the runtime, and
use it in signal handlers (protected by #ifdef
LISP_FEATURE_LINUX in non-Linux-specific code)
... write useful definitions of it
... for x86 (probably correct)
... for ppc (works, but could do with fixing)
... delete a SET_FPU_CONTROL_WORD from initialization
... dunno why it was there; no observable symptoms. Shout
if some early x86/Linux system no longer works.
... export to C (via sbcl.h) Lisp's view of the floating point
control word
... delete some floating-point-related stale symbols and comments
from package-data-list.lisp-expr
Now floating point stuff mostly works (I think) on x86/Linux and
ppc/Linux, as well as sparc/SunOS. Other platforms still
probably don't work.
William Harold Newman [Tue, 16 Jul 2002 03:09:43 +0000 (03:09 +0000)]
0.7.5.12:
fixed (LOAD "foo.fasl" :IF-DOES-NOT-EXIST NIL) bug reported
by Gregory Wright sbcl-devel 2002-07-15
found bug 188. I hope entomotomy will have some logic to avoid
this kind of stupid fix-a-reported-bug-report-a-bug
primitivity!
William Harold Newman [Mon, 15 Jul 2002 20:52:47 +0000 (20:52 +0000)]
0.7.5.11:
finished translating the FFI chapter of the manual from LaTeX
to valid (though extremely clunky) DocBook up to date
(I hope) w.r.t. current SBCL behavior
made *SOFT-HEAP-LIMIT* default not NIL (after my application
overflowed the heap)
deleted bug 96 because it was implicitly a reference to the
old default implementation of TRACE in terms of
breakpointing the target function, and no longer
really applies now that the wrapper-based TRACE is the
default. TRACE still has the bug 67 problem which
keeps it from being used on functions which play a
role in the implementation of TRACE, but no longer
has a problem with functions just because they're
compiled into a particular physical representation.
Christophe Rhodes [Thu, 11 Jul 2002 15:17:00 +0000 (15:17 +0000)]
0.7.5.10:
Begin to fix floating point exceptions on PPC
... write an os_context_fp_control function
... use it in CONTEXT-FLOATING-POINT-MODES
(this, unlike on the SPARC and Alpha ports, doesn't fix all the
normal-user problems. After the first return from the Lisp
debugger on the PPC, the FLOATING-POINT-MODES are (almost)
cleared, which means that the second bad floating point
operation is not trapped).
William Harold Newman [Thu, 11 Jul 2002 02:15:04 +0000 (02:15 +0000)]
0.7.5.9:
&REST error-checking fix (cribbed from rtoy's post to
cmucl-imp today)
William Harold Newman [Thu, 11 Jul 2002 00:59:30 +0000 (00:59 +0000)]
0.7.5.8:
tweaked MAKE-XEP so that its output is compiled with tail call
elimination
(I'll probably revisit this later to do similar tricks on
other machinery like "varargs entry for ...", but even
without that this little hack seems to be worth
checking in.)
William Harold Newman [Tue, 9 Jul 2002 14:18:40 +0000 (14:18 +0000)]
0.7.5.7:
deleted call_cmd() from ldb, since it's bitrotted
deleted *!INITIAL-FDEFN-OBJECTS* from static symbols now that
the C runtime doesn't need it
incremented fasl file version number now that static symbols
have changed
deleted unused *INTERNAL-GC-TRIGGER*
s/INTERNAL_GC_TRIGGER/GENCGC/ (so that all the runtime code
which compiled differently depending on cpp's knowledge
of the existence of the unused variable now depends on
something somewhat more relevant)
Christophe Rhodes [Tue, 9 Jul 2002 14:02:37 +0000 (14:02 +0000)]
0.7.5.7:
Make array initialization fast
... write a new MAKE-ARRAY transform to deal with
initial-element initialization
... edit the other transforms to take account of this
... add a comment detailing that the order in *SAETP*
is significant
Minor runtime patch to allow versions containing #\%
William Harold Newman [Sun, 7 Jul 2002 12:24:11 +0000 (12:24 +0000)]
0.7.5.6:
more manual translation/updating: much of CMU CL "alien"
documentation into doc/ffi.sgml
Christophe Rhodes [Fri, 5 Jul 2002 14:39:51 +0000 (14:39 +0000)]
0.7.5.5:
Fix bug 186 by adding a declaration to the FILL transform.
... and write a test
... analogous fix in the transform for HAIRY-DATA-VECTOR-SET,
though any bug coming from there hadn't been
detected yet.
Greetings from Paris!
William Harold Newman [Thu, 4 Jul 2002 22:08:52 +0000 (22:08 +0000)]
0.7.5.4:
merged CSR's "BUG 156" patch (from sbcl-devel 2002-07-02)
William Harold Newman [Tue, 2 Jul 2002 12:32:42 +0000 (12:32 +0000)]
0.7.5.3:
made BUGS entry for the DEFTRANSFORM gotcha referred to below
tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
put CSR's current diff into the main CVS since he's gone for a
while and I want to work with it now without thinking
about merging later...
...BUGS entry for FILL problem
...fixed FIXME re. %DATA-VECTOR-AND-INDEX
...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so
things apparently go faster now
...(didn't define another otherwise-reasonable DEFTRANSFORM on
%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
because it evidently tickles a bug in the DEFTRANSFORM
system, as reported on sbcl-devel)
Christophe Rhodes [Wed, 26 Jun 2002 14:11:27 +0000 (14:11 +0000)]
0.7.5.2:
Minor array performance tweak
... return the known-boxed value from the full-call
HAIRY-DATA-VECTOR-SET
Christophe Rhodes [Tue, 25 Jun 2002 15:57:13 +0000 (15:57 +0000)]
0.7.5.1:
Alpha build fix
... define the relevant types earlier in the build
... s/INTEGER-WITH-A-BITE-OUT/UNSIGNED-BYTE-WITH-A-BITE-OUT/
Array performance enhancement
... remove the (SAFETY 3) declaration from HAIRY-DATA-VECTOR-{REF,SET}
... write tests for AREF beyond array bounds
Buglet fix in pack.lisp
... put FILL arguments the right way round
William Harold Newman [Sun, 23 Jun 2002 17:23:08 +0000 (17:23 +0000)]
0.7.5:
Christophe Rhodes [Sat, 22 Jun 2002 15:15:29 +0000 (15:15 +0000)]
0.7.4.42:
Reopened BUG 140, closing BUG 176 in the process.
William Harold Newman [Thu, 20 Jun 2002 13:05:47 +0000 (13:05 +0000)]
0.7.4.41:
finishing up the immediately preceding "BUGS and other text" checkin:-|
William Harold Newman [Thu, 20 Jun 2002 13:04:26 +0000 (13:04 +0000)]
BUGS and other text
Christophe Rhodes [Thu, 20 Jun 2002 11:23:48 +0000 (11:23 +0000)]
0.7.4.40:
SPARC floating point fixes
... write a C function to get at the floating point state register
and use it for context-floating-point-modes (SunOS)
... attempt to do the same for SPARC/Linux, then realise that
the current state was more broken than I thought, so
wrote a BUG instead
Portability fix to binary-distribution.sh
William Harold Newman [Tue, 18 Jun 2002 17:45:14 +0000 (17:45 +0000)]
0.7.4.39:
merged pmai patch (sbcl-devel 2002-06-18) for bug 180 (where
:MOST-SPECIFIC-LAST options were ignored in method
combination)