]> gitweb.factorcode.org Git - factor.git/blob - basis/cpu/x86/64/unix/unix.factor
FFI rewrite part 5: return value boxing and callback parameter boxing now uses vregs...
[factor.git] / basis / cpu / x86 / 64 / unix / unix.factor
1 ! Copyright (C) 2008, 2010 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors arrays sequences math splitting make assocs
4 kernel layouts system alien.c-types classes.struct
5 cpu.architecture cpu.x86.assembler cpu.x86.assembler.operands
6 cpu.x86 cpu.x86.64 compiler.cfg.builder.alien
7 compiler.cfg.builder.alien.boxing compiler.cfg.registers ;
8 IN: cpu.x86.64.unix
9
10 M: int-regs param-regs
11     2drop { RDI RSI RDX RCX R8 R9 } ;
12
13 M: x86.64 param-regs
14     drop {
15         { int-regs { RDI RSI RDX RCX R8 R9 } }
16         { float-regs { XMM0 XMM1 XMM2 XMM3 XMM4 XMM5 XMM6 XMM7 } }
17     } ;
18
19 M: x86.64 reserved-stack-space 0 ;
20
21 : struct-types&offset ( struct-type -- pairs )
22     fields>> [
23         [ type>> ] [ offset>> ] bi 2array
24     ] map ;
25
26 : split-struct ( pairs -- seq )
27     [
28         [ 8 mod zero? [ t , ] when , ] assoc-each
29     ] { } make { t } split harvest ;
30
31 : flatten-small-struct ( c-type -- seq )
32     struct-types&offset split-struct [
33         [ c-type c-type-rep reg-class-of ] map
34         int-regs swap member? int-rep double-rep ?
35         f 2array
36     ] map ;
37
38 M: x86.64 flatten-struct-type ( c-type -- seq )
39     dup heap-size 16 <=
40     [ flatten-small-struct ] [ call-next-method [ first t 2array ] map ] if ;
41
42 M: x86.64 return-struct-in-registers? ( c-type -- ? )
43     heap-size 2 cells <= ;
44
45 M: x86.64 dummy-stack-params? f ;
46
47 M: x86.64 dummy-int-params? f ;
48
49 M: x86.64 dummy-fp-params? f ;
50
51 M: x86.64 temp-reg R8 ;