Changeset 12950

Timestamp:

10/04/10 10:11:13 (13 years ago)

Author:

ehuelsmann

Message:

Add two functions to disable signalling of over- and underflow
conditions in floating point calculations; working toward CLHS
compliance while keeping Maxima fixed (it was, as of last weekend).

Location:

trunk/abcl/src/org/armedbear/lisp

Files:

• Primitives.java (modified) (1 diff)
• Symbol.java (modified) (1 diff)

trunk/abcl/src/org/armedbear/lisp/Primitives.java

@@ -5778 +5778 @@
     };
 
+    /* Added to ABCL because Maxima wants to be able to turn off
+     * underflow conditions. However, the Hyperspec says we have to
+     * signal them. So, we went for CLHS compliant with a switch for
+     * Maxima.
+     */
+    // ### float-underflow-mode
+    private static final Primitive FLOAT_UNDERFLOW_MODE
+        = new pf_float_underflow_mode();
+    private static final class pf_float_underflow_mode extends Primitive {
+        pf_float_underflow_mode() {
+            super(Symbol.FLOAT_UNDERFLOW_MODE, "&optional boolean");
+        }
+
+        @Override
+        public LispObject execute() {
+            return Lisp.TRAP_UNDERFLOW ? T : NIL;
+        }
+
+        @Override
+        public LispObject execute(LispObject arg) {
+            Lisp.TRAP_UNDERFLOW = (arg != NIL);
+            return arg;
+        }
+    };
+
+    /* Implemented for symmetry with the underflow variant. */
+    // ### float-overflow-mode
+    private static final Primitive FLOAT_OVERFLOW_MODE
+        = new pf_float_overflow_mode();
+    private static final class pf_float_overflow_mode extends Primitive {
+        pf_float_overflow_mode() {
+            super(Symbol.FLOAT_OVERFLOW_MODE, "&optional boolean");
+        }
+
+        @Override
+        public LispObject execute() {
+            return Lisp.TRAP_OVERFLOW ? T : NIL;
+        }
+
+        @Override
+        public LispObject execute(LispObject arg) {
+            Lisp.TRAP_OVERFLOW = (arg != NIL);
+            return arg;
+        }
+    };
+
 }

trunk/abcl/src/org/armedbear/lisp/Symbol.java

@@ -2983 +2983 @@
   public static final Symbol FORWARD_REFERENCED_CLASS =
     PACKAGE_SYS.addExternalSymbol("FORWARD-REFERENCED-CLASS");
+  public static final Symbol FLOAT_UNDERFLOW_MODE =
+    PACKAGE_SYS.addExternalSymbol("FLOAT-UNDERFLOW-MODE");
+  public static final Symbol FLOAT_OVERFLOW_MODE =
+    PACKAGE_SYS.addExternalSymbol("FLOAT-OVERFLOW-MODE");
   public static final Symbol CLASS_BYTES =
     PACKAGE_SYS.addExternalSymbol("CLASS-BYTES");