remove if e == 0 then f else t => if e then t else f transformation in statement

Author: bobzhang

jscomp/core/js_exp_make.ml

@@ -851,19 +851,13 @@ let string_of_small_int_array ?comment xs : t =
    call plain [dot]
 *)          
 
-let null ?comment () =     
-  js_global ?comment "null"
 
 let tag ?comment e : t = 
   {expression_desc = 
      Bin (Bor, {expression_desc = Caml_block_tag e; comment }, zero_int_literal );
    comment = None }    
 
 
-let bind ?comment fn obj  : t = 
-  {expression_desc = Bind (fn, obj) ; comment }
-
-
 (* according to the compiler, [Btype.hash_variant], 
    it's reduced to 31 bits for hash
 *)
@@ -985,6 +979,19 @@ let rec int_comp (cmp : Lambda.comparison) ?comment  (e0 : t) (e1 : t) =
       [l;r], _), 
     Number (Int {i = 0l})
     -> int_comp cmp l r (* = 0 > 0 < 0 *)
+  (* | Ceq, Call ({
+      expression_desc = 
+        Var (Qualified 
+               (ident, Runtime, 
+                Some ("caml_compare"))); _} as fn, 
+      ([l;r] as args), call_info), 
+    Number (Int {i = 0l})
+    -> 
+      {e0 with expression_desc =
+         Call( 
+            {fn with expression_desc = 
+              Var(Qualified (ident,Runtime, Some "caml_equal")) 
+            } , args, call_info)} *)
   | Ceq, _, _ -> int_equal e0 e1 
   | _ ->          
     bool_of_boolean @@ bin ?comment (Lam_compile_util.jsop_of_comp cmp) e0 e1

jscomp/core/js_exp_make.mli

@@ -336,8 +336,6 @@ val dummy_obj : ?comment:string ->  unit -> t
 (** convert a block to expresion by using IIFE *)    
 val of_block : ?comment:string -> ?e:J.expression -> J.statement list -> t
 
-val bind : binary_op
-
 val raw_js_code : ?comment:string -> J.code_info ->  string -> t
 
 val nil : t