sbcl.git
15 years ago1.0.21.29: handle alien record type redefinitions (bug 431)
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.

15 years ago1.0.21.28: implement UNLOAD-SHARED-OBJECT
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.

15 years ago1.0.21.27: no more &OPTIONAL-DISPATCH debug names
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.

15 years ago1.0.21.26: bullet-proof (?) use of LOAD-SHARED-OBJECT in tests
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.

15 years ago1.0.21.25: LOAD-SHARED-OBJECT and logical pathnames
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,

15 years ago1.0.21.24: saving runtime options in executables
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.

15 years ago1.0.21.23: fix external-format.impure.lisp
Nikodemus Siivola [Fri, 17 Oct 2008 12:34:36 +0000 (12:34 +0000)]
1.0.21.23: fix external-format.impure.lisp

 * Misnamed variable.

15 years ago1.0.21.22: COMPILE-FILE and toplevel symbols
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.

15 years ago1.0.21.21: manpage "improvements"
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.

15 years ago1.0.21.20: package qualify LOAD-SHARED-OBJECT in SB-POSIX on Win32
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...)

15 years ago1.0.21.19: Eagerly find a stream's external-format when a coding-error occurs.
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.

15 years ago1.0.21.18: delete unused argument introduced by .17
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.

15 years ago1.0.21.17: --script commandline argument
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.

15 years ago1.0.21.16: document the earlier change to --disable-debugger handling
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

15 years ago1.0.21.15: LOAD-SHARED-OBJECT :DONT-SAVE and related
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.

15 years ago1.0.21.14: fix CHECK-FASL-HEADER buglet
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.

15 years ago1.0.21.13: fix NATIVE-NAMESTRING on Windows
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.

15 years ago1.0.21.12: build OS X 10.4-compatible binaries on OS X 10.5
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.

15 years ago1.0.21.11: record bug 431
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.

15 years ago1.0.21.10: DEFINE-COMPILER-MACRO and destructuring lambda-lists
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.

15 years ago1.0.21.9: refactor toplevel option processing somewhat
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.

15 years ago1.0.21.8: SERVE-EVENT error handling
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.)

15 years ago1.0.21.7: fix argument quoting in run-sbcl.sh
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.

15 years ago1.0.21.6: muffle compiler notes from EVAL and function generator construction
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.

15 years ago1.0.21.5: fix WITH-PACKAGE-ITERATOR error signaling
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.

15 years ago1.0.21.4: PUSHNEW arglist beautifcation
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.

15 years ago1.0.21.3: CIRCLE-SUBST did not treat raw structure slots correctly
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.

15 years ago1.0.21.2: ADJUST-ARRAY should not make multidimensional arrays have fill-pointers
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.

15 years ago1.0.21.1: address TYPE-WARNING in CLOS allocator for funcallable structures
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.

15 years ago1.0.21: release, will be tagged sbcl_1_0_21.
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.

15 years ago1.0.20.34: Fix a minor bug in TIME.
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.

15 years ago1.0.20.33: two buglets, LOG and TIME
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)

15 years ago1.0.20.32: Fix some bugs in GF type tracking.
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.

15 years ago1.0.20.31: tweaking LOG
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).

15 years ago1.0.20.30: micro-optimize FILL-POINTER a bit
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.

15 years ago1.0.20.29: small FIND fix & win32 build fix
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.

15 years ago1.0.20.28: Fewer STYLE-WARNINGs for gf calls.
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).

15 years ago1.0.20.27: fixed bug 415
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

15 years ago1.0.20.26: nicer ONCE-ONLY expansion
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.

15 years ago1.0.20.25: Produce a loadable FASL when compiling an incompatible DEFSTRUCT.
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.

15 years ago1.0.20.24: disable another hanging timer test
Gabor Melis [Tue, 23 Sep 2008 16:07:39 +0000 (16:07 +0000)]
1.0.20.24: disable another hanging timer test

15 years ago1.0.20.23: get rid of IGNORE-ERRORS in SB-INTROSPECT
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.

15 years ago1.0.20.22: record bug 429
Gabor Melis [Mon, 22 Sep 2008 19:10:01 +0000 (19:10 +0000)]
1.0.20.22: record bug 429

15 years ago1.0.20.21: how to miss version.lisp-expr
Gabor Melis [Mon, 22 Sep 2008 18:41:43 +0000 (18:41 +0000)]
1.0.20.21: how to miss version.lisp-expr

15 years ago1.0.20.20: fix gencgc on 32 bit platforms with 2gb< heap
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 /, <, <=.

15 years ago1.0.20.20: fix gencgc on 32 bit platforms with 2gb< heap
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 /, <, <=.

15 years ago1.0.20.18: fix sign confusion in reported memory fault addresses
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.

15 years ago1.0.20.19: gencgc: rename first_object_offset
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.

15 years ago1.0.20.18: minor gencgc cleanups
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

15 years ago1.0.20.17: replace cut-and-paste duplication of ASSEMBLE with a macrolet
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...

15 years ago1.0.20.16: make LOCK and FS prefixes part of the affected instruction
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.

15 years ago1.0.20.15: rename SB-ASSEM:ALIGN to EMIT-ALIGNMENT
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.

15 years ago1.0.20.14: align loops on x86-64
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.

15 years ago1.0.20.13: don't align elsewhere segments on x86 and x86-86
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.

15 years ago1.0.20.12: :CACHED-CONSTANT TNs don't exist
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.

15 years ago1.0.20.11: CALL-WITH-TIMING & PRINT-TIME
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.

15 years ago1.0.20.10: semaphore and condition variable fixes
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.

15 years ago1.0.20.9: fix DEFINE-STRUCTURE-SLOT-ADDRESSOR to work with raw slots as well
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.)

15 years ago1.0.20.8: ATOMIC-INCF implementation
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.

15 years ago1.0.20.7: COMPARE-AND-SWAP on SYMBOL-VALUE to respect constants and declaimed types
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.

15 years ago1.0.20.6: smaller allocation regions & reduced pinning
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.

15 years ago1.0.20.5: Fix stupid bugs introduced in 1.0.20.4.
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.

15 years ago1.0.20.4: Use a new set implementation for constraint propagation.
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.

15 years ago1.0.20.3: Minor refactoring in constraint propagation.
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.)

15 years ago1.0.20.2: Fewer XC/reader-conditional confusions
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.

15 years ago1.0.20.1: Dump characters ofnon-base-strings names in 32-bit quantities
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

15 years ago1.0.20: release, will be tagged sbcl_1_0_20
Juho Snellman [Mon, 1 Sep 2008 02:05:41 +0000 (02:05 +0000)]
1.0.20: release, will be tagged sbcl_1_0_20

15 years ago1.0.19.35: Fix PARSE-, NATIVE-NAMESTRING for logical pathnames.
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.

15 years ago1.0.19.34: Fix minor bug in TIME.
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.

15 years ago1.0.19.33: Improved interrupt handling on darwin/x86[-64]
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.

15 years ago1.0.19.32: Small bugfixes
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.

15 years ago1.0.19.31: correct shadowing-import of NIL in NAME-CONFLICT
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.

15 years ago1.0.19.30: muffle code deletion note from destructuring-bind
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.

15 years ago1.0.19.29: new function: page_region_start()
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.

15 years agonew function: is_lisp_immediate()
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.

15 years ago1.0.19.27: more ir1 transforms for REPLACE
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.

15 years ago1.0.19.26: add THREAD-YIELD to GET-SPINLOCK
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.

15 years ago1.0.19.25: refactor global muffling slightly
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.)

15 years ago1.0.19.24: incorrect function type canonicalization
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.

15 years ago1.0.19.23: COMPILER-WARN accepts conditions
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.

15 years ago1.0.19.22: fix bug #425
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.

15 years ago1.0.19.21: delete stale symbol SB-DI:DO-BLOCKS
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.

15 years ago1.0.19.20: fast CLRHASH on empty hash-tables
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.

15 years ago1.0.19.19: manual updates
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.

15 years ago1.0.19.18: transform ADJOIN, ASSOC, MEMBER, and RASSOC to -EQ versions more often
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.

15 years ago1.0.19.17: DOLIST variable type on constant lists
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.

15 years ago1.0.19.16: derive the type of (AREF (THE STRING X) Y) as CHARACTER
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.

15 years ago1.0.19.15: package name conflict patched from Michael Weber
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.

15 years ago1.0.19.14: Immediate SAP bug fix & grab bag of small changes
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).

15 years ago1.0.19.13: Fix WITH-ALIEN for non-x86oids.
Richard M Kreuter [Fri, 1 Aug 2008 13:16:11 +0000 (13:16 +0000)]
1.0.19.13: Fix WITH-ALIEN for non-x86oids.

15 years ago1.0.19.12: give a warning for newly deprecated stack-allcation optimization policies
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.

15 years ago1.0.19.11: SB-SYS spring cleaning
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.

15 years agoadditional list seeking transformations
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.

15 years ago1.0.19.9: elide runtime calls to %COERCE-CALLABLE-TO-FUN in more cases
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.

15 years ago1.0.19.8: SB-COVER:REPORT signals an error for non-directory pathnames
Nikodemus Siivola [Thu, 31 Jul 2008 06:50:54 +0000 (06:50 +0000)]
1.0.19.8: SB-COVER:REPORT signals an error for non-directory pathnames

 * Based on patch by Pierre Mai.

15 years ago1.0.19.7: refactor stack allocation decisions
Nikodemus Siivola [Wed, 30 Jul 2008 17:58:39 +0000 (17:58 +0000)]
1.0.19.7: refactor stack allocation decisions

 * Remove SB-C::STACK-ALLOCATE-* policies.

 * Obey DYNAMIC-EXTENT declarations if SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT*
   is true (the default), with the following exceptions:

    ** Value cells are not stack allocated.

    ** Vectors that may be longer then a single page are stack
       allocated only in SAFETY 0 policies.

 * New declaration: SB-INT:TRULY-DYNAMIC-EXTENT. Always stack-allocates,
   regardless of SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT*. Also causes stack
   allocation of value cells and potentially large vectors.

   Used exclusively inside SBCL.

 * Move STACK-ALLOCATE-RESULT optimizers from backends to
   src/compiler/generic/vm-ir2tran.lisp.

 * Documentation.

15 years ago1.0.19.6: fix SB-SHOW build
Nikodemus Siivola [Wed, 30 Jul 2008 16:35:25 +0000 (16:35 +0000)]
1.0.19.6: fix SB-SHOW build

 * Patch by Josh Elsasser for STYLE-WARN.

 * Make COLD-PRINT able to print improper lists -- early source
   locations are conses with the TLF number in the CDR.

15 years ago1.0.19.5: minor wording fix
Nikodemus Siivola [Wed, 30 Jul 2008 14:39:40 +0000 (14:39 +0000)]
1.0.19.5: minor wording fix

 * Patch by Zach Beane.

15 years ago1.0.19.4: recursive restart computation
Nikodemus Siivola [Wed, 30 Jul 2008 13:53:11 +0000 (13:53 +0000)]
1.0.19.4: recursive restart computation

 * A call to COMPUTE-RESTARTS from restart test function caused
   infinite recursion. Fix with a stack.

 * Test-case.

15 years ago1.0.19.3: more careful PROGV and SET
Nikodemus Siivola [Wed, 30 Jul 2008 13:51:55 +0000 (13:51 +0000)]
1.0.19.3: more careful PROGV and SET

 * Don't bind constants in PROGV.

 * Check variable types before binding / assignment.

 * When un-binding, PROGV doesn't temporarily bind a variable to NIL
   anymore, but directly to the unbound marker, so that an interrupt
   handler cannot see a bogus value.

 * Based on patch by Richard Kreuter.