- Nov 12, 1991
-
-
ram authored
out whether the result type is real on the basis of the argument range. Change the irrational -> C library transforms to use :EVAL-NAME instead of macroexpanding a zillion times. Also, the result of ATAN is always real, so we don't need a result type assertion.
-
- Feb 20, 1991
-
-
ram authored
-
- Jan 02, 1991
-
-
ram authored
automatically handled by VALID-FUNCTION-USE.
-
- Dec 12, 1990
-
-
ram authored
Fixed irrational transforms with output type assertions to specify :policy (zerop safety), since if we do the call and the result is not real, we will get garbage rather than an error.
-
- Dec 02, 1990
-
-
wlott authored
parms.lisp.
-
- Dec 01, 1990
-
-
wlott authored
package.
-
- Oct 24, 1990
-
-
ram authored
inefficency. Now we handle mixed single/double float operations, and also do this contagion on comparisons. Also, we explicitly GIVE-UP when there is a integer-rational comparison where the rational is non-constant to reduce the chance that a mixed comparison will get through with no efficency note.
-
- Oct 20, 1990
-
-
ram authored
doesn't lose horribly.
-
- Oct 18, 1990
-
-
ram authored
and directly call the C interface stub (which can be inline expanded.) Also, generalized the rational-constant/float compare to work for any constant that has a precise single-float representation, not just for 0.
-
- Sep 28, 1990
-
-
ram authored
-
- Jul 05, 1990
-
-
wlott authored
instead of single-float.
-
- Jul 02, 1990
-
-
ram authored
-