/[cmucl]/src/code/pred.lisp
ViewVC logotype

Log of /src/code/pred.lisp

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.53 - (view) (annotate) - [select for diffs]
Sun May 14 03:58:01 2000 UTC (13 years, 11 months ago) by dtc
Branch: MAIN
CVS Tags: LINKAGE_TABLE, PRE_LINKAGE_TABLE, UNICODE-BASE
Branch point for: UNICODE-BRANCH
Changes since 1.52: +16 -1 lines
Diff to previous 1.52
Special case the handling of hash tables within equalp. This brings
equalp in line with the CL spec. and is necessary because the new hash
implementation maintains a reference back to the hash table within the
hash vector (for the garbage collector) which could cause infinite
recursion by equalp. Based on some good spotting and a patch from
Raymond Toy.

Revision 1.52 - (view) (annotate) - [select for diffs]
Tue May 2 04:44:05 2000 UTC (13 years, 11 months ago) by dtc
Branch: MAIN
Changes since 1.51: +5 -1 lines
Diff to previous 1.51
Implement a specializing CONS class as per issue CONS-TYPE-SPECIFIER:ADD.
The new cons-type which maintains the specialised CAR and CDR types:

o Typep recurses, checking the respective car and cdr specialisations;
  two cons-types are type= if both their car and cdr types are type=.

o Subtypep recurses, applying subtypep to the respective car and
  cdr types. If both sub-tests return true then the cons test returns
  true with a win only when both sub-tests win. If either sub-test
  returns false then the cons tests returns false with a win if either
  of sub-tests win.

o Type-intersection is applied to the respective car and cdr types,
  and wins if both win.

o The type-union of two cons-types handles cases for which either the
  respective car or cdr types are type=, in which case type-union is
  applied to the other type. This avoid returning an overly general result.

o Ctype-of a cons object simply returns (cons * *); and does not attempt
  to recurse.

o The compiler recursively checks the specialised type of the cons-type,
  which allows it to also use this type information to derive the result
  type car and cdr. Inline code is currently only generated when
  natively compiling.

Revision 1.51 - (view) (annotate) - [select for diffs]
Mon Jan 10 15:25:09 2000 UTC (14 years, 3 months ago) by dtc
Branch: MAIN
Changes since 1.50: +2 -2 lines
Diff to previous 1.50
Fix for equalp when passed a character and a non-character; needed
to check the type of the second argument before calling char-equal.
Spotted by William H. Newman, fix from Peter Van Eynde.

Revision 1.50 - (view) (annotate) - [select for diffs]
Thu Feb 25 13:02:58 1999 UTC (15 years, 1 month ago) by pw
Branch: MAIN
Changes since 1.49: +1 -2 lines
Diff to previous 1.49
This set of changes removes nearly all references to the dylan language.
It is a benign revision as no structures are redefined. At some later
point the definitions in compiler/objdef could be removed, perhaps
in sync with some other type change.

Revision 1.49 - (view) (annotate) - [select for diffs]
Fri Jul 24 17:17:54 1998 UTC (15 years, 8 months ago) by dtc
Branch: MAIN
Changes since 1.48: +14 -14 lines
Diff to previous 1.48
The complex-float the signed-array features are now standard, so
remove unnecessary conditionals.

Revision 1.48 - (view) (annotate) - [select for diffs]
Fri May 1 01:02:56 1998 UTC (15 years, 11 months ago) by dtc
Branch: MAIN
Changes since 1.47: +2 -2 lines
Diff to previous 1.47
Remove the remnants of the 'common type specifier.

Revision 1.47 - (view) (annotate) - [select for diffs]
Mon Apr 6 02:44:33 1998 UTC (16 years ago) by dtc
Branch: MAIN
Changes since 1.46: +2 -3 lines
Diff to previous 1.46
The third object argument to class-cell-typep need no longer be an
optional argument - was just optional for bootstrapping.

Revision 1.46 - (view) (annotate) - [select for diffs]
Sat Mar 21 08:12:02 1998 UTC (16 years, 1 month ago) by dtc
Branch: MAIN
Changes since 1.45: +6 -3 lines
Diff to previous 1.45
Long-float support.

Revision 1.45 - (view) (annotate) - [select for diffs]
Tue Feb 3 19:22:18 1998 UTC (16 years, 2 months ago) by dtc
Branch: MAIN
Changes since 1.44: +2 -2 lines
Diff to previous 1.44
Remove the remnants of the string-char type.

Revision 1.44 - (view) (annotate) - [select for diffs]
Mon Jan 5 22:34:54 1998 UTC (16 years, 3 months ago) by dtc
Branch: MAIN
Changes since 1.43: +33 -1 lines
Diff to previous 1.43
Change to the handling of floating point zeros within numeric type
specifiers by Raymond Toy. With these changes -0.0 and 0.0 and
considered separate on the float type intervals which is more natural
for many arithmetic function derive type optimizers.  These changes
are dependent upon the :negative-zero-is-not-zero feature.

Revision 1.43 - (view) (annotate) - [select for diffs]
Sat Nov 29 20:13:11 1997 UTC (16 years, 4 months ago) by dtc
Branch: MAIN
Changes since 1.42: +2 -2 lines
Diff to previous 1.42
Fix the type-of function with complex-float support.

Revision 1.42 - (view) (annotate) - [select for diffs]
Sat Nov 15 04:38:50 1997 UTC (16 years, 5 months ago) by dtc
Branch: MAIN
Changes since 1.41: +2 -1 lines
Diff to previous 1.41
Add a complex-rational-p predicate. This test for a unique object type
so can be implemented efficiently, and is handy for type dispatch.
Cleanup the realpart and imagpart source transforms, exploiting the
complex rational test.

Revision 1.41 - (view) (annotate) - [select for diffs]
Fri Nov 7 17:11:19 1997 UTC (16 years, 5 months ago) by dtc
Branch: MAIN
Changes since 1.40: +2 -1 lines
Diff to previous 1.40
Add a complex-float-p predicate to the backend which can be handled
efficiently inline with the complex-float support.

Revision 1.40 - (view) (annotate) - [select for diffs]
Sat Nov 1 22:58:19 1997 UTC (16 years, 5 months ago) by dtc
Branch: MAIN
Changes since 1.39: +5 -1 lines
Diff to previous 1.39
Improved support for (complex single-float) and (complex double-float)
types. Adds storage classes to the backend for these so they can be
stored in registers or on the stack without consing; new primitive
types etc. Also adds (simple-array (complex {single,double}-float))
array types to avoid consing and speed vectors operations.  All
these changes are conditional on the :complex-float feature. More work
is needed to exploit these changes: improving the type dispatch in the
various function; maybe compiler transforms or more VOPs to handle
common functions inline.

Revision 1.39 - (view) (annotate) - [select for diffs]
Tue Apr 1 19:23:52 1997 UTC (17 years ago) by dtc
Branch: MAIN
CVS Tags: RELEASE_18a
Branch point for: RELENG_18
Changes since 1.38: +5 -1 lines
Diff to previous 1.38
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.38 - (view) (annotate) - [select for diffs]
Fri Feb 7 20:27:30 1997 UTC (17 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.37: +2 -2 lines
Diff to previous 1.37
Previous  fix to class-typep failed to consider case where 'type' was some random class

Revision 1.37 - (view) (annotate) - [select for diffs]
Thu Feb 6 00:34:10 1997 UTC (17 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.36: +9 -6 lines
Diff to previous 1.36
Fix failure of typep on instance with changed PCL defclass

Revision 1.36 - (view) (annotate) - [select for diffs]
Wed Feb 5 16:15:58 1997 UTC (17 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.35: +2 -2 lines
Diff to previous 1.35
initial post 1.3.7 merge

Revision 1.35 - (view) (annotate) - [select for diffs]
Sat Jan 18 14:30:34 1997 UTC (17 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.34: +5 -5 lines
Diff to previous 1.34
Werkowskis source kit 1.03.7

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

Revision 1.33 - (view) (annotate) - [select for diffs]
Sat Jul 17 00:50:04 1993 UTC (20 years, 9 months ago) by ram
Branch: MAIN
Changes since 1.32: +37 -27 lines
Diff to previous 1.32
Made CLASS-TYPEP no longer an interface.  Added FIND-CLASS-CELL which
supports forward references and redefinition.  Block compiled TYPEP.

Revision 1.32 - (view) (annotate) - [select for diffs]
Sun Mar 14 17:19:01 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.31: +1 -2 lines
Diff to previous 1.31
Delete obsolete #-reload conditional.

Revision 1.31 - (view) (annotate) - [select for diffs]
Sat Mar 13 16:53:00 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.30: +1 -2 lines
Diff to previous 1.30
Deleted bogus declaration.

Revision 1.30 - (view) (annotate) - [select for diffs]
Mon Mar 1 20:08:45 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.29: +2 -15 lines
Diff to previous 1.29
rip out ns-boot conditionals.

Revision 1.29 - (view) (annotate) - [select for diffs]
Fri Feb 26 08:25:56 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.28: +66 -123 lines
Diff to previous 1.28
new structure branch & tuning, see new_struct

Revision 1.28 - (view) (annotate) - [select for diffs]
Sat Dec 5 22:10:02 1992 UTC (21 years, 4 months ago) by wlott
Branch: MAIN
Branch point for: new_struct
Changes since 1.27: +31 -3 lines
Diff to previous 1.27
Added support for dylan funciton subtypes.

Revision 1.27 - (view) (annotate) - [select for diffs]
Wed Apr 15 17:05:50 1992 UTC (22 years ago) by wlott
Branch: MAIN
Changes since 1.26: +2 -2 lines
Diff to previous 1.26
Fixed ecase in %%typep for numeric types: forgot to put parens around the
nil to keep it from looking like a list.

Revision 1.26 - (view) (annotate) - [select for diffs]
Tue Apr 7 19:26:42 1992 UTC (22 years ago) by wlott
Branch: MAIN
Changes since 1.25: +6 -8 lines
Diff to previous 1.25
Export REALP from LISP now that it's a real function.  Minor tweek to
bounds testing in %%typep of complex numbers.

Revision 1.25 - (view) (annotate) - [select for diffs]
Sun Mar 8 18:31:58 1992 UTC (22 years, 1 month ago) by wlott
Branch: MAIN
Changes since 1.24: +4 -1 lines
Diff to previous 1.24
Added support for the FDEFN type.

Revision 1.24 - (view) (annotate) - [select for diffs]
Wed Mar 4 17:42:43 1992 UTC (22 years, 1 month ago) by ram
Branch: MAIN
Branch point for: pre_fdefn
Changes since 1.23: +9 -2 lines
Diff to previous 1.23
Added support in TYPE-OF for alien-value structures.

Revision 1.23 - (view) (annotate) - [select for diffs]
Fri Feb 14 23:45:20 1992 UTC (22 years, 2 months ago) by wlott
Branch: MAIN
Changes since 1.22: +3 -1 lines
Diff to previous 1.22
Merged new-alien changes onto trunk.

Revision 1.22 - (view) (annotate) - [select for diffs]
Fri Feb 7 12:36:55 1992 UTC (22 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.21: +11 -3 lines
Diff to previous 1.21
Added UPGRADED-ARRAY-ELEMENT-TYPE.

Revision 1.21 - (view) (annotate) - [select for diffs]
Thu Feb 6 19:22:37 1992 UTC (22 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20
Fixed (typep x '(and ...)) to not always return NIL.

Revision 1.20 - (view) (annotate) - [select for diffs]
Fri Dec 20 02:29:00 1991 UTC (22 years, 4 months ago) by ram
Branch: MAIN
Changes since 1.19: +19 -38 lines
Diff to previous 1.19
Changed EQUAL and EQUALP to compare pathnames with PATHNAME=.  Deleted some
unnecessary C:: qualifiers.

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

Revision 1.18 - (view) (annotate) - [select for diffs]
Thu Jul 25 15:44:24 1991 UTC (22 years, 8 months ago) by wlott
Branch: MAIN
Branch point for: new_hash, patch_15
Changes since 1.17: +11 -2 lines
Diff to previous 1.17
Added support for LRA's, Code-Component's, and Scavenger-Hook's.

Revision 1.17 - (view) (annotate) - [select for diffs]
Tue Mar 19 18:51:08 1991 UTC (23 years, 1 month ago) by wlott
Branch: MAIN
Changes since 1.16: +11 -3 lines
Diff to previous 1.16
Fixed %%typep of (satisfies (lambda (obj) ..)) to explicitly coerce the
thing into a function instead of trying to funcall it.

Revision 1.16 - (view) (annotate) - [select for diffs]
Fri Feb 8 13:34:47 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.15: +9 -5 lines
Diff to previous 1.15
New file header with RCS header FILE-COMMENT.

Revision 1.15 - (view) (annotate) - [select for diffs]
Sat Oct 27 15:27:46 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.14: +2 -2 lines
Diff to previous 1.14
Typo.

Revision 1.14 - (view) (annotate) - [select for diffs]
Thu Oct 25 23:44:55 1990 UTC (23 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.13: +3 -3 lines
Diff to previous 1.13
Fixed %%typep to call specifier-type before calling itself while processing
hairy types, 'cause it can only take ctype structures, not random type
specifiers.

Revision 1.13 - (view) (annotate) - [select for diffs]
Tue Oct 16 19:54:05 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.12: +119 -114 lines
Diff to previous 1.12
Fixed %typep so that it recognizes structure types that are defined in
the core, but not in the compiler.

Revision 1.12 - (view) (annotate) - [select for diffs]
Wed Oct 10 16:31:39 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.11: +21 -9 lines
Diff to previous 1.11
Hacked on equal and equalp to make them work now that structures are not
simple-vectors.

Revision 1.11 - (view) (annotate) - [select for diffs]
Tue Oct 9 23:05:12 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.10: +3 -3 lines
Diff to previous 1.10
Replaced %primitive structure-ref with the magic function structure-ref.

Revision 1.10 - (view) (annotate) - [select for diffs]
Wed Oct 3 09:58:48 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.9: +3 -1 lines
Diff to previous 1.9
Added interpreter stubs for long-float-p and short-float-p.

Revision 1.9 - (view) (annotate) - [select for diffs]
Tue Sep 18 15:23:32 1990 UTC (23 years, 7 months ago) by wlott
Branch: MAIN
Changes since 1.8: +2 -1 lines
Diff to previous 1.8
Added structurep to the list of stubs.

Revision 1.8 - (view) (annotate) - [select for diffs]
Sat Sep 8 14:59:24 1990 UTC (23 years, 7 months ago) by wlott
Branch: MAIN
Changes since 1.7: +18 -11 lines
Diff to previous 1.7
Added system-area-pointer and weak-pointer to type-of.

Revision 1.7 - (view) (annotate) - [select for diffs]
Fri Aug 24 18:12:12 1990 UTC (23 years, 7 months ago) by wlott
Branch: MAIN
Changes since 1.6: +285 -488 lines
Diff to previous 1.6
Moved MIPS branch onto trunk; no merge necessary.

Revision 1.6 - (view) (annotate) - [select for diffs]
Fri Jun 15 22:57:21 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.5: +4 -2 lines
Diff to previous 1.5
Changed type-of to use header-ref on structures rather than SVREF.

Revision 1.5 - (view) (annotate) - [select for diffs]
Tue May 29 16:54:28 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.4: +2 -1 lines
Diff to previous 1.4
Added STRUCTURE-VECTOR to TYPE-PRED-ALIST, and changed it to be a
a defparameter rather than a constant.

Revision 1.4 - (view) (annotate) - [select for diffs]
Mon Feb 12 15:09:29 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.3: +4 -3 lines
Diff to previous 1.3
Fixed STRUCTURE-TYPEP a bit.

Revision 1.3 - (view) (annotate) - [select for diffs]
Mon Feb 12 12:00:17 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.2: +7 -9 lines
Diff to previous 1.2
Changed STRUCTURE-TYPEP to use INFO TYPE DEFINED-STRUCTURE-INFO.

Revision 1.2 - (view) (annotate) - [select for diffs]
Thu Feb 8 12:33:34 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.1: +0 -16 lines
Diff to previous 1.1
Moved TYPE-EXPAND to eval from here.

Revision 1.1 - (view) (annotate) - [select for diffs]
Tue Feb 6 17:25:18 1990 UTC (24 years, 2 months ago) by ram
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