Binary OR.

Compiler/floatingpoint.py

@@ -92,7 +92,7 @@ def carry(b, a, compute_p=True):
     return (t1, t2)
 
 def or_op(a, b, void=None):
-    return a + b - a*b
+    return a.bit_or(b)
 
 def mul_op(a, b, void=None):
     return a * b

Compiler/types.py

@@ -382,6 +382,18 @@ def bit_xor(self, other):
                 return self
         return self + other - 2 * self * other
 
+    def bit_or(self, other):
+        """ OR in arithmetic circuits.
+
+        :param self/other: 0 or 1 (any compatible type)
+        :return: type depends on inputs (secret if any of them is) """
+        if util.is_constant(other):
+            if other:
+                return self
+            else:
+                return 0
+        return self + other - self * other
+
     def bit_and(self, other):
         """ AND in arithmetic circuits.
 
@@ -419,6 +431,13 @@ def bit_and(self, other):
         :rtype: depending on inputs (secret if any of them is) """
         return self & other
 
+    def bit_or(self, other):
+        """ OR in binary circuits.
+
+        :param self/other: 0 or 1 (any compatible type)
+        :return: type depends on inputs (secret if any of them is) """
+        return self ^ other - self & other
+
     def bit_not(self):
         """ NOT in binary circuits. """
         return ~self