Remove redundant converters for FP

src_colibri2/theories/FP/float32.ml

@@ -157,21 +157,29 @@ let converter d (f:Ground.t) =
   match Ground.sem f with
   | {app={builtin=Expr.Fp_add (8, 24); _}; args; _} ->
     let m, a, b = IArray.extract3_exn args in
-    reg a; reg b; attach d f;
+    reg m; reg a; reg b; attach d f;
     let wait =
       set r (let+ va = get a and+ vb = get b in Farith.B32.add !>>m va vb)
     in
     List.iter (fun n -> wait_for_this_node_get_a_value d n wait) [a;b;r]
   | {app={builtin=Expr.Fp_sub (8, 24); _}; args; _} ->
     let m, a, b = IArray.extract3_exn args in
-    reg a; reg b; attach d f;
+    reg m; reg a; reg b; attach d f;
     let wait =
       set r (let+ va = get a and+ vb = get b in Farith.B32.sub !>>m va vb)
     in
     List.iter (fun n -> wait_for_this_node_get_a_value d n wait) [a;b;r]
+  | {app={builtin=Expr.Fp_mul (8, 24); _}; args; _} ->
+    let m, a, b = IArray.extract3_exn args in
+    reg m; reg a; reg b; attach d f;
+    let wait =
+      set r (let* va = get a and+ vb = get b in
+             if is_zero vb then None else Some (Farith.B32.mul !>>m va vb))
+    in
+    List.iter (fun n -> wait_for_this_node_get_a_value d n wait) [a;b;r]
   | {app={builtin=Expr.Fp_div (8, 24); _}; args; _} ->
     let m, a, b = IArray.extract3_exn args in
-    reg a; reg b; attach d f;
+    reg m; reg a; reg b; attach d f;
     let wait =
       set r (let* va = get a and+ vb = get b in
              if is_zero vb then None else Some (Farith.B32.div !>>m va vb))

src_colibri2/theories/FP/fp.ml

@@ -18,23 +18,7 @@
 (*  for more details (enclosed in the file licenses/LGPLv2.1).           *)
 (*************************************************************************)
 
-open Colibri2_popop_lib
-
-let converter d f =
-  let reg n = Egraph.register d n in
-  match Ground.sem f with
-  | { app = {builtin = Expr.Fp_add (_, _); _}; args; _ } ->
-    IArray.iter ~f:reg args
-  | { app = {builtin = Expr.Fp_sub (_, _); _}; args; _ } ->
-    IArray.iter ~f:reg args
-  | { app = {builtin = Expr.Fp_div (_, _); _}; args; _ } ->
-    IArray.iter ~f:reg args
-  | { app = {builtin = Expr.Fp_mul (_, _); _}; args; _ } ->
-    IArray.iter ~f:reg args
-  | _ -> ()
-
 let th_register env =
-  Ground.register_converter env converter;
   Rounding_mode.init env;
   Float32.init env;
   Float64.init env