Planet SBCL

SBCL Commits: 1.0.29.54.rc2: two more CTOR optimization issues (Nikodemus Siivola)

Wed, 01 Jul 2009 15:13:09 GMT

1.0.29.54.rc2: two more CTOR optimization issues

* Invalid calls of the form (MAKE-INSTANCE ''QUUX) or similar reported
  hard to understand errors instead of using the NO-APPLICABLE-METHOD
  machinery. (reported by Gabor Melis)

* Runtime generation of new CTORs for the inline cache was not thread
  safe: grab *WORLD-LOCK* to ansure that (1) all CTORs end up in
  *ALL-CTORS* (2) we don't construct a CTOR with the same name twice.
  Also initialize the new CTOR with the initial constructor before
  setting its FDEFINITION: this is strictly speaking not needed given
  the lock, but more clearly correct. No test-case, as I was unable to
  actually provoke problem in real code.

[D H] NEWS
[D H] src/pcl/ctor.lisp
[D H] tests/ctor.impure.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.54.rc1: pre-release freeze start (Nikodemus Siivola)

Mon, 29 Jun 2009 07:46:49 GMT

1.0.29.54.rc1: pre-release freeze start

[D H] NEWS
[D H] version.lisp-expr

SBCL Commits: 1.0.29.54: Inline unboxed constants on x86[-64] (Paul Khuong)

Sun, 28 Jun 2009 21:37:05 GMT

1.0.29.54: Inline unboxed constants on x86[-64]

* New build-time feature: inline-constants, which specifies that SB!C
  and SB!VM implement a protocol described in base-target-features.lisp-expr.
  Backends implementing that feature are able to load constants from code
  components, in a section that follows the actual executable code.

* Implement the protocol on x86 and x86-64, and use it for float constants,
  and, on x86-64 only, mid-sized (> 2^(29-32), but still machine-sized)
  integers.

* Use the new feature in integer and float arithmetic VOPs.

* Adjust a few test cases to take newly consing situations into account.

* Clean-up:
  - New build-time feature: float-eql-vops, which disable rewriting EQL
    of single and double floats in terms of foo-float*-bits.
  - Fix a typo (unused variable lookup) in TWO-ARG-+/-

[D H] NEWS
[D H] base-target-features.lisp-expr
[D H] make-config.sh
[D H] package-data-list.lisp-expr
[D H] src/code/numbers.lisp
[D H] src/compiler/codegen.lisp
[D H] src/compiler/early-c.lisp
[D H] src/compiler/generic/vm-macs.lisp
[D H] src/compiler/generic/vm-tran.lisp
[D H] src/compiler/main.lisp
[D H] src/compiler/x86-64/arith.lisp
[D H] src/compiler/x86-64/float.lisp
[D H] src/compiler/x86-64/insts.lisp
[D H] src/compiler/x86-64/vm.lisp
[D H] src/compiler/x86/float.lisp
[D H] src/compiler/x86/insts.lisp
[D H] src/compiler/x86/vm.lisp
[D H] tests/arith.pure.lisp
[D H] tests/compiler.impure.lisp
[D H] tests/dynamic-extent.impure.lisp
[D H] tests/float.pure.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.53: ...really this time... (Nikodemus Siivola)

Sun, 28 Jun 2009 21:21:04 GMT

1.0.29.53: ...really this time...

 (Missed version.lisp-expr and tests/compiler-test-util.lisp)

[D H] tests/compiler-test-util.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.53: some LOAD-TIME-VALUE smartness (Nikodemus Siivola)

Sun, 28 Jun 2009 21:18:44 GMT

1.0.29.53: some LOAD-TIME-VALUE smartness

* Implicit READ-ONLY-P for obviously immutable values.

* Annotate the result with a derived type -- in practice
  the obvious declarared type of the function, if any.

* In the test suite organize compiler tests a bit:

  ** compiler-test-util.lisp has some general-purpose
     tools for determining if the compiled code passes muster.

  ** Move some pure tests from compiler.impure.lisp to the pure
     file: they were in the impure file because they defined
     utils which are now in the COMPILER-TEST-UTIL (aka CUA)
     package.

[D H] NEWS
[D H] src/compiler/ltv.lisp
[D H] tests/compiler.impure-cload.lisp
[D H] tests/compiler.impure.lisp
[D H] tests/compiler.pure.lisp
[D H] tests/ctor.impure.lisp

SBCL Commits: 1.0.29.52: small UCD optimizations and related cleanups (Nikodemus Siivola)

Sun, 28 Jun 2009 14:45:38 GMT

1.0.29.52: small UCD optimizations and related cleanups

* Fix "optimization failure with anything using
  SB-IMPL::UCD-GENERAL-CATEGORY" reported by Lynn Quam
  (https://bugs.launchpad.net/sbcl/+bug/392206) and related
  performance issues.

  ** Declare returns types of UCD accessors where it seems to matter.

  ** Make the character database a global variable, not special.

* Delete stale header comments from target-char.lisp: not just ASCII
  for quite a while now.

* Delete references to fonts and bits from docstrings everywhere but
  in CHAR-INT and canonicalize docstring indentation.

(The patch is a bit noisy because moving the definition of the
character database inside the macrolet messed up a whole bunch of
indentation -- sorry about that.)

[D H] NEWS
[D H] src/code/target-char.lisp
[D H] tests/compiler.pure.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.51: correctly compute default initargs for FAST-MAKE-INSTANCE (Nikodemus Siivola)

Sun, 28 Jun 2009 10:55:52 GMT

1.0.29.51: correctly compute default initargs for FAST-MAKE-INSTANCE

* Ooops, can't use DEFAULT-INITARGS, since calling it executes the
  initforms. Define and use CTOR-DEFAULT-INITARGS.

* A better test-case.

* Reported by Leslie P. Polzer.

[D H] src/pcl/ctor.lisp
[D H] tests/ctor.impure.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.50: update ASDF (Nikodemus Siivola)

Sat, 27 Jun 2009 09:28:16 GMT

1.0.29.50: update ASDF

* Not from cclan anymore, but http://common-lisp.net/project/asdf/asdf.git

[D H] contrib/asdf/LICENSE
[D H] contrib/asdf/Makefile
[D H] contrib/asdf/README.SBCL
[D H] contrib/asdf/asdf.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.49: silence compiler note for type-checks from MAKE-INSTANCE in safe code (Nikodemus Siivola)

Sat, 27 Jun 2009 09:02:04 GMT

1.0.29.49: silence compiler note for type-checks from MAKE-INSTANCE in safe code

* Reported by Samium Gromoff.

[D H] NEWS
[D H] src/pcl/ctor.lisp
[D H] tests/ctor.impure.lisp
[D H] version.lisp-expr

SBCL Commits: 1.0.29.48: compute default initargs for SB-PCL::FAST-MAKE-INSTANCE (Nikodemus Siivola)

Fri, 26 Jun 2009 20:45:04 GMT

1.0.29.48: compute default initargs for SB-PCL::FAST-MAKE-INSTANCE

* Reported by Lars Rune Nøstdal.

* SB-PCL::DEFAULT-INITARGS doesn't have to be a generic function.

* Test-case.

[D H] NEWS
[D H] src/pcl/ctor.lisp
[D H] src/pcl/generic-functions.lisp
[D H] src/pcl/init.lisp
[D H] src/pcl/time.lisp
[D H] tests/ctor.impure.lisp
[D H] version.lisp-expr