sbcl.git
15 years ago1.0.22.15: 16 byte align assembly routines on x86 and x86-64
Nikodemus Siivola [Tue, 4 Nov 2008 18:56:27 +0000 (18:56 +0000)]
1.0.22.15: 16 byte align assembly routines on x86 and x86-64

 * Modern processors like it that way, and x86-64 was mostly there
   already.

 * Also fix a stupid typo in bug 419.

15 years ago1.0.22.14: fix a bug in PPC alien function calls
Brian Mastenbrook [Mon, 3 Nov 2008 21:44:31 +0000 (21:44 +0000)]
1.0.22.14: fix a bug in PPC alien function calls

 * On SVR4 ABI systems (Linux and NetBSD), fix a bogus situation where
   the proper alignment would not be set when a SAP is passed before a
   long long argument.

15 years ago1.0.22.13: fixed bug 426: nested inline expansion failure
Nikodemus Siivola [Mon, 3 Nov 2008 18:09:38 +0000 (18:09 +0000)]
1.0.22.13: fixed bug 426: nested inline expansion failure

 * In RECOGNIZE-KNOWN-CALL, if an inline function has already been
   converted in the component, replace the REF-LEAF with the
   functional.

 * Test cases.

15 years ago1.0.22.12: fix DEFTYPE regression revealed by ansi tests
Nikodemus Siivola [Mon, 3 Nov 2008 17:23:35 +0000 (17:23 +0000)]
1.0.22.12: fix DEFTYPE regression revealed by ansi tests

 * DEFTYPE body can be empty.

15 years ago1.0.22.11: name *pcl-lock*
Nikodemus Siivola [Mon, 3 Nov 2008 15:11:53 +0000 (15:11 +0000)]
1.0.22.11: name *pcl-lock*

 * For your debugging pleasure.

15 years ago1.0.22.10: detect infinite recursion during wrapper validation
Nikodemus Siivola [Mon, 3 Nov 2008 14:33:27 +0000 (14:33 +0000)]
1.0.22.10: detect infinite recursion during wrapper validation

 * Patch by Attila Lendvai. ...still hoping for a test-case, so this
   could be fixed properly.

15 years ago1.0.22.9: SB-INTROSPECT regression from 1.0.22.8
Nikodemus Siivola [Mon, 3 Nov 2008 14:19:33 +0000 (14:19 +0000)]
1.0.22.9: SB-INTROSPECT regression from 1.0.22.8

 * Don't signal an error if no TYPE exists when FIND-DEFINITION-SOURCES-BY-NAME
   is called with :TYPE as the second argument.

15 years ago1.0.22.8: DEFTYPE tweaking
Nikodemus Siivola [Mon, 3 Nov 2008 13:34:32 +0000 (13:34 +0000)]
1.0.22.8: DEFTYPE tweaking

 * If the expansion is a quoted contant, T, or NIL use a closure as
   the expander instead of compiling a separate expander.

 * When using a closure as above, save the source location separately.

 * Use the space saved to the store the DEFTYPE lmabda-list, and make
   DESCRIBE report it.

15 years ago1.0.22.7: Update to ASDF 1.130
Richard M Kreuter [Fri, 31 Oct 2008 20:47:40 +0000 (20:47 +0000)]
1.0.22.7: Update to ASDF 1.130

* Includes fix for circular dependency detection.

15 years ago1.0.22.6: some ANSI-STREAM cleanups & micro-optimization
Nikodemus Siivola [Fri, 31 Oct 2008 18:12:44 +0000 (18:12 +0000)]
1.0.22.6: some ANSI-STREAM cleanups & micro-optimization

 * Make WRITE-LINE dispatch on the type of the stream only once -- not
   for both writing the string and the newline separately.

 * ANSI-STREAM-WRITE-LINE checks the START and END parameters, so
   callers of %WRITE-LINE don't need to.

 * Remove some redundant type checks from WRITE-LINE and WRITE-STRING
   code paths.

 * SB-IMPL::INDENTING-STREAM was unused, delete it. (Note: update your
   Slime!)

15 years ago1.0.22.5: teach DISASSEMBLE about %METHOD-FUNCTIONs
Nikodemus Siivola [Fri, 31 Oct 2008 16:57:36 +0000 (16:57 +0000)]
1.0.22.5: teach DISASSEMBLE about %METHOD-FUNCTIONs

 * Disassemble both the %METHOD-FUNCTION object itself, and the
   associated fast-function.

 * Clarify the disassembler output slightly by prepending it with
   ; disassembly for <function name>.

15 years ago1.0.22.4: symbol macros and type declarations in PCL
Nikodemus Siivola [Fri, 31 Oct 2008 12:52:46 +0000 (12:52 +0000)]
1.0.22.4: symbol macros and type declarations in PCL

* When PCL walks the method body, doing permutation vector
   optimizations, take into account type declarations for symbol
   macros, to get the benefit of the declaration in

   (WITH-SLOTS (X) OBJECT ... (DECLARE (FIXNUM X)) ... (FOO X) ...)

   which currently happens only in DEFUN, where permuation vector
   optimizations do not occur.

15 years ago1.0.22.3: use EQ instead of EQL to check *GC-EPOCH*
Nikodemus Siivola [Fri, 31 Oct 2008 12:46:10 +0000 (12:46 +0000)]
1.0.22.3: use EQ instead of EQL to check *GC-EPOCH*

15 years ago1.0.22.2: optimize output under *PRINT-PRETTY*
Nikodemus Siivola [Fri, 31 Oct 2008 12:43:44 +0000 (12:43 +0000)]
1.0.22.2: optimize output under *PRINT-PRETTY*

 * Don't construct the pretty stream when it is not needed.

15 years ago1.0.22.1: run-sbcl.sh improvements
Gabor Melis [Fri, 31 Oct 2008 09:56:15 +0000 (09:56 +0000)]
1.0.22.1: run-sbcl.sh improvements

- make run-sbcl.sh executable
- don't require it to be started from the top of the source dir

... so that "~/sbcl/run-sbcl.sh" is a drop in replacement for "sbcl".

15 years ago1.0.22: release, will be tagged sbcl_1_0_22.
Richard M Kreuter [Thu, 30 Oct 2008 21:58:46 +0000 (21:58 +0000)]
1.0.22: release, will be tagged sbcl_1_0_22.

15 years ago1.0.21.38: lisp-side %ASIN, %ACOS, %SINH, %TANH, and %HYPOT
Nikodemus Siivola [Thu, 30 Oct 2008 14:47:42 +0000 (14:47 +0000)]
1.0.21.38: lisp-side %ASIN, %ACOS, %SINH, %TANH, and %HYPOT

 * For Win32 build robustness: on some toolchains asin &co were not
   getting linked to the runtime as we'd like to.

   Caveat: %HYPOT is stupid about under/overflows unlike hypot().

15 years ago1.0.21.37:
Brian Mastenbrook [Wed, 29 Oct 2008 16:09:27 +0000 (16:09 +0000)]
1.0.21.37:
  Use /**/ instead of ## to concatenate symbols on PPC/Darwin

15 years ago1.0.21.36: Fix a bug in one path through RUN-PROGRAM.
Richard M Kreuter [Tue, 28 Oct 2008 21:49:41 +0000 (21:49 +0000)]
1.0.21.36: Fix a bug in one path through RUN-PROGRAM.

* Ensure that the template buffer for sb_mkstemp is null-terminated.

15 years ago1.0.21.35: fix build / SAVE-LISP-AND-DIE on non-GENCGC platforms
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.

15 years ago1.0.21.34: fix build on x86/x86-64 lutex platforms
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

15 years ago1.0.21.33: fix lack of null termination bug in mk{d,s}temp
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

15 years ago1.0.21.32: hack around truncated backtraces with lost frames
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.

15 years ago1.0.21.31: fix bad PROGV and RESTRICT-COMPILER-POLICY interaction
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.

15 years ago1.0.21.30: more files in .gitignore
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.

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.