Revert "math.intervals: workaround possible compiler bug by widening interval-bitor."

This reverts commit e256a4ba18fbb7916db2a22ead55cbcbf7cf920d.

diff --git a/basis/math/intervals/intervals-tests.factor b/basis/math/intervals/intervals-tests.factor
index 87028ea93f4b34a5730587c4fed3d4bde4b779d4..73706da34052576ea91438621a3f831ac60c3cb2 100644 (file)
--- a/basis/math/intervals/intervals-tests.factor
+++ b/basis/math/intervals/intervals-tests.factor
@@ -413,8 +413,8 @@ ${ 0 0xff [a,b] } [ -0xff -1 [a,b] 0 0xff [a,b] interval-bitand ] unit-test
     [ 0 15 [a,b] interval-contains? ] all?
 ] unit-test
 
-${ 0 256 [a,b] } [ 0 255 [a,b] dup interval-bitor ] unit-test
-${ 0 512 [a,b] } [ 0 256 [a,b] dup interval-bitor ] unit-test
+${ 0 255 [a,b] } [ 0 255 [a,b] dup interval-bitor ] unit-test
+${ 0 511 [a,b] } [ 0 256 [a,b] dup interval-bitor ] unit-test
 
 ${ -128 127 [a,b] } [ -128 127 [a,b] dup interval-bitor ] unit-test
 ${ -256 255 [a,b] } [ -128 128 [a,b] dup interval-bitor ] unit-test

diff --git a/basis/math/intervals/intervals.factor b/basis/math/intervals/intervals.factor
index f36b659b3b0fe5ae47bae9e11e30f15369b5444d..63fa4582fd3df8b331fccd46efc107daa307327f 100644 (file)
--- a/basis/math/intervals/intervals.factor
+++ b/basis/math/intervals/intervals.factor
@@ -447,8 +447,7 @@ PRIVATE>
 : interval-bitor ( i1 i2 -- i3 )
     [
         { { [ 2dup [ interval-nonnegative? ] both? ]
-            ! FIXME: this should maybe be bitweight 1 -
-            [ [ max-lower-bound ] [ max-upper-bound ] 2bi bit-weight [a,b] ] }
+            [ [ max-lower-bound ] [ max-upper-bound ] 2bi bit-weight 1 - [a,b] ] }
           { [ 2dup [ interval-negative? ] both? ]
             [ max-lower-bound -1 [a,b] ] }
           [ interval-union interval-bit-weight [ neg ] [ 1 - ] bi [a,b] ]