aasmcpu.pas 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581
  1. {
  2. Copyright (c) 1999-2002 by Jonas Maebe and Thomas Schatzl
  3. Contains the assembler object for the Risc-V 32 and Risc-V 64
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program; if not, write to the Free Software
  14. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  15. ****************************************************************************
  16. }
  17. unit aasmcpu;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. globtype,verbose,
  22. aasmbase,aasmtai,aasmdata,aasmsym,
  23. cpubase,cgbase,cgutils;
  24. const
  25. { "mov reg,reg" source operand number }
  26. O_MOV_SOURCE = 1;
  27. { "mov reg,reg" source operand number }
  28. O_MOV_DEST = 0;
  29. type
  30. taicpu = class(tai_cpu_abstract_sym)
  31. constructor op_none(op : tasmop);
  32. constructor op_reg(op : tasmop;_op1 : tregister);
  33. constructor op_const(op : tasmop;_op1 : aint);
  34. constructor op_reg_reg(op : tasmop;_op1,_op2 : tregister);
  35. constructor op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
  36. constructor op_reg_const(op:tasmop; _op1: tregister; _op2: aint);
  37. constructor op_const_reg(op:tasmop; _op1: aint; _op2: tregister);
  38. constructor op_const_const(op : tasmop;_op1,_op2 : aint);
  39. constructor op_reg_reg_const_const(op: tasmop; _op1, _op2: tregister; _op3, _op4: aint);
  40. constructor op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
  41. constructor op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: aint);
  42. constructor op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: aint);
  43. constructor op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
  44. constructor op_const_reg_reg(op : tasmop;_op1 : aint;_op2, _op3 : tregister);
  45. constructor op_const_reg_const(op : tasmop;_op1 : aint;_op2 : tregister;_op3 : aint);
  46. constructor op_const_const_const(op : tasmop;_op1 : aint;_op2 : aint;_op3 : aint);
  47. constructor op_reg_reg_reg_reg(op : tasmop;_op1,_op2,_op3,_op4 : tregister);
  48. constructor op_reg_bool_reg_reg(op : tasmop;_op1: tregister;_op2:boolean;_op3,_op4:tregister);
  49. constructor op_reg_bool_reg_const(op : tasmop;_op1: tregister;_op2:boolean;_op3:tregister;_op4: aint);
  50. constructor op_reg_reg_reg_const(op : tasmop; _op1, _op2, _op3 : tregister; _op4 : aint);
  51. constructor op_reg_reg_reg_const_const(op : tasmop;_op1,_op2,_op3 : tregister;_op4,_op5 : aint);
  52. constructor op_reg_reg_const_const_const(op : tasmop;_op1,_op2 : tregister;_op3,_op4,_op5 : aint);
  53. { this is for Jmp instructions }
  54. constructor op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
  55. constructor op_const_const_sym(op : tasmop;_op1,_op2 : aint;_op3: tasmsymbol);
  56. constructor op_sym(op : tasmop;_op1 : tasmsymbol);
  57. constructor op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint);
  58. constructor op_reg_sym(op : tasmop;_op1 : tregister;_op2:tasmsymbol);
  59. constructor op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : aint);
  60. constructor op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint;const _op2 : treference);
  61. procedure loadbool(opidx:aint;_b:boolean);
  62. function is_same_reg_move(regtype: Tregistertype):boolean; override;
  63. { register spilling code }
  64. function spilling_get_operation_type(opnr: longint): topertype;override;
  65. function spilling_get_operation_type_ref(opnr: longint; reg: tregister): topertype;override;
  66. end;
  67. tai_align = class(tai_align_abstract)
  68. { nothing to add }
  69. end;
  70. procedure InitAsm;
  71. procedure DoneAsm;
  72. function spilling_create_load(const ref:treference;r:tregister):Taicpu;
  73. function spilling_create_store(r:tregister; const ref:treference):Taicpu;
  74. implementation
  75. uses cutils, cclasses;
  76. {*****************************************************************************
  77. taicpu Constructors
  78. *****************************************************************************}
  79. procedure taicpu.loadbool(opidx:aint;_b:boolean);
  80. begin
  81. if opidx>=ops then
  82. ops:=opidx+1;
  83. with oper[opidx]^ do
  84. begin
  85. if typ=top_ref then
  86. dispose(ref);
  87. b:=_b;
  88. typ:=top_bool;
  89. end;
  90. end;
  91. constructor taicpu.op_none(op : tasmop);
  92. begin
  93. inherited create(op);
  94. end;
  95. constructor taicpu.op_reg(op : tasmop;_op1 : tregister);
  96. begin
  97. inherited create(op);
  98. ops:=1;
  99. loadreg(0,_op1);
  100. end;
  101. constructor taicpu.op_const(op : tasmop;_op1 : aint);
  102. begin
  103. inherited create(op);
  104. ops:=1;
  105. loadconst(0,_op1);
  106. end;
  107. constructor taicpu.op_reg_reg(op : tasmop;_op1,_op2 : tregister);
  108. begin
  109. inherited create(op);
  110. ops:=2;
  111. loadreg(0,_op1);
  112. loadreg(1,_op2);
  113. end;
  114. constructor taicpu.op_reg_const(op:tasmop; _op1: tregister; _op2: aint);
  115. begin
  116. inherited create(op);
  117. ops:=2;
  118. loadreg(0,_op1);
  119. loadconst(1,_op2);
  120. end;
  121. constructor taicpu.op_const_reg(op:tasmop; _op1: aint; _op2: tregister);
  122. begin
  123. inherited create(op);
  124. ops:=2;
  125. loadconst(0,_op1);
  126. loadreg(1,_op2);
  127. end;
  128. constructor taicpu.op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
  129. begin
  130. inherited create(op);
  131. ops:=2;
  132. loadreg(0,_op1);
  133. loadref(1,_op2);
  134. end;
  135. constructor taicpu.op_const_const(op : tasmop;_op1,_op2 : aint);
  136. begin
  137. inherited create(op);
  138. ops:=2;
  139. loadconst(0,_op1);
  140. loadconst(1,_op2);
  141. end;
  142. constructor taicpu.op_reg_reg_const_const(op: tasmop; _op1, _op2: tregister; _op3, _op4: aint);
  143. begin
  144. inherited create(op);
  145. ops := 4;
  146. loadreg(0, _op1);
  147. loadreg(1, _op2);
  148. loadconst(2, _op3);
  149. loadconst(3, _op4);
  150. end;
  151. constructor taicpu.op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
  152. begin
  153. inherited create(op);
  154. ops:=3;
  155. loadreg(0,_op1);
  156. loadreg(1,_op2);
  157. loadreg(2,_op3);
  158. end;
  159. constructor taicpu.op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: aint);
  160. begin
  161. inherited create(op);
  162. ops:=3;
  163. loadreg(0,_op1);
  164. loadreg(1,_op2);
  165. loadconst(2,_op3);
  166. end;
  167. constructor taicpu.op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: aint);
  168. begin
  169. inherited create(op);
  170. ops:=3;
  171. loadreg(0,_op1);
  172. loadreg(1,_op2);
  173. loadsymbol(2,_op3,_op3ofs);
  174. end;
  175. constructor taicpu.op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
  176. begin
  177. inherited create(op);
  178. ops:=3;
  179. loadreg(0,_op1);
  180. loadreg(1,_op2);
  181. loadref(2,_op3);
  182. end;
  183. constructor taicpu.op_const_reg_reg(op : tasmop;_op1 : aint;_op2, _op3 : tregister);
  184. begin
  185. inherited create(op);
  186. ops:=3;
  187. loadconst(0,_op1);
  188. loadreg(1,_op2);
  189. loadreg(2,_op3);
  190. end;
  191. constructor taicpu.op_const_reg_const(op : tasmop;_op1 : aint;_op2 : tregister;_op3 : aint);
  192. begin
  193. inherited create(op);
  194. ops:=3;
  195. loadconst(0,_op1);
  196. loadreg(1,_op2);
  197. loadconst(2,_op3);
  198. end;
  199. constructor taicpu.op_const_const_const(op : tasmop;_op1 : aint;_op2 : aint;_op3 : aint);
  200. begin
  201. inherited create(op);
  202. ops:=3;
  203. loadconst(0,_op1);
  204. loadconst(1,_op2);
  205. loadconst(2,_op3);
  206. end;
  207. constructor taicpu.op_reg_reg_reg_reg(op : tasmop;_op1,_op2,_op3,_op4 : tregister);
  208. begin
  209. inherited create(op);
  210. ops:=4;
  211. loadreg(0,_op1);
  212. loadreg(1,_op2);
  213. loadreg(2,_op3);
  214. loadreg(3,_op4);
  215. end;
  216. constructor taicpu.op_reg_bool_reg_reg(op : tasmop;_op1: tregister;_op2:boolean;_op3,_op4:tregister);
  217. begin
  218. inherited create(op);
  219. ops:=4;
  220. loadreg(0,_op1);
  221. loadbool(1,_op2);
  222. loadreg(2,_op3);
  223. loadreg(3,_op4);
  224. end;
  225. constructor taicpu.op_reg_bool_reg_const(op : tasmop;_op1: tregister;_op2:boolean;_op3:tregister;_op4: aint);
  226. begin
  227. inherited create(op);
  228. ops:=4;
  229. loadreg(0,_op1);
  230. loadbool(0,_op2);
  231. loadreg(0,_op3);
  232. loadconst(0,cardinal(_op4));
  233. end;
  234. constructor taicpu.op_reg_reg_reg_const(op : tasmop; _op1, _op2, _op3 : tregister; _op4 : aint);
  235. begin
  236. inherited create(op);
  237. ops := 4;
  238. loadreg(0, _op1);
  239. loadreg(1, _op2);
  240. loadreg(2, _op3);
  241. loadconst(3, cardinal(_op4));
  242. end;
  243. constructor taicpu.op_reg_reg_reg_const_const(op : tasmop;_op1,_op2,_op3 : tregister;_op4,_op5 : aint);
  244. begin
  245. inherited create(op);
  246. ops:=5;
  247. loadreg(0,_op1);
  248. loadreg(1,_op2);
  249. loadreg(2,_op3);
  250. loadconst(3,cardinal(_op4));
  251. loadconst(4,cardinal(_op5));
  252. end;
  253. constructor taicpu.op_reg_reg_const_const_const(op : tasmop;_op1,_op2 : tregister;_op3,_op4,_op5 : aint);
  254. begin
  255. inherited create(op);
  256. ops:=5;
  257. loadreg(0,_op1);
  258. loadreg(1,_op2);
  259. loadconst(2,_op3);
  260. loadconst(3,_op4);
  261. loadconst(4,_op5);
  262. end;
  263. constructor taicpu.op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
  264. begin
  265. inherited create(op);
  266. condition:=cond;
  267. ops:=1;
  268. loadsymbol(0,_op1,0);
  269. end;
  270. constructor taicpu.op_const_const_sym(op : tasmop;_op1,_op2 : aint; _op3: tasmsymbol);
  271. begin
  272. inherited create(op);
  273. ops:=3;
  274. loadconst(0,_op1);
  275. loadconst(1,_op2);
  276. loadsymbol(2,_op3,0);
  277. end;
  278. constructor taicpu.op_sym(op : tasmop;_op1 : tasmsymbol);
  279. begin
  280. inherited create(op);
  281. ops:=1;
  282. loadsymbol(0,_op1,0);
  283. end;
  284. constructor taicpu.op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint);
  285. begin
  286. inherited create(op);
  287. ops:=1;
  288. loadsymbol(0,_op1,_op1ofs);
  289. end;
  290. constructor taicpu.op_reg_sym(op: tasmop; _op1: tregister; _op2: tasmsymbol);
  291. begin
  292. inherited create(op);
  293. ops:=2;
  294. loadreg(0,_op1);
  295. loadsymbol(1,_op2,0);
  296. end;
  297. constructor taicpu.op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : aint);
  298. begin
  299. inherited create(op);
  300. ops:=2;
  301. loadreg(0,_op1);
  302. loadsymbol(1,_op2,_op2ofs);
  303. end;
  304. constructor taicpu.op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint;const _op2 : treference);
  305. begin
  306. inherited create(op);
  307. ops:=2;
  308. loadsymbol(0,_op1,_op1ofs);
  309. loadref(1,_op2);
  310. end;
  311. { ****************************** newra stuff *************************** }
  312. function taicpu.is_same_reg_move(regtype: Tregistertype):boolean;
  313. begin
  314. case regtype of
  315. R_INTREGISTER:
  316. result:=
  317. (opcode=A_ADDI) and
  318. (oper[0]^.reg=oper[1]^.reg) and
  319. (oper[2]^.val=0);
  320. R_FPUREGISTER:
  321. result:=
  322. (opcode in [A_FSGNJ_S,A_FSGNJ_D]) and
  323. (oper[0]^.reg=oper[1]^.reg) and
  324. (oper[0]^.reg=oper[2]^.reg);
  325. end;
  326. end;
  327. function taicpu.spilling_get_operation_type(opnr: longint): topertype;
  328. begin
  329. result := operand_read;
  330. case opcode of
  331. // U type
  332. A_LUI,
  333. A_AUIPC:
  334. if opnr=0 then
  335. result:=operand_write
  336. else
  337. result:=operand_read;
  338. // UJ type
  339. A_JAL:
  340. if opnr=0 then
  341. result:=operand_write
  342. else
  343. result:=operand_read;
  344. // I type
  345. A_JALR,
  346. A_LB,A_LH,A_LW,A_LBU,A_LHU,
  347. A_ADDI,A_SLTI,A_SLTIU,
  348. A_XORI,A_ORI,A_ANDI,
  349. A_SLLI,A_SRLI,A_SRAI,
  350. A_FENCE,A_FENCE_I,
  351. A_ECALL,A_EBREAK,
  352. A_CSRRW,A_CSRRS,A_CSRRC,A_CSRRWI,A_CSRRSI,A_CSRRCI,
  353. A_FRCSR,A_FRRM,A_FRFLAGS,A_FSCSR,A_FSRM,
  354. A_FSFLAGS,A_FSRMI,A_FSFLAGSI:
  355. if opnr=0 then
  356. result:=operand_write
  357. else
  358. result:=operand_read;
  359. A_FLW,
  360. A_FLD:
  361. if opnr=0 then
  362. result:=operand_write
  363. else
  364. result:=operand_read;
  365. // SB type
  366. A_Bxx:
  367. result:=operand_read;
  368. // S type
  369. A_SB,A_SH,A_SW,
  370. A_FSW,
  371. A_FSD:
  372. result:=operand_read;
  373. // R type
  374. A_ADD,A_SUB,A_SLL,A_SLT,A_SLTU,
  375. A_XOR,A_OR,A_AND,A_SRL,A_SRA,
  376. A_MUL,A_MULH,A_MULHSU,A_MULHU,
  377. A_DIV,A_DIVU,A_REM,A_REMU,
  378. A_LR_W,A_SC_W,A_AMOSWAP_W,A_AMOADD_W,A_AMOXOR_W,A_AMOAND_W,
  379. A_AMOOR_W,A_AMOMIN_W,A_AMOMAX_W,A_AMOMINU_W,A_AMOMAXU_W,
  380. A_FADD_S,A_FSUB_S,A_FMUL_S,A_FDIV_S,
  381. A_FSQRT_S,A_FSGNJ_S,A_FSGNJN_S,A_FSGNJX_S,
  382. A_FMIN_S,A_FMAX_S,
  383. A_FMV_X_S,A_FEQ_S,A_FLT_S,A_FLE_S,A_FCLASS_S,
  384. A_FCVT_W_S,A_FCVT_WU_S,A_FCVT_S_W,A_FCVT_S_WU,
  385. A_FMV_S_X,
  386. A_FADD_D,A_FSUB_D,A_FMUL_D,A_FDIV_D,
  387. A_FSQRT_D,A_FSGNJ_D,A_FSGNJN_D,A_FSGNJX_D,
  388. A_FMIN_D,A_FMAX_D,
  389. A_FEQ_D,A_FLT_D,A_FLE_D,A_FCLASS_D,
  390. A_FCVT_D_S,A_FCVT_S_D,
  391. A_FCVT_W_D,A_FCVT_WU_D,A_FCVT_D_W,A_FCVT_D_WU:
  392. if opnr=0 then
  393. result:=operand_write
  394. else
  395. result:=operand_read;
  396. // R4 type
  397. A_FMADD_S,A_FMSUB_S,A_FNMSUB_S,A_FNMADD_S,
  398. A_FMADD_D,A_FMSUB_D,A_FNMSUB_D,A_FNMADD_D:
  399. if opnr=0 then
  400. result:=operand_write
  401. else
  402. result:=operand_read;
  403. {$ifdef RISCV64}
  404. A_LR_D,A_SC_D,A_AMOSWAP_D,A_AMOADD_D,A_AMOXOR_D,A_AMOAND_D,
  405. A_AMOOR_D,A_AMOMIN_D,A_AMOMAX_D,A_AMOMINU_D,A_AMOMAXU_D,
  406. A_MULW,
  407. A_DIVW,A_DIVUW,A_REMW,A_REMUW,
  408. A_FCVT_L_S,A_FCVT_LU_S,
  409. A_FCVT_S_L,A_FCVT_S_LU,
  410. A_FCVT_L_D,A_FCVT_LU_D,A_FMV_X_D,
  411. A_FCVT_D_L,A_FCVT_D_LU,A_FMV_D_X,
  412. A_ADDIW,A_SLLIW,A_SRLIW,A_SRAIW,
  413. A_ADDW,A_SLLW,A_SRLW,A_SUBW,A_SRAW,
  414. A_LD,A_LWU:
  415. if opnr=0 then
  416. result:=operand_write
  417. else
  418. result:=operand_read;
  419. A_SD:
  420. result:=operand_read;
  421. {$endif RISCV64}
  422. end;
  423. end;
  424. function taicpu.spilling_get_operation_type_ref(opnr: longint; reg: tregister): topertype;
  425. begin
  426. result := operand_read;
  427. end;
  428. function spilling_create_load(const ref:treference;r:tregister):Taicpu;
  429. begin
  430. case getregtype(r) of
  431. R_INTREGISTER:
  432. {$ifdef cpu64bitalu}
  433. result:=taicpu.op_reg_ref(A_LD,r,ref);
  434. {$else cpu64bitalu}
  435. result:=taicpu.op_reg_ref(A_LW,r,ref);
  436. {$endif cpu64bitalu}
  437. R_FPUREGISTER:
  438. result:=taicpu.op_reg_ref(A_FLD,r,ref);
  439. else
  440. internalerror(2005123101);
  441. end;
  442. end;
  443. function spilling_create_store(r:tregister; const ref:treference):Taicpu;
  444. begin
  445. case getregtype(r) of
  446. R_INTREGISTER:
  447. {$ifdef cpu64bitalu}
  448. result:=taicpu.op_reg_ref(A_SD,r,ref);
  449. {$else cpu64bitalu}
  450. result:=taicpu.op_reg_ref(A_SW,r,ref);
  451. {$endif cpu64bitalu}
  452. R_FPUREGISTER:
  453. result:=taicpu.op_reg_ref(A_FSD,r,ref);
  454. else
  455. internalerror(2005123102);
  456. end;
  457. end;
  458. procedure InitAsm;
  459. begin
  460. end;
  461. procedure DoneAsm;
  462. begin
  463. end;
  464. begin
  465. cai_align:=tai_align;
  466. cai_cpu:=taicpu;
  467. end.