abi_amd64.go 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301
  1. /*
  2. * Copyright 2022 ByteDance Inc.
  3. *
  4. * Licensed under the Apache License, Version 2.0 (the "License");
  5. * you may not use this file except in compliance with the License.
  6. * You may obtain a copy of the License at
  7. *
  8. * http://www.apache.org/licenses/LICENSE-2.0
  9. *
  10. * Unless required by applicable law or agreed to in writing, software
  11. * distributed under the License is distributed on an "AS IS" BASIS,
  12. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13. * See the License for the specific language governing permissions and
  14. * limitations under the License.
  15. */
  16. package abi
  17. import (
  18. "fmt"
  19. "reflect"
  20. "unsafe"
  21. x64 "github.com/bytedance/sonic/loader/internal/iasm/x86_64"
  22. )
  23. type (
  24. Register = x64.Register
  25. Register64 = x64.Register64
  26. XMMRegister = x64.XMMRegister
  27. Program = x64.Program
  28. MemoryOperand = x64.MemoryOperand
  29. Label = x64.Label
  30. )
  31. var (
  32. Ptr = x64.Ptr
  33. DefaultArch = x64.DefaultArch
  34. CreateLabel = x64.CreateLabel
  35. )
  36. const (
  37. RAX = x64.RAX
  38. RSP = x64.RSP
  39. RBP = x64.RBP
  40. R12 = x64.R12
  41. R14 = x64.R14
  42. R15 = x64.R15
  43. )
  44. const (
  45. PtrSize = 8 // pointer size
  46. PtrAlign = 8 // pointer alignment
  47. )
  48. var iregOrderC = []Register{
  49. x64.RDI,
  50. x64.RSI,
  51. x64.RDX,
  52. x64.RCX,
  53. x64.R8,
  54. x64.R9,
  55. }
  56. var xregOrderC = []Register{
  57. x64.XMM0,
  58. x64.XMM1,
  59. x64.XMM2,
  60. x64.XMM3,
  61. x64.XMM4,
  62. x64.XMM5,
  63. x64.XMM6,
  64. x64.XMM7,
  65. }
  66. var (
  67. intType = reflect.TypeOf(0)
  68. ptrType = reflect.TypeOf(unsafe.Pointer(nil))
  69. )
  70. func (self *Frame) argv(i int) *MemoryOperand {
  71. return Ptr(RSP, int32(self.Prev()+self.desc.Args[i].Mem))
  72. }
  73. // spillv is used for growstack spill registers
  74. func (self *Frame) spillv(i int) *MemoryOperand {
  75. // remain one slot for caller return pc
  76. return Ptr(RSP, PtrSize+int32(self.desc.Args[i].Mem))
  77. }
  78. func (self *Frame) retv(i int) *MemoryOperand {
  79. return Ptr(RSP, int32(self.Prev()+self.desc.Rets[i].Mem))
  80. }
  81. func (self *Frame) resv(i int) *MemoryOperand {
  82. return Ptr(RSP, int32(self.Offs()-uint32((i+1)*PtrSize)))
  83. }
  84. func (self *Frame) emitGrowStack(p *Program, entry *Label) {
  85. // spill all register arguments
  86. for i, v := range self.desc.Args {
  87. if v.InRegister {
  88. if v.IsFloat == floatKind64 {
  89. p.MOVSD(v.Reg, self.spillv(i))
  90. } else if v.IsFloat == floatKind32 {
  91. p.MOVSS(v.Reg, self.spillv(i))
  92. } else {
  93. p.MOVQ(v.Reg, self.spillv(i))
  94. }
  95. }
  96. }
  97. // call runtime.morestack_noctxt
  98. p.MOVQ(F_morestack_noctxt, R12)
  99. p.CALLQ(R12)
  100. // load all register arguments
  101. for i, v := range self.desc.Args {
  102. if v.InRegister {
  103. if v.IsFloat == floatKind64 {
  104. p.MOVSD(self.spillv(i), v.Reg)
  105. } else if v.IsFloat == floatKind32 {
  106. p.MOVSS(self.spillv(i), v.Reg)
  107. } else {
  108. p.MOVQ(self.spillv(i), v.Reg)
  109. }
  110. }
  111. }
  112. // jump back to the function entry
  113. p.JMP(entry)
  114. }
  115. func (self *Frame) GrowStackTextSize() uint32 {
  116. p := DefaultArch.CreateProgram()
  117. // spill all register arguments
  118. for i, v := range self.desc.Args {
  119. if v.InRegister {
  120. if v.IsFloat == floatKind64 {
  121. p.MOVSD(v.Reg, self.spillv(i))
  122. } else if v.IsFloat == floatKind32 {
  123. p.MOVSS(v.Reg, self.spillv(i))
  124. } else {
  125. p.MOVQ(v.Reg, self.spillv(i))
  126. }
  127. }
  128. }
  129. // call runtime.morestack_noctxt
  130. p.MOVQ(F_morestack_noctxt, R12)
  131. p.CALLQ(R12)
  132. // load all register arguments
  133. for i, v := range self.desc.Args {
  134. if v.InRegister {
  135. if v.IsFloat == floatKind64 {
  136. p.MOVSD(self.spillv(i), v.Reg)
  137. } else if v.IsFloat == floatKind32 {
  138. p.MOVSS(self.spillv(i), v.Reg)
  139. } else {
  140. p.MOVQ(self.spillv(i), v.Reg)
  141. }
  142. }
  143. }
  144. // jump back to the function entry
  145. l := CreateLabel("")
  146. p.Link(l)
  147. p.JMP(l)
  148. return uint32(len(p.Assemble(0)))
  149. }
  150. func (self *Frame) emitPrologue(p *Program) {
  151. p.SUBQ(self.Size(), RSP)
  152. p.MOVQ(RBP, Ptr(RSP, int32(self.Offs())))
  153. p.LEAQ(Ptr(RSP, int32(self.Offs())), RBP)
  154. }
  155. func (self *Frame) emitEpilogue(p *Program) {
  156. p.MOVQ(Ptr(RSP, int32(self.Offs())), RBP)
  157. p.ADDQ(self.Size(), RSP)
  158. p.RET()
  159. }
  160. func (self *Frame) emitReserveRegs(p *Program) {
  161. // spill reserved registers
  162. for i, r := range ReservedRegs(self.ccall) {
  163. switch r.(type) {
  164. case Register64:
  165. p.MOVQ(r, self.resv(i))
  166. case XMMRegister:
  167. p.MOVSD(r, self.resv(i))
  168. default:
  169. panic(fmt.Sprintf("unsupported register type %t to reserve", r))
  170. }
  171. }
  172. }
  173. func (self *Frame) emitSpillPtrs(p *Program) {
  174. // spill pointer argument registers
  175. for i, r := range self.desc.Args {
  176. if r.InRegister && r.IsPointer {
  177. p.MOVQ(r.Reg, self.argv(i))
  178. }
  179. }
  180. }
  181. func (self *Frame) emitClearPtrs(p *Program) {
  182. // spill pointer argument registers
  183. for i, r := range self.desc.Args {
  184. if r.InRegister && r.IsPointer {
  185. p.MOVQ(int64(0), self.argv(i))
  186. }
  187. }
  188. }
  189. func (self *Frame) emitCallC(p *Program, addr uintptr) {
  190. p.MOVQ(addr, RAX)
  191. p.CALLQ(RAX)
  192. }
  193. type floatKind uint8
  194. const (
  195. notFloatKind floatKind = iota
  196. floatKind32
  197. floatKind64
  198. )
  199. type Parameter struct {
  200. InRegister bool
  201. IsPointer bool
  202. IsFloat floatKind
  203. Reg Register
  204. Mem uint32
  205. Type reflect.Type
  206. }
  207. func mkIReg(vt reflect.Type, reg Register64) (p Parameter) {
  208. p.Reg = reg
  209. p.Type = vt
  210. p.InRegister = true
  211. p.IsPointer = isPointer(vt)
  212. return
  213. }
  214. func isFloat(vt reflect.Type) floatKind {
  215. switch vt.Kind() {
  216. case reflect.Float32:
  217. return floatKind32
  218. case reflect.Float64:
  219. return floatKind64
  220. default:
  221. return notFloatKind
  222. }
  223. }
  224. func mkXReg(vt reflect.Type, reg XMMRegister) (p Parameter) {
  225. p.Reg = reg
  226. p.Type = vt
  227. p.InRegister = true
  228. p.IsFloat = isFloat(vt)
  229. return
  230. }
  231. func mkStack(vt reflect.Type, mem uint32) (p Parameter) {
  232. p.Mem = mem
  233. p.Type = vt
  234. p.InRegister = false
  235. p.IsPointer = isPointer(vt)
  236. p.IsFloat = isFloat(vt)
  237. return
  238. }
  239. func (self Parameter) String() string {
  240. if self.InRegister {
  241. return fmt.Sprintf("[%%%s, Pointer(%v), Float(%v)]", self.Reg, self.IsPointer, self.IsFloat)
  242. } else {
  243. return fmt.Sprintf("[%d(FP), Pointer(%v), Float(%v)]", self.Mem, self.IsPointer, self.IsFloat)
  244. }
  245. }
  246. func CallC(addr uintptr, fr Frame, maxStack uintptr) []byte {
  247. p := DefaultArch.CreateProgram()
  248. stack := CreateLabel("_stack_grow")
  249. entry := CreateLabel("_entry")
  250. p.Link(entry)
  251. fr.emitStackCheck(p, stack, maxStack)
  252. fr.emitPrologue(p)
  253. fr.emitReserveRegs(p)
  254. fr.emitSpillPtrs(p)
  255. fr.emitExchangeArgs(p)
  256. fr.emitCallC(p, addr)
  257. fr.emitExchangeRets(p)
  258. fr.emitRestoreRegs(p)
  259. fr.emitEpilogue(p)
  260. p.Link(stack)
  261. fr.emitGrowStack(p, entry)
  262. return p.Assemble(0)
  263. }