basis/cpu/x86/64/64.factor

   1 ! Copyright (C) 2005, 2011 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: alien alien.c-types assocs combinators compiler.cfg.intrinsics
   4 compiler.codegen.gc-maps compiler.codegen.labels
   5 compiler.codegen.relocation compiler.constants cpu.architecture
   6 cpu.x86 cpu.x86.assembler cpu.x86.assembler.operands cpu.x86.features
   7 kernel locals math sequences specialized-arrays system vocabs
   8 vocabs.platforms ;
   9 SPECIALIZED-ARRAY: uint
  10 IN: cpu.x86.64
  11
  12 : param-reg ( n -- reg ) int-regs cdecl param-regs at nth ;
  13
  14 : param-reg-0 ( -- reg ) 0 param-reg ; inline
  15 : param-reg-1 ( -- reg ) 1 param-reg ; inline
  16 : param-reg-2 ( -- reg ) 2 param-reg ; inline
  17 : param-reg-3 ( -- reg ) 3 param-reg ; inline
  18
  19 M: x86.64 pic-tail-reg RBX ;
  20
  21 M: x86.64 return-regs
  22     {
  23         { int-regs { RAX RDX } }
  24         { float-regs { XMM0 XMM1 } }
  25     } ;
  26
  27 M: x86.64 ds-reg R14 ;
  28 M: x86.64 rs-reg R15 ;
  29 M: x86.64 stack-reg RSP ;
  30 M: x86.64 frame-reg RBP ;
  31
  32 M: x86.64 machine-registers
  33     {
  34         { int-regs { RAX RBX RCX RDX RBP RSI RDI R8 R9 R10 R11 R12 } }
  35         { float-regs {
  36             XMM0 XMM1 XMM2 XMM3 XMM4 XMM5 XMM6 XMM7
  37             XMM8 XMM9 XMM10 XMM11 XMM12 XMM13 XMM14 XMM15
  38         } }
  39     } ;
  40
  41 : vm-reg ( -- reg ) R13 ; inline
  42 : nv-reg ( -- reg ) RBX ; inline
  43
  44 M: x86.64 %vm-field
  45     [ vm-reg ] dip [+] MOV ;
  46
  47 M:: x86.64 %load-vector ( dst val rep -- )
  48     dst 0 [RIP+] rep copy-memory* val rc-relative rel-binary-literal ;
  49
  50 M: x86.64 %set-vm-field
  51     [ vm-reg ] dip [+] swap MOV ;
  52
  53 M: x86.64 %vm-field-ptr
  54     [ vm-reg ] dip [+] LEA ;
  55
  56 M: x86.64 %prepare-jump
  57     pic-tail-reg xt-tail-pic-offset [RIP+] LEA ;
  58
  59 : load-cards-offset ( dst -- )
  60     0 MOV rc-absolute-cell rel-cards-offset ;
  61
  62 M: x86.64 %mark-card
  63     dup load-cards-offset
  64     [+] card-mark <byte> MOV ;
  65
  66 : load-decks-offset ( dst -- )
  67     0 MOV rc-absolute-cell rel-decks-offset ;
  68
  69 M: x86.64 %mark-deck
  70     dup load-decks-offset
  71     [+] card-mark <byte> MOV ;
  72
  73 M:: x86.64 %load-stack-param ( vreg rep n -- )
  74     rep return-reg n next-stack@ rep %copy
  75     vreg rep return-reg rep %copy ;
  76
  77 M:: x86.64 %store-stack-param ( vreg rep n -- )
  78     rep return-reg vreg rep %copy
  79     n reserved-stack-space + stack@ rep return-reg rep %copy ;
  80
  81 M:: x86.64 %load-reg-param ( vreg rep reg -- )
  82     vreg reg rep %copy ;
  83
  84 M:: x86.64 %store-reg-param ( vreg rep reg -- )
  85     reg vreg rep %copy ;
  86
  87 M: x86.64 %discard-reg-param
  88     2drop ;
  89
  90 M:: x86.64 %unbox ( dst src func rep -- )
  91     param-reg-0 src tagged-rep %copy
  92     param-reg-1 vm-reg MOV
  93     func f f %c-invoke
  94     dst rep %load-return ;
  95
  96 M:: x86.64 %box ( dst src func rep gc-map -- )
  97     0 rep reg-class-of cdecl param-regs at nth src rep %copy
  98     rep int-rep? os windows? or param-reg-1 param-reg-0 ? vm-reg MOV
  99     func f gc-map %c-invoke
 100     dst int-rep %load-return ;
 101
 102 M: x86.64 %c-invoke
 103     [ R11 0 MOV rc-absolute-cell rel-dlsym R11 CALL ] dip
 104     gc-map-here ;
 105
 106 M: x86.64 %begin-callback
 107     param-reg-0 vm-reg MOV
 108     param-reg-1 0 MOV
 109     "begin_callback" f f %c-invoke ;
 110
 111 M: x86.64 %end-callback
 112     param-reg-0 vm-reg MOV
 113     "end_callback" f f %c-invoke ;
 114
 115 M: x86.64 stack-cleanup 3drop 0 ;
 116
 117 M: x86.64 %cleanup 0 assert= ;
 118
 119 M: x86.64 %safepoint
 120     0 [RIP+] EAX MOV rc-relative rel-safepoint ;
 121
 122 M: x86.64 long-long-on-stack? f ;
 123
 124 M: x86.64 struct-return-on-stack? f ;
 125
 126 M: x86.64 (cpuid)
 127     void { uint uint void* } cdecl [
 128         RAX param-reg-0 MOV
 129         RCX param-reg-1 MOV
 130         RSI param-reg-2 MOV
 131         CPUID
 132         RSI [] EAX MOV
 133         RSI 4 [+] EBX MOV
 134         RSI 8 [+] ECX MOV
 135         RSI 12 [+] EDX MOV
 136     ] alien-assembly ;
 137
 138 USE-UNIX: cpu.x86.64.unix
 139 USE-WINDOWS: cpu.x86.64.windows