diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-23 12:57:00 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-23 12:57:00 +0000 |
commit | 5c81f5a89627a71d4e0054730eea47cc99a9cef2 (patch) | |
tree | 5294366b1c51fc299456864c317bbcdfee21315d /src/algebra/strap/SINT.lsp | |
parent | b06599402ca23cce8ba7eea03886dc11a5d29af4 (diff) | |
download | open-axiom-5c81f5a89627a71d4e0054730eea47cc99a9cef2.tar.gz |
* interp/nruncomp.boot (optDeltaEntry): Don't optimize current
domain modemap references here.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include more
floating point operators.
($simpleVMoperators): Move FUNCALL here.
(isVMConstantForm): Tidy.
* interp/g-util.boot: Expand more floating point insns.
* interp/c-util.boot (replaceSimpleFunctions): Replace more
constants.
* algebra/integer.spad.pamphlet (Integer): More cleanup. Use
builtin functions.
* algebra/sf.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index ca473e7e..7aaa1956 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -92,8 +92,6 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|) |SINT;and;3$;22|)) -(PUT '|SINT;and;3$;22| '|SPADreplace| 'LOGAND) - (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|) |SINT;Or;3$;23|)) @@ -102,8 +100,6 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|) |SINT;or;3$;24|)) -(PUT '|SINT;or;3$;24| '|SPADreplace| 'LOGIOR) - (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|) |SINT;xor;3$;25|)) @@ -198,8 +194,6 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Boolean|) |SINT;one?;$B;44|)) -(PUT '|SINT;one?;$B;44| '|SPADreplace| '(XLAM (|x|) (|%ieq| |x| 1))) - (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|) |SINT;max;3$;45|)) @@ -284,6 +278,14 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Shell|) |SINT;unitNormal;$R;62|)) +(PUT '|SINT;and;3$;22| '|SPADreplace| + '(XLAM (|x| |y|) (LOGAND |x| |y|))) + +(PUT '|SINT;or;3$;24| '|SPADreplace| + '(XLAM (|x| |y|) (LOGIOR |x| |y|))) + +(PUT '|SINT;one?;$B;44| '|SPADreplace| '(XLAM (|x|) (|%ieq| |x| 1))) + (DEFUN |SINT;writeOMSingleInt| (|dev| |x| $) (SEQ (COND ((QSLESSP |x| 0) @@ -509,7 +511,7 @@ (DEFUN |SINT;unitNormal;$R;62| (|x| $) (COND - ((QSLESSP |x| 0) (VECTOR -1 (QSMINUS |x|) -1)) + ((QSLESSP |x| 0) (VECTOR (QSMINUS 1) (QSMINUS |x|) (QSMINUS 1))) ('T (VECTOR 1 |x| 1)))) (DEFUN |SingleInteger| () |