From 982dcc29bf6cd41e967a0befe0c6195811cd6a55 Mon Sep 17 00:00:00 2001
From: Roy Frostig <rfrostig@mozilla.com>
Date: Mon, 9 Aug 2010 15:45:08 -0700
Subject: Get object's captured typarams when calculating sizes in the
 backend's fn-prologue-generation for object methods.

---
 src/boot/be/il.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/boot/be/il.ml')

diff --git a/src/boot/be/il.ml b/src/boot/be/il.ml
index 172d8661..2a5b643a 100644
--- a/src/boot/be/il.ml
+++ b/src/boot/be/il.ml
@@ -901,6 +901,13 @@ let get_element_ptr
         (string_of_cell fmt mem_cell)
 ;;
 
+let ptr_cast (cell:cell) (rty:referent_ty) : cell =
+  match cell with
+      Mem (mem, _) -> Mem (mem, rty)
+    | Reg (reg, AddrTy _) -> Reg (reg, AddrTy rty)
+    | _ -> bug () "expected address cell in Il.ptr_cast"
+;;
+
 (*
  * Local Variables:
  * fill-column: 78;
-- 
cgit v1.2.3