From facc5f8826ffe25cbdfa3496e71e30e00261f3a4 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 7 Oct 2010 18:20:51 -0700
Subject: [PATCH] Make minimal-mode slightly less aggressive.

---
 src/boot/be/x86.ml | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml
index dd21c329195..388c627ae57 100644
--- a/src/boot/be/x86.ml
+++ b/src/boot/be/x86.ml
@@ -1236,7 +1236,7 @@ let fn_prologue
     (nabi:nabi)
     (grow_task_fixup:fixup)
     (is_obj_fn:bool)
-    (minimal:bool)
+    (_(*minimal*):bool)
     : unit =
 
   let esi_n = word_n (h esi) in
@@ -1373,12 +1373,8 @@ let fn_prologue
       in
 
         (* "Full" frame size-check. *)
-        match dynamic_grow_jmp with
-            None when minimal -> ()
-          | _ ->
-              stack_growth_check e nabi grow_task_fixup
-                dynamic_frame_sz dynamic_grow_jmp restart_pc (h esi) (h edi);
-
+        stack_growth_check e nabi grow_task_fixup
+          dynamic_frame_sz dynamic_grow_jmp restart_pc (h esi) (h edi);
 
         (* Establish a frame, wherever we landed. *)
         sub (rc esp) dynamic_frame_sz;