diff options
| author | Graydon Hoare <[email protected]> | 2010-10-07 18:20:51 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-10-07 18:21:06 -0700 |
| commit | facc5f8826ffe25cbdfa3496e71e30e00261f3a4 (patch) | |
| tree | eec324a0be12e9959e15d37c1ee2ce0a88447e67 /src/boot/be | |
| parent | Revise folds to be much-less-polymorphic after some discussion; flesh out stm... (diff) | |
| download | rust-facc5f8826ffe25cbdfa3496e71e30e00261f3a4.tar.xz rust-facc5f8826ffe25cbdfa3496e71e30e00261f3a4.zip | |
Make minimal-mode slightly less aggressive.
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/x86.ml | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml index dd21c329..388c627a 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; |