implement CEILING and FLOOR in terms of %CEILING and %FLOOR

  This allows transforms specific to CEILING and FLOOR fire first.

  If they fail, the fallback transforms to %CEILING or %FLOOR,
  respectively.

  They in turn are inlined, allowing the transforms for TRUNCATE
  to pick up the slack.

  This allows the new division -> multiplication transforms to fire
  for CEILING and FLOOR when SPACE > 1.

rename %FLOOR to %BIGFLOOR

Optimize integer division by a constant in several cases.

Convert integer division by a constant into multiplication to gain
a large speedup as the machine instructions for multiplication are
typically executed much faster than those for division.

This is implemented using a deftransform on TRUNCATE that triggers
if the dividend is known to fit in an unsigned machine word and if
the divisor is a constant, also fitting in an unsigned machine word.
(The cases that are optimized by other existing transforms, for example
if the divisor is a power of two, are left to these transforms.)

The replacement code is based on a widening multiply (that is already
available as bignum calculations need it) and possibly some shifts and
an addition to calculate the quotient. If the remainder is needed,
additionally a (normal) multiplication and a subtraction are generated.

As several other integer division operations are implemented using
TRUNCATE, this also affects CEILING, FLOOR, MOD and REM with the same
argument types. CEILING and FLOOR, however, are optimized only when
SAFETY=0 since they are declared MAYBE-INLINE.

export MOST-POSITIVE-WORD from SB-EXT

  We need it internally anyways, and since we export the WORD type, we
  might just as well export the constant too.

skip interrupted-syscall test on unthreaded builds

  ...and rename it backtrace-interrupted-condition-wait.

  Duh.

sb-bsd-sockets: add support for Linux TCP keep alive options

Correct function argument name generation in DEF-MATH-RTN

Argument names of math functions defined using DEF-MATH-RTN now really
start with "ARG0". Kills a style warning during build and slightly
reduces the number of symbols in the SB-KERNEL package.

Remove the redundant bootstrap hack from %COMPILER-DEFTYPE

move checking for constant ALIEN-INFO into a separate function

  Introducing CONSTANT-ALIEN-INFO-OR-ABORT.

fix short writes when not using SERVE-EVENT

  Regression since 1.0.42.43, lp#820599.

  Thanks to Robert Brown.

  If we remain in the loop, we need to update the local HEAD
  variable in the event of a short write.

  NOTE: No test case yet, as this is dependant on the size of kernel
  buffers, and trying to catch the short-write -case is tricky.

Fix version string parsing for Linux 3.0

 Stop assuming the presence of minor and patch version numbers; missing
 values are defaulted to 0 (e.g. 3.0.0).

 Reported by a few people on IRC.

Fix disassembly of CMP[PS][SD] instructions on x86-64

The relevant instruction formats wrongly defined a fixed position for
the immediate byte which broke disassembly when a memory argument was
used.

Fix this by using a prefilter to read the immediate like most other
instructions do.

Refactor for more OAOO-ness: Drop the instruction formats that were
used only for these comparison instructions; instead use others that
are nearly identical. This forces more copy-and-paste in the printer
definitions, so instead abstract the generation of printer lists for
SSE instructions into a separate function and use that here.

Add tests.

Fixes lp#814702.

Patch by Lutz Euler.

more robust backtraces for syscalls on x86

 * new optimization policy: ALIEN-FUNCALL-SAVES-FP-AND-PC Set to 3 for
   self-build on x86 to get reliable more backtraces there, and 0 for
   other platforms. (1 matches the old SPEED <= DEBUG behaviour.)

 * When using a saved FP, and an interrupt context has a bogus
   FP, assume it is an interrupted syscall frame.

add -fno-omit-frame-pointer to x86 builds

  GCC >= 4.6 omits it by default, leading to broken backtraces.

make SBCL_ARCH=x86 build work on 64-bit linux without chroot

 (Assuming all the compatibility libs, etc, have been installed.)

fixed-format floating point printing: zero and scaling factors

  Now that FLONUM-TO-DIGITS handles zero, we need to check against
  zero before adding in the scaling factor.

  Also make sure not to print extra digits when E is negative.

  Adjust FORMAT-AUX-EXP to not print the extra-zero: FLONUM-TO-STRING
  provides it now.

  Fixes lp#811386.

add missing bug number to NEWS for 816564

 EOM

obsolete instance protocol and class-slots

  UPDATE-INSTANCE-FOR-REDEFINED-CLASS needs to be called when
  the set of class-slots changes.

  ...we /tried/ to do that, but embarrasingly

   (LOOP FOR X IN LIST1
         FOR Y IN LIST2
         ALWAYS ...)

  returns T if either list has elements missing from the other in the
  tail as the iteration terminates when list runs out. Oops.

Have the float.pure.lisp / RANGE-REDUCTION test fail on all x86-64.

It was already marked as failing on Linux, Darwin and Solaris; rather
than add OpenBSD to that list I'm going ahead and assuming that it
fails on FreeBSD and NetBSD too.

Also add a generated header file to .gitignore.

Fix xref for (setf name) names.

Use EQUAL instead of EQL when comparing names.

make sure LVAR-EXTERNALLY-CHECKABLE-TYPE always returns a type

  Fixes bug reported by Eric Marsden on sbcl-devel.

fix COERCE to unfinalized extended sequence classes

Just before we're about to create an object, finalize the class if it
isn't already finalized, so that we can get at the class prototype.

Minor tweak for Solaris /bin/sh compatibility.

Correct RIP-relative offset for strange x86-64 instructions

 CMP[PS][SD] and shuffle instructions have extra noise *after* the
 reg/mem operand.  Take that into account when emitting RIP-relative
 EAs.

 Their disassembler definition is still broken.

 Fixes lp#814688, reported by Eric Marsden on sbcl-devel.

1.0.50: will be tagged as "sbcl-1.0.50"

Fix generate_version.sh for release tarballs

Fix a non-gencgc build failure in UNSAFE-CLEAR-ROOTS

 Introduced in 4084b6b9 (armload of DEFINE-HASH-CACHE changes).

Small cleanups

 * Wrap some asserts with with-test in defstruct.impure.lisp

 * Remove two unused variables in remap_free_pages.

 * Fix the allocation region size estimate in sb-sprof.

More conservative defaults in GENCGC

 * Set GENCGC-ALLOC-GRANULARITY to 0, and thus fully disable the minimal
   allocation size logic by default.

 * Explicitly zero out pages that fall outside GENCGC-RELEASE-GRANULARITY,
   instead of leaving them dirty, when releasing address space.

 * Set large_object_size to 4 * MAX(PAGE_SIZE, GENCGC_ALLOC_GRANULARITY,
   GENCGC_RELEASE_GRANULARITY).

 * I'm getting very strange failures in some branches that I can't replicate
   on master, but let's be extra careful for now.

Fix the build - gencgc broken since 1.0.49.73 (4 commits ago)

 Sloppy merge.

teach debugger about &MORE arguments

  LIST-LOCALS displays SB-DEBUG::MORE = (...list of more args...)
  in addition to the more-context and count.

  EVAL-IN-FRAME bindss SB-DEBUG::MORE when appropriate.

inhibit &REST -> &MORE conversion when DEBUG is 3

  Explicitly inhibit in BREAK.

Allocate at least gencgc_alloc_granularity bytes at a time, if possible

 * While we have large cards, it doesn't really matter, but tuning that
   might help some applications that cons a lot of medium-sized objects.

 * Defaults to GENCGC_ALLOC_GRANULARITY, and should always be a multiple
   of GENCGC_CARD_BYTES.

 * GENCGC_ALLOC_GRANULARITY defaults to BACKEND_PAGE_BYTES, so this patch
   is a no-op.

Release address space to the OS at gencgc_release_granularity

 * Some platforms perform better on large, aligned mmap/munmap calls.
   The GC will only perform such calls in chunks of
   gencgc_release_granularity bytes, aligned at that many bytes.

 * gencgc_release_granularity defaults to GENCGC_RELEASE_GRANULARITY,
   and should always be a power of 2, as well as a multiple of the OS
   page size and of GENCGC_CARD_BYTES.

 * GENCGC_RELEASE_GRANULARITY defaults to BACKEND_PAGE_BYTES, making
   this patch a no-op.

 * Also, fix an assumption that BACKEND_PAGE_BYTES = 1024*sizeof(long)
   in a safety check in gc_free_heap.

Split GENCGC_PAGE_BYTES in 3 constants

 * We still have BACKEND_PAGE_BYTES, which should be a conservative
   over-approximation of the OS's page size.

 * GENCGC_PAGE_BYTES is mostly replaced by GENCGC_CARD_BYTES, the
   byte granularity at which we track writes to old generations.
   While we're using mprotect-based write barriers, this should be
   a multiple of BACKEND_PAGE_BYTES.

 * GENCGC_ALLOC_GRANULARITY is the minimum size we attempt to make
   each allocation region.  Should be a multiple of GENCGC_CARD_BYTES.
   While we have largeish cards, this shouldn't ever be an issue, but
   it might if we ever go down to < 1k cards.

 * GENCGC_RELEASE_GRANULARITY is the minimum size at which we release
   address space to the OS.  This should always be a multiple of
   BACKEND_PAGE_BYTES.

 * For now, all three new constants are equal to BACKEND_PAGE_BYTES.

Lazier zero_dirty_pages in gencgc

 Upon allocation, only zero out pages that haven't already been cleared.

Differentiate between object slot initialisation and mutation

 INIT-SLOT and SET-SLOT VOPs do the same thing on every platform for
 now.

Fix an off-by-one in MAP-ALLOCATED-OBJECTS

 The bug would be extremely hard to tickle with current gencgc, but
 that's going to change soon.

restarts for PRINT-NOT-READABLE errors

Two restarts: USE-VALUE, to provide a value to be printed instead
(under the same printer control variable bindings), and
SB-EXT:PRINT-UNDREADABLY, printing the same object but with
*PRINT-READABLY* bound to NIL.  Only minimally tested, but should
meet requirements for lp#801255.

export SIZE-T and OFF-T from SB-ALIEN

  They're pretty common interface types.

fix bogus test in arith.pure.lisp

  Didn't actually call the slow-path at all.  Thanks to Lutz Euler for the
  heads-up.

Get alignment right for block headers on x86-64, this time

 We want to align the code in the block, not the trampoline that
 leads to the block.  In theory, we could take the trampoline into
 account when inserting alignment, but really?

Microoptimisation for block headers on x86-64

 Only emit a jmp over the header if a predecessor falls through to
 the current block, and it there is a trampoline.  Otherwise, it's
 not worth the cost of a branch to skip a few NOPs.

Let register allocation handle unused TNs due to constant folding

 Type-directed constant folding can leave lambda-vars that are neither dead
 nor read from or written to.  Ideally, it seems like we should make sure to
 transform those into REF to CONSTANTs, but the optimisation doesn't seem
 guaranteed to fire.  It looks like the TN could simply not be allocated
 in ASSIGN-LAMBDA-VAR-TNS, but I'm not sure how to test for that situation
 ahead of time yet.

 Kludges over lp#729765.

Unboxed implicit value cells on x86[-64]

 Implicit value cells are used for bindings that are only closed
 over by dynamic-extent functions.

 The logic would have to be somewhat modified on platforms with
 NFP.  As is, only implement support for unboxed implicit value
 cells on x86oids (for signed and unsigned words, SAPs and float
 reals and complexes).

Compiler support for specialised implicit value cells

 Enables the use of non-T stack TNs for closed-over dynamic-extent variables.

 SB!VM:PRIMITIVE-TYPE-INDIRECT-CELL-TYPE takes a primitive-type and returns
 NIL, or a list of 4 values:
  - the primitive type of the implicit indirect value cell
  - the SC of that cell
  - a function that takes the NODE, BLOCK, FP, VALUE and RESULT, and
    emits a reference to that cell.
  - a function that takes the NODE, BLOCK, FP, NEW-VALUE and VALUE, and
    emits a write to that cell.

 Some correctness tests to make sure codegen is correct (without verifying
 DXness).

Restore the build on x86

 Bad copy-pasta in 293488f3.

Inline local call trampolines on x86[-64]

 Allow the insertion of code before entry to blocks from
 drop0throughs, jumps, and calls.  Used on x86oids to insert
 the code to move return addresses to the right location
 on local calls without trampolines.

Faster MAP[-INTO] when (> SPEED SPACE)

 Expand into WITH-ARRAY-DATA for non-simple vectors in such cases,
 and avoid hairy vector accesses.

 Also make sure to exploit that in conset code.

More constraint propagation in the presence of assignment

 When SPEED = 3 > COMPILATION-SPEED, propagate type in code
 like (cond ((eql (the fixnum x) y) (setf x 42) y) ...).

Less constraint propagation when COMPILATION-SPEED > SPEED

 Propagate much fewer EQL constraints, and propagate fewer constraints
 to EQL variables.  Can results in a few orders of magnitude speed ups
 in compilation times.

More explicit high-level interface for consets

 Strictly no performance or behaviour difference, but it may be
 helpful to understand constraint propagation or even improve it.

Faster iteration through a variable's constraints during constraint propagation

 Store indices of constraints by usage.  Practically eliminates the dependence
 on conset intersection/iteration performance.  Improves compilation speeds,
 especially for large functions.

 Also improves lp#792363 and lp#394206.

Smarter FIND-CONSTRAINT during constraint propagation

 Use hash tables instead of pure linear search for hash
 consing of constraints. Significantly reduces the pressure
 on conset iteration performance, and improves compilation
 speed of large functions.

 Improves lp#792363 and lp#394206.

RUN-PROGRAM: apply the external-format to the PTY stream as well

build: tweak generate-version.sh to work with older Git

  Pre-1.7.2 Gits are pretty common out in the wild, so use wc -l to
  get the revision counts instead of rev-list --count.

  This has been verified to work with at least Git v1.6.0.2.

rename STYLE to HACKING

  Also update a bit for the brave new Git-only world.

whitespace in tests

add &KEY SILENT to PARSE-LAMBDA-LIST

  Passed through to PARSE-LAMBDA-LIST-LIKE, used by %SPLIT-ARGLIST in PCL.

  Prior to this GENERIC-FUNCTION-PRETTY-ARGLIST on functions with both
  &OPTIONAL and &KEY arguments caused a style-warning -- and inquiring about
  the lambda-list isn't the right time for that.

Convert remaining tests in debug.impure.lisp to use with-test.

tests and NEWS for lp#308961

  Also add a random FP read/print consistency tester.

  For now it skips denormalized double-floats due to bug 793774.

FORMAT-AUX-EXP: adjust scale if scale-exponent return 1.0

 lp#308961, part 2.

 FORMAT-EXP-AUX scales a number such that it will have K digits before of the
 decimal point. This relies on scale-exponent.

  (format nil "~E" 0.1) ; => "1.e-1"

  0: (FORMAT-EXP-AUX #<SB-IMPL::STRING-OUTPUT-STREAM {AFE5DE9}> 0.1 NIL NIL
                     NIL 1 NIL #\ NIL NIL)
    1: (SB-IMPL::SCALE-EXPONENT 0.1)
    1: SB-IMPL::SCALE-EXPONENT returned 0.1 0
  0: FORMAT-EXP-AUX returned "1"

 0.1 is 0.1 * 10^0 according to scale-exponent. Then, it is multiplied by 10^K
 before printing. Everything works out fine.

 However!

  (format nil "~E" 0.01) ; => "10.e-3" ... oops

  0: (FORMAT-EXP-AUX #<SB-IMPL::STRING-OUTPUT-STREAM {AA744C1}> 0.01 NIL NIL
                     NIL 1 NIL #\ NIL NIL)
    1: (SB-IMPL::SCALE-EXPONENT 0.01)
    1: SB-IMPL::SCALE-EXPONENT returned 1.0 -2
  0: FORMAT-EXP-AUX returned "2"

 In this example, scale-exponent returns 1.0 and -2, meaning 0.01 = 1.0 *
 10^-2. Again, format-aux-exp multiply it by 10^K. But as 1.0 has a digit
 before of the decimal point, the result will have K+1 digits.

 This is due to format-exp-aux assumed the returned value will be lesser to
 1.0. In order to fix this, we decrement K when scale-exponent return 1.0 as
 primary value.

FLONUM-TO-DIGITS handles non-negative input properly

 lp#308961, part 1.

 SBCL has an extended version of the Burger & Dybwig fp printer, which
 supports rounding.

 It did not however support zero -- but in eg.

   (format nil "~,1F" 0.001)

 0.001 is rounded to zero, which leads FLONUM-TO-DIGITS giving us one zero too
 many. Ie. it should be

    => "0.0"

 but prior to this we got "0.00" instead.

 This patch removes the special casing for 0, and instead tests that the lower
 limit of the interval (- r m-) is positive in order not to generate extra
 zeros.

Specialised constant MAKE-{SINGLE,DOUBLE}-FLOAT VOPs on x86 as well

These only trigger when the float to construct is a NaN, so very
marginal, and it doesn't seem worth the trouble on all the other
platforms (that don't support inline constants yet).

more NEWS

robustify DIRECTORY on logical pathnames

  PATHNAME-INTERSECTIONS used to return pathnames with name or type
  NIL if there was a mismatch -- but it should not return any
  pathnames at all for a mismatch.

Fix #!- vs #- confusion in number's singleton-p type method

Avoid constant folding NaNs from MAKE-{SINGLE,DOUBLE}-FLOAT

Perform it in a specialised transform that checks for NaNs, and
add VOPs for constant arguments to avoid any slowdown.

Fixes lp#486812.

Improve SINGLE-FLOAT-BITS on x86-64

 Avoid narrow-store-to-wide-load hazards, and generally emit sane
MOVSXD for sign extension.

 Fixes lp#555201.

Fix a corner case in RUN-PROGRAM with very long argument strings

 Argument string of length on the order of MOST-POSITIVE-FIXNUM
 could lead to severe crashes.

 I don't know why we bothered declaring FIXNUMs in RUN-PROGRAM.

 Also, play with the null termination code a bit, but, really,
 such long strings will only end up failing in the OS.

 Fixes lp#787237

MAKE-THREAD accepts :ARGUMENTS to pass to the thread function

 The additional keyword argument should be a lsit designator

 Based on a patch by Roman Marynchak.

 Fixes lp#727384.

FMAKUNBOUND removes the MACRO-FUNCTION as well

  Fixes lp#795705.

&optional and &key supplied-p arguments in boa-constuctors

  ...can be used to initialize structure slots.

Reorder description of info file installs to work around limited SunOS echo

Scratches a long-standing itch, but not really necessary (result is purely
aesthetic).

mention SB-INTROSPECT's improved handling of structure copiers in NEWS

export *USERINIT-PATHNAME-FUNCTION* and *SYSINIT-PATHNAME-FUNCTION*

  I have no idea why I didn't do that in the first place.

git: that terminal output? make it mention the correct revision

 *sigh*

git: more terminal output from post-receive-email script

git: revered merge detection logic in post-receive-email script

  How hard can this be?

sb-introspect: test-cases for defstruct copier, predicate, and accessor sources

 Feh. There were tests for even the cases that have worked for quite a while
 now.

sb-introspect: source locations for structure copiers

  Closely paralleling the existing hacks for structure accessors
  and copiers.

robustify debugger against bogus lambda-lists

  If we don't find a list where we expect a rest-list to be,
  substitute a dummy unprintable object.

  Provides a workaround for lp#795245.

RANGE-REDUCTION also fails-on sunos x86-64.

sb-posix: make SYSCALL-ERROR's argument optional

  The symbol is exported, and adding a required argument to the call broke
  backwards compatibility.

  Oops.

git: adjust whitespace in commit emails

  Kill the extra empty line.

git: post-receive-email hook again

  Check all revisions from new to old for merges, not just the topmost.

git: update hook, fix post-receive-email

 Add an update hook that prevents merge commits on master.

 Fix the post-receive-email script to work properly with merge commits --
 don't try to report pushes of merges with one email per commit.

 (Since we deny non-fast-forwards, we pretty much need to allow merges on
 other branches, or give up keeping them in the main repo.)

Fix thinko in one of the Solaris-compat changes in last commit.

Merge branch 'master' of ssh://sbcl.git.sourceforge.net/gitroot/sbcl/sbcl

Tweak to work with SunOS /bin/sh.

armload of DEFINE-HASH-CACHE changes

 * To clear a cache, drop the entire vector instead of filling it with
   NILs: thread safe, less work, and doesn't add dirty pages to old
   generations.

   Entering a value after the cache has been dropped allocates a new
   one.

   Caches are now initialized with 0 instead of NIL -- faster to
   allocate.

 * Use DEFGLOBAL instead of DEFVAR.

 * SAVE-LISP-AND-DIE drops all caches.

 * UNSAFE-CLEAR-ROOTS drops caches depending on the depth of the
   collection: nursery collection keeps all caches, gen 1 collection
   drops the CTYPE-OF cache, gen 2 and deeper collections drop all
   caches.

minor bug in type= method for arrays of unknown element type

 If the type has been specified since our last encounter with it,
 reparsing the previously unknown type specifier can result in TYPE=
 saying NIL, T.

 Hard to provoke without dipping into internals, so no NEWS entry.

more conservative bounds in FP interval arithmetic

 Make BOUND-BINOP return closed intervals when floating
 point rounding can cause an open bound to close.

 Consider:

  ;; Can return zero.
  (defun fii (x)
    (declare (type (single-float (0.0)) x))
    (/ x 2.0))

  ;; Can return 2.0.
  (defun fii (x y)
    (declare (type (single-float 2.0) x)
             (type (single-float (0.0)) y))
    (+ x y))

mark RANGE-REDUCTION test as failing on x86-64 Linux and Darwin

  Maybe others too?

fix whitespace in tests

missing NEWS entry for REMOVE-FD-HANDLER restart

Convert to with-test throughout.

While here, on SunOS x86-64 disable three tests which currently dump core.

With this, SunOS (x86-64 and x86) has no more tests which crash but are not
marked broken.

Run start-test earlier in with-test.

This way, if we bail on a test early because it is disabled, we've still
counted the test and recorded the source file.

Without this, if the first test in a file was disabled, it would be recorded
with the previous source file.

Tweak to work with SunOS 10's ancient sh implementation.

Rework test infrastructure to keep track of tests which are disabled
on the platform/feature combination being tested, and to differentiate
between tests disabled because the test is broken in some way, and those
skipped because the platform in question is broken in some way (or the test
is irrelevant for the given feature set).

This takes the form of two new keywords to WITH-TEST -- :BROKEN-ON, which
notes that the test itself is broken for a given feature expression, or
:SKIPPED-ON, which skips a test for a given feature expression.  This
information is noted at the end of a test run like so:

  Finished running tests.
  Status:
   Skipped (broken):    debug.impure.lisp / (TRACE ENCAPSULATE NIL)
   Skipped (broken):    debug.impure.lisp / (TRACE-RECURSIVE ENCAPSULATE NIL)
   Expected failure:    packages.impure.lisp / USE-PACKAGE-CONFLICT-SET
   Expected failure:    packages.impure.lisp / IMPORT-SINGLE-CONFLICT
   (38 tests skipped for this combination of platform and features)
  ok
  //apparent success (reached end of run-tests.sh normally)
  Thu Jun  2 15:59:31 EDT 2011

Note that there is no :WORKS-ON or :ENABLED-ON, even though many of the
read-time conditionals this replaced were for a given feature instead of for
its absence -- you can still do, eg:

  (with-test (:name foo :broken-on '(not :x86)) ...)

but such declarations are almost always too general (one exception being
`:skipped-on '(not :sb-thread)'), and IMO, should be discouraged.

While here, re-enable a bunch of tests previously skipped on Solaris which
now work.