- Jan 08, 1991
- Jan 05, 1991
-
-
wlott authored
pmax, 'cause it doesn't exist.
-
- Jan 03, 1991
-
-
ram authored
ANSI cleanup or other.
-
ram authored
desired type, rather than any supertypes.
-
ram authored
raised to fractional powers.
-
ram authored
by typetran.
-
ram authored
with the FREEZE-TYPE declaration..
-
ram authored
-
ram authored
the presence of arbitrary destructive modifications of the block. Fixed a broken declaration.
-
ram authored
when our policy is :fast-safe.
-
ram authored
Made let conversion set the LAMBDA-CALL-LEXENV.
-
ram authored
Made NODE-HOME-LAMBDA work now that lets can be deleted. Made DELETE-LAMBDA print a note if the function was never referenced. Changed dead code deletion to ignore blocks in deleted functions and to not worry about special-casing EPs, since those are now handled by function deletion notes. Also, we now ignore unreachable fixnums or characters, since they could coincidentally appear in the source and expalsion. Added some uses of REQUIRED-ARGUMENT.
-
ram authored
we don't get spurious 'defined but never used' errors. Similarly, set leaf-ever-used on all optional-dispatch entry points. Fixed LABELS to backpatch the FENV as well as substituting for references so that inline expansion of a LABELS function will work. Made PROCLAIM recognize FREEZE-TYPE.
-
- Jan 02, 1991
-
-
ram authored
If we discover a known call, and that call has a source transform or is a conditional, then we replace the function with a lambda that just calls the function again. This gives IR1 conversion another chance to permute the call. Changed IR1 transforms to test the function type with :STRICT-RESULT T since this is almost always what you want when writing a transform. In constant folding, if the call returns multiple values, change the function to a call to VALUES, rather than just blowing off constant folding. Added DELETE-LET which deletes the bind node for a let when all its variables are deleted. This cleans up the IR1 a great deal, enabling some optimizations. Added an IR1 optimizer for VALUES that converts MV-BIND/VALUES into a LET (as long as the VALUES is the only use of the values continuation.) This helps optimization of the results of IR1 transforms for multiple value functions. Added a IR1 transform for VALUES that discards all but the first value when the context is not a multiple-value receiver.
-
ram authored
-
ram authored
-
ram authored
automatically handled by VALID-FUNCTION-USE.
-
ram authored
deleted, it is not totally simple to find the home lambda. Moved unreferenced variable noting into NOTE-UNREFERENCED-VARS, since this code is now shared with function deleting code in ir1util.
-
ram authored
is necessary for some cases of dead code deletion (functions that are never called.)
-
ram authored
is unsafe before punting. Fixed ASSERT-DEFINITION-TYPE to propagate the new type information to any refs, and also to not set the type when the argument has sets.
-
ram authored
the calling environment of a LET was even if the BIND gets deleted (due to all variables being deleted.) Also added many uses of REQUIRED-ARGUMENT to suppress type warnings. Added a use of FREEZE-TYPE to speed type tests for these types.
-
- Dec 28, 1990
-
-
ram authored
rolling its own, so that it doesn't choke when a type check is weakened but left simple (which is only known to C-C-T).
-
ram authored
debug-info is not important, so that we can use CHECK-STRUCTURE, etc. Changed TYPE-TEST-COST to penalize predicates as opposed to check templates so that we will use a check template in favor of a "same cost" predicate.
-
- Dec 19, 1990
- Dec 18, 1990
-
-
wlott authored
-
wlott authored
-
wlott authored
-
wlott authored
-
wlott authored
-
wlott authored
the various structure-{ref,set,length} vops had to be fixed.
-
wlott authored
-
wlott authored
flushed the defknown for structurify, and added one for make-structure.
-
wlott authored
,.
-
wlott authored
-
wlott authored
structurifying vectors.
-
ram authored
-
wlott authored
all the handlers needed for the sparc port, stuff has been moved around to localize the machine specific parts.
-
wlott authored
to the OS_VM_mumble names defined in os.h.
-