cpubase.pas 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485
  1. {
  2. Copyright (c) 1998-2002 by Florian Klaempfl
  3. Contains the base types for the Risc-V32
  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. { This Unit contains the base types for the Risc-V32
  18. }
  19. unit cpubase;
  20. {$i fpcdefs.inc}
  21. interface
  22. uses
  23. strings,globtype,
  24. cutils,cclasses,aasmbase,cpuinfo,cgbase;
  25. {*****************************************************************************
  26. Assembler Opcodes
  27. *****************************************************************************}
  28. type
  29. TAsmOp=(A_None,
  30. { Pseudo instructions }
  31. A_NOP,
  32. { normal opcodes }
  33. A_LUI,A_AUIPC,A_JAL,A_JALR,
  34. A_Bxx,A_LB,A_LH,A_LW,A_LBU,A_LHU,
  35. A_SB,A_SH,A_SW,
  36. A_ADDI,A_SLTI,A_SLTIU,
  37. A_XORI,A_ORI,A_ANDI,
  38. A_SLLI,A_SRLI,A_SRAI,
  39. A_ADD,A_SUB,A_SLL,A_SLT,A_SLTU,
  40. A_XOR,A_SRL,A_SRA,A_OR,A_AND,
  41. A_FENCE,A_FENCE_I,
  42. A_ECALL,A_EBREAK,
  43. A_CSRRW,A_CSRRS,A_CSRRC,A_CSRRWI,A_CSRRSI,A_CSRRCI,
  44. { M-extension }
  45. A_MUL,A_MULH,A_MULHSU,A_MULHU,
  46. A_DIV,A_DIVU,A_REM,A_REMU,
  47. { A-extension }
  48. A_LR_W,A_SC_W,A_AMOSWAP_W,A_AMOADD_W,A_AMOXOR_W,A_AMOAND_W,
  49. A_AMOOR_W,A_AMOMIN_W,A_AMOMAX_W,A_AMOMINU_W,A_AMOMAXU_W,
  50. { F-extension }
  51. A_FLW,A_FSW,
  52. A_FMADD_S,A_FMSUB_S,A_FNMSUB_S,A_FNMADD_S,
  53. A_FADD_S,A_FSUB_S,A_FMUL_S,A_FDIV_S,
  54. A_FSQRT_S,A_FSGNJ_S,A_FSGNJN_S,A_FSGNJX_S,
  55. A_FMIN_S,A_FMAX_S,
  56. A_FMV_X_S,A_FEQ_S,A_FLT_S,A_FLE_S,A_FCLASS_S,
  57. A_FCVT_W_S,A_FCVT_WU_S,A_FCVT_S_W,A_FCVT_S_WU,
  58. A_FMV_S_X,
  59. A_FRCSR,A_FRRM,A_FRFLAGS,A_FSCSR,A_FSRM,
  60. A_FSFLAGS,A_FSRMI,A_FSFLAGSI,
  61. { D-extension }
  62. A_FLD,A_FSD,
  63. A_FMADD_D,A_FMSUB_D,A_FNMSUB_D,A_FNMADD_D,
  64. A_FADD_D,A_FSUB_D,A_FMUL_D,A_FDIV_D,
  65. A_FSQRT_D,A_FSGNJ_D,A_FSGNJN_D,A_FSGNJX_D,
  66. A_FMIN_D,A_FMAX_D,
  67. A_FEQ_D,A_FLT_D,A_FLE_D,A_FCLASS_D,
  68. A_FCVT_D_S,A_FCVT_S_D,
  69. A_FCVT_W_D,A_FCVT_WU_D,A_FCVT_D_W,A_FCVT_D_WU,
  70. { Machine mode }
  71. A_MRET,A_HRET,A_SRET,A_URET,
  72. A_WFI,
  73. { Supervisor }
  74. A_SFENCE_VM
  75. );
  76. TAsmOps = set of TAsmOp;
  77. {# This should define the array of instructions as string }
  78. op2strtable=array[tasmop] of string[8];
  79. Const
  80. {# First value of opcode enumeration }
  81. firstop = low(tasmop);
  82. {# Last value of opcode enumeration }
  83. lastop = high(tasmop);
  84. {*****************************************************************************
  85. Registers
  86. *****************************************************************************}
  87. type
  88. { Number of registers used for indexing in tables }
  89. tregisterindex=0..{$i rrv32nor.inc}-1;
  90. const
  91. maxvarregs = 32-6; { 32 int registers - r0 - stackpointer - r2 - 3 scratch registers }
  92. maxfpuvarregs = 28; { 32 fpuregisters - some scratch registers (minimally 2) }
  93. { Available Superregisters }
  94. {$i rrv32sup.inc}
  95. { No Subregisters }
  96. R_SUBWHOLE=R_SUBNONE;
  97. { Available Registers }
  98. {$i rrv32con.inc}
  99. { Integer Super registers first and last }
  100. first_int_imreg = $20;
  101. { Float Super register first and last }
  102. first_fpu_imreg = $20;
  103. { MM Super register first and last }
  104. first_mm_imreg = $20;
  105. { TODO: Calculate bsstart}
  106. regnumber_count_bsstart = 64;
  107. regnumber_table : array[tregisterindex] of tregister = (
  108. {$i rrv32num.inc}
  109. );
  110. regstabs_table : array[tregisterindex] of shortint = (
  111. {$i rrv32sta.inc}
  112. );
  113. regdwarf_table : array[tregisterindex] of shortint = (
  114. {$i rrv32dwa.inc}
  115. );
  116. {*****************************************************************************
  117. Conditions
  118. *****************************************************************************}
  119. type
  120. TAsmCond = (C_None { unconditional jumps },
  121. C_LT,C_LTU,C_GE,C_GEU,C_NE,C_EQ);
  122. TAsmConds = set of TAsmCond;
  123. const
  124. cond2str: Array[TAsmCond] of string[4] = ({cf_none}'',
  125. { conditions when not using ctr decrement etc}
  126. 'lt','ltu','ge','geu','ne','eq');
  127. uppercond2str: Array[TAsmCond] of string[4] = ({cf_none}'',
  128. { conditions when not using ctr decrement etc}
  129. 'LT','LTU','GE','GEU','NE','EQ');
  130. {*****************************************************************************
  131. Flags
  132. *****************************************************************************}
  133. type
  134. TResFlagsEnum = (F_EQ,F_NE,F_LT,F_LTU,F_GE,F_GEU);
  135. {*****************************************************************************
  136. Reference
  137. *****************************************************************************}
  138. {*****************************************************************************
  139. Operands
  140. *****************************************************************************}
  141. type
  142. TMemoryOrderingFlag = (moRl, moAq);
  143. TMemoryOrdering = set of TMemoryOrderingFlag;
  144. TFenceFlag = (ffI, ffO, ffR, ffW);
  145. TFenceFlags = set of TFenceFlag;
  146. TRoundingMode = (RM_Default,
  147. RM_RNE,
  148. RM_RTZ,
  149. RM_RDN,
  150. RM_RUP,
  151. RM_RMM);
  152. const
  153. roundingmode2str : array[TRoundingMode] of string[3] = ('',
  154. 'rne','rtz','rdn','rup','rmm');
  155. {*****************************************************************************
  156. Constants
  157. *****************************************************************************}
  158. const
  159. max_operands = 5;
  160. {*****************************************************************************
  161. Default generic sizes
  162. *****************************************************************************}
  163. {# Defines the default address size for a processor, }
  164. OS_ADDR = OS_32;
  165. {# the natural int size for a processor,
  166. has to match osuinttype/ossinttype as initialized in psystem }
  167. OS_INT = OS_32;
  168. OS_SINT = OS_S32;
  169. {# the maximum float size for a processor, }
  170. OS_FLOAT = OS_F64;
  171. {# the size of a vector register for a processor }
  172. OS_VECTOR = OS_M128;
  173. {*****************************************************************************
  174. GDB Information
  175. *****************************************************************************}
  176. stab_regindex : array[tregisterindex] of shortint = (
  177. {$i rrv32sta.inc}
  178. );
  179. {*****************************************************************************
  180. Generic Register names
  181. *****************************************************************************}
  182. {# Stack pointer register }
  183. NR_STACK_POINTER_REG = NR_X2;
  184. RS_STACK_POINTER_REG = RS_X2;
  185. {# Frame pointer register }
  186. NR_FRAME_POINTER_REG = NR_X8;
  187. RS_FRAME_POINTER_REG = RS_X8;
  188. NR_PIC_OFFSET_REG = NR_X3;
  189. { Return address of a function }
  190. NR_RETURN_ADDRESS_REG = NR_X1;
  191. RS_RETURN_ADDRESS_REG = RS_X1;
  192. { Results are returned in this register (32-bit values) }
  193. NR_FUNCTION_RETURN_REG = NR_X10;
  194. RS_FUNCTION_RETURN_REG = RS_X10;
  195. { Low part of 64bit return value }
  196. NR_FUNCTION_RETURN64_LOW_REG = NR_X10;
  197. RS_FUNCTION_RETURN64_LOW_REG = RS_X10;
  198. { High part of 64bit return value }
  199. NR_FUNCTION_RETURN64_HIGH_REG = NR_X11;
  200. RS_FUNCTION_RETURN64_HIGH_REG = RS_X11;
  201. { The value returned from a function is available in this register }
  202. NR_FUNCTION_RESULT_REG = NR_FUNCTION_RETURN_REG;
  203. RS_FUNCTION_RESULT_REG = RS_FUNCTION_RETURN_REG;
  204. { The lowh part of 64bit value returned from a function }
  205. NR_FUNCTION_RESULT64_LOW_REG = NR_FUNCTION_RETURN64_LOW_REG;
  206. RS_FUNCTION_RESULT64_LOW_REG = RS_FUNCTION_RETURN64_LOW_REG;
  207. { The high part of 64bit value returned from a function }
  208. NR_FUNCTION_RESULT64_HIGH_REG = NR_FUNCTION_RETURN64_HIGH_REG;
  209. RS_FUNCTION_RESULT64_HIGH_REG = RS_FUNCTION_RETURN64_HIGH_REG;
  210. NR_FPU_RESULT_REG = NR_F10;
  211. NR_MM_RESULT_REG = NR_NO;
  212. NR_DEFAULTFLAGS = NR_NO;
  213. RS_DEFAULTFLAGS = RS_NO;
  214. {*****************************************************************************
  215. GCC /ABI linking information
  216. *****************************************************************************}
  217. {# Registers which must be saved when calling a routine declared as
  218. cppdecl, cdecl, stdcall, safecall, palmossyscall. The registers
  219. saved should be the ones as defined in the target ABI and / or GCC.
  220. This value can be deduced from CALLED_USED_REGISTERS array in the
  221. GCC source.
  222. }
  223. saved_standard_registers : array[0..12] of tsuperregister = (
  224. RS_X2,
  225. RS_X8,RS_X9,
  226. RS_X18,RS_X19,
  227. RS_X20,RS_X21,RS_X22,RS_X23,RS_X24,RS_X25,RS_X26,RS_X27
  228. );
  229. { this is only for the generic code which is not used for this architecture }
  230. saved_address_registers : array[0..0] of tsuperregister = (RS_INVALID);
  231. saved_mm_registers : array[0..0] of tsuperregister = (RS_INVALID);
  232. {# Required parameter alignment when calling a routine declared as
  233. stdcall and cdecl. The alignment value should be the one defined
  234. by GCC or the target ABI.
  235. The value of this constant is equal to the constant
  236. PARM_BOUNDARY / BITS_PER_UNIT in the GCC source.
  237. }
  238. std_param_align = 4; { for 32-bit version only }
  239. {*****************************************************************************
  240. CPU Dependent Constants
  241. *****************************************************************************}
  242. maxfpuregs = 8;
  243. {*****************************************************************************
  244. Helpers
  245. *****************************************************************************}
  246. function is_imm12(value: tcgint): boolean;
  247. function is_lui_imm(value: tcgint): boolean;
  248. function is_calljmp(o:tasmop):boolean;
  249. function cgsize2subreg(regtype: tregistertype; s:Tcgsize):Tsubregister;
  250. { Returns the tcgsize corresponding with the size of reg.}
  251. function reg_cgsize(const reg: tregister) : tcgsize;
  252. function findreg_by_number(r:Tregister):tregisterindex;
  253. function std_regnum_search(const s:string):Tregister;
  254. function std_regname(r:Tregister):string;
  255. function inverse_cond(const c: TAsmCond): Tasmcond; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  256. function dwarf_reg(r:tregister):shortint;
  257. function dwarf_reg_no_error(r:tregister):shortint;
  258. function eh_return_data_regno(nr: longint): longint;
  259. function conditions_equal(const c1,c2: TAsmCond): boolean;
  260. { Checks if Subset is a subset of c (e.g. "less than" is a subset of "less than or equal" }
  261. function condition_in(const Subset, c: TAsmCond): Boolean;
  262. implementation
  263. uses
  264. rgbase,verbose;
  265. const
  266. std_regname_table : TRegNameTable = (
  267. {$i rrv32std.inc}
  268. );
  269. regnumber_index : array[tregisterindex] of tregisterindex = (
  270. {$i rrv32rni.inc}
  271. );
  272. std_regname_index : array[tregisterindex] of tregisterindex = (
  273. {$i rrv32sri.inc}
  274. );
  275. {*****************************************************************************
  276. Helpers
  277. *****************************************************************************}
  278. function is_imm12(value: tcgint): boolean;
  279. begin
  280. result:=(value >= -2048) and (value <= 2047);
  281. end;
  282. function is_lui_imm(value: tcgint): boolean;
  283. begin
  284. result:=SarInt64((value and $FFFFF000) shl 32, 32) = value;
  285. end;
  286. function is_calljmp(o:tasmop):boolean;
  287. begin
  288. is_calljmp:=false;
  289. case o of
  290. A_JAL,A_JALR,A_Bxx:
  291. is_calljmp:=true;
  292. else
  293. ;
  294. end;
  295. end;
  296. function inverse_cond(const c: TAsmCond): Tasmcond; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  297. const
  298. inv_condflags:array[TAsmCond] of TAsmCond=(C_None,
  299. C_GE,C_GEU,C_LT,C_LTU,C_EQ,C_NE);
  300. begin
  301. result := inv_condflags[c];
  302. end;
  303. function reg_cgsize(const reg: tregister): tcgsize;
  304. begin
  305. case getregtype(reg) of
  306. R_INTREGISTER :
  307. result:=OS_32;
  308. R_MMREGISTER:
  309. result:=OS_M128;
  310. R_FPUREGISTER:
  311. result:=OS_F64;
  312. else
  313. internalerror(200303181);
  314. end;
  315. end;
  316. function cgsize2subreg(regtype: tregistertype; s:Tcgsize):Tsubregister;
  317. begin
  318. cgsize2subreg:=R_SUBWHOLE;
  319. end;
  320. function findreg_by_number(r:Tregister):tregisterindex;
  321. begin
  322. result:=rgBase.findreg_by_number_table(r,regnumber_index);
  323. end;
  324. function std_regnum_search(const s:string):Tregister;
  325. begin
  326. result:=regnumber_table[findreg_by_name_table(s,std_regname_table,std_regname_index)];
  327. end;
  328. function std_regname(r:Tregister):string;
  329. var
  330. p : tregisterindex;
  331. begin
  332. p:=findreg_by_number_table(r,regnumber_index);
  333. if p<>0 then
  334. result:=std_regname_table[p]
  335. else
  336. result:=generic_regname(r);
  337. end;
  338. function dwarf_reg(r:tregister):shortint;
  339. begin
  340. result:=regdwarf_table[findreg_by_number(r)];
  341. if result=-1 then
  342. internalerror(200603251);
  343. end;
  344. function dwarf_reg_no_error(r:tregister):shortint;
  345. begin
  346. result:=regdwarf_table[findreg_by_number(r)];
  347. end;
  348. function eh_return_data_regno(nr: longint): longint;
  349. begin
  350. if (nr>=0) and (nr<4) then
  351. result:=nr+10
  352. else
  353. result:=-1;
  354. end;
  355. function conditions_equal(const c1, c2: TAsmCond): boolean;
  356. begin
  357. result:=c1=c2;
  358. end;
  359. { Checks if Subset is a subset of c (e.g. "less than" is a subset of "less than or equal" }
  360. function condition_in(const Subset, c: TAsmCond): Boolean;
  361. begin
  362. Result := (c = C_None) or conditions_equal(Subset, c);
  363. if not Result then
  364. case Subset of
  365. C_EQ:
  366. Result := (c in [C_GE, C_GEU]);
  367. else
  368. Result := False;
  369. end;
  370. end;
  371. end.