about summary refs log tree commit diff
path: root/src/boot/be
diff options
context:
space:
mode:
authorGraydon Hoare <graydon@mozilla.com>2010-10-07 18:20:51 -0700
committerGraydon Hoare <graydon@mozilla.com>2010-10-07 18:21:06 -0700
commitfacc5f8826ffe25cbdfa3496e71e30e00261f3a4 (patch)
treeeec324a0be12e9959e15d37c1ee2ce0a88447e67 /src/boot/be
parentb184be07e1b8b05163ecfe0b084c6cf56382d411 (diff)
downloadrust-facc5f8826ffe25cbdfa3496e71e30e00261f3a4.tar.gz
rust-facc5f8826ffe25cbdfa3496e71e30e00261f3a4.zip
Make minimal-mode slightly less aggressive.
Diffstat (limited to 'src/boot/be')
-rw-r--r--src/boot/be/x86.ml10
1 files 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;