Nikodemus Siivola [Mon, 27 Oct 2008 16:01:09 +0000 (16:01 +0000)]
1.0.21.35: fix build / SAVE-LISP-AND-DIE on non-GENCGC platforms
* Move back SAVE outside the WHEN in SAVE-LISP-AND-DIE. Thanks to
Bruce O'Neel.
Gabor Melis [Tue, 21 Oct 2008 14:41:59 +0000 (14:41 +0000)]
1.0.21.34: fix build on x86/x86-64 lutex platforms
Gabor Melis [Mon, 20 Oct 2008 12:05:21 +0000 (12:05 +0000)]
1.0.21.33: fix lack of null termination bug in mk{d,s}temp
Gabor Melis [Mon, 20 Oct 2008 12:00:51 +0000 (12:00 +0000)]
1.0.21.32: hack around truncated backtraces with lost frames
On :C-STACK-IS-THE-CONTROL-STACK platforms when calling an alien
function stash the current frame pointer and return address away so
that no matter how the alien stack frames are laid out the debugger
can find its way back to lisp land.
Nikodemus Siivola [Sat, 18 Oct 2008 15:26:06 +0000 (15:26 +0000)]
1.0.21.31: fix bad PROGV and RESTRICT-COMPILER-POLICY interaction
* Reported by Matthias Andreas Benkard Matthias Andreas Benkard.
* Patch by Juho Snellman.
Nikodemus Siivola [Sat, 18 Oct 2008 14:40:31 +0000 (14:40 +0000)]
1.0.21.30: more files in .gitignore
* Patch by Michael Weber.
Nikodemus Siivola [Sat, 18 Oct 2008 14:11:19 +0000 (14:11 +0000)]
1.0.21.29: handle alien record type redefinitions (bug 431)
* Make PARSE-ALIEN-RECORD-FIELD return the parsed values instead of
frobbing the type object.
* In PARSE-ALIEN-RECORD-TYPE use that to parse the new fields so that
we can compare them to the old ones -- signal a continuable error
if there is a mismatch.
Nikodemus Siivola [Sat, 18 Oct 2008 11:58:43 +0000 (11:58 +0000)]
1.0.21.28: implement UNLOAD-SHARED-OBJECT
* Mostly for CFFI.
* Add a missing call to TRANSLATE-LOGICAL-PATHNAME to
TRY-REOPEN-SHARED-OBJECT.
Nikodemus Siivola [Sat, 18 Oct 2008 10:27:58 +0000 (10:27 +0000)]
1.0.21.27: no more &OPTIONAL-DISPATCH debug names
* IR1-CONVERT-HAIRY-LAMBDA used to give optional dispatch entry points
`(&OPTIONAL-DISPATCH ,(OR <DEBUG-NAME> <SOURCE-NAME>)) as debug-name.
Don't do that -- just use the provided DEBUG-NAME directly (it's
NIL in the cases we most care about, leaving the functional with
just a source-name). This fixes two issues:
1. Functions with non-required arguments didn't get the derived
type information saved in the infodb. FINALIZE-XEP-DEFINITION
didn't set the INFO entries properly because
(eq (leaf-source-name leaf) (functional-debug-name leaf))
was false -- it's true only if there is no separate debug-name.
2. Functions with non-required arguments printed as
#<FUNCTION (SB-C::&OPTIONAL-DISPATCH READ-LINE) {
10AD8345}>
because non-NIL debug-name is preferred over the source-name.
* Test-cases.
Nikodemus Siivola [Sat, 18 Oct 2008 08:22:16 +0000 (08:22 +0000)]
1.0.21.26: bullet-proof (?) use of LOAD-SHARED-OBJECT in tests
* Previously LOAD-SHARED-OBJECT looked for the shared object first
in the current directory, and if it existed there, it passed the
absolute pathname to dlopen().
New version passes the native namestring of the designated pathname,
absolute or relative -- which leads to dlopen() on some platforms not
looking in the current directory unless "." is in LD_LIBRARY_PATH.
So add TRUENAME calls to the test-suite when the .so lives there.
* Mention the change of semantics in NEWS.
* Delete trailing whitespace.
Nikodemus Siivola [Fri, 17 Oct 2008 21:36:34 +0000 (21:36 +0000)]
1.0.21.25: LOAD-SHARED-OBJECT and logical pathnames
* Unlike UNIX-NAMESTRING, NATIVE-NAMESTRING doesn't deal with logical
pathnames,
Nikodemus Siivola [Fri, 17 Oct 2008 12:49:35 +0000 (12:49 +0000)]
1.0.21.24: saving runtime options in executables
* SAVE-LISP-AND-DIE argument :SAVE-RUNTIME-OPTIONS causes the values
of --dynamic-space-size and --control-stack-size used in the
current invocation of SBCL to be saved in the executable core, which
will then reuse them instead of doing normal runtime option processing.
* Thanks to Zach Beane.
Nikodemus Siivola [Fri, 17 Oct 2008 12:34:36 +0000 (12:34 +0000)]
1.0.21.23: fix external-format.impure.lisp
* Misnamed variable.
Nikodemus Siivola [Fri, 17 Oct 2008 11:57:32 +0000 (11:57 +0000)]
1.0.21.22: COMPILE-FILE and toplevel symbols
* The fopcompiler elided unused symbol references completely: warn
and dump the appropriate SYMBOL-VALUE form even if the value is
unused is the variable is undefined.
* This reveals a missing start of a block comment in
src/pcl/dfun.lisp -- fix it. Did you realize that ||# reads as a
symbol? I didn't. One strike against using the "emacs friendly"
#||...||# instead of #|...|#.
* Also fix on #-sb-unicode issue in the test-suite.
Nikodemus Siivola [Fri, 17 Oct 2008 10:43:25 +0000 (10:43 +0000)]
1.0.21.21: manpage "improvements"
* Describe what SBCL is in terms of its capabilities, not ancestry.
(A little hype never hurts...)
* Join the DESCRIPTION and LICENCING sections to save vertical space.
* Simplify the language in RUNNING SBCL, and stick in a pointer to
SAVE-LISP-AND-DIE with reference to standalone executables.
* Move the COMMAND LINE SYNTAX section waaay up, so that one doesn't
have to scroll several screenfulls to get to it.
* Move the DIFFERENCES FROM CMU CL waaay down, and delete the list of
deleted extensions.
* Remove the FUD about CLOS efficiency from known bugs.
Nikodemus Siivola [Fri, 17 Oct 2008 10:37:42 +0000 (10:37 +0000)]
1.0.21.20: package qualify LOAD-SHARED-OBJECT in SB-POSIX on Win32
* Patch by Pedro Kroger.
(Also bump version.lisp-expr by two...)
Richard M Kreuter [Thu, 16 Oct 2008 21:28:46 +0000 (21:28 +0000)]
1.0.21.19: Eagerly find a stream's external-format when a coding-error occurs.
* Patch and test contributed by Zach Beane.
Nikodemus Siivola [Sat, 11 Oct 2008 16:45:08 +0000 (16:45 +0000)]
1.0.21.18: delete unused argument introduced by .17
* Leftover from early life of the patch, noticed by Kevin "Hawkeye"
Reid.
Nikodemus Siivola [Sat, 11 Oct 2008 13:34:44 +0000 (13:34 +0000)]
1.0.21.17: --script commandline argument
* Works as both runtime and toplevel argument (which may imply the
separation between the two is suspect?):
* As a runtime argument it implies --noinform and the end of runtime
arguments.
* As a toplevel argument it implies --disable-debugger and the end of
toplevel arguments. It additionally inhibits sysinit and userinit
processing unless an explicit --userinit or --sysinit option is
given before it.
Then SBCL loads the specified specified file with :VERBOSE NIL and
:PRINT NIL, discarding the first line if it start with #!.
When the script file has been processed, SBCL exits without
entering the REPL.
* Documentation & a test.
* Based loosely on an earlier patch by Kevin Reid.
Nikodemus Siivola [Sat, 11 Oct 2008 12:42:20 +0000 (12:42 +0000)]
1.0.21.16: document the earlier change to --disable-debugger handling
Nikodemus Siivola [Thu, 9 Oct 2008 20:48:24 +0000 (20:48 +0000)]
1.0.21.15: LOAD-SHARED-OBJECT :DONT-SAVE and related
* Add &key :DONT-SAVE to control interaction with SAVE-LISP-AND-DIE.
* Better documentation, including mention of LD_LIBRARY_PATH.
* Refactor the OAOOM mess between win32-foreign-load.lisp and
foreign-load.lisp: add unix-foreign-load.lisp, and move the shared
code to foreign-load.lisp.
* The "try another pathname" restart in TRY-RELOAD-SHARED-OBJECT
changed the pathname but did not reload. Fix that.
Nikodemus Siivola [Thu, 9 Oct 2008 10:41:24 +0000 (10:41 +0000)]
1.0.21.14: fix CHECK-FASL-HEADER buglet
* Problems with signaling and reporting INVALID-FASL-HEADER: it's
:BYTE-NR 0, not :FIRST-BYTE t these days, and expected and actual
bytes wre reversed in error output.
Nikodemus Siivola [Thu, 9 Oct 2008 10:18:51 +0000 (10:18 +0000)]
1.0.21.13: fix NATIVE-NAMESTRING on Windows
* Support for pathnames with directory NIL was broken.
Brian Mastenbrook [Thu, 9 Oct 2008 00:36:08 +0000 (00:36 +0000)]
1.0.21.12: build OS X 10.4-compatible binaries on OS X 10.5
* Set minimum compatibility version in compiler options.
* Refactor existing 10.5 support so that when 10.4 support is
deprecated and we're building on 10.6+, everything will continue to
work.
Nikodemus Siivola [Tue, 7 Oct 2008 11:46:47 +0000 (11:46 +0000)]
1.0.21.11: record bug 431
* Random pick from my sbcl-devel backlog.
Nikodemus Siivola [Tue, 7 Oct 2008 08:28:36 +0000 (08:28 +0000)]
1.0.21.10: DEFINE-COMPILER-MACRO and destructuring lambda-lists
* Were broken -- fix by using the special FUNCALL related magic is
only for the outermost list, not sublists. Reported by Willem
Broekema.
* Adjust one of the existing tests to check for this.
* Record bug 430: nested stack allocation does not work for structures.
Nikodemus Siivola [Mon, 6 Oct 2008 11:27:06 +0000 (11:27 +0000)]
1.0.21.9: refactor toplevel option processing somewhat
* --disable-debuger takes effect before init files are processed.
* Don't resignal errors in annotated form: this loses restarts originally
established with (RESTART-CASE (ERROR ...) ...).
* Make the restarts we provide more explicit about the cause of the
error, including the exact commandline option (or initialization
file name and kind) in the restart text.
* Mark (THROW NO-SUCH-TAG) in debug.impure.lisp as expected to fail
on x86/Darwin -- though this patch is obviously unrelated,
something jiggers things just enough for the backtrace to go
astray.
* Based on patch by Ariel Badichi.
Nikodemus Siivola [Mon, 6 Oct 2008 09:34:55 +0000 (09:34 +0000)]
1.0.21.8: SERVE-EVENT error handling
* HANDLER-DESCRIPTORS-ERROR should not signal an error if there are
no bad descriptors.
* Check for EBADF and EINTR from select() explicitly, and inform the
users of any other issues via SIMPLE-PERROR + CONTINUE restart. (We
may be able to handle some others automatically as well, but let's
figure out what occurs in the wild and why first.)
Nikodemus Siivola [Mon, 6 Oct 2008 09:16:47 +0000 (09:16 +0000)]
1.0.21.7: fix argument quoting in run-sbcl.sh
* Now things like
sh run-sbcl.sh --eval '(load "foo.lisp")'
should work correctly.
Nikodemus Siivola [Mon, 6 Oct 2008 09:14:27 +0000 (09:14 +0000)]
1.0.21.6: muffle compiler notes from EVAL and function generator construction
* Just add (DECLARE (MUFFLE-CONDITIONS COMPILER-NOTE)) to the lambdas
we cons up: in case of EVAL the notes are distractive and seem
pointless, and in case of generators the user is definitely not
interested.
* Adjust SB-CLTL2 tests slightly to account for possible pre-existing
MUFFLE-CONDITIONS declarations, and fix usage of SPECIAL-BINDINGS.
Nikodemus Siivola [Sun, 5 Oct 2008 11:57:55 +0000 (11:57 +0000)]
1.0.21.5: fix WITH-PACKAGE-ITERATOR error signaling
* Patch by Tobias C. Rittweiler / Ariel Badichi.
Nikodemus Siivola [Sun, 5 Oct 2008 11:30:01 +0000 (11:30 +0000)]
1.0.21.4: PUSHNEW arglist beautifcation
* Patch by Tobias C. Rittweiler.
Nikodemus Siivola [Sun, 5 Oct 2008 09:53:31 +0000 (09:53 +0000)]
1.0.21.3: CIRCLE-SUBST did not treat raw structure slots correctly
* Reported by Cedric St-Jean on sbcl-devel.
Nikodemus Siivola [Fri, 3 Oct 2008 18:28:48 +0000 (18:28 +0000)]
1.0.21.2: ADJUST-ARRAY should not make multidimensional arrays have fill-pointers
* ADJUST-ARRAY used to give multidimensional arrays a bogus
fill-pointer unless :INITIAL-CONTENTS or :DISPLACED-TO were given.
Reported by Cedric St-Jean on sbcl-devel.
Christophe Rhodes [Fri, 3 Oct 2008 12:21:09 +0000 (12:21 +0000)]
1.0.21.1: address TYPE-WARNING in CLOS allocator for funcallable structures
... parallel %make-funcallable-structure-allocator;
... make FUNCTION-classoid-subclasses into CLOS classes in FIXUP
... also make !DEFSTRUCT-W-A-M respect *DEFSTRUCT-HOOKS* just
in case.
... test.
Richard M Kreuter [Thu, 2 Oct 2008 13:40:42 +0000 (13:40 +0000)]
1.0.21: release, will be tagged sbcl_1_0_21.
Richard M Kreuter [Thu, 2 Oct 2008 03:16:44 +0000 (03:16 +0000)]
1.0.20.34: Fix a minor bug in TIME.
* Don't try to print cycle counts when the port doesn't support it.
Nikodemus Siivola [Tue, 30 Sep 2008 07:56:57 +0000 (07:56 +0000)]
1.0.20.33: two buglets, LOG and TIME
* Unbreak (LOG DOUBLE INTEGER).
* LAMBDAS-CONVERTED / LAMBDA-CONVERSIONS confusion in PRINT-TIME.
(patch by Erik Marsden)
Richard M Kreuter [Sun, 28 Sep 2008 14:20:36 +0000 (14:20 +0000)]
1.0.20.32: Fix some bugs in GF type tracking.
Nikodemus Siivola [Fri, 26 Sep 2008 16:24:01 +0000 (16:24 +0000)]
1.0.20.31: tweaking LOG
* In case of (LOG INTEGER DOUBLE) and (LOG DOUBLE INTEGER), don't use
intermediate single precision values.
* Fix unoptimized (LOG X 0.0d0) => 0.0d0, and (LOG DOUBLE 0) => 0.0d0
(both were 0.0f0).
Nikodemus Siivola [Wed, 24 Sep 2008 22:35:01 +0000 (22:35 +0000)]
1.0.20.30: micro-optimize FILL-POINTER a bit
* Since it's inlined, move the error call to a separate function
(without keyword arguments).
* Since ARRAY-HEADER-P and %ARRAY-HAS-FILL-POINTER-P will be true
only if the object is a vector with a fill pointer, the DECLARE is
pointless.
* Similarly for %SET-FILL-POINTER.
Nikodemus Siivola [Wed, 24 Sep 2008 14:55:13 +0000 (14:55 +0000)]
1.0.20.29: small FIND fix & win32 build fix
* FIND on lists should not call the KEY function outside the
specified subsequence.
* Hopefully fix Win32 build: #+/#- -> #!+/#!- changes to pacify
SHE-READER.
* Also advice against editing version.lisp-expr in Git, and show the
branch-version.lisp-expr hack in GIT-FOR-SBCL-HACKERS.txt.
Richard M Kreuter [Tue, 23 Sep 2008 22:06:03 +0000 (22:06 +0000)]
1.0.20.28: Fewer STYLE-WARNINGs for gf calls.
* Use the union of a gf's defined methods' keys in the info db, so
that the compiler won't warn about unrecognized keywords supplied by
methods (but will catch typos and whatnot).
Gabor Melis [Tue, 23 Sep 2008 21:52:57 +0000 (21:52 +0000)]
1.0.20.27: fixed bug 415
* (MAKE-ARRAY (1- ARRAY-DIMENSION-LIMIT)) does not cause GC invariant loss.
ARRAY-DIMENSION-LIMIT was lowered by two to leave space for the
array header.
* logged FORMAT bug
Nikodemus Siivola [Tue, 23 Sep 2008 21:48:25 +0000 (21:48 +0000)]
1.0.20.26: nicer ONCE-ONLY expansion
* Name the variables actually visible in the final expansion sensibly.
Richard M Kreuter [Tue, 23 Sep 2008 20:05:44 +0000 (20:05 +0000)]
1.0.20.25: Produce a loadable FASL when compiling an incompatible DEFSTRUCT.
* Add some tests to see that redefining a STRUCTURE-CLASS works as one
might expect, and that compiling a file whose loading redefines a
STRUCTURE-CLASS works, too.
* There are some nasty intermediate states having to do with
subclasses defined in separate files (some are described in the
tests), but that's not actually new.
Gabor Melis [Tue, 23 Sep 2008 16:07:39 +0000 (16:07 +0000)]
1.0.20.24: disable another hanging timer test
Nikodemus Siivola [Mon, 22 Sep 2008 22:57:22 +0000 (22:57 +0000)]
1.0.20.23: get rid of IGNORE-ERRORS in SB-INTROSPECT
* Pass ERRORP NIL to FIND-METHOD for *BREAK-ON-SIGNALS* friendliness.
Gabor Melis [Mon, 22 Sep 2008 19:10:01 +0000 (19:10 +0000)]
1.0.20.22: record bug 429
Gabor Melis [Mon, 22 Sep 2008 18:41:43 +0000 (18:41 +0000)]
1.0.20.21: how to miss version.lisp-expr
Gabor Melis [Mon, 22 Sep 2008 18:33:07 +0000 (18:33 +0000)]
1.0.20.20: fix gencgc on 32 bit platforms with 2gb< heap
- pepper unsigned long around
- mixed signed/unsigned is ok as long as there are only + and -
bitwise logical operations on them, care must be taken for /, <, <=.
Gabor Melis [Mon, 22 Sep 2008 14:02:42 +0000 (14:02 +0000)]
1.0.20.20: fix gencgc on 32 bit platforms with 2gb< heap
- pepper unsigned long around
- mixed signed/unsigned is ok as long as there are only + and -
bitwise logical operations on them, care must be taken for /, <, <=.
Nikodemus Siivola [Mon, 22 Sep 2008 14:00:34 +0000 (14:00 +0000)]
1.0.20.18: fix sign confusion in reported memory fault addresses
* ...the mechanism sucks as much as ever, but at least the reported
address will make sense for high addresses as well.
Gabor Melis [Mon, 22 Sep 2008 13:56:29 +0000 (13:56 +0000)]
1.0.20.19: gencgc: rename first_object_offset
... to region_start_offset and flip the sign.
Gabor Melis [Mon, 22 Sep 2008 13:55:09 +0000 (13:55 +0000)]
1.0.20.18: minor gencgc cleanups
- removed unused alloc_base_string_list function
- removed superfluous declarations
- less casts
- more respect for the the 80 char limit
Nikodemus Siivola [Sat, 20 Sep 2008 03:54:54 +0000 (03:54 +0000)]
1.0.20.17: replace cut-and-paste duplication of ASSEMBLE with a macrolet
* Slightly more maintainable...
Nikodemus Siivola [Sat, 20 Sep 2008 03:09:58 +0000 (03:09 +0000)]
1.0.20.16: make LOCK and FS prefixes part of the affected instruction
* Disassembler still shows them as a separate instructions, but
in assembler the prefixes become postfixes to the instructions they
modify: (INST MOV X Y :FS), etc.
* Not only does this reduce the amount of conditionalization, but
making prefixes part of the instruction they modify seems necessary
if we ever want to turn on the instruction scheduler on x86oids,
and is probably needed for a peephole optimizer as well.
* Also fix x86-64 build: missed one ALIGN to EMIT-ALIGNMENT renaming.
Nikodemus Siivola [Fri, 19 Sep 2008 20:56:21 +0000 (20:56 +0000)]
1.0.20.15: rename SB-ASSEM:ALIGN to EMIT-ALIGNMENT
* ...and EMIT-ALIGNMENT to %EMIT-ALIGNMENT, as per FIXME.
* Also a missing SEGMENT-NAME -> SEGMENT-TYPE change from 1.0.20.13.
Nikodemus Siivola [Fri, 19 Sep 2008 20:22:17 +0000 (20:22 +0000)]
1.0.20.14: align loops on x86-64
* Intel recommends 16 byte alignment for branch target, and since
code objects are 16 byte aligned on x86-64, we can get it.
Nikodemus Siivola [Fri, 19 Sep 2008 20:06:53 +0000 (20:06 +0000)]
1.0.20.13: don't align elsewhere segments on x86 and x86-86
* There doesn't seem to be any need to do it, and the alignment NOP's are
a waste of space.
* Even though currently only elsewhere segments appear as the second
argument to APPEND-SEGMENT, make sure we omit alignment only from
elsewhere segments by changing SEGMENT-NAME to SEGMENT-TYPE (either
:REGULAR or :ELSEWHERE) and checking it in APPEND-SEGMENT.
Nikodemus Siivola [Fri, 19 Sep 2008 19:06:01 +0000 (19:06 +0000)]
1.0.20.12: :CACHED-CONSTANT TNs don't exist
* Remove FIXMEs asking about them, and other spurious references.
Nikodemus Siivola [Fri, 19 Sep 2008 19:01:19 +0000 (19:01 +0000)]
1.0.20.11: CALL-WITH-TIMING & PRINT-TIME
* Split %TIME into PRINT-TIME and CALL-WITH-TIMING, export the latter
from SB-EXT -- wanting access to the numbers collected is a
perfectly reasonable thing.
* Make TIME print the information collected even if the form unwinds.
Nikodemus Siivola [Fri, 19 Sep 2008 14:55:52 +0000 (14:55 +0000)]
1.0.20.10: semaphore and condition variable fixes
* Keep track of waiters on semaphores, so we know when a wakeup is
needed.
* Interrupt proof semaphores and condition variables.
* Check that the current thread owns the mutex in CONDITION-WAIT.
Nikodemus Siivola [Thu, 18 Sep 2008 20:19:47 +0000 (20:19 +0000)]
1.0.20.9: fix DEFINE-STRUCTURE-SLOT-ADDRESSOR to work with raw slots as well
* Not needed yet, but soon enough... Only one caveat: the instance
passed to the addressor must not be an instance of a subclass!
* Also hopefully fix build on non-x86oids (a missing IGNORABLE
declaraction), and remove pointless MACROEXPAND from ATOMIC-INCF.
(We could keep it, but COMPARE-AND-SWAP should at least behave the
same.)
Nikodemus Siivola [Wed, 17 Sep 2008 22:31:57 +0000 (22:31 +0000)]
1.0.20.8: ATOMIC-INCF implementation
* Modular arithmetic on word-sized unsigned structure slots.
* Uses XADD on x86 and x86-64, a simple lisp-level implementation elsewhere.
Nikodemus Siivola [Wed, 17 Sep 2008 20:24:21 +0000 (20:24 +0000)]
1.0.20.7: COMPARE-AND-SWAP on SYMBOL-VALUE to respect constants and declaimed types
* For constant symbol names which are declaimed SPECIAL, insert the
appropriate THE around the new value.
* For other cases use ABOUT-TO-MODIFY-SYMBOL-VALUE.
* Tests.
Nikodemus Siivola [Mon, 15 Sep 2008 14:09:56 +0000 (14:09 +0000)]
1.0.20.6: smaller allocation regions & reduced pinning
* Align objects at least one page in size on page boundaries.
Previously only "large" objects (those at least 4 pages in size)
were guaranteed page alignment.
* Don't allow small objects to cross page boundaries.
* The effect is to reduce the size of continuous allocation regions
that start and stop on page boundaries. Since GENCGC conservativism
operates on such regions, it's effects are reduced as well: for
SBCL self build this reduces the number of pinned pages by ~45%.
* Also report the amount of bytes found (in case of allocation
failure) more accurately.
Richard M Kreuter [Thu, 11 Sep 2008 21:55:51 +0000 (21:55 +0000)]
1.0.20.5: Fix stupid bugs introduced in 1.0.20.4.
* Dumb mistakes that weren't caught on x86-64 for some reason. Tested
this on Linux/x86, Linux/pcc, NetBSD/x86.
Richard M Kreuter [Thu, 11 Sep 2008 15:52:49 +0000 (15:52 +0000)]
1.0.20.4: Use a new set implementation for constraint propagation.
* Introduce an interface layer called "CONSET" into CP. CONSETs
mostly like SSETs, except that a few destructive operations return
no value.
* Introduce a CONSET implementation that uses a bit-vector and some
bookkeeping instead of an SSET. This tends to improve run time real
time for compilation of many Lisp systems.
Richard M Kreuter [Sat, 6 Sep 2008 17:03:34 +0000 (17:03 +0000)]
1.0.20.3: Minor refactoring in constraint propagation.
* Eliminate keyword arguments to CONSTRAINT-PROPAGATE-IN-BLOCK and
FIND-BLOCK-TYPE-CONSTRAINTS. (Preamble to a soon-to-come reworking
of CP; split into a separate commit per Nikodemus's request.)
Christophe Rhodes [Thu, 4 Sep 2008 13:04:45 +0000 (13:04 +0000)]
1.0.20.2: Fewer XC/reader-conditional confusions
Inspired by Josh Elasser (sbcl-devel 2008-08-29), write code
that tries to be clever about reader conditionals in the
cross-compiler, in order to point out when a mistake is likely.
... and fix the extra buglet that this reveals.
Richard M Kreuter [Wed, 3 Sep 2008 18:59:52 +0000 (18:59 +0000)]
1.0.20.1: Dump characters ofnon-base-strings names in 32-bit quantities
Juho Snellman [Mon, 1 Sep 2008 02:05:41 +0000 (02:05 +0000)]
1.0.20: release, will be tagged sbcl_1_0_20
Richard M Kreuter [Fri, 22 Aug 2008 14:31:30 +0000 (14:31 +0000)]
1.0.19.35: Fix PARSE-, NATIVE-NAMESTRING for logical pathnames.
* Whereas these used to error erroneously, now they error properly.
Richard M Kreuter [Thu, 21 Aug 2008 15:06:16 +0000 (15:06 +0000)]
1.0.19.34: Fix minor bug in TIME.
* Don't print infinitely many zeroes in %FORMAT-DECIMAL when the last
several digits of the first argument are zero. Contributed by Bart Botta.
Paul Khuong [Wed, 20 Aug 2008 21:16:46 +0000 (21:16 +0000)]
1.0.19.33: Improved interrupt handling on darwin/x86[-64]
* Remove an obsolete race condition check in SIGBUS handling
on x86. Accesses to unmapped addresses should no longer result
in infinite loops.
* Now reserve a 256 byte (slightly more than that is actually safe
to use) zone just below SP for signal handlers to safely push
data in.
Paul Khuong [Wed, 20 Aug 2008 20:34:00 +0000 (20:34 +0000)]
1.0.19.32: Small bugfixes
* Modify a couple number functions to avoid silently executing
the default case even when the argument isn't a number.
* Fix an obscure bug in MERGE-LETS.
Nikodemus Siivola [Sun, 17 Aug 2008 10:05:36 +0000 (10:05 +0000)]
1.0.19.31: correct shadowing-import of NIL in NAME-CONFLICT
* Was missing the surrounding LIST -- NIL alone is a designator for
the empty list.
Patch by Michael Weber.
Nikodemus Siivola [Sun, 17 Aug 2008 09:28:10 +0000 (09:28 +0000)]
1.0.19.30: muffle code deletion note from destructuring-bind
* Was emitted when destructuring constant lists.
Nikodemus Siivola [Fri, 15 Aug 2008 11:31:26 +0000 (11:31 +0000)]
1.0.19.29: new function: page_region_start()
...and use where appropriate.
Nikodemus Siivola [Fri, 15 Aug 2008 10:58:15 +0000 (10:58 +0000)]
new function: is_lisp_immediate()
* Use where appropriate in the runtime.
* Since runtime.h now includes fixnum.h, remove a few includes as well.
Gabor Melis [Sun, 10 Aug 2008 21:18:32 +0000 (21:18 +0000)]
1.0.19.27: more ir1 transforms for REPLACE
Supplying START1 or START2 does not inhibit ir1 transforms for
specialized array types.
Nikodemus Siivola [Thu, 7 Aug 2008 14:44:57 +0000 (14:44 +0000)]
1.0.19.26: add THREAD-YIELD to GET-SPINLOCK
* Slightly less catastrophic.
Nikodemus Siivola [Tue, 5 Aug 2008 16:32:17 +0000 (16:32 +0000)]
1.0.19.25: refactor global muffling slightly
* Move TYPEP *MUFFLED-WARNINGS* into a separate function for easier
debugging. (Too hard to replace the inital handler cluster while
running, whereas redefining MUFFLED-WARNING-P is easy.)
Nikodemus Siivola [Tue, 5 Aug 2008 16:29:08 +0000 (16:29 +0000)]
1.0.19.24: incorrect function type canonicalization
* If the signature has both &KEY and &OPTIONAL arguments, the
canonicalization cannot merge &OPTIONAL into &REST. (Not that I am sure why
we should be merging &OPTIONAL into &REST in *any* case, but this caused
bogus warning.)
* Add &KEY SILENT to PARSE-LAMBDA-LIST-LIKE-THING, which silences any
style-warnings from it: we don't want SPECIFIER-TYPE to complain about the
lambda-lists it parses.
Nikodemus Siivola [Tue, 5 Aug 2008 12:58:09 +0000 (12:58 +0000)]
1.0.19.23: COMPILER-WARN accepts conditions
* Accidentally left out from 1.0.19.12.
Nikodemus Siivola [Tue, 5 Aug 2008 10:38:36 +0000 (10:38 +0000)]
1.0.19.22: fix bug #425
* Make CLOSE drop input buffers from ANSI-STREAMs. Reported by Damien
Cassou on sbcl-devel.
* Signal SB-INT:CLOSED-STREAM-ERROR instead of a SIMPLE-ERROR -- good
for clarity, enables a proper test.
Nikodemus Siivola [Mon, 4 Aug 2008 16:34:40 +0000 (16:34 +0000)]
1.0.19.21: delete stale symbol SB-DI:DO-BLOCKS
* Reported by Tobias C. Rittweiler.
Nikodemus Siivola [Mon, 4 Aug 2008 15:58:35 +0000 (15:58 +0000)]
1.0.19.20: fast CLRHASH on empty hash-tables
* Patch by Alec Berryman.
Nikodemus Siivola [Mon, 4 Aug 2008 12:00:58 +0000 (12:00 +0000)]
1.0.19.19: manual updates
* Four patches from Xan Lopez on sbcl-devel, one slightly adjusted.
* Document slot access efficiency issues.
Nikodemus Siivola [Mon, 4 Aug 2008 10:33:54 +0000 (10:33 +0000)]
1.0.19.18: transform ADJOIN, ASSOC, MEMBER, and RASSOC to -EQ versions more often
* Add transforms from %FOO and %FOO-KEY to %FOO-EQ and %FOO-KEY-EQ,
so that propagated type information has a chance to work its magic.
Nikodemus Siivola [Sun, 3 Aug 2008 21:39:09 +0000 (21:39 +0000)]
1.0.19.17: DOLIST variable type on constant lists
* When DOLIST list is a (LIST ...) form where every argument is a
constant, constant-fold it during macro-expansion. (User has no
direct access to the list itself, so this is safe.)
* When DOLIST list ia a constant, add an extra binding,
and annotate its type as (MEMBER ...).
This means that the compiler knows that in
(dolist (x (list 1 2 3)) ...)
X is (INTEGER 1 3).
* Also add a STYLE-WARNING for constant dotted lists in DOLIST.
Nikodemus Siivola [Sun, 3 Aug 2008 19:35:14 +0000 (19:35 +0000)]
1.0.19.16: derive the type of (AREF (THE STRING X) Y) as CHARACTER
* Even though we don't know the exact upgraded array element type, we
do know the result is a character.
* Noticed while wondering why C-ESCAPE had a call to %MEMBER instead
of %MEMBER-EQ.
Nikodemus Siivola [Sat, 2 Aug 2008 08:27:30 +0000 (08:27 +0000)]
1.0.19.15: package name conflict patched from Michael Weber
* Tests for package system name conflict resolution.
* Fixed EXPORT bug which left symbol unexported in conflict
situations.
* Unbreak RESOLVE-CONFLICT restart:
** USEing packages with conflicting symbols
** Correctly handle conflicts involving CL:NIL by passing (list
symbol) to package frobbing functions which take a list
designator.
* Removed commented-out version of NAME-CONFLICT.
Paul Khuong [Fri, 1 Aug 2008 17:10:21 +0000 (17:10 +0000)]
1.0.19.14: Immediate SAP bug fix & grab bag of small changes
* SAPs can't actually be emitted as immediates. Only a problem now that
constants are treated more cleverly.
Fixes the "#.(SB-SYS:INT-SAP #X00000000) fell through ETYPECASE expression"
bug associated with CFFI's NULL-POINTER. Reported by Ingo Bormuth on
sbcl-devel, and by several others on #lisp.
* EAs can still only fit 32 bit displacements on x86-64.
* Make SAP-INT foldable, thus improving code generation for expressions
like (sap= +null-pointer+ sap).
Richard M Kreuter [Fri, 1 Aug 2008 13:16:11 +0000 (13:16 +0000)]
1.0.19.13: Fix WITH-ALIEN for non-x86oids.
Nikodemus Siivola [Fri, 1 Aug 2008 11:19:03 +0000 (11:19 +0000)]
1.0.19.12: give a warning for newly deprecated stack-allcation optimization policies
* Most importantly, keep the symbols around for a while, since otherwise reading
code that tries to twiddle them causes a package-lock violation.
* Make it a refence condition for good measure.
* Prettify the output in from other policy-related warnings while at it.
Nikodemus Siivola [Fri, 1 Aug 2008 07:57:51 +0000 (07:57 +0000)]
1.0.19.11: SB-SYS spring cleaning
* Delete a bunch of unused symbols (and one from SB-KERNEL too.)
* Fix typo: SYSTEM-CONDITION-ADDRESS, not SYSTEM-CONDIION-ADDRESS.
Nikodemus Siivola [Thu, 31 Jul 2008 13:32:10 +0000 (13:32 +0000)]
additional list seeking transformations
* Implement TRANSFORM-LIST-PRED-SEEK, very much akin to
TRANSFORM-LIST-ITEM-SEEK, and use it to optimize MEMBER-IF[-NOT],
ASSOC-IF[-NOT], and RASSOC-IF[-NOT].
* Implement full versions of list seeking functions in terms of the
specialized versions: in some cases this is a win, in some cases a
loss -- but the number of places where functionality is duplicated
is reduced, which should be easier on the maintenance and less
bug-prone.
* Add a TRANSFORM-LIST-ITEM-SEEK transform for RASSOC.
* LVAR-FOR-NAMED-FUNCTION was a restricted form of LVAR-FUN-IS. Do
away with the former, and move the latter to ir1util.lisp.
Nikodemus Siivola [Thu, 31 Jul 2008 12:52:37 +0000 (12:52 +0000)]
1.0.19.9: elide runtime calls to %COERCE-CALLABLE-TO-FUN in more cases
* Core change: %COERCE-CALLABLE-TO-FUN can now convert to
GLOBAL-FUNCTION.
* While at it, refactor the whole "make up a form that returns a
function to use instead of this lvar or source form" thing for
clarity.
* Record slightly crazy OPTIMIZATION possibility.