cgcpu.pas 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536
  1. {
  2. Copyright (c) 1998-2002 by Florian Klaempfl
  3. This unit implements the code generator 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. unit cgcpu;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. globtype,symtype,symdef,
  22. cgbase,cgobj,cgrv,
  23. aasmbase,aasmcpu,aasmtai,aasmdata,
  24. cpubase,cpuinfo,cgutils,cg64f32,rgcpu,
  25. parabase;
  26. type
  27. tcgrv32 = class(tcgrv)
  28. procedure init_register_allocators;override;
  29. procedure done_register_allocators;override;
  30. { move instructions }
  31. procedure a_load_reg_reg(list : TAsmList; fromsize, tosize : tcgsize;reg1,reg2 : tregister);override;
  32. { 32x32 to 64 bit multiplication }
  33. procedure a_mul_reg_reg_pair(list: TAsmList;size: tcgsize; src1,src2,dstlo,dsthi: tregister); override;
  34. procedure g_concatcopy(list : TAsmList;const source,dest : treference;len : tcgint);override;
  35. procedure g_overflowcheck(list: TAsmList; const Loc: tlocation; def: tdef); override;
  36. end;
  37. tcg64frv = class(tcg64f32)
  38. procedure a_op64_reg_reg(list : TAsmList;op:TOpCG;size : tcgsize;regsrc,regdst : tregister64);override;
  39. procedure a_op64_const_reg(list : TAsmList;op:TOpCG;size : tcgsize;value : int64;reg : tregister64);override;
  40. procedure a_op64_const_reg_reg(list: TAsmList;op:TOpCG;size : tcgsize;value : int64;regsrc,regdst : tregister64);override;
  41. procedure a_op64_reg_reg_reg(list: TAsmList;op:TOpCG;size : tcgsize;regsrc1,regsrc2,regdst : tregister64);override;
  42. procedure a_load64_ref_cgpara(list: TAsmList; const r: treference; const paraloc: tcgpara);override;
  43. procedure a_load64_ref_reg(list: TAsmList; const ref: treference; reg: tregister64);override;
  44. procedure a_load64_reg_ref(list: TAsmList; reg: tregister64; const ref: treference);override;
  45. end;
  46. procedure create_codegen;
  47. implementation
  48. uses
  49. symtable,
  50. globals,verbose,systems,cutils,
  51. symconst,symsym,fmodule,
  52. rgobj,tgobj,cpupi,procinfo,paramgr;
  53. {$undef AVOID_OVERFLOW}
  54. {$ifopt Q+}
  55. {$define AVOID_OVERFLOW}
  56. const
  57. max_12_bit = 1 shl 12;
  58. {$endif}
  59. { Range check must be disabled explicitly as conversions between signed and unsigned
  60. 32-bit values are done without explicit typecasts }
  61. {$R-}
  62. procedure tcgrv32.init_register_allocators;
  63. begin
  64. inherited init_register_allocators;
  65. if CPURV_HAS_16REGISTERS in cpu_capabilities[current_settings.cputype] then
  66. rg[R_INTREGISTER]:=trgintcpu.create(R_INTREGISTER,R_SUBWHOLE,
  67. [RS_X10,RS_X11,RS_X12,RS_X13,RS_X14,RS_X15,
  68. RS_X5,RS_X6,RS_X7,
  69. RS_X3,RS_X4,
  70. RS_X9],first_int_imreg,[])
  71. else
  72. rg[R_INTREGISTER]:=trgintcpu.create(R_INTREGISTER,R_SUBWHOLE,
  73. [RS_X10,RS_X11,RS_X12,RS_X13,RS_X14,RS_X15,RS_X16,RS_X17,
  74. RS_X31,RS_X30,RS_X29,RS_X28,
  75. RS_X5,RS_X6,RS_X7,
  76. RS_X3,RS_X4,
  77. RS_X9,RS_X27,RS_X26,RS_X25,RS_X24,RS_X23,RS_X22,
  78. RS_X21,RS_X20,RS_X19,RS_X18],first_int_imreg,[]);
  79. rg[R_FPUREGISTER]:=trgcpu.create(R_FPUREGISTER,R_SUBNONE,
  80. [RS_F10,RS_F11,RS_F12,RS_F13,RS_F14,RS_F15,RS_F16,RS_F17,
  81. RS_F0,RS_F1,RS_F2,RS_F3,RS_F4,RS_F5,RS_F6,RS_F7,
  82. RS_F28,RS_F29,RS_F30,RS_F31,
  83. RS_F8,RS_F9,
  84. RS_F27,
  85. RS_F26,RS_F25,RS_F24,RS_F23,RS_F22,RS_F21,RS_F20,RS_F19,RS_F18],first_fpu_imreg,[]);
  86. end;
  87. procedure tcgrv32.done_register_allocators;
  88. begin
  89. rg[R_INTREGISTER].free;
  90. rg[R_FPUREGISTER].free;
  91. inherited done_register_allocators;
  92. end;
  93. procedure tcgrv32.a_load_reg_reg(list : TAsmList;fromsize, tosize : tcgsize;reg1,reg2 : tregister);
  94. var
  95. ai: taicpu;
  96. begin
  97. {$ifdef EXTDEBUG}
  98. list.concat(tai_comment.Create(strpnew('Move '+tcgsize2str(fromsize)+'->'+tcgsize2str(tosize))));
  99. {$endif EXTDEBUG}
  100. if (tosize=OS_S32) and (fromsize=OS_32) then
  101. begin
  102. ai:=taicpu.op_reg_reg_const(A_ADDI,reg2,reg1,0);
  103. list.concat(ai);
  104. rg[R_INTREGISTER].add_move_instruction(ai);
  105. end
  106. else if (CPURV_HAS_ZBB in cpu_capabilities[current_settings.cputype]) and (tcgsize2unsigned[tosize]=OS_32) and (fromsize=OS_S8) then
  107. list.Concat(taicpu.op_reg_reg(A_SEXT_B,reg2,reg1))
  108. else if (tcgsize2unsigned[tosize]=OS_32) and (fromsize=OS_8) then
  109. list.Concat(taicpu.op_reg_reg_const(A_ANDI,reg2,reg1,$FF))
  110. else if (tosize=OS_8) and (fromsize<>OS_8) then
  111. list.Concat(taicpu.op_reg_reg_const(A_ANDI,reg2,reg1,$FF))
  112. else if (CPURV_HAS_ZBB in cpu_capabilities[current_settings.cputype]) and (tcgsize2unsigned[tosize]=OS_32) and (fromsize=OS_S16) then
  113. list.Concat(taicpu.op_reg_reg(A_SEXT_H,reg2,reg1))
  114. else if (CPURV_HAS_ZBB in cpu_capabilities[current_settings.cputype]) and (tosize=OS_S16) and (tcgsize2unsigned[fromsize]=OS_32) then
  115. list.Concat(taicpu.op_reg_reg(A_SEXT_H,reg2,reg1))
  116. else if (CPURV_HAS_ZBB in cpu_capabilities[current_settings.cputype]) and (tcgsize2unsigned[tosize]=OS_64) and (fromsize=OS_16) then
  117. list.Concat(taicpu.op_reg_reg(A_ZEXT_H,reg2,reg1))
  118. else if (CPURV_HAS_ZBB in cpu_capabilities[current_settings.cputype]) and (tosize=OS_16) and (fromsize<>OS_16) then
  119. list.Concat(taicpu.op_reg_reg(A_ZEXT_H,reg2,reg1))
  120. else if (tcgsize2size[fromsize] > tcgsize2size[tosize]) or
  121. ((tcgsize2size[fromsize] = tcgsize2size[tosize]) and (fromsize <> tosize)) or
  122. { do we need to mask out the sign when loading from smaller signed to larger unsigned type? }
  123. ((tcgsize2unsigned[fromsize]<>fromsize) and ((tcgsize2unsigned[tosize]=tosize)) and
  124. (tcgsize2size[fromsize] < tcgsize2size[tosize]) and (tcgsize2size[tosize] <> sizeof(pint)) ) then
  125. begin
  126. if tcgsize2size[fromsize]<tcgsize2size[tosize] then
  127. begin
  128. list.Concat(taicpu.op_reg_reg_const(A_SLLI,reg2,reg1,8*(4-tcgsize2size[fromsize])));
  129. if tcgsize2unsigned[fromsize]<>fromsize then
  130. list.Concat(taicpu.op_reg_reg_const(A_SRAI,reg2,reg2,8*(tcgsize2size[tosize]-tcgsize2size[fromsize])))
  131. else
  132. list.Concat(taicpu.op_reg_reg_const(A_SRLI,reg2,reg2,8*(tcgsize2size[tosize]-tcgsize2size[fromsize])));
  133. end
  134. else
  135. list.Concat(taicpu.op_reg_reg_const(A_SLLI,reg2,reg1,8*(4-tcgsize2size[tosize])));
  136. if tcgsize2unsigned[tosize]=tosize then
  137. list.Concat(taicpu.op_reg_reg_const(A_SRLI,reg2,reg2,8*(4-tcgsize2size[tosize])))
  138. else
  139. list.Concat(taicpu.op_reg_reg_const(A_SRAI,reg2,reg2,8*(4-tcgsize2size[tosize])));
  140. end
  141. else
  142. begin
  143. ai:=taicpu.op_reg_reg_const(A_ADDI,reg2,reg1,0);
  144. list.concat(ai);
  145. rg[R_INTREGISTER].add_move_instruction(ai);
  146. end;
  147. end;
  148. procedure tcgrv32.a_mul_reg_reg_pair(list: TAsmList;size: tcgsize; src1,src2,dstlo,dsthi: tregister);
  149. var
  150. op: tasmop;
  151. begin
  152. case size of
  153. OS_INT: op:=A_MULHU;
  154. OS_SINT: op:=A_MULH;
  155. else
  156. InternalError(2014061501);
  157. end;
  158. if (dsthi<>NR_NO) then
  159. list.concat(taicpu.op_reg_reg_reg(op,dsthi,src1,src2));
  160. { low word is always unsigned }
  161. if (dstlo<>NR_NO) then
  162. list.concat(taicpu.op_reg_reg_reg(A_MUL,dstlo,src1,src2));
  163. end;
  164. procedure tcgrv32.g_concatcopy(list : TAsmList;const source,dest : treference;len : tcgint);
  165. var
  166. tmpreg1, hreg, countreg: TRegister;
  167. src, dst, src2, dst2: TReference;
  168. lab: tasmlabel;
  169. Count, count2: aint;
  170. function reference_is_reusable(const ref: treference): boolean;
  171. begin
  172. result:=(ref.base<>NR_NO) and (ref.index=NR_NO) and
  173. (ref.symbol=nil) and
  174. is_imm12(ref.offset);
  175. end;
  176. begin
  177. src2:=source;
  178. fixref(list,src2);
  179. dst2:=dest;
  180. fixref(list,dst2);
  181. if len > high(longint) then
  182. internalerror(2002072704);
  183. { A call (to FPC_MOVE) requires the outgoing parameter area to be properly
  184. allocated on stack. This can only be done before tmipsprocinfo.set_first_temp_offset,
  185. i.e. before secondpass. Other internal procedures request correct stack frame
  186. by setting pi_do_call during firstpass, but for this particular one it is impossible.
  187. Therefore, if the current procedure is a leaf one, we have to leave it that way. }
  188. { anybody wants to determine a good value here :)? }
  189. if (len > 100) and
  190. assigned(current_procinfo) and
  191. (pi_do_call in current_procinfo.flags) then
  192. g_concatcopy_move(list, src2, dst2, len)
  193. else
  194. begin
  195. Count := len div 4;
  196. if (count<=4) and reference_is_reusable(src2) then
  197. src:=src2
  198. else
  199. begin
  200. reference_reset(src,sizeof(aint),[]);
  201. { load the address of src2 into src.base }
  202. src.base := GetAddressRegister(list);
  203. a_loadaddr_ref_reg(list, src2, src.base);
  204. end;
  205. if (count<=4) and reference_is_reusable(dst2) then
  206. dst:=dst2
  207. else
  208. begin
  209. reference_reset(dst,sizeof(aint),[]);
  210. { load the address of dst2 into dst.base }
  211. dst.base := GetAddressRegister(list);
  212. a_loadaddr_ref_reg(list, dst2, dst.base);
  213. end;
  214. { generate a loop }
  215. if Count > 4 then
  216. begin
  217. countreg := GetIntRegister(list, OS_INT);
  218. tmpreg1 := GetIntRegister(list, OS_INT);
  219. a_load_const_reg(list, OS_INT, Count, countreg);
  220. current_asmdata.getjumplabel(lab);
  221. a_label(list, lab);
  222. list.concat(taicpu.op_reg_ref(A_LW, tmpreg1, src));
  223. list.concat(taicpu.op_reg_ref(A_SW, tmpreg1, dst));
  224. list.concat(taicpu.op_reg_reg_const(A_ADDI, src.base, src.base, 4));
  225. list.concat(taicpu.op_reg_reg_const(A_ADDI, dst.base, dst.base, 4));
  226. list.concat(taicpu.op_reg_reg_const(A_ADDI, countreg, countreg, -1));
  227. a_cmp_reg_reg_label(list,OS_INT,OC_GT,NR_X0,countreg,lab);
  228. len := len mod 4;
  229. end;
  230. { unrolled loop }
  231. Count := len div 4;
  232. if Count > 0 then
  233. begin
  234. tmpreg1 := GetIntRegister(list, OS_INT);
  235. for count2 := 1 to Count do
  236. begin
  237. list.concat(taicpu.op_reg_ref(A_LW, tmpreg1, src));
  238. list.concat(taicpu.op_reg_ref(A_SW, tmpreg1, dst));
  239. Inc(src.offset, 4);
  240. Inc(dst.offset, 4);
  241. end;
  242. len := len mod 4;
  243. end;
  244. if (len and 4) <> 0 then
  245. begin
  246. hreg := GetIntRegister(list, OS_INT);
  247. a_load_ref_reg(list, OS_32, OS_32, src, hreg);
  248. a_load_reg_ref(list, OS_32, OS_32, hreg, dst);
  249. Inc(src.offset, 4);
  250. Inc(dst.offset, 4);
  251. end;
  252. { copy the leftovers }
  253. if (len and 2) <> 0 then
  254. begin
  255. hreg := GetIntRegister(list, OS_INT);
  256. a_load_ref_reg(list, OS_16, OS_16, src, hreg);
  257. a_load_reg_ref(list, OS_16, OS_16, hreg, dst);
  258. Inc(src.offset, 2);
  259. Inc(dst.offset, 2);
  260. end;
  261. if (len and 1) <> 0 then
  262. begin
  263. hreg := GetIntRegister(list, OS_INT);
  264. a_load_ref_reg(list, OS_8, OS_8, src, hreg);
  265. a_load_reg_ref(list, OS_8, OS_8, hreg, dst);
  266. end;
  267. end;
  268. end;
  269. procedure tcgrv32.g_overflowcheck(list: TAsmList; const Loc: tlocation; def: tdef);
  270. begin
  271. end;
  272. procedure tcg64frv.a_op64_reg_reg(list : TAsmList;op:TOpCG;size : tcgsize;regsrc,regdst : tregister64);
  273. var
  274. tmpreg1: TRegister;
  275. begin
  276. case op of
  277. OP_NOT:
  278. begin
  279. cg.a_op_reg_reg(list,OP_NOT,OS_32,regsrc.reglo,regdst.reglo);
  280. cg.a_op_reg_reg(list,OP_NOT,OS_32,regsrc.reghi,regdst.reghi);
  281. end;
  282. OP_NEG:
  283. begin
  284. tmpreg1 := cg.GetIntRegister(list, OS_INT);
  285. list.concat(taicpu.op_reg_reg_reg(A_SUB, regdst.reglo, NR_X0, regsrc.reglo));
  286. list.concat(taicpu.op_reg_reg_reg(A_SLTU, tmpreg1, NR_X0, regdst.reglo));
  287. list.concat(taicpu.op_reg_reg_reg(A_SUB, regdst.reghi, NR_X0, regsrc.reghi));
  288. list.concat(taicpu.op_reg_reg_reg(A_SUB, regdst.reghi, regdst.reghi, tmpreg1));
  289. end;
  290. else
  291. a_op64_reg_reg_reg(list,op,size,regsrc,regdst,regdst);
  292. end;
  293. end;
  294. procedure tcg64frv.a_op64_const_reg(list : TAsmList;op:TOpCG;size : tcgsize;value : int64;reg : tregister64);
  295. begin
  296. a_op64_const_reg_reg(list,op,size,value,reg,reg);
  297. end;
  298. procedure tcg64frv.a_op64_reg_reg_reg(list: TAsmList;op:TOpCG;size : tcgsize;regsrc1,regsrc2,regdst : tregister64);
  299. var
  300. signed: Boolean;
  301. tmplo, carry, tmphi, hreg: TRegister;
  302. begin
  303. case op of
  304. OP_AND,OP_OR,OP_XOR:
  305. begin
  306. cg.a_op_reg_reg_reg(list,op,OS_32,regsrc1.reglo,regsrc2.reglo,regdst.reglo);
  307. cg.a_op_reg_reg_reg(list,op,OS_32,regsrc1.reghi,regsrc2.reghi,regdst.reghi);
  308. end;
  309. OP_ADD:
  310. begin
  311. signed:=(size in [OS_S64]);
  312. tmplo := cg.GetIntRegister(list,OS_S32);
  313. carry := cg.GetIntRegister(list,OS_S32);
  314. // destreg.reglo could be regsrc1.reglo or regsrc2.reglo
  315. list.concat(taicpu.op_reg_reg_reg(A_ADD, tmplo, regsrc2.reglo, regsrc1.reglo));
  316. list.concat(taicpu.op_reg_reg_reg(A_SLTU, carry, tmplo, regsrc2.reglo));
  317. cg.a_load_reg_reg(list,OS_INT,OS_INT,tmplo,regdst.reglo);
  318. if signed then
  319. begin
  320. list.concat(taicpu.op_reg_reg_reg(A_ADD, regdst.reghi, regsrc2.reghi, regsrc1.reghi));
  321. list.concat(taicpu.op_reg_reg_reg(A_ADD, regdst.reghi, regdst.reghi, carry));
  322. end
  323. else
  324. begin
  325. tmphi:=cg.GetIntRegister(list,OS_INT);
  326. hreg:=cg.GetIntRegister(list,OS_INT);
  327. cg.a_load_const_reg(list,OS_INT,$80000000,hreg);
  328. // first add carry to one of the addends
  329. list.concat(taicpu.op_reg_reg_reg(A_ADD, tmphi, regsrc2.reghi, carry));
  330. list.concat(taicpu.op_reg_reg_reg(A_SLTU, carry, tmphi, regsrc2.reghi));
  331. list.concat(taicpu.op_reg_reg_reg(A_SUB, carry, hreg, carry));
  332. // then add another addend
  333. list.concat(taicpu.op_reg_reg_reg(A_ADD, regdst.reghi, tmphi, regsrc1.reghi));
  334. end;
  335. end;
  336. OP_SUB:
  337. begin
  338. signed:=(size in [OS_S64]);
  339. tmplo := cg.GetIntRegister(list,OS_S32);
  340. carry := cg.GetIntRegister(list,OS_S32);
  341. // destreg.reglo could be regsrc1.reglo or regsrc2.reglo
  342. list.concat(taicpu.op_reg_reg_reg(A_SUB, tmplo, regsrc2.reglo, regsrc1.reglo));
  343. list.concat(taicpu.op_reg_reg_reg(A_SLTU, carry, regsrc2.reglo,tmplo));
  344. cg.a_load_reg_reg(list,OS_INT,OS_INT,tmplo,regdst.reglo);
  345. if signed then
  346. begin
  347. list.concat(taicpu.op_reg_reg_reg(A_SUB, regdst.reghi, regsrc2.reghi, regsrc1.reghi));
  348. list.concat(taicpu.op_reg_reg_reg(A_SUB, regdst.reghi, regdst.reghi, carry));
  349. end
  350. else
  351. begin
  352. tmphi:=cg.GetIntRegister(list,OS_INT);
  353. hreg:=cg.GetIntRegister(list,OS_INT);
  354. cg.a_load_const_reg(list,OS_INT,$80000000,hreg);
  355. // first subtract the carry...
  356. list.concat(taicpu.op_reg_reg_reg(A_SUB, tmphi, regsrc2.reghi, carry));
  357. list.concat(taicpu.op_reg_reg_reg(A_SLTU, carry, regsrc2.reghi, tmphi));
  358. list.concat(taicpu.op_reg_reg_reg(A_SUB, carry, hreg, carry));
  359. // ...then the subtrahend
  360. list.concat(taicpu.op_reg_reg_reg(A_SUB, regdst.reghi, tmphi, regsrc1.reghi));
  361. end;
  362. end;
  363. else
  364. internalerror(2002072801);
  365. end;
  366. end;
  367. procedure tcg64frv.a_op64_const_reg_reg(list: TAsmList;op:TOpCG;size : tcgsize;value : int64;regsrc,regdst : tregister64);
  368. var
  369. tmplo,carry: TRegister;
  370. hisize: tcgsize;
  371. begin
  372. carry:=NR_NO;
  373. if (size in [OS_S64]) then
  374. hisize:=OS_S32
  375. else
  376. hisize:=OS_32;
  377. case op of
  378. OP_AND,OP_OR,OP_XOR:
  379. begin
  380. cg.a_op_const_reg_reg(list,op,OS_32,aint(lo(value)),regsrc.reglo,regdst.reglo);
  381. cg.a_op_const_reg_reg(list,op,OS_32,aint(hi(value)),regsrc.reghi,regdst.reghi);
  382. end;
  383. OP_ADD:
  384. begin
  385. if lo(value)<>0 then
  386. begin
  387. tmplo:=cg.GetIntRegister(list,OS_32);
  388. carry:=cg.GetIntRegister(list,OS_32);
  389. if is_imm12(aint(lo(value))) then
  390. list.concat(taicpu.op_reg_reg_const(A_ADDI,tmplo,regsrc.reglo,aint(lo(value))))
  391. else
  392. begin
  393. cg.a_load_const_reg(list,OS_INT,aint(lo(value)),tmplo);
  394. list.concat(taicpu.op_reg_reg_reg(A_ADD,tmplo,tmplo,regsrc.reglo))
  395. end;
  396. list.concat(taicpu.op_reg_reg_reg(A_SLTU,carry,tmplo,regsrc.reglo));
  397. cg.a_load_reg_reg(list,OS_32,OS_32,tmplo,regdst.reglo);
  398. end
  399. else
  400. cg.a_load_reg_reg(list,OS_32,OS_32,regsrc.reglo,regdst.reglo);
  401. { With overflow checking and unsigned args, this generates slighly suboptimal code
  402. ($80000000 constant loaded twice). Other cases are fine. Getting it perfect does not
  403. look worth the effort. }
  404. cg.a_op_const_reg_reg(list,OP_ADD,hisize,aint(hi(value)),regsrc.reghi,regdst.reghi);
  405. if carry<>NR_NO then
  406. cg.a_op_reg_reg_reg(list,OP_ADD,hisize,carry,regdst.reghi,regdst.reghi);
  407. end;
  408. OP_SUB:
  409. begin
  410. carry:=NR_NO;
  411. if lo(value)<>0 then
  412. begin
  413. tmplo:=cg.GetIntRegister(list,OS_32);
  414. carry:=cg.GetIntRegister(list,OS_32);
  415. if {$ifdef AVOID_OVERFLOW} (abs(value) <= max_12_bit) and {$endif} is_imm12(-aint(lo(value))) then
  416. list.concat(taicpu.op_reg_reg_const(A_ADDI,tmplo,regsrc.reglo,-aint(lo(value))))
  417. else
  418. begin
  419. cg.a_load_const_reg(list,OS_INT,aint(lo(value)),tmplo);
  420. list.concat(taicpu.op_reg_reg_reg(A_SUB,tmplo,regsrc.reglo,tmplo))
  421. end;
  422. list.concat(taicpu.op_reg_reg_reg(A_SLTU,carry,regsrc.reglo,tmplo));
  423. cg.a_load_reg_reg(list,OS_32,OS_32,tmplo,regdst.reglo);
  424. end
  425. else
  426. cg.a_load_reg_reg(list,OS_32,OS_32,regsrc.reglo,regdst.reglo);
  427. cg.a_op_const_reg_reg(list,OP_SUB,hisize,aint(hi(value)),regsrc.reghi,regdst.reghi);
  428. if carry<>NR_NO then
  429. cg.a_op_reg_reg_reg(list,OP_SUB,hisize,carry,regdst.reghi,regdst.reghi);
  430. end;
  431. else
  432. InternalError(2013050301);
  433. end;
  434. end;
  435. procedure tcg64frv.a_load64_ref_cgpara(list : TAsmList;const r : treference;const paraloc : tcgpara);
  436. var
  437. hreg64 : tregister64;
  438. begin
  439. { Override this function to prevent loading the reference twice.
  440. Use here some extra registers, but those are optimized away by the RA }
  441. hreg64.reglo:=cg.GetIntRegister(list,OS_32);
  442. hreg64.reghi:=cg.GetIntRegister(list,OS_32);
  443. a_load64_ref_reg(list,r,hreg64);
  444. a_load64_reg_cgpara(list,hreg64,paraloc);
  445. end;
  446. procedure tcg64frv.a_load64_reg_ref(list : TAsmList;reg : tregister64;const ref : treference);
  447. var
  448. tmpref: treference;
  449. begin
  450. { Override this function to prevent loading the reference twice }
  451. tmpref:=ref;
  452. tcgrv32(cg).fixref(list,tmpref);
  453. cg.a_load_reg_ref(list,OS_32,OS_32,reg.reglo,tmpref);
  454. inc(tmpref.offset,4);
  455. cg.a_load_reg_ref(list,OS_32,OS_32,reg.reghi,tmpref);
  456. end;
  457. procedure tcg64frv.a_load64_ref_reg(list : TAsmList;const ref : treference;reg : tregister64);
  458. var
  459. tmpref: treference;
  460. begin
  461. { Override this function to prevent loading the reference twice }
  462. tmpref:=ref;
  463. tcgrv32(cg).fixref(list,tmpref);
  464. cg.a_load_ref_reg(list,OS_32,OS_32,tmpref,reg.reglo);
  465. inc(tmpref.offset,4);
  466. cg.a_load_ref_reg(list,OS_32,OS_32,tmpref,reg.reghi);
  467. end;
  468. procedure create_codegen;
  469. begin
  470. cg := tcgrv32.create;
  471. cg64 :=tcg64frv.create;
  472. end;
  473. end.