%check-nursery-branch ( label size cc temp1 temp2 -- )
CPU architecture description model

Prev:	%call-gc ( gc-map -- )
Next:	%clear ( loc -- )

Vocabulary
cpu.architecture

Inputs

label	label
size	an integer
cc	comparison symbol
temp1	first temporary register
temp2	second temporary register

Outputs
None

Word description
Emits code for jumping to the nursery garbage collection block if an allocation of size 'size' requires a garbage collection.

Definition

USING: system ;

IN: cpu.architecture

HOOK: %check-nursery-branch cpu ( label size cc temp1 temp2 -- )

Methods

USING: classes.struct combinators compiler.cfg.comparisons
cpu.architecture cpu.arm.64.assembler layouts math system vm ;

M:: arm.64 %check-nursery-branch
    ( label size cc TEMP1 TEMP2 -- )
    "nursery" vm offset-of :> offset TEMP1 VM offset [+] LDR
    TEMP1 TEMP1 size ADD TEMP2 VM offset 2 cells + [+] LDR
    TEMP1 TEMP2 CMP cc
    { { cc<= [ label BLE ] } { cc/<= [ label BGT ] } } case ;


USING: combinators compiler.cfg.comparisons cpu.architecture
cpu.x86 cpu.x86.assembler cpu.x86.assembler.operands layouts
system ;

M:: x86 %check-nursery-branch
    ( label size cc temp1 temp2 -- )
    temp1 load-zone-offset temp2 temp1 [] MOV temp2 size ADD
    temp2 temp1 2 cells [+] CMP cc
    { { cc<= [ label JLE ] } { cc/<= [ label JG ] } } case ;