/[cmucl]/src/compiler/array-tran.lisp
ViewVC logotype

Log of /src/compiler/array-tran.lisp

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Links to RELEASE_18d: (view) (annotate)
Sticky Tag:

Revision 1.19.2.4 - (view) (annotate) - [select for diffs]
Sun Jul 9 14:03:12 2000 UTC (13 years, 9 months ago) by dtc
Branch: RELENG_18
CVS Tags: RELEASE_18c, RELEASE_18d
Changes since 1.19.2.3: +4 -3 lines
Diff to previous 1.19.2.3 , to branch point 1.19 , to next main 1.45
Reworking of the values-type system to overcome a number of inconsistencies
causing problems:

o Redefine coerce-to-values to convert a single value type into (values type),
  rather than the former definition (values type &rest t). A single value
  type such as fixnum is now equivalent to (values fixnum).

o Now when the compiler makes assertions for the first value of
  continuations that may be generating multiple values it asserts the
  type as (values type &rest t), or as (value &optional type &rest t) if
  it is not sure that the continuation does generate a value.

o Enhance the type check generation to better handle the now common
  values types with optional and rest arguments. Add the new function
  Values-types-asserted which converts asserted optional and rest
  arguments to required arguments that have been proven to be delivered,
  Thus an assertion such as (values &optional fixnum &rest t) will
  generate a fixnum type check if the proven type if (values t).

o The compiler is now far more likely to pickup attempts to use an
  assertion to select a subset of values. For example
  (the (values fixnum) (values x y)) will generated a compiler warning.

o Update single values type assertions where appropriate to clarify that
  the received values may be optional or that multiple values may be
  received. For example, a macro argument which had been asserted to be
  a list via (the list ,...) would now be asserted to be
  (the (values &optional list &rest t)) etc.

o Have the IR1 translator for THE convert single value types into
  (values &optional type &rest t) so that code such as
  (the fixnum (values x y)) will still work acceptably. This does not
  restrict the possible type assertions as the values types may be used
  and are not modified.

Revision 1.19.2.3 - (view) (annotate) - [select for diffs]
Tue May 23 16:36:59 2000 UTC (13 years, 10 months ago) by pw
Branch: RELENG_18
Changes since 1.19.2.2: +10 -10 lines
Diff to previous 1.19.2.2 , to branch point 1.19
This set of revisions brings the RELENG_18 branch up to HEAD in preparation
for an 18c release.

Revision 1.19.2.2 - (view) (annotate) - [select for diffs]
Tue Jun 23 11:22:41 1998 UTC (15 years, 9 months ago) by pw
Branch: RELENG_18
CVS Tags: RELEASE_18b
Changes since 1.19.2.1: +46 -16 lines
Diff to previous 1.19.2.1 , to branch point 1.19
This (huge) revision brings the RELENG_18 branch up to the current HEAD.
Note code/unix-glib2.lisp not yet included -- not sure it is ready to go.

Revision 1.19.2.1 - (view) (annotate) - [select for diffs]
Tue Sep 9 01:45:35 1997 UTC (16 years, 7 months ago) by dtc
Branch: RELENG_18
CVS Tags: RELEASE_18a
Changes since 1.19: +21 -1 lines
Diff to previous 1.19
Merge from 1.20: array-header-p transform.

Revision 1.19 - (view) (annotate) - [select for diffs]
Tue Apr 1 19:23:56 1997 UTC (17 years ago) by dtc
Branch: MAIN
Branch point for: RELENG_18
Changes since 1.18: +5 -1 lines
Diff to previous 1.18
Support for some specialised signed array types: (signed-byte 8),
(signed-byte 16), (signed-byte 30), (signed-byte 32).  These patches
include the general support and the x86 backend support; more to
follow. The important changes are conditional on the :signed-array
feature so shouldn't affect the source without this feature. This work
has been driven by Raymond Toy.

Revision 1.18 - (view) (annotate) - [select for diffs]
Mon Oct 31 04:27:28 1994 UTC (19 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.17: +1 -3 lines
Diff to previous 1.17
Fix headed boilerplate.

Revision 1.17 - (view) (annotate) - [select for diffs]
Wed Aug 25 00:14:32 1993 UTC (20 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.16: +2 -2 lines
Diff to previous 1.16
Fix compiler warnings.

Revision 1.16 - (view) (annotate) - [select for diffs]
Wed May 12 11:10:18 1993 UTC (20 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.15: +5 -5 lines
Diff to previous 1.15
Changed *byte-compiling* to (byte-compiling), since during IR1 conversion we're
not sure yet.

Revision 1.15 - (view) (annotate) - [select for diffs]
Tue May 11 13:49:57 1993 UTC (20 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.14: +25 -16 lines
Diff to previous 1.14
Update transforms to inhibit ones which pessimize byte code.

Revision 1.14 - (view) (annotate) - [select for diffs]
Tue Nov 12 14:14:14 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.13: +3 -5 lines
Diff to previous 1.13
Quoted arg/result types in :EVAL-NAME DEFTRANSFORMs.

Revision 1.13 - (view) (annotate) - [select for diffs]
Sat Nov 9 18:57:19 1991 UTC (22 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.12: +3 -3 lines
Diff to previous 1.12
When converting MAKE-STRING into a MAKE-ARRAY, wrap the length with (the
index ...) so that MAKE-ARRAY can tell that it's a vector.

Revision 1.12 - (view) (annotate) - [select for diffs]
Sat Nov 9 02:42:34 1991 UTC (22 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.11: +4 -4 lines
Diff to previous 1.11
Changed BASE-CHARACTER to BASE-CHAR

Revision 1.11 - (view) (annotate) - [select for diffs]
Wed Jun 5 10:58:50 1991 UTC (22 years, 10 months ago) by wlott
Branch: MAIN
Branch point for: patch_15
Changes since 1.10: +22 -21 lines
Diff to previous 1.10
Fixed the make-array derive type optimizer to only spec the dimensions
if the created array is known to be simple.  Otherwise, someone might
adjust it, which would cause the type to be wrong.

Revision 1.10 - (view) (annotate) - [select for diffs]
Wed Apr 24 23:51:00 1991 UTC (22 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.9: +17 -2 lines
Diff to previous 1.9
Added derive-type method for %WITH-ARRAY-DATA

Revision 1.9 - (view) (annotate) - [select for diffs]
Wed Feb 20 14:56:29 1991 UTC (23 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.8: +9 -5 lines
Diff to previous 1.8
New file header with RCS stuff.

Revision 1.8 - (view) (annotate) - [select for diffs]
Mon Jan 14 10:52:45 1991 UTC (23 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.7: +2 -2 lines
Diff to previous 1.7
Fixed bit-array canonicalizing for the T case to have the right type.

Revision 1.7 - (view) (annotate) - [select for diffs]
Sun Jan 13 23:08:25 1991 UTC (23 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.6: +49 -1 lines
Diff to previous 1.6
Added transforms to canonicalize the result arg to bit-vector ops.
Added transform for VECTOR-LENGTH that returns the constant result
when the type has specified dimensions.

Revision 1.6 - (view) (annotate) - [select for diffs]
Fri Nov 23 16:21:05 1990 UTC (23 years, 4 months ago) by wlott
Branch: MAIN
Changes since 1.5: +14 -14 lines
Diff to previous 1.5
Changed the make-array transform to simplify the nwords computation as
much as possible instead of relying on (nonexistent) optimizers to simpilfy
it later down the line.  Also fixed a spelling error.

Revision 1.5 - (view) (annotate) - [select for diffs]
Fri Nov 16 06:01:07 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4
The make-string source transform was quoting the initial element, even if
it wasn't a constant.  Ooops.

Revision 1.4 - (view) (annotate) - [select for diffs]
Tue Nov 13 06:16:57 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.3: +2 -2 lines
Diff to previous 1.3
Forgot to call length on the indices &rest arg in the aref derive-type
optimizer.

Revision 1.3 - (view) (annotate) - [select for diffs]
Sat Nov 10 19:39:06 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.2: +4 -4 lines
Diff to previous 1.2
Ack, more typos.

Revision 1.2 - (view) (annotate) - [select for diffs]
Sat Nov 10 19:20:54 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.1: +8 -8 lines
Diff to previous 1.1
typo.

Revision 1.1 - (view) (annotate) - [select for diffs]
Sat Nov 10 18:39:33 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

  ViewVC Help
Powered by ViewVC 1.1.5