cgrv.pas 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710
  1. {
  2. Copyright (c) 2006 by Florian Klaempfl
  3. This unit implements the common part of the code generator for the Risc-V
  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 cgrv;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. globtype,symtype,symdef,
  22. cgbase,cgobj,
  23. aasmbase,aasmcpu,aasmtai,aasmdata,
  24. cpubase,cpuinfo,cgutils,rgcpu,
  25. parabase;
  26. type
  27. { tcgrv }
  28. tcgrv = class(tcg)
  29. procedure a_loadaddr_ref_cgpara(list : TAsmList;const r : treference;const paraloc : tcgpara); override;
  30. procedure a_bit_scan_reg_reg(list: TAsmList; reverse: boolean; srcsize, dstsize: tcgsize; src, dst: TRegister); override;
  31. procedure a_call_reg(list : TAsmList;reg: tregister); override;
  32. procedure a_call_name(list : TAsmList;const s : string; weak: boolean); override;
  33. procedure a_load_const_ref(list: TAsmList; size: tcgsize; a: tcgint; const ref: treference); override;
  34. procedure a_load_reg_ref(list: TAsmList; fromsize, tosize: TCGSize; reg: tregister; const ref: treference); override;
  35. procedure a_load_ref_reg(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; reg: tregister); override;
  36. procedure a_load_const_reg(list: TAsmList; size: tcgsize; a: tcgint; register: tregister); override;
  37. procedure a_op_const_reg(list : TAsmList; Op: TOpCG; size: TCGSize; a: tcgint; reg: TRegister); override;
  38. procedure a_op_reg_reg(list : TAsmList; Op: TOpCG; size: TCGSize; src, dst: TRegister); override;
  39. procedure a_op_const_reg_reg(list: TAsmList; op: TOpCg; size: tcgsize; a: tcgint; src, dst: tregister); override;
  40. procedure a_op_reg_reg_reg(list: TAsmList; op: TOpCg; size: tcgsize; src1, src2, dst: tregister); override;
  41. procedure a_loadaddr_ref_reg(list : TAsmList;const ref : treference;r : tregister);override;
  42. procedure a_cmp_const_reg_label(list : TAsmList;size : tcgsize;cmp_op : topcmp;a : tcgint;reg : tregister; l : tasmlabel); override;
  43. procedure a_cmp_reg_reg_label(list : TAsmList;size : tcgsize;cmp_op : topcmp;reg1,reg2 : tregister;l : tasmlabel); override;
  44. procedure a_jmp_name(list : TAsmList;const s : string); override;
  45. procedure a_jmp_always(list : TAsmList;l: tasmlabel); override;
  46. procedure g_save_registers(list: TAsmList); override;
  47. procedure g_restore_registers(list: TAsmList); override;
  48. { fpu move instructions }
  49. procedure a_loadfpu_reg_reg(list: TAsmList; fromsize, tosize: tcgsize; reg1, reg2: tregister); override;
  50. procedure a_loadfpu_ref_reg(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; reg: tregister); override;
  51. procedure a_loadfpu_reg_ref(list: TAsmList; fromsize, tosize: tcgsize; reg: tregister; const ref: treference); override;
  52. protected
  53. function fixref(list: TAsmList; var ref: treference): boolean;
  54. procedure maybeadjustresult(list: TAsmList; op: topcg; size: tcgsize; dst: tregister);
  55. end;
  56. const
  57. TOpCmp2AsmCond: Array[topcmp] of TAsmCond = (C_NONE,C_EQ,C_NONE,
  58. C_LT,C_GE,C_None,C_NE,C_NONE,C_LTU,C_GEU,C_NONE);
  59. const
  60. TOpCG2AsmConstOp: Array[topcg] of TAsmOp = (A_NONE,
  61. A_NONE,A_ADDI,A_ANDI,A_NONE,A_NONE,A_NONE,A_NONE,
  62. A_None,A_None,A_ORI,A_SRAI,A_SLLI,A_SRLI,A_NONE,A_XORI,A_None,A_None);
  63. TOpCG2AsmOp: Array[topcg] of TAsmOp = (A_NONE,
  64. A_NONE,A_ADD,A_AND,A_DIVU,A_DIV,A_MUL,A_MUL,
  65. A_None,A_None,A_OR,A_SRA,A_SLL,A_SRL,A_SUB,A_XOR,A_None,A_None);
  66. implementation
  67. uses
  68. {$ifdef extdebug}sysutils,{$endif}
  69. globals,verbose,systems,cutils,
  70. symconst,symsym,symtable,fmodule,
  71. rgobj,tgobj,cpupi,procinfo,paramgr;
  72. procedure tcgrv.a_call_name(list : TAsmList;const s : string; weak: boolean);
  73. var
  74. href: treference;
  75. l: TAsmLabel;
  76. begin
  77. if not(weak) then
  78. reference_reset_symbol(href,current_asmdata.RefAsmSymbol(s,AT_FUNCTION),0,0,[])
  79. else
  80. reference_reset_symbol(href,current_asmdata.WeakRefAsmSymbol(s,AT_FUNCTION),0,0,[]);
  81. current_asmdata.getjumplabel(l);
  82. a_label(list,l);
  83. href.refaddr:=addr_pcrel_hi20;
  84. list.concat(taicpu.op_reg_ref(A_AUIPC,NR_RETURN_ADDRESS_REG,href));
  85. reference_reset_symbol(href,l,0,0,[]);
  86. href.refaddr:=addr_pcrel_lo12;
  87. list.concat(taicpu.op_reg_reg_ref(A_JALR,NR_RETURN_ADDRESS_REG,NR_RETURN_ADDRESS_REG,href));
  88. { not assigned while generating external wrappers }
  89. if assigned(current_procinfo) then
  90. include(current_procinfo.flags,pi_do_call);
  91. end;
  92. procedure tcgrv.a_load_const_ref(list: TAsmList; size: tcgsize; a: tcgint; const ref: treference);
  93. begin
  94. if a=0 then
  95. a_load_reg_ref(list,size,size,NR_X0,ref)
  96. else
  97. inherited a_load_const_ref(list, size, a, ref);
  98. end;
  99. procedure tcgrv.a_loadaddr_ref_cgpara(list : TAsmList;const r : treference;const paraloc : tcgpara);
  100. var
  101. ref: treference;
  102. tmpreg: tregister;
  103. begin
  104. paraloc.check_simple_location;
  105. paramanager.allocparaloc(list,paraloc.location);
  106. case paraloc.location^.loc of
  107. LOC_REGISTER,LOC_CREGISTER:
  108. a_loadaddr_ref_reg(list,r,paraloc.location^.register);
  109. LOC_REFERENCE:
  110. begin
  111. reference_reset(ref,paraloc.alignment,[]);
  112. ref.base := paraloc.location^.reference.index;
  113. ref.offset := paraloc.location^.reference.offset;
  114. tmpreg := rg[R_INTREGISTER].getregister(list,R_SUBWHOLE);
  115. a_loadaddr_ref_reg(list,r,tmpreg);
  116. a_load_reg_ref(list,OS_ADDR,OS_ADDR,tmpreg,ref);
  117. end;
  118. else
  119. internalerror(2002080701);
  120. end;
  121. end;
  122. procedure tcgrv.a_bit_scan_reg_reg(list: TAsmList; reverse: boolean; srcsize, dstsize: tcgsize; src, dst: TRegister);
  123. begin
  124. internalerror(2016060401);
  125. end;
  126. procedure tcgrv.a_op_const_reg(list : TAsmList; Op: TOpCG; size: TCGSize; a: tcgint; reg: TRegister);
  127. begin
  128. a_op_const_reg_reg(list,op,size,a,reg,reg);
  129. end;
  130. procedure tcgrv.a_op_reg_reg(list : TAsmList; Op: TOpCG; size: TCGSize; src, dst: TRegister);
  131. begin
  132. a_op_reg_reg_reg(list,op,size,src,dst,dst);
  133. end;
  134. procedure tcgrv.a_op_const_reg_reg(list: TAsmList; op: TOpCg; size: tcgsize; a: tcgint; src, dst: tregister);
  135. var
  136. tmpreg: TRegister;
  137. begin
  138. optimize_op_const(size,op,a);
  139. if op=OP_NONE then
  140. begin
  141. a_load_reg_reg(list,size,size,src,dst);
  142. exit;
  143. end;
  144. if op=OP_SUB then
  145. begin
  146. op:=OP_ADD;
  147. a:=-a;
  148. end;
  149. {$ifdef RISCV64}
  150. if (op=OP_SHL) and
  151. (size in [OS_32,OS_S32]) then
  152. begin
  153. list.concat(taicpu.op_reg_reg_const(A_SLLIW,dst,src,a));
  154. maybeadjustresult(list,op,size,dst);
  155. end
  156. else if (op=OP_SHR) and
  157. (size in [OS_32,OS_S32]) then
  158. begin
  159. list.concat(taicpu.op_reg_reg_const(A_SRLIW,dst,src,a));
  160. maybeadjustresult(list,op,size,dst);
  161. end
  162. else if (op=OP_SAR) and
  163. (size in [OS_32,OS_S32]) then
  164. begin
  165. list.concat(taicpu.op_reg_reg_const(A_SRAIW,dst,src,a));
  166. maybeadjustresult(list,op,size,dst);
  167. end
  168. else
  169. {$endif RISCV64}
  170. if (TOpCG2AsmConstOp[op]<>A_None) and
  171. is_imm12(a) then
  172. begin
  173. list.concat(taicpu.op_reg_reg_const(TOpCG2AsmConstOp[op],dst,src,a));
  174. maybeadjustresult(list,op,size,dst);
  175. end
  176. else
  177. begin
  178. tmpreg:=getintregister(list,size);
  179. a_load_const_reg(list,size,a,tmpreg);
  180. a_op_reg_reg_reg(list,op,size,tmpreg,src,dst);
  181. end;
  182. end;
  183. procedure tcgrv.a_op_reg_reg_reg(list: TAsmList; op: TOpCg; size: tcgsize; src1, src2, dst: tregister);
  184. begin
  185. if op=OP_NOT then
  186. a_op_const_reg_reg(list,OP_XOR,size,-1,src1,dst)
  187. else if op=OP_NEG then
  188. a_op_reg_reg_reg(list,OP_SUB,size,src1,NR_X0,dst)
  189. else
  190. case op of
  191. OP_MOVE:
  192. a_load_reg_reg(list,size,size,src1,dst);
  193. else
  194. {$ifdef RISCV64}
  195. if (op=OP_SHL) and
  196. (size in [OS_32,OS_S32]) then
  197. begin
  198. list.concat(taicpu.op_reg_reg_reg(A_SLLW,dst,src2,src1));
  199. maybeadjustresult(list,op,size,dst);
  200. end
  201. else if (op=OP_SHR) and
  202. (size in [OS_32,OS_S32]) then
  203. begin
  204. list.concat(taicpu.op_reg_reg_reg(A_SRLW,dst,src2,src1));
  205. maybeadjustresult(list,op,size,dst);
  206. end
  207. else if (op=OP_SAR) and
  208. (size in [OS_32,OS_S32]) then
  209. begin
  210. list.concat(taicpu.op_reg_reg_reg(A_SRAW,dst,src2,src1));
  211. maybeadjustresult(list,op,size,dst);
  212. end
  213. else
  214. {$endif RISCV64}
  215. begin
  216. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[op],dst,src2,src1));
  217. maybeadjustresult(list,op,size,dst);
  218. end;
  219. end;
  220. end;
  221. procedure tcgrv.a_loadaddr_ref_reg(list : TAsmList;const ref : treference;r : tregister);
  222. var
  223. href: treference;
  224. b, tmpreg: TRegister;
  225. l: TAsmLabel;
  226. begin
  227. href:=ref;
  228. fixref(list,href);
  229. if (not assigned(href.symbol)) and
  230. (href.offset=0) then
  231. a_load_reg_reg(list,OS_ADDR,OS_ADDR,href.base,r)
  232. else if (assigned(href.symbol) or
  233. (not is_imm12(href.offset))) and
  234. (href.base<>NR_NO) then
  235. begin
  236. b:= href.base;
  237. current_asmdata.getjumplabel(l);
  238. a_label(list,l);
  239. href.base:=NR_NO;
  240. href.refaddr:=addr_pcrel_hi20;
  241. list.concat(taicpu.op_reg_ref(A_AUIPC,r,href));
  242. reference_reset_symbol(href,l,0,0,ref.volatility);
  243. href.refaddr:=addr_pcrel_lo12;
  244. list.concat(taicpu.op_reg_reg_ref(A_ADDI,r,r,href));
  245. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,r,b));
  246. end
  247. else if is_imm12(href.offset) and
  248. (href.base<>NR_NO) then
  249. begin
  250. list.concat(taicpu.op_reg_reg_const(A_ADDI,r,href.base,href.offset));
  251. end
  252. else if (href.refaddr=addr_pcrel) then
  253. begin
  254. tmpreg:=getintregister(list,OS_ADDR);
  255. b:=href.base;
  256. href.base:=NR_NO;
  257. current_asmdata.getjumplabel(l);
  258. a_label(list,l);
  259. href.refaddr:=addr_pcrel_hi20;
  260. list.concat(taicpu.op_reg_ref(A_AUIPC,tmpreg,href));
  261. reference_reset_symbol(href,l,0,0,ref.volatility);
  262. href.refaddr:=addr_pcrel_lo12;
  263. list.concat(taicpu.op_reg_reg_ref(A_ADDI,r,tmpreg,href));
  264. if b<>NR_NO then
  265. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,r,b));
  266. end
  267. else
  268. internalerror(2016060504);
  269. end;
  270. procedure tcgrv.a_cmp_const_reg_label(list: TAsmList; size: tcgsize; cmp_op: topcmp; a: tcgint; reg: tregister; l: tasmlabel);
  271. begin
  272. if a=0 then
  273. a_cmp_reg_reg_label(list,size,cmp_op,NR_X0,reg,l)
  274. else
  275. inherited;
  276. end;
  277. procedure tcgrv.a_cmp_reg_reg_label(list : TAsmList;size : tcgsize;cmp_op : topcmp; reg1,reg2 : tregister;l : tasmlabel);
  278. var
  279. tmpreg: TRegister;
  280. ai: taicpu;
  281. begin
  282. if TOpCmp2AsmCond[cmp_op]=C_None then
  283. begin
  284. cmp_op:=swap_opcmp(cmp_op);
  285. tmpreg:=reg1;
  286. reg1:=reg2;
  287. reg2:=tmpreg;
  288. end;
  289. ai:=taicpu.op_reg_reg_sym_ofs(A_Bxx,reg2,reg1,l,0);
  290. ai.is_jmp:=true;
  291. ai.condition:=TOpCmp2AsmCond[cmp_op];
  292. list.concat(ai);
  293. end;
  294. procedure tcgrv.a_jmp_name(list : TAsmList;const s : string);
  295. var
  296. ai: taicpu;
  297. href: treference;
  298. tmpreg: TRegister;
  299. l: TAsmLabel;
  300. begin
  301. reference_reset_symbol(href,current_asmdata.RefAsmSymbol(s,AT_FUNCTION),0,0,[]);
  302. tmpreg:=getintregister(list,OS_ADDR);
  303. current_asmdata.getjumplabel(l);
  304. a_label(list,l);
  305. href.refaddr:=addr_pcrel_hi20;
  306. list.concat(taicpu.op_reg_ref(A_AUIPC,tmpreg,href));
  307. reference_reset_symbol(href,l,0,0,[]);
  308. href.refaddr:=addr_pcrel_lo12;
  309. ai:=taicpu.op_reg_reg_ref(A_JALR,NR_X0,tmpreg,href);
  310. ai.is_jmp:=true;
  311. list.concat(ai);
  312. //ai:=taicpu.op_reg_sym(A_JAL,NR_X0,current_asmdata.RefAsmSymbol(s));
  313. //ai.is_jmp:=true;
  314. end;
  315. procedure tcgrv.a_jmp_always(list : TAsmList;l: tasmlabel);
  316. var
  317. ai: taicpu;
  318. {href: treference;
  319. tmpreg: TRegister;}
  320. begin
  321. {reference_reset_symbol(href,l,0,0);
  322. tmpreg:=getintregister(list,OS_ADDR);
  323. current_asmdata.getjumplabel(l);
  324. a_label(list,l);
  325. href.refaddr:=addr_pcrel_hi20;
  326. list.concat(taicpu.op_reg_ref(A_AUIPC,tmpreg,href));
  327. reference_reset_symbol(href,l,0,0);
  328. href.refaddr:=addr_pcrel_lo12;
  329. ai:=taicpu.op_reg_reg_ref(A_JALR,NR_X0,tmpreg,href);
  330. ai.is_jmp:=true;
  331. list.concat(ai);}
  332. ai:=taicpu.op_reg_sym(A_JAL,NR_X0,l);
  333. ai.is_jmp:=true;
  334. list.concat(ai);
  335. end;
  336. procedure tcgrv.g_save_registers(list: TAsmList);
  337. begin
  338. end;
  339. procedure tcgrv.g_restore_registers(list: TAsmList);
  340. begin
  341. end;
  342. procedure tcgrv.a_call_reg(list : TAsmList;reg: tregister);
  343. begin
  344. list.concat(taicpu.op_reg_reg(A_JALR,NR_RETURN_ADDRESS_REG,reg));
  345. include(current_procinfo.flags,pi_do_call);
  346. end;
  347. procedure tcgrv.a_load_reg_ref(list: TAsmList; fromsize, tosize: TCGSize;
  348. reg: tregister; const ref: treference);
  349. const
  350. StoreInstr: array[OS_8..OS_INT] of TAsmOp =
  351. (A_SB,A_SH,A_SW
  352. {$ifdef cpu64bitalu}
  353. ,
  354. A_SD
  355. {$endif cpu64bitalu}
  356. );
  357. var
  358. ref2: TReference;
  359. tmpreg: tregister;
  360. op: TAsmOp;
  361. begin
  362. if not (fromsize in [OS_8..OS_INT,OS_S8..OS_SINT]) then
  363. internalerror(2002090904);
  364. if not (tosize in [OS_8..OS_INT,OS_S8..OS_SINT]) then
  365. internalerror(2002090905);
  366. tosize:=tcgsize2unsigned[tosize];
  367. ref2 := ref;
  368. fixref(list, ref2);
  369. op := storeinstr[tcgsize2unsigned[tosize]];
  370. list.concat(taicpu.op_reg_ref(op, reg,ref2));
  371. end;
  372. procedure tcgrv.a_load_ref_reg(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; reg: tregister);
  373. var
  374. href: treference;
  375. op: TAsmOp;
  376. tmpreg: TRegister;
  377. begin
  378. href:=ref;
  379. fixref(list,href);
  380. if href.refaddr=addr_pcrel then
  381. begin
  382. tmpreg:=getintregister(list,OS_ADDR);
  383. a_loadaddr_ref_reg(list,href,tmpreg);
  384. reference_reset_base(href,tmpreg,0,ctempposinvalid,0,ref.volatility);
  385. end;
  386. case fromsize of
  387. OS_8: op:=A_LBU;
  388. OS_16: op:=A_LHU;
  389. OS_S8: op:=A_LB;
  390. OS_S16: op:=A_LH;
  391. {$ifdef RISCV64}
  392. OS_32: op:=A_LWU;
  393. OS_S32: op:=A_LW;
  394. OS_64,
  395. OS_S64: op:=A_LD;
  396. {$else}
  397. OS_32,
  398. OS_S32: op:=A_LW;
  399. {$endif}
  400. else
  401. internalerror(2016060502);
  402. end;
  403. list.concat(taicpu.op_reg_ref(op,reg,href));
  404. if fromsize<>tosize then
  405. a_load_reg_reg(list,fromsize,tosize,reg,reg);
  406. end;
  407. procedure tcgrv.a_load_const_reg(list: TAsmList; size: tcgsize; a: tcgint; register: tregister);
  408. begin
  409. if a=0 then
  410. a_load_reg_reg(list,size,size,NR_X0,register)
  411. else
  412. begin
  413. if is_imm12(a) then
  414. list.concat(taicpu.op_reg_reg_const(A_ADDI,register,NR_X0,a))
  415. else if is_lui_imm(a) then
  416. list.concat(taicpu.op_reg_const(A_LUI,register,(a shr 12) and $FFFFF))
  417. else
  418. begin
  419. if (a and $800)<>0 then
  420. list.concat(taicpu.op_reg_const(A_LUI,register,((a shr 12)+1) and $FFFFF))
  421. else
  422. list.concat(taicpu.op_reg_const(A_LUI,register,(a shr 12) and $FFFFF));
  423. list.concat(taicpu.op_reg_reg_const(A_ADDI,register,register,SarSmallint(a shl 4,4)));
  424. end;
  425. end;
  426. end;
  427. procedure tcgrv.a_loadfpu_reg_reg(list: TAsmList; fromsize, tosize: tcgsize; reg1, reg2: tregister);
  428. var
  429. op: TAsmOp;
  430. ai: taicpu;
  431. const
  432. convOp: array[OS_F32..OS_F64,OS_F32..OS_F64] of TAsmOp =
  433. ((A_None,A_FCVT_D_S),
  434. (A_FCVT_S_D,A_None));
  435. begin
  436. if fromsize<>tosize then
  437. list.concat(taicpu.op_reg_reg(convOp[fromsize,tosize],reg2,reg1))
  438. else
  439. begin
  440. if tosize=OS_F32 then
  441. op:=A_FSGNJ_S
  442. else
  443. op:=A_FSGNJ_D;
  444. ai:=taicpu.op_reg_reg_reg(op,reg2,reg1,reg1);
  445. list.concat(ai);
  446. rg[R_FPUREGISTER].add_move_instruction(ai);
  447. end;
  448. end;
  449. procedure tcgrv.a_loadfpu_ref_reg(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; reg: tregister);
  450. var
  451. href: treference;
  452. op: TAsmOp;
  453. tmpreg: TRegister;
  454. l: TAsmLabel;
  455. begin
  456. href:=ref;
  457. fixref(list,href);
  458. if href.refaddr=addr_pcrel then
  459. begin
  460. tmpreg:=getintregister(list,OS_ADDR);
  461. a_loadaddr_ref_reg(list,href,tmpreg);
  462. reference_reset_base(href,tmpreg,0,ctempposinvalid,0,ref.volatility);
  463. end;
  464. if fromsize=OS_F32 then
  465. op:=A_FLW
  466. else
  467. op:=A_FLD;
  468. list.concat(taicpu.op_reg_ref(op,reg,href));
  469. if fromsize<>tosize then
  470. a_loadfpu_reg_reg(list,fromsize,tosize,reg,reg);
  471. end;
  472. procedure tcgrv.a_loadfpu_reg_ref(list: TAsmList; fromsize, tosize: tcgsize; reg: tregister; const ref: treference);
  473. var
  474. href: treference;
  475. op: TAsmOp;
  476. tmpreg: TRegister;
  477. begin
  478. href:=ref;
  479. fixref(list,href);
  480. if href.refaddr=addr_pcrel then
  481. begin
  482. tmpreg:=getintregister(list,OS_ADDR);
  483. a_loadaddr_ref_reg(list,href,tmpreg);
  484. reference_reset_base(href,tmpreg,0,ctempposinvalid,0,ref.volatility);
  485. end;
  486. if fromsize<>tosize then
  487. begin
  488. tmpreg:=getfpuregister(list,tosize);
  489. a_loadfpu_reg_reg(list,fromsize,tosize,reg,tmpreg);
  490. reg:=tmpreg;
  491. end;
  492. if tosize=OS_F32 then
  493. op:=A_FSW
  494. else
  495. op:=A_FSD;
  496. list.concat(taicpu.op_reg_ref(op,reg,href));
  497. end;
  498. function tcgrv.fixref(list: TAsmList; var ref: treference): boolean;
  499. var
  500. tmpreg: TRegister;
  501. href: treference;
  502. l: TAsmLabel;
  503. begin
  504. result:=true;
  505. if ref.refaddr=addr_pcrel then
  506. exit;
  507. if assigned(ref.symbol) then
  508. begin
  509. reference_reset_symbol(href,ref.symbol,ref.offset,ref.alignment,ref.volatility);
  510. ref.symbol:=nil;
  511. ref.offset:=0;
  512. tmpreg:=getintregister(list,OS_INT);
  513. current_asmdata.getaddrlabel(l);
  514. a_label(list,l);
  515. href.refaddr:=addr_pcrel_hi20;
  516. list.concat(taicpu.op_reg_ref(A_AUIPC,tmpreg,href));
  517. reference_reset_symbol(href,l,0,0,ref.volatility);
  518. href.refaddr:=addr_pcrel_lo12;
  519. list.concat(taicpu.op_reg_reg_ref(A_ADDI,tmpreg,tmpreg,href));
  520. if (ref.index<>NR_NO) and
  521. (ref.base<>NR_NO) then
  522. begin
  523. a_op_reg_reg(list,OP_ADD,OS_INT,ref.base,tmpreg);
  524. ref.base:=tmpreg;
  525. end
  526. else if (ref.index=NR_NO) and
  527. (ref.base<>NR_NO) then
  528. ref.index:=tmpreg
  529. else
  530. ref.base:=tmpreg;
  531. end
  532. else if (ref.index=NR_NO) and
  533. (ref.base=NR_NO) then
  534. begin
  535. tmpreg:=getintregister(list,OS_INT);
  536. a_load_const_reg(list, OS_ADDR,ref.offset,tmpreg);
  537. reference_reset_base(ref,tmpreg,0,ctempposinvalid,ref.alignment,ref.volatility);
  538. end;
  539. if (ref.index<>NR_NO) and
  540. (ref.base=NR_NO) then
  541. begin
  542. ref.base:=ref.index;
  543. ref.index:=NR_NO;
  544. end;
  545. if not is_imm12(ref.offset) then
  546. begin
  547. tmpreg:=getintregister(list,OS_INT);
  548. a_load_const_reg(list,OS_INT,ref.offset,tmpreg);
  549. ref.offset:=0;
  550. if (ref.index<>NR_NO) and
  551. (ref.base<>NR_NO) then
  552. begin
  553. a_op_reg_reg(list,OP_ADD,OS_INT,ref.index,tmpreg);
  554. ref.index:=tmpreg;
  555. end
  556. else
  557. ref.index:=tmpreg;
  558. end;
  559. if (ref.index<>NR_NO) and
  560. (ref.base<>NR_NO) then
  561. begin
  562. tmpreg:=getaddressregister(list);
  563. list.concat(taicpu.op_reg_reg_reg(A_ADD,tmpreg,ref.base,ref.index));
  564. ref.base:=tmpreg;
  565. ref.index:=NR_NO;
  566. end;
  567. end;
  568. procedure tcgrv.maybeadjustresult(list: TAsmList; op: topcg; size: tcgsize; dst: tregister);
  569. const
  570. overflowops = [OP_MUL,OP_IMUL,OP_SHL,OP_ADD,OP_SUB,OP_NOT,OP_NEG];
  571. begin
  572. if (op in overflowops) and
  573. (size in [OS_8,OS_S8,OS_16,OS_S16{$ifdef RISCV64},OS_32,OS_S32{$endif RISCV64}]) then
  574. a_load_reg_reg(list,OS_INT,size,dst,dst)
  575. end;
  576. end.