---

yaml
---
r: 575
b: refs/heads/master
c: b5255b4
h: refs/heads/master
i:
  573: 20d5e23
  571: b3dddb3
  567: 13923d8
  559: 9bdc014
  543: 0b4eb4a
  511: 5692310
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 07d355d1afe0ff832e78f496bc98337c22822752
+refs/heads/master: b5255b4534856e25cd96b1041000837d65cc51a6

trunk/src/boot/me/trans.ml

@@ -1798,8 +1798,6 @@ let trans_visitor
       (clo:Il.cell option)
       : unit =
     let inner dst cloptr =
-      let scratch = next_vreg_cell Il.voidptr_t in
-      let pop _ = emit (Il.Pop scratch) in
         for i = ((Array.length args) - 1) downto 0
         do
           emit (Il.Push (Il.Cell args.(i)))
@@ -1808,10 +1806,8 @@ let trans_visitor
         emit (Il.Push (Il.Cell abi.Abi.abi_tp_cell));
         emit (Il.Push dst);
         call_code code;
-        pop ();
-        pop ();
-        pop ();
-        Array.iter (fun _ -> pop()) args;
+        add_to (Il.Reg (abi.Abi.abi_sp_reg, word_sty))
+          (imm (Int64.mul word_sz (Int64.of_int (3 + (Array.length args)))));
     in
     let cloptr =
       match clo with