Changeset 11962

Timestamp:

05/29/09 06:08:26 (14 years ago)

Author:

ehuelsmann

Message:

Revert r11958: it breaks a number of ANSI tests.

Found by: Peter Tsenter (ptsenter at hotmail)

File:

• trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp (modified) (1 diff)

trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp

@@ -6189 +6189 @@
 
 (define-int-bounds-derivation - (low1 high1 low2 high2)
-  (values (and low1 high2 (- low1 high2))
-          (and high1 low2 (- high2 low2))))
+  (values (when (and low1 high2) ;; low1 or high2 undefined: no lower bound
+            (if low2
+                (min (- low1 low2)
+                     (- low1 high2))
+                ;; low2 undefined: no effect on lower bound
+                (- low1 high2)))
+          (when (and high1 low2) ;; high1 or low2 undefined: no upper bound
+            (if high2
+                (max (- high1 low2)
+                     (- high1 high2))
+                ;; high2 undefined: no effect on upper bound
+                (- high1 low2)))))
 
 (defun derive-compiler-types (args op)