remove Lsend in lambda IR

Author: bobzhang

jscomp/core/lam.ml

@@ -131,7 +131,7 @@ module Types = struct
     | Lwhile of t * t
     | Lfor of ident * t * t * Asttypes.direction_flag * t
     | Lassign of ident * t
-    | Lsend of Lam_compat.meth_kind * t * t * t list * Location.t
+    (* | Lsend of Lam_compat.meth_kind * t * t * t list * Location.t *)
 end
 
 module X = struct
@@ -187,7 +187,7 @@ module X = struct
       | Lwhile of t * t
       | Lfor of ident * t * t * Asttypes.direction_flag * t
       | Lassign of ident * t
-      | Lsend of Lam_compat.meth_kind * t * t * t list * Location.t
+      (* | Lsend of Lam_compat.meth_kind * t * t * t list * Location.t *)
 end
 include Types
 
@@ -258,11 +258,11 @@ let inner_map
   | Lassign(id, e) ->
     let e = f e in
     Lassign(id,e)
-  | Lsend (k, met, obj, args, loc) ->
+  (* | Lsend (k, met, obj, args, loc) ->
     let met = f met in
     let obj = f obj in
     let args = Ext_list.map args f in
-    Lsend(k,met,obj,args,loc)
+    Lsend(k,met,obj,args,loc) *)
 
 
 
@@ -415,7 +415,6 @@ let rec
   | Lstaticcatch _ 
   | Ltrywith _ 
   | Lfor (_,_,_,_,_) 
-  | Lsend _
     -> false    
 and eq_option l1 l2 = 
     match l1 with 
@@ -487,8 +486,6 @@ let for_ v e1 e2 dir e3 : t  =
   Lfor(v,e1,e2,dir,e3)
 
 let assign v l : t = Lassign(v,l)
-let send u m o ll v : t =
-  Lsend(u, m, o, ll, v)
 let staticcatch  a b c : t = Lstaticcatch(a,b,c)
 let staticraise a b : t = Lstaticraise(a,b)
 

jscomp/core/lam.mli

@@ -96,7 +96,7 @@ and  t =  private
   | Lwhile of t * t
   | Lfor of ident * t * t * Asttypes.direction_flag * t
   | Lassign of ident * t
-  | Lsend of Lambda.meth_kind * t * t * t list * Location.t
+  (* | Lsend of Lambda.meth_kind * t * t * t list * Location.t *)
   (* | Levent of t * Lambda.lambda_event 
      [Levent] in the branch hurt pattern match, 
      we should use record for trivial debugger info
@@ -165,10 +165,6 @@ val while_ : t -> t -> t
 val try_ : t -> ident -> t  -> t 
 val assign : ident -> t -> t 
 
-val send : 
-  Lambda.meth_kind ->
-  t -> t -> t list -> 
-  Location.t -> t 
 
 (** constant folding *)  
 val prim : primitive:Lam_primitive.t -> args:t list -> Location.t  ->  t

jscomp/core/lam_analysis.ml

@@ -211,7 +211,7 @@ let rec no_side_effects (lam : Lam.t) : bool =
   | Lwhile _ -> false (* conservative here, non-terminating loop does have side effect *)
   | Lfor _ -> false 
   | Lassign _ -> false (* actually it depends ... *)
-  | Lsend _ -> false 
+  (* | Lsend _ -> false  *)
   | Lapply {
       ap_func = Lprim {primitive = Pfield (_, Fld_module {name = "from_fun"})};
      ap_args = [arg]}
@@ -272,7 +272,7 @@ let rec size (lam : Lam.t) =
     | Lwhile _ -> really_big ()
     | Lfor _ -> really_big () 
     | Lassign (_,v) -> 1 + size v  (* This is side effectful,  be careful *)
-    | Lsend _  ->  really_big ()
+    (* | Lsend _  ->  really_big () *)
 
   with Too_big_to_inline ->  1000 
 and size_constant x = 

jscomp/core/lam_arity_analysis.ml

@@ -131,7 +131,6 @@ let rec get_arity (meta : Lam_stats.t) (lam : Lam.t) :  Lam_arity.t =
     all_lambdas meta [l2;l3]
   | Lsequence(_, l2) -> get_arity meta l2 
   | Lstaticraise _ (* since it will not be in tail position *)
-  | Lsend _
      -> Lam_arity.na 
   | Lwhile _ 
   | Lfor _  

jscomp/core/lam_bounded_vars.ml

@@ -159,11 +159,6 @@ let rewrite (map :   _ Hash_ident.t)
       Lam.while_  l1  l2
     | Lassign(v, l) 
       -> Lam.assign v (aux  l)
-    | Lsend(u, m, o, ll, v) ->
-      let m = aux m in 
-      let o = aux o in 
-      let ll = Ext_list.map ll aux in
-      Lam.send u  m  o  ll v
   in 
   aux lam
 

jscomp/core/lam_check.ml

@@ -99,8 +99,6 @@ let check file lam =
 
       | Lassign(_id, e) ->
         check_staticfails e cxt
-      | Lsend (_k, met, obj, args, _) ->
-        check_list (met::obj::args) cxt
   in
   let rec 
     iter_list xs = Ext_list.iter xs iter   
@@ -160,10 +158,6 @@ let check file lam =
       | Lassign(id, e) ->
         use id ;
         iter e
-      | Lsend (_k, met, obj, args, _) ->
-        iter met; iter obj;
-        iter_list args
-
   in
   begin
     check_staticfails lam Set_int.empty;

jscomp/core/lam_closure.ml

@@ -144,10 +144,7 @@ let free_variables
     | Lassign(id, e) ->
       used top  id ; 
       iter top e
-    | Lsend (_k, met, obj, args, _) ->
-      iter sink_pos met ; 
-      iter sink_pos obj;
-      List.iter (iter sink_pos) args in
+    in
   iter Lam_var_stats.fresh_env  lam ; 
   !fv 
 

jscomp/core/lam_compile.ml

@@ -76,7 +76,7 @@ let rec apply_with_arity_aux (fn : J.expression)
 let apply_with_arity ~arity fn args  = 
   apply_with_arity_aux fn arity args (List.length args)  
 
-let method_cache_id = ref 1 (*TODO: move to js runtime for re-entrant *)
+
 
 let change_tail_type_in_try 
   (x : Lam_compile_context.tail_type)
@@ -1145,71 +1145,6 @@ and compile_trywith lam id catch (lambda_cxt : Lam_compile_context.t) =
          mutable initializers: (obj -> unit) list }
    ]}
 *)
-and compile_send  (meth_kind : Lam_compat.meth_kind)
-    (met : Lam.t) 
-    (obj : Lam.t) (args : Lam.t list) 
-    (lambda_cxt : Lam_compile_context.t) =       
-    let new_cxt = {lambda_cxt with continuation = NeedValue Not_tail} in 
-    match Ext_list.split_map (met :: obj :: args) (fun x  ->
-          match x with
-          | Lprim {primitive = Pccall {prim_name ; _}; args =  []}
-            (* nullary external call*)
-            ->
-            [], E.var (Ext_ident.create_js prim_name)
-          | _ ->
-              match compile_lambda new_cxt x with
-              | {value = None} -> assert false        
-              | {block; value = Some b} -> block, b
-        ) with
-    | _, ([] | [_]) -> assert false
-    | (args_code, label::nobj::args)
-      ->
-      let cont3 nobj k =
-        match Js_ast_util.named_expression nobj with
-        | None ->
-          let cont =
-            Js_output.output_of_block_and_expression
-              lambda_cxt.continuation (List.concat args_code)
-          in
-          cont (k nobj)
-        | Some (obj_code, v) ->
-          let cont2 obj_code v =
-            Js_output.output_of_block_and_expression
-              lambda_cxt.continuation 
-              ( Ext_list.concat_append args_code  [obj_code]) v in
-          let cobj = E.var v in
-          cont2 obj_code (k cobj) in
-      match meth_kind with
-      | Self ->
-        (* TODO: horrible hack -- fixed later -- CHECK*)
-        cont3 nobj (fun aobj -> E.call ~info:Js_call_info.dummy
-                       (Js_of_lam_array.ref_array
-                          (E.array_index_by_int aobj 0l) label )
-                       (aobj :: args))
-      (* [E.small_int 1] is because we use array,
-          when we change the runtime represenation, it needs to be adapted
-      *)
-
-      | Cached | Public None
-        (* TODO: check -- 1. js object propagate 2. js object create  *)
-        ->
-        let get = E.runtime_ref  Js_runtime_modules.oo "caml_get_public_method" in
-        let cache = !method_cache_id in
-        let () = incr method_cache_id  in
-        cont3 nobj (fun obj' ->
-            E.call ~info:Js_call_info.dummy
-              (E.call ~info:Js_call_info.dummy get
-                 [obj'; label; E.small_int cache]) (obj'::args)
-          ) (* avoid duplicated compuattion *)
-
-
-      | Public (Some name) ->
-        let cache = !method_cache_id in
-        incr method_cache_id ;
-        cont3 nobj
-          (fun aobj -> E.public_method_call name aobj label
-              (Int32.of_int cache) args )
-
 
 and compile_ifthenelse 
       (predicate : Lam.t)
@@ -1661,5 +1596,3 @@ and compile_lambda
       compile_assign id lambda lambda_cxt
     | Ltrywith(lam,id, catch) ->  (* generate documentation *)
       compile_trywith lam id catch lambda_cxt
-    | Lsend(meth_kind,met, obj, args,_loc) ->
-      compile_send meth_kind met obj args  lambda_cxt

jscomp/core/lam_convert.ml

@@ -131,8 +131,6 @@ let exception_id_destructed (l : Lam.t) (fv : Ident.t): bool  =
       hit e1 || hit e2
     | Lwhile(e1, e2) ->
       hit e1 || hit e2
-    | Lsend (_k, met, obj, args, _) ->
-      hit met || hit obj || hit_list args
   in hit l
 
 
@@ -818,7 +816,7 @@ let convert (exports : Set_ident.t) (lam : Lambda.lambda) : Lam.t * Lam_module_i
       Lam.for_ id (convert_aux from_) (convert_aux to_) dir (convert_aux loop)
     | Lassign (id, body) ->
       Lam.assign id (convert_aux body)
-    | Lsend (kind, a,b,ls, loc) ->
+    | Lsend (kind, _,b,ls, _loc) ->
       (* Format.fprintf Format.err_formatter "%a@." Printlambda.lambda b ; *)
         (match convert_aux b with
         | Lprim {primitive =  Pjs_unsafe_downgrade {loc};  args}
@@ -836,8 +834,8 @@ let convert (exports : Set_ident.t) (lam : Lambda.lambda) : Lam.t * Lam_module_i
                 ~args loc
             | _ -> assert false
           end
-        | b ->
-          Lam.send kind (convert_aux a)  b (Ext_list.map ls convert_aux) loc)
+        | _ ->
+          assert false)
 
     | Levent _ ->
       (* disabled by upstream*)

jscomp/core/lam_exit_count.ml

@@ -85,7 +85,6 @@ let count_helper  (lam : Lam.t) : collection =
     | Lwhile(l1, l2) -> count l1; count l2
     | Lfor(_, l1, l2, _dir, l3) -> count l1; count l2; count l3
     | Lassign(_, l) -> count l
-    | Lsend(_, m, o, ll, _) -> count m; count o; List.iter count ll
   and count_default sw =
     match sw.sw_failaction with
     | None -> ()