Skip to content

Commit 6c168bb

Browse files
committed
Remove local allocation counting
1 parent 3c6e7f0 commit 6c168bb

File tree

6 files changed

+1
-14
lines changed

6 files changed

+1
-14
lines changed

asmcomp/amd64/emit.mlp

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -875,11 +875,7 @@ let emit_instr fallthrough i =
875875
| Lop(Ibeginregion) ->
876876
I.mov (domain_field Domainstate.Domain_local_sp) (res i 0)
877877
| Lop(Iendregion) ->
878-
I.mov (arg i 0) r11;
879-
I.sub (domain_field Domainstate.Domain_local_sp) r11;
880-
I.add r11 (domain_field Domainstate.Domain_local_total);
881-
I.add (domain_field Domainstate.Domain_local_sp) r11;
882-
I.mov r11 (domain_field Domainstate.Domain_local_sp)
878+
I.mov (arg i 0) (domain_field Domainstate.Domain_local_sp)
883879
| Lop (Iname_for_debugger _) -> ()
884880
| Lop (Iprobe _) ->
885881
let probe_label = new_label () in

asmcomp/amd64/proc.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -312,7 +312,6 @@ let destroyed_at_oper = function
312312
-> [| rax |]
313313
| Iswitch(_, _) -> [| rax; rdx |]
314314
| Itrywith _ -> [| r11 |]
315-
| Iop(Iendregion) -> [| r11 |]
316315
| _ ->
317316
if fp then
318317
(* prevent any use of the frame pointer ! *)

asmcomp/i386/emit.mlp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -835,9 +835,6 @@ let emit_instr fallthrough i =
835835
| Lop (Iendregion) ->
836836
I.mov (reg i.arg.(0)) eax;
837837
load_domain_state ebx;
838-
I.sub (domain_field Domainstate.Domain_local_sp RBX) eax;
839-
I.add eax (domain_field Domainstate.Domain_local_total RBX);
840-
I.add (domain_field Domainstate.Domain_local_sp RBX) eax;
841838
I.mov eax (domain_field Domainstate.Domain_local_sp RBX)
842839
| Lop (Iname_for_debugger _) -> ()
843840
| Lop (Iprobe _ |Iprobe_is_enabled _) -> assert false

runtime/caml/domain_state.tbl

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -41,8 +41,6 @@ DOMAIN_STATE(intnat, local_sp)
4141
DOMAIN_STATE(void*, local_top)
4242
DOMAIN_STATE(intnat, local_limit)
4343

44-
DOMAIN_STATE(intnat, local_total)
45-
4644
DOMAIN_STATE(struct mark_stack*, mark_stack)
4745
/* See major_gc.c */
4846

runtime/domain.c

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,6 @@ void caml_init_domain ()
6060
Caml_state->local_sp = 0;
6161
Caml_state->local_top = NULL;
6262
Caml_state->local_limit = 0;
63-
Caml_state->local_total = 0;
6463

6564
Caml_state->top_of_stack = NULL;
6665
Caml_state->bottom_of_stack = NULL; /* no stack initially */

runtime/sys.c

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -150,8 +150,6 @@ CAMLprim value caml_sys_exit(value retcode_v)
150150
caml_gc_message(0x400,
151151
"forced_major_collections: %"ARCH_INTNAT_PRINTF_FORMAT"d\n",
152152
forcmajcoll);
153-
caml_gc_message(0x400, "local_words: %"ARCH_INTNAT_PRINTF_FORMAT"d\n",
154-
Wsize_bsize(Caml_state->local_total));
155153
}
156154

157155
#ifndef NATIVE_CODE

0 commit comments

Comments
 (0)