---

yaml
---
r: 754
b: refs/heads/master
c: 97a6b09
h: refs/heads/master
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f1e2c379cb2bde895e8ed99494651fa577268575
+refs/heads/master: 97a6b0935bad25833d2b48352a3f4212c26c9898

trunk/src/boot/me/semant.ml

@@ -188,6 +188,12 @@ type ctxt =
       ctxt_curr_path: Ast.name_component Stack.t;
 
       ctxt_rty_cache: (Ast.ty,Il.referent_ty) Hashtbl.t;
+
+      ctxt_type_effect_cache: (Ast.ty,Ast.effect) Hashtbl.t;
+      ctxt_type_points_to_heap_cache: (Ast.ty,bool) Hashtbl.t;
+      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;
     }
 ;;
 
@@ -277,7 +283,13 @@ let new_ctxt sess abi crate =
     ctxt_main_name = crate.Ast.crate_main;
 
     ctxt_curr_path = Stack.create ();
-    ctxt_rty_cache = Hashtbl.create 1024;
+
+    ctxt_rty_cache = Hashtbl.create 0;
+    ctxt_type_effect_cache = Hashtbl.create 0;
+    ctxt_type_points_to_heap_cache = Hashtbl.create 0;
+    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;
   }
 ;;
 
@@ -1110,7 +1122,8 @@ let type_is_structured (cx:ctxt) (t:Ast.ty) : bool =
              }
 
   in
-    fold_ty cx fold t
+    htab_search_or_add cx.ctxt_type_is_structured_cache t
+      (fun _ -> fold_ty cx fold t)
 ;;
 
 
@@ -1128,7 +1141,8 @@ let type_points_to_heap (cx:ctxt) (t:Ast.ty) : bool =
                  ty_fold_task = (fun _ -> true);
              }
   in
-    fold_ty cx fold t
+    htab_search_or_add cx.ctxt_type_points_to_heap_cache t
+      (fun _ -> fold_ty cx fold t)
 ;;
 
 (* Effect analysis. *)
@@ -1152,7 +1166,8 @@ let type_effect (cx:ctxt) (t:Ast.ty) : Ast.effect =
   let fold_mutable _ = Ast.STATE in
   let fold = associative_binary_op_ty_fold Ast.PURE lower_effect_of in
   let fold = { fold with ty_fold_mutable = fold_mutable } in
-    fold_ty cx fold t
+    htab_search_or_add cx.ctxt_type_effect_cache t
+      (fun _ -> fold_ty cx fold t)
 ;;
 
 let type_has_state (cx:ctxt) (t:Ast.ty) : bool =
@@ -1176,7 +1191,8 @@ let type_contains_chan (cx:ctxt) (t:Ast.ty) : bool =
   let fold_chan _ = true in
   let fold = ty_fold_bool_or false in
   let fold = { fold with ty_fold_chan = fold_chan } in
-    fold_ty cx fold t
+    htab_search_or_add cx.ctxt_type_contains_chan_cache t
+      (fun _ -> fold_ty cx fold t)
 ;;
 
 
@@ -1214,7 +1230,8 @@ let n_used_type_params (cx:ctxt) t =
   let fold_param (i,_) = i+1 in
   let fold = ty_fold_int_max 0 in
   let fold = { fold with ty_fold_param = fold_param } in
-  fold_ty cx fold t
+  htab_search_or_add cx.ctxt_n_used_type_parameters_cache t
+    (fun _ -> fold_ty cx fold t)
 ;;
 
 let check_concrete params thing =

trunk/src/boot/me/trans.ml

@@ -595,13 +595,16 @@ let trans_visitor
         (ty, queue_to_arr q)
   in
 
+  let has_parametric_types_cache = Hashtbl.create 0 in
   let has_parametric_types (t:Ast.ty) : bool =
     let base = ty_fold_bool_or false in
     let ty_fold_param _ =
       true
     in
     let fold = { base with ty_fold_param = ty_fold_param } in
-      fold_ty cx fold t
+      htab_search_or_add
+        has_parametric_types_cache t
+        (fun _ -> fold_ty cx fold t)
   in
 
   let rec calculate_sz (ty_params:Il.cell) (size:size) : Il.operand =