From 6eaf3159474aa62b9afee843b0983dcfb23a4157 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 7 Jun 2018 18:15:05 +0100
Subject: Fix bug in add_bits optimization

---
 src/c_backend.ml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'src')

diff --git a/src/c_backend.ml b/src/c_backend.ml
index 59656152..f58093b0 100644
--- a/src/c_backend.ml
+++ b/src/c_backend.ml
@@ -977,13 +977,9 @@ let analyze_primop' ctx env l id args typ =
   | "eq_int", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] ->
      AE_val (AV_C_fragment (F_op (v1, "==", v2), typ))
 
-            (*
-  | "add_int", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] ->
-     AE_val (AV_C_fragment (F_op (v1, "+", v2), typ))
-             *)
-
+  (*
   | "add_bits", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] ->
-     AE_val (AV_C_fragment (F_op (v1, "+", v2), typ))
+     AE_val (AV_C_fragment (F_op (v1, "+", v2), typ)) *)
 
   | "xor_bits", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] ->
      AE_val (AV_C_fragment (F_op (v1, "^", v2), typ))
-- 
cgit v1.2.3