Added optimization opportunity #25: improved type-based optimization
of EQL forms.

0.8.19.19:
Fix bug in WITH-INPUT-FROM-STRING (PFD ansi-tests)
... only update INDEX on normal exit.  (Fix from Bryan O'Connor)

0.8.19.18:
Fix bug from PCL depessimization -- it is possible to get :DEFINED for
:TYPE :KIND, but probably only for built-in-classes.

(Hm, actually, it might be possible to get there through some bizarre
combination of DEFTYPE and DEFCLASS.)

0.8.19.17:
        * Fix bug: ANNOTATE-FIXED-VALUES-LVAR can be called on a DX
          LVAR (through CAST). (reported by Timmy Douglas).

0.8.19.16:
Various x86-64 improvements.
        * Fix some SB-ALIEN:INT / SB-ALIEN:INTEGER confusion in tests.
          (Patch by Vincent Arkesteijn on sbcl-devel, "Re: x86-64 (aka
          AMD64, EMT-64) support" on 2005-02-05).
        * Align the stack to 16-byte boundaries for c-calls, as required
          by the ABI. (Patch by Cheuksan Edward Wang).
        * Omit unneccessary rex-prefix on indirect JMP. (Patch by Cheuksan
          Edward Wang).
        * Disassembler improvements. (Patch by Cheuksan Edward Wang).

0.8.19.15:
Maybe speed up PCL a tiny bit more
... make the slot positioning a little less confusing, so that
the 'same' slot tends to be in the same location;
... this should help the clever DFUN mechanism to keep neat ones
like ONE-INDEX around;
... (also this puts slots in objects in the 'expected' order --
frob sb-aclrepl's dealing with the unexpected

0.8.19.14:
Merge "PCL depessimization" as in sbcl-devel 2005-02-03

0.8.19.13:
Repetitive code is the enemy of comprehension
... refactor %COERCE-CALLABLE-TO-FUN use in REDUCE and other
sequence functions into DEFINE-SEQUENCE-TRAVERSER.

Certain Aarguments to sequence functions that can be functions or
function names.  Coerce them to functions once instead of each time
they are applied (similar to an earlier enhancement of REDUCE).

0.8.19.11:
Maybe fix compile-file performance regression
... only bind restarts for output where there is a possibility
of an encoding error.  In particular, do not bind the
OUTPUT-NOTHING restart for binary IO.

0.18.19.10:
Refactor sign-extension of signed c-call return values on x86-64:
        * Also sign extend short ints (fixes bug reported by Kevin Rosenberg
          on sbcl-devel, "FFI size error in sbcl-amd64").
        * Move the sign-extension to a :naturalize-gen alien-type-method.
        * Remove signed-byte-32 ptype (used only for some sign-extension
          hacks, which have now been removed).
        * Add some tests.

0.8.19.9:
Merge patch (Teemu Kalvas "bad encoding skipper for comments"
sbcl-devel 2005-01-31)
... mcclim should compile out of the box now.

0.8.19.8:
Fix bugs in COUNT and EQUAL on bit-vectors with round lengths
(Lutz Euler 'Bug in "count" on bit-vectors' sbcl-devel 2005-01-29)
... off by one, sigh;
... tests, but FIXME: haven't tested whether the new code is
efficient.

0.8.19.7:
SET-SYNTAX-FROM-CHAR fix
... SET-SYNTAX-FROM-CHAR now copies the dispatch table if necessary.
Customizeable reader fixes (PFD SYNTAX.FOO ansi-tests)
... Better delineation between character syntax and character
constituent trait;
... rename SECONDARY-ATTRIBUTE to CONSTITUENT-TRAIT;
... renumber +char-attr-multiple-escape+ to below
+char-attr-consituent+;
... rename ESCAPE to SINGLE-ESCAPE;
... in token reader helper macros CHAR-CLASS<n>, get
CONSTITUENT-TRAIT only if the character is a constituent.

0.8.19.6:
Whitespace characters should have the (shadowed) invalid
character constituent trait.
... PFD ansi-tests

0.8.19.5:
LOAD / EXTERNAL-FORMAT interaction fix.

0.8.19.4:
COMPILE-FILE needs to deal with :EXTERNAL-FORMAT arguments.
... pass it through to OPEN.

0.8.19.3:
DELETE THE DRAGON

Implement fixed-format floating point through FLONUM-TO-DIGITS.
Essentially this means a whole heap of hairy logic in
FLONUM-TO-STRING, and the deletion of the Steele & White
Dragon algorithm.

... fixes (format nil "~@F" 1.23)
... fixes (format nil "~3F" -0.0)
... fixes (format nil "~G" 1d23)
... fixes (format nil "~E" 1d23)
... fixes bug 317
... does not fix bug 19, which I think is not a bug
... fixes all sorts of other stuff

It probably also breaks something, because test coverage of
this area is definitely patchy.

0.8.19.2:
Merge David Lichteblau patches (sbcl-devel 2005-01-1x)
... docstring for INTEGER-LENGTH;
... SHLD / SHRD disassembly.

0.8.19.1:
Merged fix from Teemu Kalvas for reading multibyte characters
across a buffer boundary ("probable bug in UTF-8 external-format
support" sbcl-devel 2005-01-23)

0.8.19:
release, tagged as sbcl_0_8_19

0.8.18.36:
* src/compiler/x86-64/insts.lisp: Add support for disassembly of
64-bit CALL instruction.

0.8.18.37:
Fix x86-64 GC error (reported by Kevin Rosenberg on sbcl-devel,
        "Regression error sbcl-amd64 with CLSQL test suite").

        * The alien stack was aligned on four byte boundaries, so the
          contents of *ALIEN-STACK*'s value slot could sometimes look
          like an (invalid) header word. Align to eight bytes instead.

0.8.18.36:
x86-64 fixes:
        * Implement arrange_return_to_lisp_function to make stack
          exhaustion detection work.
        * Fix select on fds > 32 on 64-bit platforms (patch by
          Cheuksan Edward Wang).
        * Copy apd's x86 fix for DATA-VECTOR-SET-C overflow from
          0.8.18.35.
        * Use -fPIC for building shared libraries in tests/foreign.test.sh
          on x86-64.
        * Remove i586_bzero from x86-64-assem.S.

0.8.18.35:
        * Fix overflow in DATA-VECTOR-SET-C VOPs for simple bit
          vectors on X86 (reported by Timmy Douglas).

0.8.18.34:
* src/compiler/target-disassem.lisp: Don't print spaces when
stream is nil (reported by Alexey Dejneka on sbcl-devel).

0.8.18.33:
        * When non-local lexical exits are compiled with (SAFETY 0),
          pass the unwind block without packing it into a VALUE-CELL.
          This disables checking of tag extent, but also eliminates
          one source of heap allocation in dynamic-extent closures.
        * Disable intrumenting of more-entries (bug reported by Robert
          J. Macomber).

0.8.18.32:
Fixes for Rubout and Backspace syntax (PFD ansi-tests)

0.8.18.31:
Some number-related x86-64 fixes.
* Fix backend bug in negative counts for ASH. (Patch by Lutz Euler
          on sbcl-devel, 2005-01-09). Add some more ASH tests.
        * Cargo-cult signed modular arithmetic changes from the x86
          backend.
        * Remove optimization of constant multiplication to shifts, adds
          and leas (except for the simple cases of 2^x, 3, 5, 9) from
          the x86-64 backend. It was a lot of code that's not really
          of any use on any existing x86-64 processor.
* Fix 32-bit assumptions in deftransform of word-sized RANDOM
          integers.

0.8.18.31:
Some number-related x86-64 fixes.
* Fix backend bug in negative counts for ASH. (Patch by Lutz Euler
          on sbcl-devel, 2005-01-09). Add some more ASH tests.
        * Cargo-cult signed modular arithmetic changes from the x86
          backend.
        * Remove optimization of constant multiplication to shifts, adds
          and leas (except for the simple cases of 2^x, 3, 5, 9) from
          the x86-64 backend. It was a lot of code that's not really
          of any use on any existing x86-64 processor.
* Fix 32-bit assumptions in deftransform of RANDOM for word-sized
          integers.

0.8.18.30:
One more octets bugfix from Robert Macomber

0.8.18.29:
Fix READ-FROM-STRING's second return value on displaced strings.
(PFD ansi-tests)

0.8.18.28:
Method tracing (only with :encapsulate nil)
... name functions SLOW-METHOD and FAST-METHOD (so no leakage with
CL:METHOD)
... new :METHODS boolean option for TRACE; also DWIM in TRACE for
(METHOD FOO :AROUND (INTEGER))-style names

0.8.18.27:
Merge "More octets<-> string stuff" (Robert J. Macomber sbcl-devel
2005-01-12)

0.8.18.26:
        * Generate one NLX-INFO per pair cleanup/continuation.

0.8.18.25:
Improvements to the statistical profiler.
        * Add support for x86-64.
        * Time spent in foreign functions was previously attributed to
          "elsewhere". Now reported individually for all of them, and
          "foreign function __open", "foreign function sin", etc.
        * Walk the call stack to a depth of 8 instead of relying only
          on the PC and RA from os-context-t (currently only on x86/x86-64).
          Thus instead of just knowing that a lot of time is being spent
          on (for example) bignum operations, we might find out where
  the bignum operations are being initiated.
        * Add a column for accrued time to the flat report.
        * Add kludgy workaround for invalid frame-pointers in the
          os-context-t structure causing segfaults.

0.8.18.24:
        * BACKQ-* wrappers have dynamic-extent argument lists.
        * Dereference FUNCTION designator argument of REDUCE at the
          beginning of the function.
        * Remove some FIXNUM declarations in REDUCE.

0.8.18.23:
        Manual build fixes.

        * Allow the manual to be built with an sbcl in a non-standard
          place.  This is supposed to help the autobuilder/benchmarker
          build a manual without jumping through too many hoops.
        * Add a docstring to sb-md5's md5sum-string, to make the
          manual happy again.

0.8.18.22:
        Document stack allocation of closures in the manual.

0.8.18.21:
Merge Robert J. Macomber's octets3.lisp (sbcl-devel 2005-01-06)
patch.
... use WITH-ARRAY-DATA for bounds checking and simple-array
extraction;
... implement ASCII external format (and MALFORMED-ASCII
condition);
... don't need CODE-RANGE type, we can use CHAR-CODE;
... make it compile in #!-SB-UNICODE;
... one or two other frobs.  I don't think this is in its final
form even now, but it's good enough, and...
Implement SB-MD5:MD5SUM-STRING, calling STRING-TO-OCTETS
... adjust md5-tests.lisp to use it;
... tests now pass.  Hooray.

0.8.18.20:
        * Allocate closures at the beginning of FLET/LABELS form.
        ... fix bug 125.
        * Partial support of stack allocation of dynamic-extent
          closures on x86.

0.8.18.19:
Fix a few AMD64 issues.
* Fix broken logic in SIGNED-BYTE-32-P for negative numbers
          when NOT-P is true. (Reported by Todd Sabin on sbcl-devel,
          2005-01-06).
* Correct incorrectly spelled type names in DUMP-I-VECTOR.
          (Patch by Cheuksan Edward Wang).
        * Sap-operations on floats were using broken x87 code. Replace
          with SSE. (Patch by Cheuksan Edward Wang).

0.8.18.18:
Fix for OUTPUT-NOTHING restart
... don't advance by a character if we don't output anything

0.8.18.17:
Merge Teemu Kalvas "several nice fixes to external format restarts"
sbcl-devel 2005-01-07
... not the extra exports, but some different exports instead;
... frob SIMPLE-DECODING-ERROR signature so that the octets
get reported correctly.

0.8.18.16:
CLISP build fixes
... CUT-TO-WIDTH now takes three arguments;
... *LOAD-PATHNAME* and *COMPILE-FILE-PATHNAME* aren't absolute
in CLISP, sigh.  Use -TRUENAME* variants instead.
... PRINT not PRIN1 the random state after the huge bignum, otherwise
most of the time is spent in the pretty printer formatting
the random state to column 700000000000
... bit more NEWS on the x86-64 merge.

0.8.18.15:
Fix a few problems with the AMD64 merge.
* Fix genesis of double-floats on 32-bit little-endian platforms.
        * Remove Makefile kludge for forcing shared libraries in contribs
          to use the 32-bit mode on AMD64.
        * Remove extra argument to MY-MAKE-WIRED-TN in x86-64/c-call.lisp
          (prevented using CMUCL as host, since it gives a full warning).
        * Add a NEWS entry for the new port.

0.8.18.14:
Merge x86-64-again branch onto HEAD.

Many, many, many 64-bit cleanups in code/, runtime/, compiler/,
compiler/generic/

New SAP-REF-WORD and friends.

Various fixes to the x86-64 backends (and addition of assembly/
and runtime/ files necessary).  Implementation of Unicode-related
stuff by CSR.  Signed modular arithmetic has not yet been
implemented.

A number of tests fail:
... alien.impure.lisp: enum <-> integer array conversion
... exhaust.impure.lisp: "deferred gubbins"
... float.pure.lisp: float infinities
... foreign.test.sh: "deferred gubbins"

It's possible that this merge will cause alpha32 to break in an
interesting way, probably related to undefined-alien.  Needs
debugging.  Other architectures have been tested, but of course
it's possible that something has gone wrong.

Though I (CSR) am merging this, the vast majority of the work was
done by Juho Snellman (building on Dan Barlow's initial work to
get it into executing lisp code in cold-init), with guest appearances
by Cheuksan Edward Wang and Vincent Arkesteijn.

0.8.18.13:
Merge patch from Teemu Kalvas for recovery from encoding errors
... not all recoveries seem to work currently.

0.8.18.12: fix a small bug where EVAL-IN-LEXENV wasn't evaluating the value
           of a setq assignment in any lexenv.

0.8.18.11:
Maybe fix the clisp build bug (reported by Pascal Bourguignon)

0.8.18.10:
Fix FORMATTER.COND.7 and similar;
... ~V[ uses only one argument to determine which clause (unless
the argument is NIL, of course)

0.8.18.9:
Merge a couple of patches
... a bug in 'filesys.lisp' (Artem V. Andreev);
... (coerce #c(1 2) '(complex float)) => error (Vincent Arkesteijn)

0.8.18.8:
Make METHOD and FAST-METHOD generalized function names
... some adjustments in NAMED-LAMBDAs;
... no more INTERN-FUN-NAME, yay.

0.8.18.7:
more BUGS
misc. fiddling/tidying while trying to relearn IRn guts...
...indentation systematization
...redid printers s/#<CTRAN  #1 {97EC941}>/#<CTRAN 1 {97EC941}>/
so that they look less like *PRINT-CIRCLE* bugs

0.8.18.5:
Make comments in ctor.lisp reflect the two recent fixes.

0.8.18.4:
Pass defaulted initargs, not just present initargs, to methods
on SHARED-INITIALIZE and INITIALIZE-INSTANCE in ctor.lisp
... test, both for constant and variable initforms;
... I wish I could remember who reported this bug where.

0.8.18.3:
Fix for invalid :default-initargs not being caught by ctor
... disable ctor if any default-initarg keys are invalid

0.8.18.2:
logged bugs 367a and 367b

0.8.18.1: obviously I wasn't thinking this morning. It's not 0.8.19 /yet/.

0.8.19.1: PowerPC linkage tables (darwin only for now)
   * Linkage tables are now implemented on PowerPC.
     Right now I've only enabled it on Darwin; to enable it on Linux,
 the addresses used for linkage table spaces would need to be tested.
   * Lazy foreign functions do not work correctly - the code expects the signal
     that occurs when jumping to a write-protected page to be the same as the
 signal that occurs when reading from one. On Darwin the former is SIGBUS
 and the latter is SIGSEGV; this means that the fault address testing does
 not work on Darwin.

0.8.18:
release, tagged as sbcl_0_8_18

0.8.17.31: "dlerror and a tale of woe"
    Fix two bugs relating to dlerror() in the OS X dl* shim:
      * dlerror() should return NULL when there is no error
      * dlerror() should return an error when dlsym() returns NULL
    Also, fix a call to cerror with only one argument.

    Restores support for OS X 10.2 "Jaguar":
      * Use a header file with constants for the dl* shim instead of the
        OS dlfcn.h, which doesn't exist under 10.2 and does under 10.3
      * Include a fake nl_langinfo which returns a codeset of UTF-8 unless
        neither LC_CALL or LANG are set to C. OS X uses UTF-8 everywhere, so
        this is arguably the right behavior.

0.8.17.30:
        * Merged patch for the bug 348 by Gabor Melis.

0.8.17.29:
        * Merged sbcl-0-8-17-28-signed-modular branch.

0.8.17.28:
Oops.  Undo modular fixnum arithmetic changes from 0.8.17.24.

0.8.17.27:
Improve ENUM support a little.  (VJA sbcl-devel 2004-12-09)
... SB-ALIEN enums not limited to symbols any more;
... SB-GROVEL enum grovelation;
... tests (which pass despite the current, erm, suboptimality
of arithmetic :)

0.8.17.26:
Fix from VJA (sbcl-devel 2004-12-09) for EXPORT
continue-format-control
... actually give it the arguments it needs.
... write a test that doesn't actually test for the bug, but makes
me feel better anyway.

0.8.17.25: Missing export & documentation updates
            * buglet reported by Raymond Wiker
            * typo reported by Devon McCullough
            * remove text saying LOAD-SHARED-OBJECT must be called
               before loading the definitions

0.8.17.24:
Reinstate fixnum arithmetic when possible by defining modular
  arithmetic mechanisms for (UNSIGNED-BYTE 29)
... this feels like a big, ugly hack, since the compiler is
      (presumably) smart enough to do this when modular
      arithmetic was not present;
... move some EVAL-WHEN macros into a MACROLET while we're at it;
... builds and passes tests on x86/Linux; will probably build
      properly on other platforms, but will fail tests in
      (at least) tests/arith.pure.  These test failures seem
      harmless enough and will be fixed in another revision or
      two.

0.8.17.23:
Fix for printing 1.0d+23.  Thinko in transcription, duly caught
by Raymond Toy (bug report cmucl-help 2004-12)

0.8.17.22: minor buglets & bugreports
            * Use %COERCE-NAME-TO-FUN, not FDEFINITION for
               evaluation of FUNCTION.
            * (SETF MACRO-DEFINITION) must accept NIL environments
               (reported by Kalle Olavi Niemitalo)
            * Also record a bunch of PCL/MOP bugs reported
               by Bruno Haible. Note: there are still more bugs
               reported by him on the mailing list.

0.8.17.21:
* contrib/sb-aclrepl/tests.lisp: Port forward changes from sbcl-amd64
to test bignums when sb-vm::n-word-bits is 64.

0.8.17.20:
* contrib/sb-aclrepl/inspect.lisp: Backport changes from sbcl-amd64
to handle inspection of objects on 64-bit implementations.

0.8.17.19: Late resolution for foreign symbols &co
            * If a foreign symbol is unknown, use an address on a
               protected page for it: all accesses there are trapped,
               and signal UNDEFINED-ALIEN-ERROR. (Currently the error
               doesn't reveal the name of the alien that was
               accessed.)
            * Make GET-DYNAMIC-FOREIGN-SYMBOL-ADDRESS keep track of
               both undefined aliens and dynamic foreign symbols in
               general.
            * Fix linkage-table reinitialization bug on threaded
               platforms, reported by Sean Ross.
            * Better restarts for realoding shared objects, and
               CONTINUE restarts for *save-hooks* and *init-hooks*.
            * Accurate alien warning for SAVE-LISP-AND-DIE on
               non-linkage-table platforms.

 HEALTH WARNING: Tested on x86/FreeBSD only, but "should be fine".

0.8.17.18:
Fix for a couple of Unicode-related bugs.
... KLUDGE around the non-existence of proper external-format
support in GET-DESCRIPTOR-FOR / RUN-PROGRAM;
... hideous hack in asdf-install to allow downloads of binary data
through character streams.

0.8.17.17:
Fix (UPGRADED-COMPLEX-PART-TYPE NIL) to return NIL
... fortunately we don't actually have to implement the
(COMPLEX NIL) type, unlike with arrays; one cannot create
a COMPLEX independent of its elements.

0.8.17.16:
Plaster for the (COMPLEX RATIO) PFD flesh wound
... treat (COMPLEX (AND <numeric> <hairy>+)) as the same as
(COMPLEX <numeric>)

0.8.17.15:
Fix for RANDOM compilation (report PFD sbcl-devel 2004-11-30)

0.8.17.14:
Fix "problem with TIME" issue, sbcl-devel 2004-09-16
... delete obviously stale FIXME while we're at it

0.8.17.13:
Fix FORMATTER on ~@[X~] (PFD ansi-tests)

0.8.17.12:
D'oh d'oh d'oh.  Unpatch profile.lisp which contained broken
local modifications.  Sorry.

0.8.17.11:
Fix various ~{ formatter PFD ansi-tests bugs
... one failure remains, but I'm querying it with the man himself

0.8.17.10: stricter DEFCLASS option checking
            * as reported by Bruno Haible, an error should be
              signalled if a class-option appears multiple times.

0.8.17.9: minor rollback (problems caught by the ansi-tests)
           * Don't resignal errors from macroexpansion before calling
              error. Users that care should be hooking onto
              *macroexpand-hook* and handling things there.

0.8.17.8: x86 backtraces
           * fixed bug #345: don't set the escaped flag to NIL on x86
              in COMPUTE-CALLING FRAME if we have no code from
              FIND-ESCAPED-FRAME. Add tag-bytes to undefined_tramp and
              closure_tramp on x86 like others.
           * partial fix for #61: instead of throwing no-debug-info
              conditions, return a "no debug information for frame"
              bogus-debug-fun from debug-fun-from-pc.
           * Two new BUGS entries about backtraces.
           * Tests. (debug.impure.lisp now passes on sparc as well,
              but only because one test now axxepts the XEP in lieu of
              the function on sparc and x86.

0.8.17.7:
One final s/BASE-CHAR/CHARACTER/ that slipped through the net.

0.8.17.6:
Support Solaris 10.

0.8.17.5:
Fix INCF, DECF and REMF for CLHS 5.1.3 evaluation order.

0.8.17.4: Stricter lambda list parsing
           * Order of &AUX vs. &KEY/&REST in destructuring
              lambda lists, check for multiple &optional, etc.
           * Resignal errors from macroexpansion before converting
              to COMPILED-PROGRAM-ERROR so that user code that
              wants to handle them can.

0.8.17.3:
Fix bug reported and patched by Kalle Olavi Niemitalo (sbcl-devel
2004-11-12)
... (SETF (THE (VALUES ...) (VALUES ...)) (VALUES ...)) should
work.
... also delete a bug fixed last month.

0.8.17.2: eager creation of CLOS classes for user defined structures
           * aka bug #331

0.8.17.1: reloading shared object files
           * If an object file is reloaded, call dlclose on
              the old handle, and relink using the new handle.

0.8.17:
release, tagged as sbcl_0_8_17

0.8.16.45:
made the system stop guessing whether a fooCASE normal-clause
might have been intended as an otherwise-clause (and
stop issuing STYLE-WARNINGs); this fixes an unreasonable
guess reported by Tony Martinez sbcl-devel 2004-11-09

0.8.16.44: direct-subclass update protocol bugfix
            * Fixes the issue noted by David Morse of superclasses
               direct-subclass lists not being correctly updated.

0.8.16.43: Fixes for various CLOS/MOP bugs
            * Correct canonization of DEFCLASS slot options (also move
               checking to macroexpansion time of DEFCLASS, and do
               some trivial reorganization of the defclass.lisp to
               make the diff bigger then it really is.) (reported
               by Bruno Haible)
            * (SETF FIND-CLASS) with new-value that is a
               FORWARD-REFERENCED-CLASS. (reported by Bruno Haible)
            * CLASS-PROTOTYPE signals an error if the class is not yet
               finalized; also clean up some of the class-prototype
               machinery a bit. (reported by Bruno Haible)
            * ALLOCATE-INSTANCE for BUILT-IN-CLASS now a) exists b)
               signals an error.
            * Add tests & record an as-of-yet-unfixed bug.

0.8.16.42:
Commit patch from vja (sbcl-help 2004-11-17) for unit enumerations

0.8.16.41:
        * Partial workaround for the bug 262: inline expansion of a
          local function is canceled by conversion of RETURN-FROM,
          referring a deleted CTRAN. (Fixes bug reported by Peter
          Denno on sbcl-devel.)

0.8.16.40:
Fix for "~VR" nil 5 problem (from PFD ansi-tests)

0.8.16.39:
        * Fix bug in ~^: parameter equal to NIL should mean
          "unsupplied" (found by PFD's test suite).