cgsparc.pas 45 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216
  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. else if not (size in [OS_32,OS_S32]) then
  651. InternalError(2013070303);
  652. end;
  653. end;
  654. if setflags then
  655. begin
  656. handle_reg_const_reg(list,TOpCG2AsmOpWithFlags[size in [OS_64,OS_S64],op],src,a,dst);
  657. case op of
  658. OP_MUL:
  659. begin
  660. tmpreg1:=GetIntRegister(list,OS_INT);
  661. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  662. list.concat(taicpu.op_reg_reg(A_CMP,NR_G0,tmpreg1));
  663. ovloc.loc:=LOC_FLAGS;
  664. ovloc.resflags:=F_NE;
  665. end;
  666. OP_IMUL:
  667. begin
  668. tmpreg1:=GetIntRegister(list,OS_INT);
  669. tmpreg2:=GetIntRegister(list,OS_INT);
  670. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  671. list.concat(taicpu.op_reg_const_reg(A_SRA,dst,31,tmpreg2));
  672. list.concat(taicpu.op_reg_reg(A_CMP,tmpreg1,tmpreg2));
  673. ovloc.loc:=LOC_FLAGS;
  674. ovloc.resflags:=F_NE;
  675. end;
  676. end;
  677. end
  678. else
  679. handle_reg_const_reg(list,TOpCG2AsmOp[size in [OS_64,OS_S64],op],src,a,dst);
  680. maybeadjustresult(list,op,size,dst);
  681. end;
  682. procedure TCGSparcGen.a_op_reg_reg_reg_checkoverflow(list: TAsmList; op: TOpCg; size: tcgsize; src1, src2, dst: tregister;setflags : boolean;var ovloc : tlocation);
  683. var
  684. tmpreg1,tmpreg2 : tregister;
  685. begin
  686. ovloc.loc:=LOC_VOID;
  687. if setflags then
  688. begin
  689. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOpWithFlags[size in [OS_64,OS_S64],op],src2,src1,dst));
  690. case op of
  691. OP_MUL:
  692. begin
  693. tmpreg1:=GetIntRegister(list,OS_INT);
  694. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  695. list.concat(taicpu.op_reg_reg(A_CMP,NR_G0,tmpreg1));
  696. ovloc.loc:=LOC_FLAGS;
  697. ovloc.resflags:=F_NE;
  698. end;
  699. OP_IMUL:
  700. begin
  701. tmpreg1:=GetIntRegister(list,OS_INT);
  702. tmpreg2:=GetIntRegister(list,OS_INT);
  703. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  704. list.concat(taicpu.op_reg_const_reg(A_SRL,dst,31,tmpreg2));
  705. list.concat(taicpu.op_reg_reg(A_CMP,tmpreg1,tmpreg2));
  706. ovloc.loc:=LOC_FLAGS;
  707. ovloc.resflags:=F_NE;
  708. end;
  709. end;
  710. end
  711. else
  712. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[size in [OS_64,OS_S64],op],src2,src1,dst));
  713. maybeadjustresult(list,op,size,dst);
  714. end;
  715. {*************** compare instructructions ****************}
  716. procedure TCGSparcGen.a_cmp_const_reg_label(list:TAsmList;size:tcgsize;cmp_op:topcmp;a:tcgint;reg:tregister;l:tasmlabel);
  717. begin
  718. if (a=0) then
  719. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,reg,NR_G0,NR_G0))
  720. else
  721. handle_reg_const_reg(list,A_SUBcc,reg,a,NR_G0);
  722. a_jmp_cond(list,cmp_op,l);
  723. end;
  724. procedure TCGSparcGen.a_cmp_reg_reg_label(list:TAsmList;size:tcgsize;cmp_op:topcmp;reg1,reg2:tregister;l:tasmlabel);
  725. begin
  726. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,reg2,reg1,NR_G0));
  727. a_jmp_cond(list,cmp_op,l);
  728. end;
  729. procedure TCGSparcGen.a_jmp_always(List:TAsmList;l:TAsmLabel);
  730. begin
  731. List.Concat(TAiCpu.op_sym(A_BA,current_asmdata.RefAsmSymbol(l.name,AT_FUNCTION)));
  732. { Delay slot }
  733. list.Concat(TAiCpu.Op_none(A_NOP));
  734. end;
  735. procedure TCGSparcGen.a_jmp_name(list : TAsmList;const s : string);
  736. begin
  737. List.Concat(TAiCpu.op_sym(A_BA,current_asmdata.RefAsmSymbol(s,AT_FUNCTION)));
  738. { Delay slot }
  739. list.Concat(TAiCpu.Op_none(A_NOP));
  740. end;
  741. procedure TCGSparcGen.a_jmp_cond(list:TAsmList;cond:TOpCmp;l:TAsmLabel);
  742. var
  743. ai:TAiCpu;
  744. begin
  745. ai:=TAiCpu.Op_sym(A_Bxx,l);
  746. ai.SetCondition(TOpCmp2AsmCond[cond]);
  747. list.Concat(ai);
  748. { Delay slot }
  749. list.Concat(TAiCpu.Op_none(A_NOP));
  750. end;
  751. procedure TCGSparcGen.a_jmp_flags(list:TAsmList;const f:TResFlags;l:tasmlabel);
  752. var
  753. ai : taicpu;
  754. begin
  755. ai:=Taicpu.op_sym(A_Bxx,l);
  756. ai.SetCondition(flags_to_cond(f));
  757. list.Concat(ai);
  758. { Delay slot }
  759. list.Concat(TAiCpu.Op_none(A_NOP));
  760. end;
  761. procedure TCGSparcGen.g_flags2reg(list:TAsmList;Size:TCgSize;const f:tresflags;reg:TRegister);
  762. var
  763. hl : tasmlabel;
  764. begin
  765. if (f in [F_B]) then
  766. list.concat(taicpu.op_reg_reg_reg(A_ADDX,NR_G0,NR_G0,reg))
  767. else if (f in [F_AE]) then
  768. list.concat(taicpu.op_reg_const_reg(A_SUBX,NR_G0,-1,reg))
  769. else
  770. begin
  771. current_asmdata.getjumplabel(hl);
  772. a_load_const_reg(list,size,1,reg);
  773. a_jmp_flags(list,f,hl);
  774. a_load_const_reg(list,size,0,reg);
  775. a_label(list,hl);
  776. end;
  777. end;
  778. procedure TCGSparcGen.g_overflowCheck(List:TAsmList;const Loc:TLocation;def:TDef);
  779. var
  780. l : tlocation;
  781. begin
  782. l.loc:=LOC_VOID;
  783. g_overflowCheck_loc(list,loc,def,l);
  784. end;
  785. procedure TCGSparcGen.g_overflowCheck_loc(List:TAsmList;const Loc:TLocation;def:TDef;ovloc : tlocation);
  786. var
  787. hl : tasmlabel;
  788. ai:TAiCpu;
  789. hflags : tresflags;
  790. begin
  791. if not(cs_check_overflow in current_settings.localswitches) then
  792. exit;
  793. current_asmdata.getjumplabel(hl);
  794. case ovloc.loc of
  795. LOC_VOID:
  796. begin
  797. if not((def.typ=pointerdef) or
  798. ((def.typ=orddef) and
  799. (torddef(def).ordtype in [u64bit,u16bit,u32bit,u8bit,uchar,
  800. pasbool8,pasbool16,pasbool32,pasbool64]))) then
  801. begin
  802. ai:=TAiCpu.Op_sym(A_Bxx,hl);
  803. ai.SetCondition(C_VC);
  804. list.Concat(ai);
  805. { Delay slot }
  806. list.Concat(TAiCpu.Op_none(A_NOP));
  807. end
  808. else
  809. a_jmp_cond(list,OC_AE,hl);
  810. end;
  811. LOC_FLAGS:
  812. begin
  813. hflags:=ovloc.resflags;
  814. inverse_flags(hflags);
  815. cg.a_jmp_flags(list,hflags,hl);
  816. end;
  817. else
  818. internalerror(200409281);
  819. end;
  820. a_call_name(list,'FPC_OVERFLOW',false);
  821. a_label(list,hl);
  822. end;
  823. { *********** entry/exit code and address loading ************ }
  824. procedure TCGSparcGen.g_proc_entry(list : TAsmList;localsize : longint;nostackframe:boolean);
  825. begin
  826. if nostackframe then
  827. exit;
  828. { Althogh the SPARC architecture require only word alignment, software
  829. convention and the operating system require every stack frame to be double word
  830. aligned }
  831. LocalSize:=align(LocalSize,8);
  832. { Execute the SAVE instruction to get a new register window and create a new
  833. stack frame. In the "SAVE %i6,size,%i6" the first %i6 is related to the state
  834. before execution of the SAVE instrucion so it is the caller %i6, when the %i6
  835. after execution of that instruction is the called function stack pointer}
  836. { constant can be 13 bit signed, since it's negative, size can be max. 4096 }
  837. if LocalSize>4096 then
  838. begin
  839. a_load_const_reg(list,OS_ADDR,-LocalSize,NR_G1);
  840. list.concat(Taicpu.Op_reg_reg_reg(A_SAVE,NR_STACK_POINTER_REG,NR_G1,NR_STACK_POINTER_REG));
  841. end
  842. else
  843. list.concat(Taicpu.Op_reg_const_reg(A_SAVE,NR_STACK_POINTER_REG,-LocalSize,NR_STACK_POINTER_REG));
  844. end;
  845. procedure TCGSparcGen.g_maybe_got_init(list : TAsmList);
  846. var
  847. ref : treference;
  848. hl : tasmlabel;
  849. begin
  850. if (cs_create_pic in current_settings.moduleswitches) and
  851. ((pi_needs_got in current_procinfo.flags) or
  852. (current_procinfo.procdef.proctypeoption=potype_unitfinalize)) then
  853. begin
  854. current_asmdata.getjumplabel(hl);
  855. list.concat(taicpu.op_sym(A_CALL,hl));
  856. { ABI recommends the following sequence:
  857. 1: call 2f
  858. sethi %hi(_GLOBAL_OFFSET_TABLE_+(.-1b)), %l7
  859. 2: or %l7, %lo(_GLOBAL_OFFSET_TABLE_+(.-1b)), %l7
  860. add %l7, %o7, %l7 }
  861. reference_reset_symbol(ref,current_asmdata.RefAsmSymbol('_GLOBAL_OFFSET_TABLE_',AT_DATA),4,sizeof(pint),[]);
  862. ref.refaddr:=addr_high;
  863. list.concat(taicpu.op_ref_reg(A_SETHI,ref,NR_L7));
  864. cg.a_label(list,hl);
  865. ref.refaddr:=addr_low;
  866. ref.offset:=8;
  867. list.concat(Taicpu.Op_reg_ref_reg(A_OR,NR_L7,ref,NR_L7));
  868. list.concat(taicpu.op_reg_reg_reg(A_ADD,NR_L7,NR_O7,NR_L7));
  869. { allocate NR_L7, so reg.allocator does not see it as available }
  870. list.concat(tai_regalloc.alloc(NR_L7,nil));
  871. end;
  872. end;
  873. procedure TCGSparcGen.g_restore_registers(list:TAsmList);
  874. begin
  875. { The sparc port uses the sparc standard calling convetions so this function has no used }
  876. end;
  877. procedure TCGSparcGen.g_proc_exit(list : TAsmList;parasize:longint;nostackframe:boolean);
  878. var
  879. hr : treference;
  880. begin
  881. if paramanager.ret_in_param(current_procinfo.procdef.returndef,current_procinfo.procdef) then
  882. begin
  883. reference_reset(hr,sizeof(pint),[]);
  884. hr.offset:=12;
  885. hr.refaddr:=addr_full;
  886. if nostackframe then
  887. begin
  888. hr.base:=NR_O7;
  889. list.concat(taicpu.op_ref_reg(A_JMPL,hr,NR_G0));
  890. list.concat(Taicpu.op_none(A_NOP))
  891. end
  892. else
  893. begin
  894. { We use trivial restore in the delay slot of the JMPL instruction, as we
  895. already set result onto %i0 }
  896. hr.base:=NR_I7;
  897. list.concat(taicpu.op_ref_reg(A_JMPL,hr,NR_G0));
  898. list.concat(Taicpu.op_none(A_RESTORE));
  899. end;
  900. end
  901. else
  902. begin
  903. if nostackframe then
  904. begin
  905. { Here we need to use RETL instead of RET so it uses %o7 }
  906. list.concat(Taicpu.op_none(A_RETL));
  907. list.concat(Taicpu.op_none(A_NOP))
  908. end
  909. else
  910. begin
  911. { We use trivial restore in the delay slot of the JMPL instruction, as we
  912. already set result onto %i0 }
  913. list.concat(Taicpu.op_none(A_RET));
  914. list.concat(Taicpu.op_none(A_RESTORE));
  915. end;
  916. end;
  917. end;
  918. procedure TCGSparcGen.g_save_registers(list : TAsmList);
  919. begin
  920. { The sparc port uses the sparc standard calling convetions so this function has no used }
  921. end;
  922. { ************* concatcopy ************ }
  923. procedure TCGSparcGen.g_concatcopy_move(list : TAsmList;const source,dest : treference;len : tcgint);
  924. var
  925. paraloc1,paraloc2,paraloc3 : TCGPara;
  926. pd : tprocdef;
  927. begin
  928. pd:=search_system_proc('MOVE');
  929. paraloc1.init;
  930. paraloc2.init;
  931. paraloc3.init;
  932. paramanager.getintparaloc(list,pd,1,paraloc1);
  933. paramanager.getintparaloc(list,pd,2,paraloc2);
  934. paramanager.getintparaloc(list,pd,3,paraloc3);
  935. a_load_const_cgpara(list,OS_SINT,len,paraloc3);
  936. a_loadaddr_ref_cgpara(list,dest,paraloc2);
  937. a_loadaddr_ref_cgpara(list,source,paraloc1);
  938. paramanager.freecgpara(list,paraloc3);
  939. paramanager.freecgpara(list,paraloc2);
  940. paramanager.freecgpara(list,paraloc1);
  941. alloccpuregisters(list,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  942. alloccpuregisters(list,R_FPUREGISTER,paramanager.get_volatile_registers_fpu(pocall_default));
  943. a_call_name(list,'FPC_MOVE',false);
  944. dealloccpuregisters(list,R_FPUREGISTER,paramanager.get_volatile_registers_fpu(pocall_default));
  945. dealloccpuregisters(list,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  946. paraloc3.done;
  947. paraloc2.done;
  948. paraloc1.done;
  949. end;
  950. procedure TCGSparcGen.g_concatcopy(list:TAsmList;const source,dest:treference;len:tcgint);
  951. var
  952. tmpreg1,
  953. hreg,
  954. countreg: TRegister;
  955. src, dst: TReference;
  956. lab: tasmlabel;
  957. count, count2: longint;
  958. function reference_is_reusable(const ref: treference): boolean;
  959. begin
  960. result:=(ref.base<>NR_NO) and (ref.index=NR_NO) and
  961. (ref.symbol=nil) and
  962. (ref.offset>=simm13lo) and (ref.offset+len<=simm13hi);
  963. end;
  964. begin
  965. if len>high(longint) then
  966. internalerror(2002072704);
  967. { anybody wants to determine a good value here :)? }
  968. if len>100 then
  969. g_concatcopy_move(list,source,dest,len)
  970. else
  971. begin
  972. count:=len div 4;
  973. if (count<=4) and reference_is_reusable(source) then
  974. src:=source
  975. else
  976. begin
  977. reference_reset_base(src,getintregister(list,OS_ADDR),0,sizeof(aint),source.volatility);
  978. a_loadaddr_ref_reg(list,source,src.base);
  979. end;
  980. if (count<=4) and reference_is_reusable(dest) then
  981. dst:=dest
  982. else
  983. begin
  984. reference_reset_base(dst,getintregister(list,OS_ADDR),0,sizeof(aint),dest.volatility);
  985. a_loadaddr_ref_reg(list,dest,dst.base);
  986. end;
  987. { generate a loop }
  988. if count>4 then
  989. begin
  990. countreg:=GetIntRegister(list,OS_INT);
  991. tmpreg1:=GetIntRegister(list,OS_INT);
  992. a_load_const_reg(list,OS_ADDR,count,countreg);
  993. current_asmdata.getjumplabel(lab);
  994. a_label(list, lab);
  995. list.concat(taicpu.op_ref_reg(A_LD,src,tmpreg1));
  996. list.concat(taicpu.op_reg_ref(A_ST,tmpreg1,dst));
  997. list.concat(taicpu.op_reg_const_reg(A_ADD,src.base,4,src.base));
  998. list.concat(taicpu.op_reg_const_reg(A_ADD,dst.base,4,dst.base));
  999. list.concat(taicpu.op_reg_const_reg(A_SUBcc,countreg,1,countreg));
  1000. a_jmp_cond(list,OC_NE,lab);
  1001. len := len mod 4;
  1002. end;
  1003. { unrolled loop }
  1004. count:=len div 4;
  1005. if count>0 then
  1006. begin
  1007. tmpreg1:=GetIntRegister(list,OS_INT);
  1008. for count2 := 1 to count do
  1009. begin
  1010. list.concat(taicpu.op_ref_reg(A_LD,src,tmpreg1));
  1011. list.concat(taicpu.op_reg_ref(A_ST,tmpreg1,dst));
  1012. inc(src.offset,4);
  1013. inc(dst.offset,4);
  1014. end;
  1015. len := len mod 4;
  1016. end;
  1017. if (len and 4) <> 0 then
  1018. begin
  1019. hreg:=GetIntRegister(list,OS_INT);
  1020. a_load_ref_reg(list,OS_32,OS_32,src,hreg);
  1021. a_load_reg_ref(list,OS_32,OS_32,hreg,dst);
  1022. inc(src.offset,4);
  1023. inc(dst.offset,4);
  1024. end;
  1025. { copy the leftovers }
  1026. if (len and 2) <> 0 then
  1027. begin
  1028. hreg:=GetIntRegister(list,OS_INT);
  1029. a_load_ref_reg(list,OS_16,OS_16,src,hreg);
  1030. a_load_reg_ref(list,OS_16,OS_16,hreg,dst);
  1031. inc(src.offset,2);
  1032. inc(dst.offset,2);
  1033. end;
  1034. if (len and 1) <> 0 then
  1035. begin
  1036. hreg:=GetIntRegister(list,OS_INT);
  1037. a_load_ref_reg(list,OS_8,OS_8,src,hreg);
  1038. a_load_reg_ref(list,OS_8,OS_8,hreg,dst);
  1039. end;
  1040. end;
  1041. end;
  1042. procedure TCGSparcGen.g_concatcopy_unaligned(list : TAsmList;const source,dest : treference;len : tcgint);
  1043. var
  1044. src, dst: TReference;
  1045. tmpreg1,
  1046. countreg: TRegister;
  1047. i : longint;
  1048. lab: tasmlabel;
  1049. begin
  1050. if len>31 then
  1051. g_concatcopy_move(list,source,dest,len)
  1052. else
  1053. begin
  1054. reference_reset(src,source.alignment,source.volatility);
  1055. reference_reset(dst,dest.alignment,dest.volatility);
  1056. { load the address of source into src.base }
  1057. src.base:=GetAddressRegister(list);
  1058. a_loadaddr_ref_reg(list,source,src.base);
  1059. { load the address of dest into dst.base }
  1060. dst.base:=GetAddressRegister(list);
  1061. a_loadaddr_ref_reg(list,dest,dst.base);
  1062. { generate a loop }
  1063. if len>4 then
  1064. begin
  1065. countreg:=GetIntRegister(list,OS_ADDR);
  1066. tmpreg1:=GetIntRegister(list,OS_ADDR);
  1067. a_load_const_reg(list,OS_ADDR,len,countreg);
  1068. current_asmdata.getjumplabel(lab);
  1069. a_label(list, lab);
  1070. list.concat(taicpu.op_ref_reg(A_LDUB,src,tmpreg1));
  1071. list.concat(taicpu.op_reg_ref(A_STB,tmpreg1,dst));
  1072. list.concat(taicpu.op_reg_const_reg(A_ADD,src.base,1,src.base));
  1073. list.concat(taicpu.op_reg_const_reg(A_ADD,dst.base,1,dst.base));
  1074. list.concat(taicpu.op_reg_const_reg(A_SUBcc,countreg,1,countreg));
  1075. a_jmp_cond(list,OC_NE,lab);
  1076. end
  1077. else
  1078. begin
  1079. { unrolled loop }
  1080. tmpreg1:=GetIntRegister(list,OS_ADDR);
  1081. for i:=1 to len do
  1082. begin
  1083. list.concat(taicpu.op_ref_reg(A_LDUB,src,tmpreg1));
  1084. list.concat(taicpu.op_reg_ref(A_STB,tmpreg1,dst));
  1085. inc(src.offset);
  1086. inc(dst.offset);
  1087. end;
  1088. end;
  1089. end;
  1090. end;
  1091. procedure TCGSparcGen.g_adjust_self_value(list:TAsmList;procdef: tprocdef;ioffset: tcgint);
  1092. begin
  1093. { This method is integrated into g_intf_wrapper and shouldn't be called separately }
  1094. InternalError(2013020102);
  1095. end;
  1096. end.