1 ! Copyright (C) 2007, 2009 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: bootstrap.image.private kernel kernel.private namespaces
4 system cpu.x86.assembler cpu.x86.assembler.operands layouts
5 vocabs parser compiler.constants sequences math math.private
6 generic.single.private ;
11 : stack-frame-size ( -- n ) 8 bootstrap-cells ;
12 : shift-arg ( -- reg ) ECX ;
13 : div-arg ( -- reg ) EAX ;
14 : mod-arg ( -- reg ) EDX ;
15 : temp0 ( -- reg ) EAX ;
16 : temp1 ( -- reg ) EDX ;
17 : temp2 ( -- reg ) ECX ;
18 : temp3 ( -- reg ) EBX ;
19 : safe-reg ( -- reg ) EAX ;
20 : stack-reg ( -- reg ) ESP ;
21 : frame-reg ( -- reg ) EBP ;
22 : nv-regs ( -- seq ) { ESI EDI EBX } ;
23 : ds-reg ( -- reg ) ESI ;
24 : rs-reg ( -- reg ) EDI ;
25 : fixnum>slot@ ( -- ) temp0 2 SAR ;
26 : rex-length ( -- n ) 0 ;
29 ! save stack frame size
32 0 PUSH rc-absolute-cell rt-this jit-rel
34 ESP stack-frame-size 3 bootstrap-cells - SUB
35 ] jit-prolog jit-define
38 EBP 0 MOV 0 rc-absolute-cell jit-vm ;
40 : jit-save-context ( -- )
41 ! VM pointer must be in EBP already
43 ! save ctx->callstack_top
48 ! save ctx->retainstack
49 ECX 12 [+] rs-reg MOV ;
51 : jit-restore-context ( -- )
52 ! VM pointer must be in EBP already
54 ! restore ctx->datastack
56 ! restore ctx->retainstack
57 rs-reg ECX 12 [+] MOV ;
61 ! save ds, rs registers
65 0 CALL rc-relative rt-primitive jit-rel
66 ! restore ds, rs registers
68 ] jit-primitive jit-define
74 ds-reg bootstrap-cell SUB
76 EDX 0 MOV 0 rc-absolute-cell jit-vm
78 [ EAX quot-xt-offset [+] CALL ]
79 [ EAX quot-xt-offset [+] JMP ]
80 \ (call) define-sub-primitive*
82 ! Inline cache miss entry points
83 : jit-load-return-address ( -- )
84 EBX ESP stack-frame-size bootstrap-cell - [+] MOV ;
86 ! These are always in tail position with an existing stack
87 ! frame, and the stack. The frame setup takes this into account.
88 : jit-inline-cache-miss ( -- )
93 0 CALL "inline_cache_miss" f rc-relative jit-dlsym
96 [ jit-load-return-address jit-inline-cache-miss ]
99 \ inline-cache-miss define-sub-primitive*
101 [ jit-inline-cache-miss ]
104 \ inline-cache-miss-tail define-sub-primitive*
106 ! Overflowing fixnum arithmetic
107 : jit-overflow ( insn func -- )
114 [ [ ECX EDX ] dip call( dst src -- ) ] dip
121 [ 0 CALL ] dip f rc-relative jit-dlsym
125 [ [ ADD ] "overflow_fixnum_add" jit-overflow ] \ fixnum+ define-sub-primitive
127 [ [ SUB ] "overflow_fixnum_subtract" jit-overflow ] \ fixnum- define-sub-primitive
145 0 CALL "overflow_fixnum_multiply" f rc-relative jit-dlsym
148 ] \ fixnum* define-sub-primitive
150 << "vocab:cpu/x86/bootstrap.factor" parse-file suffix! >>