cgsparc.pas 45 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219
  1. {
  2. Copyright (c) 1998-2002 by Florian Klaempfl
  3. This unit implements the code generator for the SPARC
  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 cgsparc;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. globtype,parabase,
  22. cgbase,cgutils,cgobj,
  23. {$ifndef SPARC64}
  24. cg64f32,
  25. {$endif SPARC64}
  26. aasmbase,aasmtai,aasmdata,aasmcpu,
  27. cpubase,cpuinfo,
  28. node,symconst,SymType,symdef,
  29. rgcpu;
  30. type
  31. TCGSparcGen=class(tcg)
  32. protected
  33. function IsSimpleRef(const ref:treference):boolean;
  34. public
  35. procedure init_register_allocators;override;
  36. procedure done_register_allocators;override;
  37. function getfpuregister(list:TAsmList;size:Tcgsize):Tregister;override;
  38. { sparc special, needed by cg64 }
  39. procedure make_simple_ref(list:TAsmList;var ref: treference);
  40. procedure handle_load_store(list:TAsmList;isstore:boolean;op: tasmop;reg:tregister;ref: treference);
  41. procedure handle_reg_const_reg(list:TAsmList;op:Tasmop;src:tregister;a:tcgint;dst:tregister);
  42. { parameter }
  43. procedure a_loadfpu_reg_cgpara(list : TAsmList;size : tcgsize;const r : tregister;const paraloc : TCGPara);override;
  44. procedure a_loadfpu_ref_cgpara(list : TAsmList;size : tcgsize;const ref : treference;const paraloc : TCGPara);override;
  45. procedure a_call_name(list:TAsmList;const s:string; weak: boolean);override;
  46. procedure a_call_reg(list:TAsmList;Reg:TRegister);override;
  47. { General purpose instructions }
  48. procedure maybeadjustresult(list: TAsmList; op: TOpCg; size: tcgsize; dst: tregister);
  49. procedure a_op_const_reg(list:TAsmList;Op:TOpCG;size:tcgsize;a:tcgint;reg:TRegister);override;
  50. procedure a_op_reg_reg(list:TAsmList;Op:TOpCG;size:TCGSize;src, dst:TRegister);override;
  51. procedure a_op_const_reg_reg(list:TAsmList;op:TOpCg;size:tcgsize;a:tcgint;src, dst:tregister);override;
  52. procedure a_op_reg_reg_reg(list:TAsmList;op:TOpCg;size:tcgsize;src1, src2, dst:tregister);override;
  53. procedure a_op_const_reg_reg_checkoverflow(list: TAsmList; op: TOpCg; size: tcgsize; a: tcgint; src, dst: tregister;setflags : boolean;var ovloc : tlocation);override;
  54. procedure a_op_reg_reg_reg_checkoverflow(list: TAsmList; op: TOpCg; size: tcgsize; src1, src2, dst: tregister;setflags : boolean;var ovloc : tlocation);override;
  55. { move instructions }
  56. procedure a_load_const_ref(list:TAsmList;size:tcgsize;a:tcgint;const ref:TReference);override;
  57. procedure a_load_reg_ref(list:TAsmList;FromSize,ToSize:TCgSize;reg:TRegister;const ref:TReference);override;
  58. procedure a_load_ref_reg(list:TAsmList;FromSize,ToSize:TCgSize;const ref:TReference;reg:tregister);override;
  59. procedure a_loadaddr_ref_reg(list:TAsmList;const ref:TReference;r:tregister);override;
  60. { fpu move instructions }
  61. procedure a_loadfpu_reg_reg(list:TAsmList;fromsize,tosize:tcgsize;reg1, reg2:tregister);override;
  62. procedure a_loadfpu_ref_reg(list:TAsmList;fromsize,tosize:tcgsize;const ref:TReference;reg:tregister);override;
  63. procedure a_loadfpu_reg_ref(list:TAsmList;fromsize,tosize:tcgsize;reg:tregister;const ref:TReference);override;
  64. { comparison operations }
  65. procedure a_cmp_const_reg_label(list:TAsmList;size:tcgsize;cmp_op:topcmp;a:tcgint;reg:tregister;l:tasmlabel);override;
  66. procedure a_cmp_reg_reg_label(list:TAsmList;size:tcgsize;cmp_op:topcmp;reg1,reg2:tregister;l:tasmlabel);override;
  67. procedure a_jmp_always(List:TAsmList;l:TAsmLabel);override;
  68. procedure a_jmp_name(list : TAsmList;const s : string);override;
  69. procedure a_jmp_cond(list:TAsmList;cond:TOpCmp;l:tasmlabel);{ override;}
  70. procedure a_jmp_flags(list:TAsmList;const f:TResFlags;l:tasmlabel);override;
  71. procedure g_flags2reg(list:TAsmList;Size:TCgSize;const f:tresflags;reg:TRegister);override;
  72. procedure g_overflowCheck(List:TAsmList;const Loc:TLocation;def:TDef);override;
  73. procedure g_overflowCheck_loc(List:TAsmList;const Loc:TLocation;def:TDef;ovloc : tlocation);override;
  74. procedure g_proc_entry(list : TAsmList;localsize : longint;nostackframe:boolean);override;
  75. procedure g_proc_exit(list : TAsmList;parasize:longint;nostackframe:boolean);override;
  76. procedure g_maybe_got_init(list: TAsmList); override;
  77. procedure g_restore_registers(list:TAsmList);override;
  78. procedure g_save_registers(list : TAsmList);override;
  79. procedure g_concatcopy(list : TAsmList;const source,dest : treference;len : tcgint);override;
  80. procedure g_concatcopy_unaligned(list : TAsmList;const source,dest : treference;len : tcgint);override;
  81. procedure g_concatcopy_move(list : TAsmList;const source,dest : treference;len : tcgint);
  82. procedure g_adjust_self_value(list:TAsmList;procdef: tprocdef;ioffset: tcgint);override;
  83. protected
  84. use_unlimited_pic_mode : boolean;
  85. end;
  86. const
  87. TOpCG2AsmOp : array[boolean,topcg] of TAsmOp=(
  88. (
  89. A_NONE,A_MOV,A_ADD,A_AND,A_UDIV,A_SDIV,A_SMUL,A_UMUL,A_NEG,A_NOT,A_OR,A_SRA,A_SLL,A_SRL,A_SUB,A_XOR,A_NONE,A_NONE
  90. ),
  91. (
  92. A_NONE,A_MOV,A_ADD,A_AND,A_UDIV,A_SDIV,A_SMUL,A_UMUL,A_NEG,A_NOT,A_OR,A_SRAX,A_SLLX,A_SRLX,A_SUB,A_XOR,A_NONE,A_NONE
  93. )
  94. );
  95. TOpCG2AsmOpWithFlags : array[boolean,topcg] of TAsmOp=(
  96. (
  97. A_NONE,A_MOV,A_ADDcc,A_ANDcc,A_UDIVcc,A_SDIVcc,A_SMULcc,A_UMULcc,A_NEG,A_NOT,A_ORcc,A_SRA,A_SLL,A_SRL,A_SUBcc,A_XORcc,A_NONE,A_NONE
  98. ),
  99. (
  100. A_NONE,A_MOV,A_ADDcc,A_ANDcc,A_UDIVcc,A_SDIVcc,A_SMULcc,A_UMULcc,A_NEG,A_NOT,A_ORcc,A_SRAX,A_SLLX,A_SRLX,A_SUBcc,A_XORcc,A_NONE,A_NONE
  101. )
  102. );
  103. TOpCmp2AsmCond : array[topcmp] of TAsmCond=(C_NONE,
  104. C_E,C_G,C_L,C_GE,C_LE,C_NE,C_BE,C_B,C_AE,C_A
  105. );
  106. implementation
  107. uses
  108. globals,verbose,systems,cutils,
  109. paramgr,fmodule,
  110. symtable,symsym,
  111. tgobj,
  112. procinfo,cpupi;
  113. function TCGSparcGen.IsSimpleRef(const ref:treference):boolean;
  114. begin
  115. result :=not(assigned(ref.symbol))and
  116. (((ref.index = NR_NO) and
  117. (ref.offset >= simm13lo) and
  118. (ref.offset <= simm13hi)) or
  119. ((ref.index <> NR_NO) and
  120. (ref.offset = 0)));
  121. end;
  122. procedure TCGSparcGen.make_simple_ref(list:TAsmList;var ref: treference);
  123. var
  124. href: treference;
  125. hreg,hreg2: tregister;
  126. begin
  127. if (ref.refaddr<>addr_no) then
  128. InternalError(2013022802);
  129. if (ref.base=NR_NO) then
  130. begin
  131. ref.base:=ref.index;
  132. ref.index:=NR_NO;
  133. end;
  134. if IsSimpleRef(ref) then
  135. exit;
  136. if (ref.symbol=nil) then
  137. begin
  138. hreg:=getintregister(list,OS_ADDR);
  139. if (ref.index=NR_NO) then
  140. a_load_const_reg(list,OS_ADDR,ref.offset,hreg)
  141. else
  142. begin
  143. if (ref.offset<simm13lo) or (ref.offset>simm13hi-sizeof(pint)) then
  144. begin
  145. a_load_const_reg(list,OS_ADDR,ref.offset,hreg);
  146. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.index,hreg));
  147. end
  148. else
  149. list.concat(taicpu.op_reg_const_reg(A_ADD,ref.index,ref.offset,hreg));
  150. end;
  151. if (ref.base=NR_NO) then
  152. ref.base:=hreg
  153. else
  154. ref.index:=hreg;
  155. ref.offset:=0;
  156. exit;
  157. end;
  158. reference_reset_symbol(href,ref.symbol,ref.offset,ref.alignment,ref.volatility);
  159. hreg:=getintregister(list,OS_ADDR);
  160. if not (cs_create_pic in current_settings.moduleswitches) then
  161. begin
  162. { absolute loads allow any offset to be encoded into relocation }
  163. href.refaddr:=addr_high;
  164. list.concat(taicpu.op_ref_reg(A_SETHI,href,hreg));
  165. if (ref.base=NR_NO) and (ref.index=NR_NO) then
  166. begin
  167. ref.base:=hreg;
  168. ref.refaddr:=addr_low;
  169. exit;
  170. end;
  171. { base present -> load the entire address and use it as index }
  172. href.refaddr:=addr_low;
  173. list.concat(taicpu.op_reg_ref_reg(A_OR,hreg,href,hreg));
  174. ref.symbol:=nil;
  175. ref.offset:=0;
  176. if (ref.index<>NR_NO) then
  177. list.concat(taicpu.op_reg_reg_reg(A_ADD,ref.index,hreg,hreg));
  178. ref.index:=hreg;
  179. end
  180. else
  181. begin
  182. include(current_procinfo.flags,pi_needs_got);
  183. href.offset:=0;
  184. if use_unlimited_pic_mode then
  185. begin
  186. href.refaddr:=addr_high;
  187. list.concat(taicpu.op_ref_reg(A_SETHI,href,hreg));
  188. href.refaddr:=addr_low;
  189. list.concat(taicpu.op_reg_ref_reg(A_OR,hreg,href,hreg));
  190. reference_reset_base(href,hreg,0,sizeof(pint),[]);
  191. href.index:=current_procinfo.got;
  192. end
  193. else
  194. begin
  195. href.base:=current_procinfo.got;
  196. href.refaddr:=addr_pic;
  197. end;
  198. list.concat(taicpu.op_ref_reg(A_LD,href,hreg));
  199. ref.symbol:=nil;
  200. { hreg now holds symbol address. Add remaining members. }
  201. if (ref.offset>=simm13lo) and (ref.offset<=simm13hi-sizeof(pint)) then
  202. begin
  203. if (ref.base=NR_NO) then
  204. ref.base:=hreg
  205. else
  206. begin
  207. if (ref.offset<>0) then
  208. list.concat(taicpu.op_reg_const_reg(A_ADD,hreg,ref.offset,hreg));
  209. if (ref.index<>NR_NO) then
  210. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.index,hreg));
  211. ref.index:=hreg;
  212. ref.offset:=0;
  213. end;
  214. end
  215. else { large offset, need another register to deal with it }
  216. begin
  217. hreg2:=getintregister(list,OS_ADDR);
  218. a_load_const_reg(list,OS_ADDR,ref.offset,hreg2);
  219. if (ref.index<>NR_NO) then
  220. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg2,ref.index,hreg2));
  221. if (ref.base<>NR_NO) then
  222. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg2,ref.base,hreg2));
  223. ref.base:=hreg;
  224. ref.index:=hreg2;
  225. ref.offset:=0;
  226. end;
  227. end;
  228. end;
  229. procedure TCGSparcGen.handle_load_store(list:TAsmList;isstore:boolean;op: tasmop;reg:tregister;ref: treference);
  230. begin
  231. make_simple_ref(list,ref);
  232. if isstore then
  233. list.concat(taicpu.op_reg_ref(op,reg,ref))
  234. else
  235. list.concat(taicpu.op_ref_reg(op,ref,reg));
  236. end;
  237. procedure TCGSparcGen.handle_reg_const_reg(list:TAsmList;op:Tasmop;src:tregister;a:tcgint;dst:tregister);
  238. var
  239. tmpreg : tregister;
  240. begin
  241. if (a<simm13lo) or
  242. (a>simm13hi) then
  243. begin
  244. tmpreg:=GetIntRegister(list,OS_INT);
  245. a_load_const_reg(list,OS_INT,a,tmpreg);
  246. list.concat(taicpu.op_reg_reg_reg(op,src,tmpreg,dst));
  247. end
  248. else
  249. list.concat(taicpu.op_reg_const_reg(op,src,a,dst));
  250. end;
  251. {****************************************************************************
  252. Assembler code
  253. ****************************************************************************}
  254. procedure TCGSparcGen.init_register_allocators;
  255. begin
  256. inherited init_register_allocators;
  257. rg[R_INTREGISTER]:=Trgcpu.create(R_INTREGISTER,R_SUBD,
  258. [RS_O0,RS_O1,RS_O2,RS_O3,RS_O4,RS_O5,RS_O7,
  259. RS_L0,RS_L1,RS_L2,RS_L3,RS_L4,RS_L5,RS_L6,RS_L7,
  260. RS_I0,RS_I1,RS_I2,RS_I3,RS_I4,RS_I5],
  261. first_int_imreg,[]);
  262. rg[R_FPUREGISTER]:=trgcpu.create(R_FPUREGISTER,R_SUBFS,
  263. [RS_F0,{RS_F1,}RS_F2,{RS_F3,}RS_F4,{RS_F5,}RS_F6,{RS_F7,}
  264. RS_F8,{RS_F9,}RS_F10,{RS_F11,}RS_F12,{RS_F13,}RS_F14,{RS_F15,}
  265. RS_F16,{RS_F17,}RS_F18,{RS_F19,}RS_F20,{RS_F21,}RS_F22,{RS_F23,}
  266. RS_F24,{RS_F25,}RS_F26,{RS_F27,}RS_F28,{RS_F29,}RS_F30{,RS_F31}],
  267. first_fpu_imreg,[]);
  268. { needs at least one element for rgobj not to crash }
  269. rg[R_MMREGISTER]:=trgcpu.create(R_MMREGISTER,R_SUBNONE,
  270. [RS_L0],first_mm_imreg,[]);
  271. end;
  272. procedure TCGSparcGen.done_register_allocators;
  273. begin
  274. rg[R_INTREGISTER].free;
  275. rg[R_FPUREGISTER].free;
  276. rg[R_MMREGISTER].free;
  277. inherited done_register_allocators;
  278. end;
  279. function TCGSparcGen.getfpuregister(list:TAsmList;size:Tcgsize):Tregister;
  280. begin
  281. if size=OS_F64 then
  282. result:=rg[R_FPUREGISTER].getregister(list,R_SUBFD)
  283. else
  284. result:=rg[R_FPUREGISTER].getregister(list,R_SUBFS);
  285. end;
  286. procedure TCGSparcGen.a_loadfpu_ref_cgpara(list : TAsmList;size : tcgsize;const ref : treference;const paraloc : TCGPara);
  287. var
  288. href,href2 : treference;
  289. hloc : pcgparalocation;
  290. begin
  291. href:=ref;
  292. hloc:=paraloc.location;
  293. while assigned(hloc) do
  294. begin
  295. paramanager.allocparaloc(list,hloc);
  296. case hloc^.loc of
  297. LOC_REGISTER,LOC_CREGISTER :
  298. a_load_ref_reg(list,hloc^.size,hloc^.size,href,hloc^.register);
  299. LOC_REFERENCE :
  300. begin
  301. reference_reset_base(href2,hloc^.reference.index,hloc^.reference.offset,paraloc.alignment,[]);
  302. a_load_ref_ref(list,hloc^.size,hloc^.size,href,href2);
  303. end;
  304. LOC_FPUREGISTER,LOC_CFPUREGISTER :
  305. a_loadfpu_ref_reg(list,hloc^.size,hloc^.size,href,hloc^.register);
  306. else
  307. internalerror(200408241);
  308. end;
  309. inc(href.offset,tcgsize2size[hloc^.size]);
  310. hloc:=hloc^.next;
  311. end;
  312. end;
  313. procedure TCGSparcGen.a_loadfpu_reg_cgpara(list : TAsmList;size : tcgsize;const r : tregister;const paraloc : TCGPara);
  314. var
  315. href : treference;
  316. begin
  317. { happens for function result loc }
  318. if paraloc.location^.loc in [LOC_FPUREGISTER,LOC_CFPUREGISTER] then
  319. begin
  320. paraloc.check_simple_location;
  321. paramanager.allocparaloc(list,paraloc.location);
  322. a_loadfpu_reg_reg(list,size,paraloc.location^.size,r,paraloc.location^.register);
  323. end
  324. else
  325. begin
  326. tg.GetTemp(list,TCGSize2Size[size],TCGSize2Size[size],tt_normal,href);
  327. a_loadfpu_reg_ref(list,size,size,r,href);
  328. a_loadfpu_ref_cgpara(list,size,href,paraloc);
  329. tg.Ungettemp(list,href);
  330. end;
  331. end;
  332. procedure TCGSparcGen.a_call_name(list:TAsmList;const s:string; weak: boolean);
  333. begin
  334. if not weak then
  335. list.concat(taicpu.op_sym(A_CALL,current_asmdata.RefAsmSymbol(s,AT_FUNCTION)))
  336. else
  337. list.concat(taicpu.op_sym(A_CALL,current_asmdata.WeakRefAsmSymbol(s,AT_FUNCTION)));
  338. { Delay slot }
  339. list.concat(taicpu.op_none(A_NOP));
  340. end;
  341. procedure TCGSparcGen.a_call_reg(list:TAsmList;Reg:TRegister);
  342. begin
  343. list.concat(taicpu.op_reg(A_CALL,reg));
  344. { Delay slot }
  345. list.concat(taicpu.op_none(A_NOP));
  346. end;
  347. {********************** load instructions ********************}
  348. procedure TCGSparcGen.a_load_const_ref(list : TAsmList;size : tcgsize;a : tcgint;const ref : TReference);
  349. begin
  350. if a=0 then
  351. a_load_reg_ref(list,size,size,NR_G0,ref)
  352. else
  353. inherited a_load_const_ref(list,size,a,ref);
  354. end;
  355. procedure TCGSparcGen.a_load_reg_ref(list:TAsmList;FromSize,ToSize:TCGSize;reg:tregister;const Ref:TReference);
  356. var
  357. op : tasmop;
  358. begin
  359. if (TCGSize2Size[fromsize] >= TCGSize2Size[tosize]) then
  360. fromsize := tosize;
  361. if (ref.alignment<>0) and
  362. (ref.alignment<tcgsize2size[tosize]) then
  363. begin
  364. a_load_reg_ref_unaligned(list,FromSize,ToSize,reg,ref);
  365. end
  366. else
  367. begin
  368. case tosize of
  369. { signed integer registers }
  370. OS_8,
  371. OS_S8:
  372. Op:=A_STB;
  373. OS_16,
  374. OS_S16:
  375. Op:=A_STH;
  376. OS_32,
  377. OS_S32:
  378. Op:=A_ST;
  379. {$ifdef SPARC64}
  380. OS_64,
  381. OS_S64:
  382. Op:=A_STX;
  383. {$endif SPARC64}
  384. else
  385. InternalError(2002122100);
  386. end;
  387. handle_load_store(list,true,op,reg,ref);
  388. end;
  389. end;
  390. procedure TCGSparcGen.a_load_ref_reg(list:TAsmList;FromSize,ToSize:TCgSize;const ref:TReference;reg:tregister);
  391. var
  392. op : tasmop;
  393. begin
  394. if (TCGSize2Size[fromsize] >= TCGSize2Size[tosize]) then
  395. fromsize := tosize;
  396. if (ref.alignment<>0) and
  397. (ref.alignment<tcgsize2size[fromsize]) then
  398. begin
  399. a_load_ref_reg_unaligned(list,FromSize,ToSize,ref,reg);
  400. end
  401. else
  402. begin
  403. case fromsize of
  404. OS_S8:
  405. Op:=A_LDSB;{Load Signed Byte}
  406. OS_8:
  407. Op:=A_LDUB;{Load Unsigned Byte}
  408. OS_S16:
  409. Op:=A_LDSH;{Load Signed Halfword}
  410. OS_16:
  411. Op:=A_LDUH;{Load Unsigned Halfword}
  412. OS_S32,
  413. OS_32:
  414. Op:=A_LD;{Load Word}
  415. {$ifdef SPARC64}
  416. OS_64,
  417. OS_S64:
  418. Op:=A_LDX;
  419. {$else SPARC64}
  420. OS_S64,
  421. OS_64:
  422. Op:=A_LDD;{Load a Long Word}
  423. {$endif SPARC64}
  424. else
  425. InternalError(2002122101);
  426. end;
  427. handle_load_store(list,false,op,reg,ref);
  428. if (fromsize=OS_S8) and
  429. (tosize=OS_16) then
  430. a_load_reg_reg(list,fromsize,tosize,reg,reg);
  431. end;
  432. end;
  433. procedure TCGSparcGen.a_loadaddr_ref_reg(list : TAsmList;const ref : TReference;r : tregister);
  434. var
  435. href: treference;
  436. hreg: tregister;
  437. begin
  438. if (ref.base=NR_NO) and (ref.index<>NR_NO) then
  439. internalerror(200306171);
  440. if (ref.symbol=nil) then
  441. begin
  442. if (ref.base<>NR_NO) then
  443. begin
  444. if (ref.offset<simm13lo) or (ref.offset>simm13hi) then
  445. begin
  446. hreg:=getintregister(list,OS_ADDR);
  447. a_load_const_reg(list,OS_ADDR,ref.offset,hreg);
  448. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.base,r));
  449. if (ref.index<>NR_NO) then
  450. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref.index,r));
  451. end
  452. else if (ref.offset<>0) then
  453. begin
  454. list.concat(taicpu.op_reg_const_reg(A_ADD,ref.base,ref.offset,r));
  455. if (ref.index<>NR_NO) then
  456. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref.index,r));
  457. end
  458. else if (ref.index<>NR_NO) then
  459. list.concat(taicpu.op_reg_reg_reg(A_ADD,ref.base,ref.index,r))
  460. else
  461. a_load_reg_reg(list,OS_ADDR,OS_INT,ref.base,r); { (try to) emit optimizable move }
  462. end
  463. else
  464. a_load_const_reg(list,OS_ADDR,ref.offset,r);
  465. exit;
  466. end;
  467. reference_reset_symbol(href,ref.symbol,ref.offset,ref.alignment,ref.volatility);
  468. if (cs_create_pic in current_settings.moduleswitches) then
  469. begin
  470. include(current_procinfo.flags,pi_needs_got);
  471. href.offset:=0;
  472. if use_unlimited_pic_mode then
  473. begin
  474. href.refaddr:=addr_high;
  475. list.concat(taicpu.op_ref_reg(A_SETHI,href,r));
  476. href.refaddr:=addr_low;
  477. list.concat(taicpu.op_reg_ref_reg(A_OR,r,href,r));
  478. reference_reset_base(href,r,0,sizeof(pint),[]);
  479. href.index:=current_procinfo.got;
  480. end
  481. else
  482. begin
  483. href.base:=current_procinfo.got;
  484. href.refaddr:=addr_pic; { should it be done THAT way?? }
  485. end;
  486. { load contents of GOT slot }
  487. list.concat(taicpu.op_ref_reg(A_LD,href,r));
  488. { add original base/index, if any }
  489. if (ref.base<>NR_NO) then
  490. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref.base,r));
  491. if (ref.index<>NR_NO) then
  492. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref.index,r));
  493. { finally, add offset }
  494. if (ref.offset<simm13lo) or (ref.offset>simm13hi) then
  495. begin
  496. hreg:=getintregister(list,OS_ADDR);
  497. a_load_const_reg(list,OS_ADDR,ref.offset,hreg);
  498. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,r,r));
  499. end
  500. else if (ref.offset<>0) then
  501. list.concat(taicpu.op_reg_const_reg(A_ADD,r,ref.offset,r));
  502. end
  503. else
  504. begin
  505. { load symbol+offset }
  506. href.refaddr:=addr_high;
  507. list.concat(taicpu.op_ref_reg(A_SETHI,href,r));
  508. href.refaddr:=addr_low;
  509. list.concat(taicpu.op_reg_ref_reg(A_OR,r,href,r));
  510. { add original base/index, if any }
  511. if (ref.base<>NR_NO) then
  512. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref.base,r));
  513. if (ref.index<>NR_NO) then
  514. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref.index,r));
  515. end;
  516. end;
  517. procedure TCGSparcGen.a_loadfpu_reg_reg(list:TAsmList;fromsize,tosize:tcgsize;reg1, reg2:tregister);
  518. const
  519. FpuMovInstr : Array[OS_F32..OS_F64,OS_F32..OS_F64] of TAsmOp =
  520. ((A_FMOVS,A_FSTOD),(A_FDTOS,A_FMOVD));
  521. var
  522. op: TAsmOp;
  523. instr : taicpu;
  524. begin
  525. op:=fpumovinstr[fromsize,tosize];
  526. instr:=taicpu.op_reg_reg(op,reg1,reg2);
  527. list.Concat(instr);
  528. { Notify the register allocator that we have written a move instruction so
  529. it can try to eliminate it. }
  530. if (op = A_FMOVS) or
  531. (op = A_FMOVD) then
  532. add_move_instruction(instr);
  533. end;
  534. procedure TCGSparcGen.a_loadfpu_ref_reg(list:TAsmList;fromsize,tosize:tcgsize;const ref:TReference;reg:tregister);
  535. const
  536. FpuLoadInstr : Array[OS_F32..OS_F64] of TAsmOp =
  537. (A_LDF,A_LDDF);
  538. var
  539. tmpreg: tregister;
  540. begin
  541. tmpreg:=NR_NO;
  542. if (fromsize<>tosize) then
  543. begin
  544. tmpreg:=reg;
  545. reg:=getfpuregister(list,fromsize);
  546. end;
  547. handle_load_store(list,false,fpuloadinstr[fromsize],reg,ref);
  548. if (fromsize<>tosize) then
  549. a_loadfpu_reg_reg(list,fromsize,tosize,reg,tmpreg);
  550. end;
  551. procedure TCGSparcGen.a_loadfpu_reg_ref(list:TAsmList;fromsize,tosize:tcgsize;reg:tregister;const ref:TReference);
  552. const
  553. FpuLoadInstr : Array[OS_F32..OS_F64] of TAsmOp =
  554. (A_STF,A_STDF);
  555. var
  556. tmpreg: tregister;
  557. begin
  558. if (fromsize<>tosize) then
  559. begin
  560. tmpreg:=getfpuregister(list,tosize);
  561. a_loadfpu_reg_reg(list,fromsize,tosize,reg,tmpreg);
  562. reg:=tmpreg;
  563. end;
  564. handle_load_store(list,true,fpuloadinstr[tosize],reg,ref);
  565. end;
  566. procedure TCGSparcGen.maybeadjustresult(list: TAsmList; op: TOpCg; size: tcgsize; dst: tregister);
  567. const
  568. overflowops = [OP_MUL,OP_SHL,OP_ADD,OP_SUB,OP_NOT,OP_NEG];
  569. begin
  570. if (op in overflowops) and
  571. (size in [OS_8,OS_S8,OS_16,OS_S16]) then
  572. a_load_reg_reg(list,OS_32,size,dst,dst);
  573. end;
  574. procedure TCGSparcGen.a_op_const_reg(list:TAsmList;Op:TOpCG;size:tcgsize;a:tcgint;reg:TRegister);
  575. begin
  576. optimize_op_const(size,op,a);
  577. case op of
  578. OP_NONE:
  579. exit;
  580. OP_MOVE:
  581. a_load_const_reg(list,size,a,reg);
  582. OP_NEG,OP_NOT:
  583. internalerror(200306011);
  584. else
  585. a_op_const_reg_reg(list,op,size,a,reg,reg);
  586. end;
  587. end;
  588. procedure TCGSparcGen.a_op_reg_reg(list:TAsmList;Op:TOpCG;size:TCGSize;src, dst:TRegister);
  589. begin
  590. Case Op of
  591. OP_NEG :
  592. list.concat(taicpu.op_reg_reg(TOpCG2AsmOp[size in [OS_64,OS_S64],op],src,dst));
  593. OP_NOT :
  594. list.concat(taicpu.op_reg_reg_reg(A_XNOR,src,NR_G0,dst));
  595. else
  596. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[size in [OS_64,OS_S64],op],dst,src,dst));
  597. end;
  598. maybeadjustresult(list,op,size,dst);
  599. end;
  600. procedure TCGSparcGen.a_op_const_reg_reg(list:TAsmList;op:TOpCg;size:tcgsize;a:tcgint;src, dst:tregister);
  601. var
  602. l: TLocation;
  603. begin
  604. a_op_const_reg_reg_checkoverflow(list,op,size,a,src,dst,false,l);
  605. end;
  606. procedure TCGSparcGen.a_op_reg_reg_reg(list:TAsmList;op:TOpCg;size:tcgsize;src1, src2, dst:tregister);
  607. begin
  608. if (TOpcg2AsmOp[size in [OS_64,OS_S64],op]=A_NONE) then
  609. InternalError(2013070305);
  610. if (op=OP_SAR) then
  611. begin
  612. if (size in [OS_S8,OS_S16]) then
  613. begin
  614. { Sign-extend before shifting }
  615. list.concat(taicpu.op_reg_const_reg(A_SLL,src2,32-(tcgsize2size[size]*8),dst));
  616. list.concat(taicpu.op_reg_const_reg(A_SRA,dst,32-(tcgsize2size[size]*8),dst));
  617. src2:=dst;
  618. end
  619. else if not (size in [OS_32,OS_S32]) then
  620. InternalError(2013070306);
  621. end;
  622. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[size in [OS_64,OS_S64],op],src2,src1,dst));
  623. maybeadjustresult(list,op,size,dst);
  624. end;
  625. procedure TCGSparcGen.a_op_const_reg_reg_checkoverflow(list: TAsmList; op: TOpCg; size: tcgsize; a: tcgint; src, dst: tregister;setflags : boolean;var ovloc : tlocation);
  626. var
  627. tmpreg1,tmpreg2 : tregister;
  628. begin
  629. ovloc.loc:=LOC_VOID;
  630. optimize_op_const(size,op,a);
  631. case op of
  632. OP_NONE:
  633. begin
  634. a_load_reg_reg(list,size,size,src,dst);
  635. exit;
  636. end;
  637. OP_MOVE:
  638. begin
  639. a_load_const_reg(list,size,a,dst);
  640. exit;
  641. end;
  642. OP_SAR:
  643. begin
  644. if (size in [OS_S8,OS_S16]) then
  645. begin
  646. list.concat(taicpu.op_reg_const_reg(A_SLL,src,32-(tcgsize2size[size]*8),dst));
  647. inc(a,32-tcgsize2size[size]*8);
  648. src:=dst;
  649. end
  650. {$ifndef SPARC64}
  651. else if not (size in [OS_32,OS_S32]) then
  652. InternalError(2013070303)
  653. {$endif SPARC64}
  654. ;
  655. end;
  656. end;
  657. if setflags then
  658. begin
  659. handle_reg_const_reg(list,TOpCG2AsmOpWithFlags[size in [OS_64,OS_S64],op],src,a,dst);
  660. case op of
  661. OP_MUL:
  662. begin
  663. tmpreg1:=GetIntRegister(list,OS_INT);
  664. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  665. list.concat(taicpu.op_reg_reg(A_CMP,NR_G0,tmpreg1));
  666. ovloc.loc:=LOC_FLAGS;
  667. ovloc.resflags:=F_NE;
  668. end;
  669. OP_IMUL:
  670. begin
  671. tmpreg1:=GetIntRegister(list,OS_INT);
  672. tmpreg2:=GetIntRegister(list,OS_INT);
  673. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  674. list.concat(taicpu.op_reg_const_reg(A_SRA,dst,31,tmpreg2));
  675. list.concat(taicpu.op_reg_reg(A_CMP,tmpreg1,tmpreg2));
  676. ovloc.loc:=LOC_FLAGS;
  677. ovloc.resflags:=F_NE;
  678. end;
  679. end;
  680. end
  681. else
  682. handle_reg_const_reg(list,TOpCG2AsmOp[size in [OS_64,OS_S64],op],src,a,dst);
  683. maybeadjustresult(list,op,size,dst);
  684. end;
  685. procedure TCGSparcGen.a_op_reg_reg_reg_checkoverflow(list: TAsmList; op: TOpCg; size: tcgsize; src1, src2, dst: tregister;setflags : boolean;var ovloc : tlocation);
  686. var
  687. tmpreg1,tmpreg2 : tregister;
  688. begin
  689. ovloc.loc:=LOC_VOID;
  690. if setflags then
  691. begin
  692. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOpWithFlags[size in [OS_64,OS_S64],op],src2,src1,dst));
  693. case op of
  694. OP_MUL:
  695. begin
  696. tmpreg1:=GetIntRegister(list,OS_INT);
  697. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  698. list.concat(taicpu.op_reg_reg(A_CMP,NR_G0,tmpreg1));
  699. ovloc.loc:=LOC_FLAGS;
  700. ovloc.resflags:=F_NE;
  701. end;
  702. OP_IMUL:
  703. begin
  704. tmpreg1:=GetIntRegister(list,OS_INT);
  705. tmpreg2:=GetIntRegister(list,OS_INT);
  706. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  707. list.concat(taicpu.op_reg_const_reg(A_SRL,dst,31,tmpreg2));
  708. list.concat(taicpu.op_reg_reg(A_CMP,tmpreg1,tmpreg2));
  709. ovloc.loc:=LOC_FLAGS;
  710. ovloc.resflags:=F_NE;
  711. end;
  712. end;
  713. end
  714. else
  715. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[size in [OS_64,OS_S64],op],src2,src1,dst));
  716. maybeadjustresult(list,op,size,dst);
  717. end;
  718. {*************** compare instructructions ****************}
  719. procedure TCGSparcGen.a_cmp_const_reg_label(list:TAsmList;size:tcgsize;cmp_op:topcmp;a:tcgint;reg:tregister;l:tasmlabel);
  720. begin
  721. if (a=0) then
  722. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,reg,NR_G0,NR_G0))
  723. else
  724. handle_reg_const_reg(list,A_SUBcc,reg,a,NR_G0);
  725. a_jmp_cond(list,cmp_op,l);
  726. end;
  727. procedure TCGSparcGen.a_cmp_reg_reg_label(list:TAsmList;size:tcgsize;cmp_op:topcmp;reg1,reg2:tregister;l:tasmlabel);
  728. begin
  729. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,reg2,reg1,NR_G0));
  730. a_jmp_cond(list,cmp_op,l);
  731. end;
  732. procedure TCGSparcGen.a_jmp_always(List:TAsmList;l:TAsmLabel);
  733. begin
  734. List.Concat(TAiCpu.op_sym(A_BA,current_asmdata.RefAsmSymbol(l.name,AT_FUNCTION)));
  735. { Delay slot }
  736. list.Concat(TAiCpu.Op_none(A_NOP));
  737. end;
  738. procedure TCGSparcGen.a_jmp_name(list : TAsmList;const s : string);
  739. begin
  740. List.Concat(TAiCpu.op_sym(A_BA,current_asmdata.RefAsmSymbol(s,AT_FUNCTION)));
  741. { Delay slot }
  742. list.Concat(TAiCpu.Op_none(A_NOP));
  743. end;
  744. procedure TCGSparcGen.a_jmp_cond(list:TAsmList;cond:TOpCmp;l:TAsmLabel);
  745. var
  746. ai:TAiCpu;
  747. begin
  748. ai:=TAiCpu.Op_sym(A_Bxx,l);
  749. ai.SetCondition(TOpCmp2AsmCond[cond]);
  750. list.Concat(ai);
  751. { Delay slot }
  752. list.Concat(TAiCpu.Op_none(A_NOP));
  753. end;
  754. procedure TCGSparcGen.a_jmp_flags(list:TAsmList;const f:TResFlags;l:tasmlabel);
  755. var
  756. ai : taicpu;
  757. begin
  758. ai:=Taicpu.op_sym(A_Bxx,l);
  759. ai.SetCondition(flags_to_cond(f));
  760. list.Concat(ai);
  761. { Delay slot }
  762. list.Concat(TAiCpu.Op_none(A_NOP));
  763. end;
  764. procedure TCGSparcGen.g_flags2reg(list:TAsmList;Size:TCgSize;const f:tresflags;reg:TRegister);
  765. var
  766. hl : tasmlabel;
  767. begin
  768. if (f in [F_B]) then
  769. list.concat(taicpu.op_reg_reg_reg(A_ADDX,NR_G0,NR_G0,reg))
  770. else if (f in [F_AE]) then
  771. list.concat(taicpu.op_reg_const_reg(A_SUBX,NR_G0,-1,reg))
  772. else
  773. begin
  774. current_asmdata.getjumplabel(hl);
  775. a_load_const_reg(list,size,1,reg);
  776. a_jmp_flags(list,f,hl);
  777. a_load_const_reg(list,size,0,reg);
  778. a_label(list,hl);
  779. end;
  780. end;
  781. procedure TCGSparcGen.g_overflowCheck(List:TAsmList;const Loc:TLocation;def:TDef);
  782. var
  783. l : tlocation;
  784. begin
  785. l.loc:=LOC_VOID;
  786. g_overflowCheck_loc(list,loc,def,l);
  787. end;
  788. procedure TCGSparcGen.g_overflowCheck_loc(List:TAsmList;const Loc:TLocation;def:TDef;ovloc : tlocation);
  789. var
  790. hl : tasmlabel;
  791. ai:TAiCpu;
  792. hflags : tresflags;
  793. begin
  794. if not(cs_check_overflow in current_settings.localswitches) then
  795. exit;
  796. current_asmdata.getjumplabel(hl);
  797. case ovloc.loc of
  798. LOC_VOID:
  799. begin
  800. if not((def.typ=pointerdef) or
  801. ((def.typ=orddef) and
  802. (torddef(def).ordtype in [u64bit,u16bit,u32bit,u8bit,uchar,
  803. pasbool8,pasbool16,pasbool32,pasbool64]))) then
  804. begin
  805. ai:=TAiCpu.Op_sym(A_Bxx,hl);
  806. ai.SetCondition(C_VC);
  807. list.Concat(ai);
  808. { Delay slot }
  809. list.Concat(TAiCpu.Op_none(A_NOP));
  810. end
  811. else
  812. a_jmp_cond(list,OC_AE,hl);
  813. end;
  814. LOC_FLAGS:
  815. begin
  816. hflags:=ovloc.resflags;
  817. inverse_flags(hflags);
  818. cg.a_jmp_flags(list,hflags,hl);
  819. end;
  820. else
  821. internalerror(200409281);
  822. end;
  823. a_call_name(list,'FPC_OVERFLOW',false);
  824. a_label(list,hl);
  825. end;
  826. { *********** entry/exit code and address loading ************ }
  827. procedure TCGSparcGen.g_proc_entry(list : TAsmList;localsize : longint;nostackframe:boolean);
  828. begin
  829. if nostackframe then
  830. exit;
  831. { Althogh the SPARC architecture require only word alignment, software
  832. convention and the operating system require every stack frame to be double word
  833. aligned }
  834. LocalSize:=align(LocalSize,8);
  835. { Execute the SAVE instruction to get a new register window and create a new
  836. stack frame. In the "SAVE %i6,size,%i6" the first %i6 is related to the state
  837. before execution of the SAVE instrucion so it is the caller %i6, when the %i6
  838. after execution of that instruction is the called function stack pointer}
  839. { constant can be 13 bit signed, since it's negative, size can be max. 4096 }
  840. if LocalSize>4096 then
  841. begin
  842. a_load_const_reg(list,OS_ADDR,-LocalSize,NR_G1);
  843. list.concat(Taicpu.Op_reg_reg_reg(A_SAVE,NR_STACK_POINTER_REG,NR_G1,NR_STACK_POINTER_REG));
  844. end
  845. else
  846. list.concat(Taicpu.Op_reg_const_reg(A_SAVE,NR_STACK_POINTER_REG,-LocalSize,NR_STACK_POINTER_REG));
  847. end;
  848. procedure TCGSparcGen.g_maybe_got_init(list : TAsmList);
  849. var
  850. ref : treference;
  851. hl : tasmlabel;
  852. begin
  853. if (cs_create_pic in current_settings.moduleswitches) and
  854. ((pi_needs_got in current_procinfo.flags) or
  855. (current_procinfo.procdef.proctypeoption=potype_unitfinalize)) then
  856. begin
  857. current_asmdata.getjumplabel(hl);
  858. list.concat(taicpu.op_sym(A_CALL,hl));
  859. { ABI recommends the following sequence:
  860. 1: call 2f
  861. sethi %hi(_GLOBAL_OFFSET_TABLE_+(.-1b)), %l7
  862. 2: or %l7, %lo(_GLOBAL_OFFSET_TABLE_+(.-1b)), %l7
  863. add %l7, %o7, %l7 }
  864. reference_reset_symbol(ref,current_asmdata.RefAsmSymbol('_GLOBAL_OFFSET_TABLE_',AT_DATA),4,sizeof(pint),[]);
  865. ref.refaddr:=addr_high;
  866. list.concat(taicpu.op_ref_reg(A_SETHI,ref,NR_L7));
  867. cg.a_label(list,hl);
  868. ref.refaddr:=addr_low;
  869. ref.offset:=8;
  870. list.concat(Taicpu.Op_reg_ref_reg(A_OR,NR_L7,ref,NR_L7));
  871. list.concat(taicpu.op_reg_reg_reg(A_ADD,NR_L7,NR_O7,NR_L7));
  872. { allocate NR_L7, so reg.allocator does not see it as available }
  873. list.concat(tai_regalloc.alloc(NR_L7,nil));
  874. end;
  875. end;
  876. procedure TCGSparcGen.g_restore_registers(list:TAsmList);
  877. begin
  878. { The sparc port uses the sparc standard calling convetions so this function has no used }
  879. end;
  880. procedure TCGSparcGen.g_proc_exit(list : TAsmList;parasize:longint;nostackframe:boolean);
  881. var
  882. hr : treference;
  883. begin
  884. if paramanager.ret_in_param(current_procinfo.procdef.returndef,current_procinfo.procdef) then
  885. begin
  886. reference_reset(hr,sizeof(pint),[]);
  887. hr.offset:=12;
  888. hr.refaddr:=addr_full;
  889. if nostackframe then
  890. begin
  891. hr.base:=NR_O7;
  892. list.concat(taicpu.op_ref_reg(A_JMPL,hr,NR_G0));
  893. list.concat(Taicpu.op_none(A_NOP))
  894. end
  895. else
  896. begin
  897. { We use trivial restore in the delay slot of the JMPL instruction, as we
  898. already set result onto %i0 }
  899. hr.base:=NR_I7;
  900. list.concat(taicpu.op_ref_reg(A_JMPL,hr,NR_G0));
  901. list.concat(Taicpu.op_none(A_RESTORE));
  902. end;
  903. end
  904. else
  905. begin
  906. if nostackframe then
  907. begin
  908. { Here we need to use RETL instead of RET so it uses %o7 }
  909. list.concat(Taicpu.op_none(A_RETL));
  910. list.concat(Taicpu.op_none(A_NOP))
  911. end
  912. else
  913. begin
  914. { We use trivial restore in the delay slot of the JMPL instruction, as we
  915. already set result onto %i0 }
  916. list.concat(Taicpu.op_none(A_RET));
  917. list.concat(Taicpu.op_none(A_RESTORE));
  918. end;
  919. end;
  920. end;
  921. procedure TCGSparcGen.g_save_registers(list : TAsmList);
  922. begin
  923. { The sparc port uses the sparc standard calling convetions so this function has no used }
  924. end;
  925. { ************* concatcopy ************ }
  926. procedure TCGSparcGen.g_concatcopy_move(list : TAsmList;const source,dest : treference;len : tcgint);
  927. var
  928. paraloc1,paraloc2,paraloc3 : TCGPara;
  929. pd : tprocdef;
  930. begin
  931. pd:=search_system_proc('MOVE');
  932. paraloc1.init;
  933. paraloc2.init;
  934. paraloc3.init;
  935. paramanager.getintparaloc(list,pd,1,paraloc1);
  936. paramanager.getintparaloc(list,pd,2,paraloc2);
  937. paramanager.getintparaloc(list,pd,3,paraloc3);
  938. a_load_const_cgpara(list,OS_SINT,len,paraloc3);
  939. a_loadaddr_ref_cgpara(list,dest,paraloc2);
  940. a_loadaddr_ref_cgpara(list,source,paraloc1);
  941. paramanager.freecgpara(list,paraloc3);
  942. paramanager.freecgpara(list,paraloc2);
  943. paramanager.freecgpara(list,paraloc1);
  944. alloccpuregisters(list,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  945. alloccpuregisters(list,R_FPUREGISTER,paramanager.get_volatile_registers_fpu(pocall_default));
  946. a_call_name(list,'FPC_MOVE',false);
  947. dealloccpuregisters(list,R_FPUREGISTER,paramanager.get_volatile_registers_fpu(pocall_default));
  948. dealloccpuregisters(list,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  949. paraloc3.done;
  950. paraloc2.done;
  951. paraloc1.done;
  952. end;
  953. procedure TCGSparcGen.g_concatcopy(list:TAsmList;const source,dest:treference;len:tcgint);
  954. var
  955. tmpreg1,
  956. hreg,
  957. countreg: TRegister;
  958. src, dst: TReference;
  959. lab: tasmlabel;
  960. count, count2: longint;
  961. function reference_is_reusable(const ref: treference): boolean;
  962. begin
  963. result:=(ref.base<>NR_NO) and (ref.index=NR_NO) and
  964. (ref.symbol=nil) and
  965. (ref.offset>=simm13lo) and (ref.offset+len<=simm13hi);
  966. end;
  967. begin
  968. if len>high(longint) then
  969. internalerror(2002072704);
  970. { anybody wants to determine a good value here :)? }
  971. if len>100 then
  972. g_concatcopy_move(list,source,dest,len)
  973. else
  974. begin
  975. count:=len div 4;
  976. if (count<=4) and reference_is_reusable(source) then
  977. src:=source
  978. else
  979. begin
  980. reference_reset_base(src,getintregister(list,OS_ADDR),0,sizeof(aint),source.volatility);
  981. a_loadaddr_ref_reg(list,source,src.base);
  982. end;
  983. if (count<=4) and reference_is_reusable(dest) then
  984. dst:=dest
  985. else
  986. begin
  987. reference_reset_base(dst,getintregister(list,OS_ADDR),0,sizeof(aint),dest.volatility);
  988. a_loadaddr_ref_reg(list,dest,dst.base);
  989. end;
  990. { generate a loop }
  991. if count>4 then
  992. begin
  993. countreg:=GetIntRegister(list,OS_INT);
  994. tmpreg1:=GetIntRegister(list,OS_INT);
  995. a_load_const_reg(list,OS_ADDR,count,countreg);
  996. current_asmdata.getjumplabel(lab);
  997. a_label(list, lab);
  998. list.concat(taicpu.op_ref_reg(A_LD,src,tmpreg1));
  999. list.concat(taicpu.op_reg_ref(A_ST,tmpreg1,dst));
  1000. list.concat(taicpu.op_reg_const_reg(A_ADD,src.base,4,src.base));
  1001. list.concat(taicpu.op_reg_const_reg(A_ADD,dst.base,4,dst.base));
  1002. list.concat(taicpu.op_reg_const_reg(A_SUBcc,countreg,1,countreg));
  1003. a_jmp_cond(list,OC_NE,lab);
  1004. len := len mod 4;
  1005. end;
  1006. { unrolled loop }
  1007. count:=len div 4;
  1008. if count>0 then
  1009. begin
  1010. tmpreg1:=GetIntRegister(list,OS_INT);
  1011. for count2 := 1 to count do
  1012. begin
  1013. list.concat(taicpu.op_ref_reg(A_LD,src,tmpreg1));
  1014. list.concat(taicpu.op_reg_ref(A_ST,tmpreg1,dst));
  1015. inc(src.offset,4);
  1016. inc(dst.offset,4);
  1017. end;
  1018. len := len mod 4;
  1019. end;
  1020. if (len and 4) <> 0 then
  1021. begin
  1022. hreg:=GetIntRegister(list,OS_INT);
  1023. a_load_ref_reg(list,OS_32,OS_32,src,hreg);
  1024. a_load_reg_ref(list,OS_32,OS_32,hreg,dst);
  1025. inc(src.offset,4);
  1026. inc(dst.offset,4);
  1027. end;
  1028. { copy the leftovers }
  1029. if (len and 2) <> 0 then
  1030. begin
  1031. hreg:=GetIntRegister(list,OS_INT);
  1032. a_load_ref_reg(list,OS_16,OS_16,src,hreg);
  1033. a_load_reg_ref(list,OS_16,OS_16,hreg,dst);
  1034. inc(src.offset,2);
  1035. inc(dst.offset,2);
  1036. end;
  1037. if (len and 1) <> 0 then
  1038. begin
  1039. hreg:=GetIntRegister(list,OS_INT);
  1040. a_load_ref_reg(list,OS_8,OS_8,src,hreg);
  1041. a_load_reg_ref(list,OS_8,OS_8,hreg,dst);
  1042. end;
  1043. end;
  1044. end;
  1045. procedure TCGSparcGen.g_concatcopy_unaligned(list : TAsmList;const source,dest : treference;len : tcgint);
  1046. var
  1047. src, dst: TReference;
  1048. tmpreg1,
  1049. countreg: TRegister;
  1050. i : longint;
  1051. lab: tasmlabel;
  1052. begin
  1053. if len>31 then
  1054. g_concatcopy_move(list,source,dest,len)
  1055. else
  1056. begin
  1057. reference_reset(src,source.alignment,source.volatility);
  1058. reference_reset(dst,dest.alignment,dest.volatility);
  1059. { load the address of source into src.base }
  1060. src.base:=GetAddressRegister(list);
  1061. a_loadaddr_ref_reg(list,source,src.base);
  1062. { load the address of dest into dst.base }
  1063. dst.base:=GetAddressRegister(list);
  1064. a_loadaddr_ref_reg(list,dest,dst.base);
  1065. { generate a loop }
  1066. if len>4 then
  1067. begin
  1068. countreg:=GetIntRegister(list,OS_ADDR);
  1069. tmpreg1:=GetIntRegister(list,OS_ADDR);
  1070. a_load_const_reg(list,OS_ADDR,len,countreg);
  1071. current_asmdata.getjumplabel(lab);
  1072. a_label(list, lab);
  1073. list.concat(taicpu.op_ref_reg(A_LDUB,src,tmpreg1));
  1074. list.concat(taicpu.op_reg_ref(A_STB,tmpreg1,dst));
  1075. list.concat(taicpu.op_reg_const_reg(A_ADD,src.base,1,src.base));
  1076. list.concat(taicpu.op_reg_const_reg(A_ADD,dst.base,1,dst.base));
  1077. list.concat(taicpu.op_reg_const_reg(A_SUBcc,countreg,1,countreg));
  1078. a_jmp_cond(list,OC_NE,lab);
  1079. end
  1080. else
  1081. begin
  1082. { unrolled loop }
  1083. tmpreg1:=GetIntRegister(list,OS_ADDR);
  1084. for i:=1 to len do
  1085. begin
  1086. list.concat(taicpu.op_ref_reg(A_LDUB,src,tmpreg1));
  1087. list.concat(taicpu.op_reg_ref(A_STB,tmpreg1,dst));
  1088. inc(src.offset);
  1089. inc(dst.offset);
  1090. end;
  1091. end;
  1092. end;
  1093. end;
  1094. procedure TCGSparcGen.g_adjust_self_value(list:TAsmList;procdef: tprocdef;ioffset: tcgint);
  1095. begin
  1096. { This method is integrated into g_intf_wrapper and shouldn't be called separately }
  1097. InternalError(2013020102);
  1098. end;
  1099. end.