From 0ea39f0178ea94cdb015aef257228f201f9f96b9 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Fri, 27 Dec 2013 11:15:38 +0100
Subject: Optimize : use regs for argument passing. Still has bugs.

---
 src/typing.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/typing.ml')

diff --git a/src/typing.ml b/src/typing.ml
index a405855..966057c 100644
--- a/src/typing.ml
+++ b/src/typing.ml
@@ -715,16 +715,16 @@ let compute_tclass env c =
             tp_args = [] }::meth
     in
     (* if vtable is empty, remove it *)
-    let mem =
+    let mem, mem_u =
       if hier.h_vtable = [] then
         let rec mv_h h =
           h.h_pos <- h.h_pos - 4;
           List.iter mv_h h.h_supers
         in
           List.iter mv_h hier.h_supers;
-        Smap.map (fun (ty, pos) -> (ty, pos-4)) mem
+        Smap.map (fun (ty, pos) -> (ty, pos-4)) mem, mem_u - 4
       else
-        mem
+        mem, mem_u
     in
     {   tc_name = cls_name;
         tc_size = mem_u;
-- 
cgit v1.2.3