jit_x64.c 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310
  1. #include <inttypes.h>
  2. char* regnames[] = {
  3. "%rax",
  4. "%rdi",
  5. "%rsi",
  6. "%rdx",
  7. "%r12",
  8. "%r13",
  9. "%r14",
  10. "%r15",
  11. "%r8",
  12. "%r9",
  13. "%r10",
  14. "%r11",
  15. "%rsp"
  16. };
  17. enum jit_reg {
  18. R0 = 0,
  19. R1,
  20. R2,
  21. R3,
  22. R4,
  23. R5,
  24. R6,
  25. R7,
  26. R8,
  27. R9,
  28. R10,
  29. R11,
  30. R12,
  31. R13,
  32. R14,
  33. R15
  34. };
  35. enum arg_reg {
  36. ARGR0 = 1,
  37. ARGR1 = 2,
  38. ARGR2 = 3
  39. };
  40. #define RSP R12
  41. void jit_init() {
  42. }
  43. void jit_movi(int reg, uint64_t imm) {
  44. fprintf(jit_out, "movq $%" PRIu64 ", %s\n", imm, regnames[reg]);
  45. }
  46. void jit_movr(int dreg, int sreg) {
  47. if (dreg == sreg) return;
  48. fprintf(jit_out, "movq %s, %s\n", regnames[sreg], regnames[dreg]);
  49. }
  50. void jit_movneg(int dreg, int sreg) {
  51. if (dreg == sreg) return;
  52. fprintf(jit_out, "cmovs %s, %s\n", regnames[sreg], regnames[dreg]);
  53. }
  54. void jit_movne(int dreg, int sreg) {
  55. if (dreg == sreg) return;
  56. fprintf(jit_out, "cmovne %s, %s\n", regnames[sreg], regnames[dreg]);
  57. }
  58. void jit_moveq(int dreg, int sreg) {
  59. if (dreg == sreg) return;
  60. fprintf(jit_out, "cmoveq %s, %s\n", regnames[sreg], regnames[dreg]);
  61. }
  62. void jit_lea(int reg, void* addr) {
  63. fprintf(jit_out, "movq $%p, %s\n", addr, regnames[reg]);
  64. }
  65. void jit_ldr(int reg) {
  66. fprintf(jit_out, "movq (%s), %s\n", regnames[reg], regnames[reg]);
  67. }
  68. void jit_ldr_stack(int dreg, int offset) {
  69. fprintf(jit_out, "movq %d(%%rsp), %s\n", offset, regnames[dreg]);
  70. }
  71. void jit_str_stack(int sreg, int offset) {
  72. fprintf(jit_out, "movq %s, %d(%%rsp)\n", regnames[sreg], offset);
  73. }
  74. void jit_inc_stack(int offset) {
  75. if (offset == 0) return;
  76. fprintf(jit_out, "addq $%d, %%rsp\n", offset);
  77. }
  78. void jit_dec_stack(int offset) {
  79. if (offset == 0) return;
  80. fprintf(jit_out, "subq $%d, %%rsp\n", offset);
  81. }
  82. // clobbers rdx!
  83. void jit_ldrb(int reg) {
  84. fprintf(jit_out, "movb (%s), %%dl\n", regnames[reg]);
  85. fprintf(jit_out, "andq $0xff, %%rdx\n");
  86. if (reg!=3) {
  87. fprintf(jit_out, "movq %%rdx, %s\n", regnames[reg]);
  88. }
  89. }
  90. // clobbers rdx!
  91. void jit_ldrs(int reg) {
  92. fprintf(jit_out, "movw (%s), %%dx\n", regnames[reg]);
  93. fprintf(jit_out, "andq $0xffff, %%rdx\n");
  94. if (reg!=3) {
  95. fprintf(jit_out, "movq %%rdx, %s\n", regnames[reg]);
  96. }
  97. }
  98. // clobbers rdx!
  99. void jit_ldrw(int reg) {
  100. fprintf(jit_out, "movl (%s), %%edx\n", regnames[reg]);
  101. //fprintf(jit_out, "andq $0xffffffff, %rdx\n", regnames[reg]);
  102. if (reg!=3) {
  103. fprintf(jit_out, "movq %%rdx, %s\n", regnames[reg]);
  104. }
  105. }
  106. // 8 bit only from rdx!
  107. void jit_strb(int reg) {
  108. fprintf(jit_out, "movb %%dl, (%s)\n", regnames[reg]);
  109. }
  110. // 16 bit only from rdx!
  111. void jit_strs(int reg) {
  112. fprintf(jit_out, "movw %%dx, (%s)\n", regnames[reg]);
  113. }
  114. // 32 bit only from rdx!
  115. void jit_strw(int reg) {
  116. fprintf(jit_out, "movl %%edx, (%s)\n", regnames[reg]);
  117. }
  118. void jit_stra(int reg) {
  119. fprintf(jit_out, "movq %%rdx, (%s)\n", regnames[reg]);
  120. }
  121. void jit_addr(int dreg, int sreg) {
  122. fprintf(jit_out, "addq %s, %s\n", regnames[sreg], regnames[dreg]);
  123. }
  124. void jit_addi(int dreg, int imm) {
  125. fprintf(jit_out, "addq $%d, %s\n", imm, regnames[dreg]);
  126. }
  127. void jit_andr(int dreg, int sreg) {
  128. fprintf(jit_out, "andq %s, %s\n", regnames[sreg], regnames[dreg]);
  129. }
  130. void jit_notr(int dreg) {
  131. fprintf(jit_out, "notq %s\n", regnames[dreg]);
  132. }
  133. void jit_orr(int dreg, int sreg) {
  134. fprintf(jit_out, "orq %s, %s\n", regnames[sreg], regnames[dreg]);
  135. }
  136. void jit_xorr(int dreg, int sreg) {
  137. fprintf(jit_out, "xorq %s, %s\n", regnames[sreg], regnames[dreg]);
  138. }
  139. void jit_shrr(int dreg, int sreg) {
  140. fprintf(jit_out, "movq %s, %%rcx\n", regnames[sreg]);
  141. fprintf(jit_out, "shr %%cl, %s\n", regnames[dreg]);
  142. }
  143. void jit_shlr(int dreg, int sreg) {
  144. fprintf(jit_out, "movq %s, %%rcx\n", regnames[sreg]);
  145. fprintf(jit_out, "shl %%cl, %s\n", regnames[dreg]);
  146. }
  147. void jit_subr(int dreg, int sreg) {
  148. fprintf(jit_out, "subq %s, %s\n", regnames[sreg], regnames[dreg]);
  149. }
  150. void jit_mulr(int dreg, int sreg) {
  151. fprintf(jit_out, "imulq %s, %s\n", regnames[sreg], regnames[dreg]);
  152. }
  153. void jit_divr(int dreg, int sreg) {
  154. fprintf(jit_out, "movq %s, %%rax\n", regnames[dreg]);
  155. fprintf(jit_out, "cqto\n");
  156. fprintf(jit_out, "idivq %s\n", regnames[sreg]);
  157. fprintf(jit_out, "movq %%rax, %s\n", regnames[dreg]);
  158. }
  159. void jit_host_call_enter() {
  160. fprintf(jit_out, "movq %%rsp, %%rax\n");
  161. fprintf(jit_out, "push %%rax\n");
  162. fprintf(jit_out, "andq $0xfffffffffffffff0, %%rsp\n");
  163. fprintf(jit_out, "mov %%rax,(%%rsp)\n");
  164. }
  165. void jit_host_call_exit() {
  166. fprintf(jit_out, "pop %%rsp\n");
  167. }
  168. void jit_call(void* func, char* note) {
  169. fprintf(jit_out, "mov $%p, %%rax\n", func);
  170. fprintf(jit_out, "callq *%%rax # %s\n", note);
  171. }
  172. #define jit_call2 jit_call
  173. #define jit_call3 jit_call
  174. void jit_callr(int reg) {
  175. fprintf(jit_out, "callq *%s\n", regnames[reg]);
  176. }
  177. int32_t inline_mod(int64_t a, int64_t b) {
  178. return a%b;
  179. }
  180. void jit_modr(int dreg, int sreg) {
  181. jit_movr(ARGR0,dreg);
  182. jit_movr(ARGR1,sreg);
  183. jit_call(inline_mod,"mod");
  184. if (dreg!=0) jit_movr(dreg,0);
  185. }
  186. void jit_cmpi(int sreg, int imm) {
  187. fprintf(jit_out, "cmp $%d, %s\n", imm, regnames[sreg]);
  188. }
  189. void jit_cmpr(int sreg, int dreg) {
  190. fprintf(jit_out, "cmp %s, %s\n", regnames[dreg], regnames[sreg]);
  191. }
  192. void jit_je(char* label) {
  193. fprintf(jit_out, "je %s\n", label);
  194. }
  195. void jit_jne(char* label) {
  196. fprintf(jit_out, "jne %s\n", label);
  197. }
  198. void jit_jge(char* label) {
  199. fprintf(jit_out, "jge %s\n", label);
  200. }
  201. void jit_jneg(char* label) {
  202. fprintf(jit_out, "js %s\n", label);
  203. }
  204. void jit_jmp(char* label) {
  205. fprintf(jit_out, "jmp %s\n", label);
  206. }
  207. void jit_label(char* label) {
  208. fprintf(jit_out, "%s:\n", label);
  209. }
  210. void jit_ret() {
  211. fprintf(jit_out, "ret\n");
  212. }
  213. void jit_push(int r1, int r2) {
  214. for (int i=r1; i<=r2; i++) {
  215. fprintf(jit_out, "push %s\n",regnames[i]);
  216. }
  217. }
  218. void jit_pop(int r1, int r2) {
  219. for (int i=r2; i>=r1; i--) {
  220. fprintf(jit_out, "pop %s\n",regnames[i]);
  221. }
  222. }
  223. void jit_comment(char* comment) {
  224. fprintf(jit_out, "# %s\n",comment);
  225. }
  226. void debug_handler(char* line, Frame* frame) {
  227. printf("@ %s\r\n",line);
  228. if (debug_mode==2 && frame) {
  229. if (frame->f) {
  230. for (int i=0; i<MAXFRAME; i++) {
  231. char* typestr = "UNKNOWN";
  232. Arg a = frame->f[i];
  233. if (a.type) {
  234. switch (a.type) {
  235. case ARGT_CONST: typestr = "CONST"; break;
  236. case ARGT_ENV: typestr = "ENV"; break;
  237. case ARGT_LAMBDA: typestr = "LAMBDA"; break;
  238. case ARGT_REG: {
  239. char buf[10];
  240. sprintf(buf,"R%d(%s)",a.slot+LBDREG,regnames[a.slot+LBDREG]);
  241. typestr = buf;
  242. break;
  243. }
  244. case ARGT_REG_INT: typestr = "INT"; break;
  245. case ARGT_STACK: typestr = "STACK"; break;
  246. case ARGT_STACK_INT: typestr = "STACK_INT"; break;
  247. }
  248. printf(" %2d\t%s\t%s\t%d\r\n",i,a.name,typestr,a.slot);
  249. }
  250. }
  251. } else {
  252. //printf(" empty frame\r\n");
  253. }
  254. }
  255. }