cpubase.pas 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481
  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. {# This should define the array of instructions as string }
  77. op2strtable=array[tasmop] of string[8];
  78. Const
  79. {# First value of opcode enumeration }
  80. firstop = low(tasmop);
  81. {# Last value of opcode enumeration }
  82. lastop = high(tasmop);
  83. {*****************************************************************************
  84. Registers
  85. *****************************************************************************}
  86. type
  87. { Number of registers used for indexing in tables }
  88. tregisterindex=0..{$i rrv32nor.inc}-1;
  89. const
  90. maxvarregs = 32-6; { 32 int registers - r0 - stackpointer - r2 - 3 scratch registers }
  91. maxfpuvarregs = 28; { 32 fpuregisters - some scratch registers (minimally 2) }
  92. { Available Superregisters }
  93. {$i rrv32sup.inc}
  94. { No Subregisters }
  95. R_SUBWHOLE=R_SUBNONE;
  96. { Available Registers }
  97. {$i rrv32con.inc}
  98. { Integer Super registers first and last }
  99. first_int_imreg = $20;
  100. { Float Super register first and last }
  101. first_fpu_imreg = $20;
  102. { MM Super register first and last }
  103. first_mm_imreg = $20;
  104. { TODO: Calculate bsstart}
  105. regnumber_count_bsstart = 64;
  106. regnumber_table : array[tregisterindex] of tregister = (
  107. {$i rrv32num.inc}
  108. );
  109. regstabs_table : array[tregisterindex] of shortint = (
  110. {$i rrv32sta.inc}
  111. );
  112. regdwarf_table : array[tregisterindex] of shortint = (
  113. {$i rrv32dwa.inc}
  114. );
  115. {*****************************************************************************
  116. Conditions
  117. *****************************************************************************}
  118. type
  119. TAsmCond = (C_None { unconditional jumps },
  120. C_LT,C_LTU,C_GE,C_GEU,C_NE,C_EQ);
  121. const
  122. cond2str: Array[TAsmCond] of string[4] = ({cf_none}'',
  123. { conditions when not using ctr decrement etc}
  124. 'lt','ltu','ge','geu','ne','eq');
  125. uppercond2str: Array[TAsmCond] of string[4] = ({cf_none}'',
  126. { conditions when not using ctr decrement etc}
  127. 'LT','LTU','GE','GEU','NE','EQ');
  128. {*****************************************************************************
  129. Flags
  130. *****************************************************************************}
  131. type
  132. TResFlagsEnum = (F_EQ,F_NE,F_LT,F_LTU,F_GE,F_GEU);
  133. {*****************************************************************************
  134. Reference
  135. *****************************************************************************}
  136. {*****************************************************************************
  137. Operands
  138. *****************************************************************************}
  139. type
  140. TMemoryOrderingFlag = (moRl, moAq);
  141. TMemoryOrdering = set of TMemoryOrderingFlag;
  142. TFenceFlag = (ffI, ffO, ffR, ffW);
  143. TFenceFlags = set of TFenceFlag;
  144. TRoundingMode = (RM_Default,
  145. RM_RNE,
  146. RM_RTZ,
  147. RM_RDN,
  148. RM_RUP,
  149. RM_RMM);
  150. const
  151. roundingmode2str : array[TRoundingMode] of string[3] = ('',
  152. 'rne','rtz','rdn','rup','rmm');
  153. {*****************************************************************************
  154. Constants
  155. *****************************************************************************}
  156. const
  157. max_operands = 5;
  158. {*****************************************************************************
  159. Default generic sizes
  160. *****************************************************************************}
  161. {# Defines the default address size for a processor, }
  162. OS_ADDR = OS_32;
  163. {# the natural int size for a processor,
  164. has to match osuinttype/ossinttype as initialized in psystem }
  165. OS_INT = OS_32;
  166. OS_SINT = OS_S32;
  167. {# the maximum float size for a processor, }
  168. OS_FLOAT = OS_F64;
  169. {# the size of a vector register for a processor }
  170. OS_VECTOR = OS_M128;
  171. {*****************************************************************************
  172. GDB Information
  173. *****************************************************************************}
  174. stab_regindex : array[tregisterindex] of shortint = (
  175. {$i rrv32sta.inc}
  176. );
  177. {*****************************************************************************
  178. Generic Register names
  179. *****************************************************************************}
  180. {# Stack pointer register }
  181. NR_STACK_POINTER_REG = NR_X2;
  182. RS_STACK_POINTER_REG = RS_X2;
  183. {# Frame pointer register }
  184. NR_FRAME_POINTER_REG = NR_X8;
  185. RS_FRAME_POINTER_REG = RS_X8;
  186. NR_PIC_OFFSET_REG = NR_X3;
  187. { Return address of a function }
  188. NR_RETURN_ADDRESS_REG = NR_X1;
  189. RS_RETURN_ADDRESS_REG = RS_X1;
  190. { Results are returned in this register (32-bit values) }
  191. NR_FUNCTION_RETURN_REG = NR_X10;
  192. RS_FUNCTION_RETURN_REG = RS_X10;
  193. { Low part of 64bit return value }
  194. NR_FUNCTION_RETURN64_LOW_REG = NR_X10;
  195. RS_FUNCTION_RETURN64_LOW_REG = RS_X10;
  196. { High part of 64bit return value }
  197. NR_FUNCTION_RETURN64_HIGH_REG = NR_X11;
  198. RS_FUNCTION_RETURN64_HIGH_REG = RS_X11;
  199. { The value returned from a function is available in this register }
  200. NR_FUNCTION_RESULT_REG = NR_FUNCTION_RETURN_REG;
  201. RS_FUNCTION_RESULT_REG = RS_FUNCTION_RETURN_REG;
  202. { The lowh part of 64bit value returned from a function }
  203. NR_FUNCTION_RESULT64_LOW_REG = NR_FUNCTION_RETURN64_LOW_REG;
  204. RS_FUNCTION_RESULT64_LOW_REG = RS_FUNCTION_RETURN64_LOW_REG;
  205. { The high part of 64bit value returned from a function }
  206. NR_FUNCTION_RESULT64_HIGH_REG = NR_FUNCTION_RETURN64_HIGH_REG;
  207. RS_FUNCTION_RESULT64_HIGH_REG = RS_FUNCTION_RETURN64_HIGH_REG;
  208. NR_FPU_RESULT_REG = NR_F10;
  209. NR_MM_RESULT_REG = NR_NO;
  210. NR_DEFAULTFLAGS = NR_NO;
  211. RS_DEFAULTFLAGS = RS_NO;
  212. {*****************************************************************************
  213. GCC /ABI linking information
  214. *****************************************************************************}
  215. {# Registers which must be saved when calling a routine declared as
  216. cppdecl, cdecl, stdcall, safecall, palmossyscall. The registers
  217. saved should be the ones as defined in the target ABI and / or GCC.
  218. This value can be deduced from CALLED_USED_REGISTERS array in the
  219. GCC source.
  220. }
  221. saved_standard_registers : array[0..12] of tsuperregister = (
  222. RS_X2,
  223. RS_X8,RS_X9,
  224. RS_X18,RS_X19,
  225. RS_X20,RS_X21,RS_X22,RS_X23,RS_X24,RS_X25,RS_X26,RS_X27
  226. );
  227. { this is only for the generic code which is not used for this architecture }
  228. saved_address_registers : array[0..0] of tsuperregister = (RS_INVALID);
  229. saved_mm_registers : array[0..0] of tsuperregister = (RS_INVALID);
  230. {# Required parameter alignment when calling a routine declared as
  231. stdcall and cdecl. The alignment value should be the one defined
  232. by GCC or the target ABI.
  233. The value of this constant is equal to the constant
  234. PARM_BOUNDARY / BITS_PER_UNIT in the GCC source.
  235. }
  236. std_param_align = 4; { for 32-bit version only }
  237. {*****************************************************************************
  238. CPU Dependent Constants
  239. *****************************************************************************}
  240. maxfpuregs = 8;
  241. {*****************************************************************************
  242. Helpers
  243. *****************************************************************************}
  244. function is_imm12(value: aint): boolean;
  245. function is_lui_imm(value: aint): boolean;
  246. function is_calljmp(o:tasmop):boolean;
  247. function cgsize2subreg(regtype: tregistertype; s:Tcgsize):Tsubregister;
  248. { Returns the tcgsize corresponding with the size of reg.}
  249. function reg_cgsize(const reg: tregister) : tcgsize;
  250. function findreg_by_number(r:Tregister):tregisterindex;
  251. function std_regnum_search(const s:string):Tregister;
  252. function std_regname(r:Tregister):string;
  253. function inverse_cond(const c: TAsmCond): Tasmcond; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  254. function dwarf_reg(r:tregister):shortint;
  255. function dwarf_reg_no_error(r:tregister):shortint;
  256. function eh_return_data_regno(nr: longint): longint;
  257. function conditions_equal(const c1,c2: TAsmCond): boolean;
  258. { Checks if Subset is a subset of c (e.g. "less than" is a subset of "less than or equal" }
  259. function condition_in(const Subset, c: TAsmCond): Boolean;
  260. implementation
  261. uses
  262. rgbase,verbose;
  263. const
  264. std_regname_table : TRegNameTable = (
  265. {$i rrv32std.inc}
  266. );
  267. regnumber_index : array[tregisterindex] of tregisterindex = (
  268. {$i rrv32rni.inc}
  269. );
  270. std_regname_index : array[tregisterindex] of tregisterindex = (
  271. {$i rrv32sri.inc}
  272. );
  273. {*****************************************************************************
  274. Helpers
  275. *****************************************************************************}
  276. function is_imm12(value: aint): boolean;
  277. begin
  278. result:=(value >= -2048) and (value <= 2047);
  279. end;
  280. function is_lui_imm(value: aint): boolean;
  281. begin
  282. result:=SarInt64((value and $FFFFF000) shl 32, 32) = value;
  283. end;
  284. function is_calljmp(o:tasmop):boolean;
  285. begin
  286. is_calljmp:=false;
  287. case o of
  288. A_JAL,A_JALR,A_Bxx:
  289. is_calljmp:=true;
  290. else
  291. ;
  292. end;
  293. end;
  294. function inverse_cond(const c: TAsmCond): Tasmcond; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  295. const
  296. inv_condflags:array[TAsmCond] of TAsmCond=(C_None,
  297. C_GE,C_GEU,C_LT,C_LTU,C_EQ,C_NE);
  298. begin
  299. result := inv_condflags[c];
  300. end;
  301. function reg_cgsize(const reg: tregister): tcgsize;
  302. begin
  303. case getregtype(reg) of
  304. R_INTREGISTER :
  305. result:=OS_32;
  306. R_MMREGISTER:
  307. result:=OS_M128;
  308. R_FPUREGISTER:
  309. result:=OS_F64;
  310. else
  311. internalerror(200303181);
  312. end;
  313. end;
  314. function cgsize2subreg(regtype: tregistertype; s:Tcgsize):Tsubregister;
  315. begin
  316. cgsize2subreg:=R_SUBWHOLE;
  317. end;
  318. function findreg_by_number(r:Tregister):tregisterindex;
  319. begin
  320. result:=rgBase.findreg_by_number_table(r,regnumber_index);
  321. end;
  322. function std_regnum_search(const s:string):Tregister;
  323. begin
  324. result:=regnumber_table[findreg_by_name_table(s,std_regname_table,std_regname_index)];
  325. end;
  326. function std_regname(r:Tregister):string;
  327. var
  328. p : tregisterindex;
  329. begin
  330. p:=findreg_by_number_table(r,regnumber_index);
  331. if p<>0 then
  332. result:=std_regname_table[p]
  333. else
  334. result:=generic_regname(r);
  335. end;
  336. function dwarf_reg(r:tregister):shortint;
  337. begin
  338. result:=regdwarf_table[findreg_by_number(r)];
  339. if result=-1 then
  340. internalerror(200603251);
  341. end;
  342. function dwarf_reg_no_error(r:tregister):shortint;
  343. begin
  344. result:=regdwarf_table[findreg_by_number(r)];
  345. end;
  346. function eh_return_data_regno(nr: longint): longint;
  347. begin
  348. if (nr>=0) and (nr<4) then
  349. result:=nr+10
  350. else
  351. result:=-1;
  352. end;
  353. function conditions_equal(const c1, c2: TAsmCond): boolean;
  354. begin
  355. result:=c1=c2;
  356. end;
  357. { Checks if Subset is a subset of c (e.g. "less than" is a subset of "less than or equal" }
  358. function condition_in(const Subset, c: TAsmCond): Boolean;
  359. begin
  360. Result := (c = C_None) or conditions_equal(Subset, c);
  361. if not Result then
  362. case Subset of
  363. C_EQ:
  364. Result := (c in [C_GE, C_GEU]);
  365. else
  366. Result := False;
  367. end;
  368. end;
  369. end.