From 036b6ba1caae40b439670c031a162a6fde7461ec Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Tue, 14 Jan 2014 17:34:02 +0100
Subject: Changes...

---
 cpu/alu.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'cpu')

diff --git a/cpu/alu.ml b/cpu/alu.ml
index 87cfc10..934e6d8 100644
--- a/cpu/alu.ml
+++ b/cpu/alu.ml
@@ -18,7 +18,10 @@ let rec eq_c n v c = (* v is a value, c is a constant *)
     if n = 1 then
         if c = 1 then v else not v
     else
-        (eq_c 1 (v ** 0) (c mod 2)) ^& (eq_c (n-1) (v % (1, n-1)) (c/2))
+        if c mod 2 = 1 then
+            mux (v ** 0) (const "0") (eq_c (n-1) (v % (1, n-1)) (c/2))
+        else
+            mux (v ** 0) (eq_c (n-1) (v % (1, n-1)) (c/2)) (const "0")
 
 let rec all1 n x =
     if n = 1 then
-- 
cgit v1.2.3