py2llvm/base_types: fix not on bool

sbourdeauducq · sbourdeauducq · commit 6b173d0a9a34 · 2014-10-13T19:49:29.000+08:00
diff --git a/artiq/py2llvm/base_types.py b/artiq/py2llvm/base_types.py
@@ -74,7 +74,7 @@ def o_float(self, builder):
         return r
 
     def o_not(self, builder):
-        return self.o_bool(builder, True)
+        return self.o_bool(builder, inv=True)
 
     def o_neg(self, builder):
         r = VInt(self.nbits)
@@ -185,12 +185,6 @@ def __init__(self):
     def set_const_value(self, builder, b):
         VInt.set_const_value(self, builder, int(b))
 
-    def o_bool(self, builder):
-        r = VBool()
-        if builder is not None:
-            r.auto_store(builder, self.auto_load(builder))
-        return r
-
 
 class VFloat(VGeneric):
     def get_llvm_type(self):
diff --git a/test/py2llvm.py b/test/py2llvm.py
@@ -188,7 +188,7 @@ def array_test():
 
 
 def corner_cases():
-    two = True + True - False
+    two = True + True - (not True)
     three = two + True//True - False*True
     two_float = three - True/True
     one_float = two_float - (1.0 == bool(0.1))
