mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

I hear actually loading the next pointer into the right register helps when walking a list.

Browse Source
This commit is contained in:
Graydon Hoare 2010-06-25 17:31:08 -07:00
parent d601b357ec
commit eb7807c4fe
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/boot/be/x86.ml
View File

@ -820,7 +820,7 @@ let gc_glue
let skip_jmp_fix = new_fixup "skip jump" in
let exit_jmp_fix = new_fixup "exit jump" in
mov (rc edx) (c task_ptr); (* switch back to rust stack *)
mov (rc edx) (c task_ptr); (* switch back to rust stack *)
mov
(rc esp)
(c (edx_n Abi.task_field_rust_sp));
@ -830,11 +830,6 @@ let gc_glue
push (ro eax);
crawl_stack_calling_glue e Abi.frame_glue_fns_field_mark;
(* For now, stop after marking; sweep is still buggy. *)
pop (rc eax);
restore_callee_saves e;
Il.emit e Il.Ret;
(* Sweep pass. *)
mov (rc edx) (c task_ptr);
mov (rc edx) (c (edx_n Abi.task_field_gc_alloc_chain));
@ -889,12 +884,16 @@ let gc_glue
pop (rc eax);
mark skip_jmp_fix;
mov (rc ecx) (* Advance down chain *)
mov (rc edx) (* Advance down chain *)
(c (edx_n Abi.exterior_gc_slot_field_next));
emit (Il.jmp Il.JMP
(codefix repeat_jmp_fix)); (* loop *)
mark exit_jmp_fix;
emit Il.Ret;
(* For now, stop after marking; sweep is still buggy. *)
pop (rc eax);
restore_callee_saves e;
Il.emit e Il.Ret;
;;