about summary refs log tree commit diff
path: root/src/comp
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2011-12-14 21:02:47 -0800
committerNiko Matsakis <niko@alum.mit.edu>2011-12-15 13:44:06 -0800
commitd381cc072a9c9c0fef605c56ed77d538a49c8ead (patch)
tree007a94af6e63fffb00c61b2def18155c2e7cba5d /src/comp
parent7694689044352a5dca9a7622f11fb0f3d601154e (diff)
resurrect tps_fn() and put it to use this time.
Diffstat (limited to 'src/comp')
-rw-r--r--src/comp/middle/trans.rs5
-rw-r--r--src/comp/middle/trans_closure.rs3
2 files changed, 5 insertions, 3 deletions
diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 39b28027428..ce106c78eac 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -937,7 +937,7 @@ fn trans_stack_local_derived_tydesc(cx: @block_ctxt, llsz: ValueRef,
 
 // Objects and closures store their type parameters differently (in the object
 // or closure itself rather than in the type descriptor).
-tag ty_param_storage { tps_normal; tps_obj(uint); }
+tag ty_param_storage { tps_normal; tps_obj(uint); tps_fn(uint); }
 
 fn get_derived_tydesc(cx: @block_ctxt, t: ty::t, escapes: bool,
                       storage: ty_param_storage,
@@ -958,7 +958,7 @@ fn get_derived_tydesc(cx: @block_ctxt, t: ty::t, escapes: bool,
     let is_obj_body;
     alt storage {
         tps_normal. { is_obj_body = false; }
-        tps_obj(_) { is_obj_body = true; }
+        tps_obj(_) | tps_fn(_) { is_obj_body = true; }
     }
 
     bcx_ccx(cx).stats.n_derived_tydescs += 1u;
@@ -1006,6 +1006,7 @@ fn get_derived_tydesc(cx: @block_ctxt, t: ty::t, escapes: bool,
     alt storage {
       tps_normal. { obj_params = 0u; }
       tps_obj(np) { obj_params = np; }
+      tps_fn(np) { obj_params = 0x80000000u | np; }
     }
 
     let v;
diff --git a/src/comp/middle/trans_closure.rs b/src/comp/middle/trans_closure.rs
index 93cbbb6ae3c..8db1852357e 100644
--- a/src/comp/middle/trans_closure.rs
+++ b/src/comp/middle/trans_closure.rs
@@ -131,8 +131,9 @@ fn build_environment(bcx: @block_ctxt, lltydescs: [ValueRef],
       for_closure. | for_send. {
         let bound_tydesc = GEPi(bcx, closure, [0, abi::closure_elt_tydesc]);
         let ti = none;
+        let tps = tps_fn(vec::len(lltydescs));
         let {result:bindings_tydesc, _} =
-            trans::get_tydesc(bcx, bindings_ty, true, trans::tps_normal, ti);
+            trans::get_tydesc(bcx, bindings_ty, true, tps, ti);
         trans::lazily_emit_tydesc_glue(bcx, abi::tydesc_field_drop_glue, ti);
         trans::lazily_emit_tydesc_glue(bcx, abi::tydesc_field_free_glue, ti);
         bcx = bindings_tydesc.bcx;