More type-fold caches, shave another second off compile time.

3 files changed, 16 insertions, 5 deletions

diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml
index 3f44872e..1411831b 100644
--- a/src/boot/me/resolve.ml
+++ b/src/boot/me/resolve.ml
@@ -872,6 +872,7 @@ let process_crate
       end;
     (* Post-resolve, we can establish a tag cache. *)
     cx.ctxt_tag_cache <- Some (Hashtbl.create 0);
+    cx.ctxt_rebuild_cache <- Some (Hashtbl.create 0);
 ;;
 
 (*
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index 9eb9339b..ee3b9aba 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -194,9 +194,13 @@ type ctxt =
       ctxt_type_is_structured_cache: (Ast.ty,bool) Hashtbl.t;
       ctxt_type_contains_chan_cache: (Ast.ty,bool) Hashtbl.t;
       ctxt_n_used_type_parameters_cache: (Ast.ty,int) Hashtbl.t;
+      ctxt_type_str_cache: (Ast.ty,string) Hashtbl.t;
       mutable ctxt_tag_cache:
         ((Ast.ty_tag option * Ast.ty_tag * int,
           Ast.ty_tup) Hashtbl.t) option;
+      mutable ctxt_rebuild_cache:
+        ((Ast.ty_tag option * Ast.ty * Ast.ty_param array
+          * Ast.ty array * bool, Ast.ty) Hashtbl.t) option;
     }
 ;;
 
@@ -293,7 +297,9 @@ let new_ctxt sess abi crate =
     ctxt_type_is_structured_cache = Hashtbl.create 0;
     ctxt_type_contains_chan_cache = Hashtbl.create 0;
     ctxt_n_used_type_parameters_cache = Hashtbl.create 0;
+    ctxt_type_str_cache = Hashtbl.create 0;
     ctxt_tag_cache = None;
+    ctxt_rebuild_cache = None;
   }
 ;;
 
@@ -1037,7 +1043,12 @@ let rec rebuild_ty_under_params
       in
         fold_ty_full cx src_tag rebuilder fold t
     in
-      rebuild_ty ty
+      match cx.ctxt_rebuild_cache with
+          None -> rebuild_ty ty
+        | Some cache ->
+            htab_search_or_add cache
+              (src_tag,ty,params,args,resolve_names)
+              (fun _ -> rebuild_ty ty)
 ;;
 
 let fold_ty
@@ -2596,7 +2607,8 @@ let ty_str (cx:ctxt) (ty:Ast.ty) : string =
          (* FIXME (issue #78): encode constrs as well. *)
          ty_fold_constrained = (fun (t,_)-> t) }
   in
-    fold_ty cx fold ty
+    htab_search_or_add cx.ctxt_type_str_cache ty
+      (fun _ -> fold_ty cx fold ty)
 ;;
 
 let glue_str (cx:ctxt) (g:glue) : string =
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index d84c87a4..20bc1d7a 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -373,9 +373,7 @@ let trans_visitor
   in
 
   let get_element_ptr =
-    Session.time_inner "trans GEP" cx.ctxt_sess
-      (fun _ ->
-         Il.get_element_ptr word_bits abi.Abi.abi_str_of_hardreg)
+    Il.get_element_ptr word_bits abi.Abi.abi_str_of_hardreg
   in
 
   let get_variant_ptr (mem_cell:Il.cell) (i:int) : Il.cell =