[Sbcl-devel] some patches

[Martin A. <ma...@at...>]

Hi,

I've ported some more patches from CMUCL to SBCL, that were mentioned
on cmucl-commit:

These are:
- Patches ported from cmucl-imp:
  - src/compiler/fndb.lisp
  Date: Sun, 9 Jul 2000 23:32:14 -0700 (PDT)
  From: Douglas Thomas Crosher <dt...@se...>

  Correct the declared return type of parse-namestring; the second
return
  value may be nil not just an index.

  - src/compiler/main.lisp & ir1opt.lisp & typetran.lisp
  Date: Wed, 9 Aug 2000 05:56:56 -0700 (PDT)
  From: Douglas Thomas Crosher <dt...@se...>

  Add the ability to delay IR1 transforms, giving type and constraint
  propagation a chance before transforming to less amiable forms.
  A transform may now choose to be delayed by calling delay-transform
  giving a reason. The two supported reasons are :optimize to delay
  until IR1 optimization has completed, and :constraint to delay until
  after constraint propagation.

  - compiler/x86/arith.lisp
   Date: Tue, 12 Sep 2000 00:36:28 -0700 (PDT)
   From: Douglas Thomas Crosher <dt...@se...>

   Add special case VOPs for logand to handle mixed signed and unsigned
   arguments which can be inlined efficiently.
 
  [This involved bumping some variables, that control, how often the
  compiler tries to reoptimize, too.]

- pcl/defs.lisp
  Date: Sun, 6 Aug 2000 12:09:50 -0700 (PDT)
  From: Douglas Thomas Crosher <dt...@se...>

  The stream class should have kernel:instance as its superclass.


Other patches:
- src/compiler/fndb.lisp
  - Disassemble does not return values, declare it as type (values).
  - Inspect returns an object, declare it as type t.
  - Dribble doesn't return a value, declare it as type (values).

- src/compiler/main.lisp
  - new macro BYTE-COMPILING-OPTIMIZE-OPTION-TEST, to test for the
    byte-compile optimization settings.

-- 
Martin Atzmueller <ma...@at...>