cgcpu.pas 51 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl
  4. This unit implements the code generator for the SPARC
  5. This program is free software; you can redistribute it and/or modify
  6. it under the terms of the GNU General Public License as published by
  7. the Free Software Foundation; either version 2 of the License, or
  8. (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU General Public License for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with this program; if not, write to the Free Software
  15. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16. ****************************************************************************
  17. }
  18. unit cgcpu;
  19. {$i fpcdefs.inc}
  20. interface
  21. uses
  22. globtype,parabase,
  23. cgbase,cgutils,cgobj,cg64f32,
  24. aasmbase,aasmtai,aasmcpu,
  25. cpubase,cpuinfo,
  26. node,symconst,SymType,
  27. rgcpu;
  28. type
  29. TCgSparc=class(tcg)
  30. protected
  31. function IsSimpleRef(const ref:treference):boolean;
  32. public
  33. procedure init_register_allocators;override;
  34. procedure done_register_allocators;override;
  35. function getfpuregister(list:Taasmoutput;size:Tcgsize):Tregister;override;
  36. { sparc special, needed by cg64 }
  37. procedure make_simple_ref(list:taasmoutput;var ref: treference);
  38. procedure handle_load_store(list:taasmoutput;isstore:boolean;op: tasmop;reg:tregister;ref: treference);
  39. procedure handle_reg_const_reg(list:taasmoutput;op:Tasmop;src:tregister;a:aint;dst:tregister);
  40. { parameter }
  41. procedure a_param_const(list:TAasmOutput;size:tcgsize;a:aint;const paraloc:TCGPara);override;
  42. procedure a_param_ref(list:TAasmOutput;sz:tcgsize;const r:TReference;const paraloc:TCGPara);override;
  43. procedure a_paramaddr_ref(list:TAasmOutput;const r:TReference;const paraloc:TCGPara);override;
  44. procedure a_paramfpu_reg(list : taasmoutput;size : tcgsize;const r : tregister;const paraloc : TCGPara);override;
  45. procedure a_paramfpu_ref(list : taasmoutput;size : tcgsize;const ref : treference;const paraloc : TCGPara);override;
  46. procedure a_call_name(list:TAasmOutput;const s:string);override;
  47. procedure a_call_reg(list:TAasmOutput;Reg:TRegister);override;
  48. { General purpose instructions }
  49. procedure a_op_const_reg(list:TAasmOutput;Op:TOpCG;size:tcgsize;a:aint;reg:TRegister);override;
  50. procedure a_op_reg_reg(list:TAasmOutput;Op:TOpCG;size:TCGSize;src, dst:TRegister);override;
  51. procedure a_op_const_reg_reg(list:TAasmOutput;op:TOpCg;size:tcgsize;a:aint;src, dst:tregister);override;
  52. procedure a_op_reg_reg_reg(list:TAasmOutput;op:TOpCg;size:tcgsize;src1, src2, dst:tregister);override;
  53. procedure a_op_const_reg_reg_checkoverflow(list: taasmoutput; op: TOpCg; size: tcgsize; a: aint; src, dst: tregister;setflags : boolean;var ovloc : tlocation);override;
  54. procedure a_op_reg_reg_reg_checkoverflow(list: taasmoutput; op: TOpCg; size: tcgsize; src1, src2, dst: tregister;setflags : boolean;var ovloc : tlocation);override;
  55. { move instructions }
  56. procedure a_load_const_reg(list:TAasmOutput;size:tcgsize;a:aint;reg:tregister);override;
  57. procedure a_load_const_ref(list:TAasmOutput;size:tcgsize;a:aint;const ref:TReference);override;
  58. procedure a_load_reg_ref(list:TAasmOutput;FromSize,ToSize:TCgSize;reg:TRegister;const ref:TReference);override;
  59. procedure a_load_ref_reg(list:TAasmOutput;FromSize,ToSize:TCgSize;const ref:TReference;reg:tregister);override;
  60. procedure a_load_reg_reg(list:TAasmOutput;FromSize,ToSize:TCgSize;reg1,reg2:tregister);override;
  61. procedure a_loadaddr_ref_reg(list:TAasmOutput;const ref:TReference;r:tregister);override;
  62. { fpu move instructions }
  63. procedure a_loadfpu_reg_reg(list:TAasmOutput;size:tcgsize;reg1, reg2:tregister);override;
  64. procedure a_loadfpu_ref_reg(list:TAasmOutput;size:tcgsize;const ref:TReference;reg:tregister);override;
  65. procedure a_loadfpu_reg_ref(list:TAasmOutput;size:tcgsize;reg:tregister;const ref:TReference);override;
  66. { comparison operations }
  67. procedure a_cmp_const_reg_label(list:TAasmOutput;size:tcgsize;cmp_op:topcmp;a:aint;reg:tregister;l:tasmlabel);override;
  68. procedure a_cmp_reg_reg_label(list:TAasmOutput;size:tcgsize;cmp_op:topcmp;reg1,reg2:tregister;l:tasmlabel);override;
  69. procedure a_jmp_always(List:TAasmOutput;l:TAsmLabel);override;
  70. procedure a_jmp_name(list : taasmoutput;const s : string);override;
  71. procedure a_jmp_cond(list:TAasmOutput;cond:TOpCmp;l:tasmlabel);{ override;}
  72. procedure a_jmp_flags(list:TAasmOutput;const f:TResFlags;l:tasmlabel);override;
  73. procedure g_flags2reg(list:TAasmOutput;Size:TCgSize;const f:tresflags;reg:TRegister);override;
  74. procedure g_overflowCheck(List:TAasmOutput;const Loc:TLocation;def:TDef);override;
  75. procedure g_overflowCheck_loc(List:TAasmOutput;const Loc:TLocation;def:TDef;ovloc : tlocation);override;
  76. procedure g_proc_entry(list : taasmoutput;localsize : longint;nostackframe:boolean);override;
  77. procedure g_proc_exit(list : taasmoutput;parasize:longint;nostackframe:boolean);override;
  78. procedure g_restore_standard_registers(list:taasmoutput);override;
  79. procedure g_save_standard_registers(list : taasmoutput);override;
  80. procedure g_concatcopy(list : taasmoutput;const source,dest : treference;len : aint);override;
  81. procedure g_concatcopy_unaligned(list : taasmoutput;const source,dest : treference;len : aint);override;
  82. procedure g_concatcopy_move(list : taasmoutput;const source,dest : treference;len : aint);
  83. end;
  84. TCg64Sparc=class(tcg64f32)
  85. private
  86. procedure get_64bit_ops(op:TOpCG;var op1,op2:TAsmOp);
  87. public
  88. procedure a_load64_reg_ref(list : taasmoutput;reg : tregister64;const ref : treference);override;
  89. procedure a_load64_ref_reg(list : taasmoutput;const ref : treference;reg : tregister64);override;
  90. procedure a_param64_ref(list : taasmoutput;const r : treference;const paraloc : tcgpara);override;
  91. procedure a_op64_reg_reg(list:TAasmOutput;op:TOpCG;regsrc,regdst:TRegister64);override;
  92. procedure a_op64_const_reg(list:TAasmOutput;op:TOpCG;value:int64;regdst:TRegister64);override;
  93. procedure a_op64_const_reg_reg(list: taasmoutput;op:TOpCG;value : int64;regsrc,regdst : tregister64);override;
  94. procedure a_op64_reg_reg_reg(list: taasmoutput;op:TOpCG;regsrc1,regsrc2,regdst : tregister64);override;
  95. end;
  96. const
  97. TOpCG2AsmOp : array[topcg] of TAsmOp=(
  98. A_NONE,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
  99. );
  100. TOpCG2AsmOpWithFlags : array[topcg] of TAsmOp=(
  101. A_NONE,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
  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. symdef,paramgr,
  110. tgobj,cpupi;
  111. {****************************************************************************
  112. This is private property, keep out! :)
  113. ****************************************************************************}
  114. function TCgSparc.IsSimpleRef(const ref:treference):boolean;
  115. begin
  116. if (ref.base=NR_NO) and (ref.index<>NR_NO) then
  117. InternalError(2002100804);
  118. result :=not(assigned(ref.symbol))and
  119. (((ref.index = NR_NO) and
  120. (ref.offset >= simm13lo) and
  121. (ref.offset <= simm13hi)) or
  122. ((ref.index <> NR_NO) and
  123. (ref.offset = 0)));
  124. end;
  125. procedure tcgsparc.make_simple_ref(list:taasmoutput;var ref: treference);
  126. var
  127. tmpreg : tregister;
  128. tmpref : treference;
  129. begin
  130. tmpreg:=NR_NO;
  131. { Be sure to have a base register }
  132. if (ref.base=NR_NO) then
  133. begin
  134. ref.base:=ref.index;
  135. ref.index:=NR_NO;
  136. end;
  137. { When need to use SETHI, do it first }
  138. if assigned(ref.symbol) or
  139. (ref.offset<simm13lo) or
  140. (ref.offset>simm13hi) then
  141. begin
  142. tmpreg:=GetIntRegister(list,OS_INT);
  143. reference_reset(tmpref);
  144. tmpref.symbol:=ref.symbol;
  145. tmpref.offset:=ref.offset;
  146. tmpref.refaddr:=addr_hi;
  147. list.concat(taicpu.op_ref_reg(A_SETHI,tmpref,tmpreg));
  148. { Load the low part is left }
  149. {$warning TODO Maybe not needed to load symbol}
  150. tmpref.refaddr:=addr_lo;
  151. list.concat(taicpu.op_reg_ref_reg(A_OR,tmpreg,tmpref,tmpreg));
  152. { The offset and symbol are loaded, reset in reference }
  153. ref.offset:=0;
  154. ref.symbol:=nil;
  155. { Only an index register or offset is allowed }
  156. if tmpreg<>NR_NO then
  157. begin
  158. if (ref.index<>NR_NO) then
  159. begin
  160. list.concat(taicpu.op_reg_reg_reg(A_ADD,tmpreg,ref.index,tmpreg));
  161. ref.index:=tmpreg;
  162. end
  163. else
  164. begin
  165. if ref.base<>NR_NO then
  166. ref.index:=tmpreg
  167. else
  168. ref.base:=tmpreg;
  169. end;
  170. end;
  171. end;
  172. if (ref.base<>NR_NO) then
  173. begin
  174. if (ref.index<>NR_NO) and
  175. ((ref.offset<>0) or assigned(ref.symbol)) then
  176. begin
  177. if tmpreg=NR_NO then
  178. tmpreg:=GetIntRegister(list,OS_INT);
  179. list.concat(taicpu.op_reg_reg_reg(A_ADD,ref.base,ref.index,tmpreg));
  180. ref.base:=tmpreg;
  181. ref.index:=NR_NO;
  182. end;
  183. end;
  184. end;
  185. procedure tcgsparc.handle_load_store(list:taasmoutput;isstore:boolean;op: tasmop;reg:tregister;ref: treference);
  186. begin
  187. make_simple_ref(list,ref);
  188. if isstore then
  189. list.concat(taicpu.op_reg_ref(op,reg,ref))
  190. else
  191. list.concat(taicpu.op_ref_reg(op,ref,reg));
  192. end;
  193. procedure tcgsparc.handle_reg_const_reg(list:taasmoutput;op:Tasmop;src:tregister;a:aint;dst:tregister);
  194. var
  195. tmpreg : tregister;
  196. begin
  197. if (a<simm13lo) or
  198. (a>simm13hi) then
  199. begin
  200. tmpreg:=GetIntRegister(list,OS_INT);
  201. a_load_const_reg(list,OS_INT,a,tmpreg);
  202. list.concat(taicpu.op_reg_reg_reg(op,src,tmpreg,dst));
  203. end
  204. else
  205. list.concat(taicpu.op_reg_const_reg(op,src,a,dst));
  206. end;
  207. {****************************************************************************
  208. Assembler code
  209. ****************************************************************************}
  210. procedure Tcgsparc.init_register_allocators;
  211. begin
  212. inherited init_register_allocators;
  213. rg[R_INTREGISTER]:=Trgcpu.create(R_INTREGISTER,R_SUBD,
  214. [RS_O0,RS_O1,RS_O2,RS_O3,RS_O4,RS_O5,
  215. RS_L0,RS_L1,RS_L2,RS_L3,RS_L4,RS_L5,RS_L6,RS_L7],
  216. first_int_imreg,[]);
  217. rg[R_FPUREGISTER]:=trgcpu.create(R_FPUREGISTER,R_SUBFS,
  218. [RS_F0,RS_F1,RS_F2,RS_F3,RS_F4,RS_F5,RS_F6,RS_F7,
  219. RS_F8,RS_F9,RS_F10,RS_F11,RS_F12,RS_F13,RS_F14,RS_F15,
  220. RS_F16,RS_F17,RS_F18,RS_F19,RS_F20,RS_F21,RS_F22,RS_F23,
  221. RS_F24,RS_F25,RS_F26,RS_F27,RS_F28,RS_F29,RS_F30,RS_F31],
  222. first_fpu_imreg,[]);
  223. end;
  224. procedure Tcgsparc.done_register_allocators;
  225. begin
  226. rg[R_INTREGISTER].free;
  227. rg[R_FPUREGISTER].free;
  228. inherited done_register_allocators;
  229. end;
  230. function tcgsparc.getfpuregister(list:Taasmoutput;size:Tcgsize):Tregister;
  231. begin
  232. if size=OS_F64 then
  233. result:=rg[R_FPUREGISTER].getregister(list,R_SUBFD)
  234. else
  235. result:=rg[R_FPUREGISTER].getregister(list,R_SUBFS);
  236. end;
  237. procedure TCgSparc.a_param_const(list:TAasmOutput;size:tcgsize;a:aint;const paraloc:TCGPara);
  238. var
  239. Ref:TReference;
  240. begin
  241. paraloc.check_simple_location;
  242. case paraloc.location^.loc of
  243. LOC_REGISTER,LOC_CREGISTER:
  244. a_load_const_reg(list,size,a,paraloc.location^.register);
  245. LOC_REFERENCE:
  246. begin
  247. { Code conventions need the parameters being allocated in %o6+92 }
  248. with paraloc.location^.Reference do
  249. begin
  250. if (Index=NR_SP) and (Offset<Target_info.first_parm_offset) then
  251. InternalError(2002081104);
  252. reference_reset_base(ref,index,offset);
  253. end;
  254. a_load_const_ref(list,size,a,ref);
  255. end;
  256. else
  257. InternalError(2002122200);
  258. end;
  259. end;
  260. procedure TCgSparc.a_param_ref(list:TAasmOutput;sz:TCgSize;const r:TReference;const paraloc:TCGPara);
  261. var
  262. ref: treference;
  263. tmpreg:TRegister;
  264. begin
  265. paraloc.check_simple_location;
  266. with paraloc.location^ do
  267. begin
  268. case loc of
  269. LOC_REGISTER,LOC_CREGISTER :
  270. a_load_ref_reg(list,sz,sz,r,Register);
  271. LOC_REFERENCE:
  272. begin
  273. { Code conventions need the parameters being allocated in %o6+92 }
  274. with Reference do
  275. begin
  276. if (Index=NR_SP) and (Offset<Target_info.first_parm_offset) then
  277. InternalError(2002081104);
  278. reference_reset_base(ref,index,offset);
  279. end;
  280. tmpreg:=GetIntRegister(list,OS_INT);
  281. a_load_ref_reg(list,sz,sz,r,tmpreg);
  282. a_load_reg_ref(list,sz,sz,tmpreg,ref);
  283. end;
  284. else
  285. internalerror(2002081103);
  286. end;
  287. end;
  288. end;
  289. procedure TCgSparc.a_paramaddr_ref(list:TAasmOutput;const r:TReference;const paraloc:TCGPara);
  290. var
  291. Ref:TReference;
  292. TmpReg:TRegister;
  293. begin
  294. paraloc.check_simple_location;
  295. with paraloc.location^ do
  296. begin
  297. case loc of
  298. LOC_REGISTER,LOC_CREGISTER:
  299. a_loadaddr_ref_reg(list,r,register);
  300. LOC_REFERENCE:
  301. begin
  302. reference_reset(ref);
  303. ref.base := reference.index;
  304. ref.offset := reference.offset;
  305. tmpreg:=GetAddressRegister(list);
  306. a_loadaddr_ref_reg(list,r,tmpreg);
  307. a_load_reg_ref(list,OS_ADDR,OS_ADDR,tmpreg,ref);
  308. end;
  309. else
  310. internalerror(2002080701);
  311. end;
  312. end;
  313. end;
  314. procedure tcgsparc.a_paramfpu_ref(list : taasmoutput;size : tcgsize;const ref : treference;const paraloc : TCGPara);
  315. var
  316. href,href2 : treference;
  317. hloc : pcgparalocation;
  318. begin
  319. href:=ref;
  320. hloc:=paraloc.location;
  321. while assigned(hloc) do
  322. begin
  323. case hloc^.loc of
  324. LOC_REGISTER :
  325. a_load_ref_reg(list,hloc^.size,hloc^.size,href,hloc^.register);
  326. LOC_REFERENCE :
  327. begin
  328. reference_reset_base(href2,hloc^.reference.index,hloc^.reference.offset);
  329. a_load_ref_ref(list,hloc^.size,hloc^.size,href,href2);
  330. end;
  331. else
  332. internalerror(200408241);
  333. end;
  334. inc(href.offset,tcgsize2size[hloc^.size]);
  335. hloc:=hloc^.next;
  336. end;
  337. end;
  338. procedure tcgsparc.a_paramfpu_reg(list : taasmoutput;size : tcgsize;const r : tregister;const paraloc : TCGPara);
  339. var
  340. href : treference;
  341. begin
  342. tg.GetTemp(list,TCGSize2Size[size],tt_normal,href);
  343. a_loadfpu_reg_ref(list,size,r,href);
  344. a_paramfpu_ref(list,size,href,paraloc);
  345. tg.Ungettemp(list,href);
  346. end;
  347. procedure TCgSparc.a_call_name(list:TAasmOutput;const s:string);
  348. begin
  349. list.concat(taicpu.op_sym(A_CALL,objectlibrary.newasmsymbol(s,AB_EXTERNAL,AT_FUNCTION)));
  350. { Delay slot }
  351. list.concat(taicpu.op_none(A_NOP));
  352. end;
  353. procedure TCgSparc.a_call_reg(list:TAasmOutput;Reg:TRegister);
  354. begin
  355. list.concat(taicpu.op_reg(A_CALL,reg));
  356. { Delay slot }
  357. list.concat(taicpu.op_none(A_NOP));
  358. end;
  359. {********************** load instructions ********************}
  360. procedure TCgSparc.a_load_const_reg(list : TAasmOutput;size : TCGSize;a : aint;reg : TRegister);
  361. begin
  362. { we don't use the set instruction here because it could be evalutated to two
  363. instructions which would cause problems with the delay slot (FK) }
  364. if (a=0) then
  365. list.concat(taicpu.op_reg(A_CLR,reg))
  366. { sethi allows to set the upper 22 bit, so we'll take full advantage of it }
  367. else if (a and aint($1fff))=0 then
  368. list.concat(taicpu.op_const_reg(A_SETHI,a shr 10,reg))
  369. else if (a>=simm13lo) and (a<=simm13hi) then
  370. list.concat(taicpu.op_const_reg(A_MOV,a,reg))
  371. else
  372. begin
  373. list.concat(taicpu.op_const_reg(A_SETHI,a shr 10,reg));
  374. list.concat(taicpu.op_reg_const_reg(A_OR,reg,a and aint($3ff),reg));
  375. end;
  376. end;
  377. procedure TCgSparc.a_load_const_ref(list : TAasmOutput;size : tcgsize;a : aint;const ref : TReference);
  378. begin
  379. if a=0 then
  380. a_load_reg_ref(list,size,size,NR_G0,ref)
  381. else
  382. inherited a_load_const_ref(list,size,a,ref);
  383. end;
  384. procedure TCgSparc.a_load_reg_ref(list:TAasmOutput;FromSize,ToSize:TCGSize;reg:tregister;const Ref:TReference);
  385. var
  386. op : tasmop;
  387. begin
  388. if (TCGSize2Size[fromsize] >= TCGSize2Size[tosize]) then
  389. fromsize := tosize;
  390. case fromsize of
  391. { signed integer registers }
  392. OS_8,
  393. OS_S8:
  394. Op:=A_STB;
  395. OS_16,
  396. OS_S16:
  397. Op:=A_STH;
  398. OS_32,
  399. OS_S32:
  400. Op:=A_ST;
  401. else
  402. InternalError(2002122100);
  403. end;
  404. handle_load_store(list,true,op,reg,ref);
  405. end;
  406. procedure TCgSparc.a_load_ref_reg(list:TAasmOutput;FromSize,ToSize:TCgSize;const ref:TReference;reg:tregister);
  407. var
  408. op : tasmop;
  409. begin
  410. if (TCGSize2Size[fromsize] >= TCGSize2Size[tosize]) then
  411. fromsize := tosize;
  412. case fromsize of
  413. OS_S8:
  414. Op:=A_LDSB;{Load Signed Byte}
  415. OS_8:
  416. Op:=A_LDUB;{Load Unsigned Byte}
  417. OS_S16:
  418. Op:=A_LDSH;{Load Signed Halfword}
  419. OS_16:
  420. Op:=A_LDUH;{Load Unsigned Halfword}
  421. OS_S32,
  422. OS_32:
  423. Op:=A_LD;{Load Word}
  424. OS_S64,
  425. OS_64:
  426. Op:=A_LDD;{Load a Long Word}
  427. else
  428. InternalError(2002122101);
  429. end;
  430. handle_load_store(list,false,op,reg,ref);
  431. end;
  432. procedure TCgSparc.a_load_reg_reg(list:TAasmOutput;fromsize,tosize:tcgsize;reg1,reg2:tregister);
  433. var
  434. instr : taicpu;
  435. begin
  436. if (tcgsize2size[tosize]<tcgsize2size[fromsize]) or
  437. (
  438. (tcgsize2size[tosize] = tcgsize2size[fromsize]) and
  439. (tosize <> fromsize) and
  440. not(fromsize in [OS_32,OS_S32])
  441. ) then
  442. begin
  443. case tosize of
  444. OS_8 :
  445. a_op_const_reg_reg(list,OP_AND,tosize,$ff,reg1,reg2);
  446. OS_16 :
  447. a_op_const_reg_reg(list,OP_AND,tosize,$ffff,reg1,reg2);
  448. OS_32,
  449. OS_S32 :
  450. begin
  451. instr:=taicpu.op_reg_reg(A_MOV,reg1,reg2);
  452. list.Concat(instr);
  453. { Notify the register allocator that we have written a move instruction so
  454. it can try to eliminate it. }
  455. add_move_instruction(instr);
  456. end;
  457. OS_S8 :
  458. begin
  459. list.concat(taicpu.op_reg_const_reg(A_SLL,reg1,24,reg2));
  460. list.concat(taicpu.op_reg_const_reg(A_SRA,reg2,24,reg2));
  461. end;
  462. OS_S16 :
  463. begin
  464. list.concat(taicpu.op_reg_const_reg(A_SLL,reg1,16,reg2));
  465. list.concat(taicpu.op_reg_const_reg(A_SRA,reg2,16,reg2));
  466. end;
  467. else
  468. internalerror(2002090901);
  469. end;
  470. end
  471. else
  472. begin
  473. if reg1<>reg2 then
  474. begin
  475. { same size, only a register mov required }
  476. instr:=taicpu.op_reg_reg(A_MOV,reg1,reg2);
  477. list.Concat(instr);
  478. { Notify the register allocator that we have written a move instruction so
  479. it can try to eliminate it. }
  480. add_move_instruction(instr);
  481. end;
  482. end;
  483. end;
  484. procedure TCgSparc.a_loadaddr_ref_reg(list : TAasmOutput;const ref : TReference;r : tregister);
  485. var
  486. tmpref : treference;
  487. hreg : tregister;
  488. begin
  489. if (ref.base=NR_NO) and (ref.index<>NR_NO) then
  490. internalerror(200306171);
  491. { At least big offset (need SETHI), maybe base and maybe index }
  492. if assigned(ref.symbol) or
  493. (ref.offset<simm13lo) or
  494. (ref.offset>simm13hi) then
  495. begin
  496. hreg:=GetAddressRegister(list);
  497. reference_reset(tmpref);
  498. tmpref.symbol := ref.symbol;
  499. tmpref.offset := ref.offset;
  500. tmpref.refaddr := addr_hi;
  501. list.concat(taicpu.op_ref_reg(A_SETHI,tmpref,hreg));
  502. { Only the low part is left }
  503. tmpref.refaddr:=addr_lo;
  504. list.concat(taicpu.op_reg_ref_reg(A_OR,hreg,tmpref,hreg));
  505. if ref.base<>NR_NO then
  506. begin
  507. if ref.index<>NR_NO then
  508. begin
  509. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.base,hreg));
  510. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.index,r));
  511. end
  512. else
  513. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.base,r));
  514. end
  515. else
  516. begin
  517. if hreg<>r then
  518. a_load_reg_reg(list,OS_ADDR,OS_ADDR,hreg,r);
  519. end;
  520. end
  521. else
  522. { At least small offset, maybe base and maybe index }
  523. if ref.offset<>0 then
  524. begin
  525. if ref.base<>NR_NO then
  526. begin
  527. if ref.index<>NR_NO then
  528. begin
  529. hreg:=GetAddressRegister(list);
  530. list.concat(taicpu.op_reg_const_reg(A_ADD,ref.base,ref.offset,hreg));
  531. list.concat(taicpu.op_reg_reg_reg(A_ADD,hreg,ref.index,r));
  532. end
  533. else
  534. list.concat(taicpu.op_reg_const_reg(A_ADD,ref.base,ref.offset,r));
  535. end
  536. else
  537. list.concat(taicpu.op_const_reg(A_MOV,ref.offset,r));
  538. end
  539. else
  540. { Both base and index }
  541. if ref.index<>NR_NO then
  542. list.concat(taicpu.op_reg_reg_reg(A_ADD,ref.base,ref.index,r))
  543. else
  544. { Only base }
  545. if ref.base<>NR_NO then
  546. a_load_reg_reg(list,OS_ADDR,OS_ADDR,ref.base,r)
  547. else
  548. { only offset, can be generated by absolute }
  549. a_load_const_reg(list,OS_ADDR,ref.offset,r);
  550. end;
  551. procedure TCgSparc.a_loadfpu_reg_reg(list:TAasmOutput;size:tcgsize;reg1, reg2:tregister);
  552. const
  553. FpuMovInstr : Array[OS_F32..OS_F64] of TAsmOp =
  554. (A_FMOVS,A_FMOVD);
  555. var
  556. instr : taicpu;
  557. begin
  558. if reg1<>reg2 then
  559. begin
  560. instr:=taicpu.op_reg_reg(fpumovinstr[size],reg1,reg2);
  561. list.Concat(instr);
  562. { Notify the register allocator that we have written a move instruction so
  563. it can try to eliminate it. }
  564. add_move_instruction(instr);
  565. end;
  566. end;
  567. procedure TCgSparc.a_loadfpu_ref_reg(list:TAasmOutput;size:tcgsize;const ref:TReference;reg:tregister);
  568. const
  569. FpuLoadInstr : Array[OS_F32..OS_F64] of TAsmOp =
  570. (A_LDF,A_LDDF);
  571. begin
  572. handle_load_store(list,false,fpuloadinstr[size],reg,ref);
  573. end;
  574. procedure TCgSparc.a_loadfpu_reg_ref(list:TAasmOutput;size:tcgsize;reg:tregister;const ref:TReference);
  575. const
  576. FpuLoadInstr : Array[OS_F32..OS_F64] of TAsmOp =
  577. (A_STF,A_STDF);
  578. begin
  579. handle_load_store(list,true,fpuloadinstr[size],reg,ref);
  580. end;
  581. procedure TCgSparc.a_op_const_reg(list:TAasmOutput;Op:TOpCG;size:tcgsize;a:aint;reg:TRegister);
  582. begin
  583. if Op in [OP_NEG,OP_NOT] then
  584. internalerror(200306011);
  585. if (a=0) then
  586. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[op],reg,NR_G0,reg))
  587. else
  588. handle_reg_const_reg(list,TOpCG2AsmOp[op],reg,a,reg);
  589. end;
  590. procedure TCgSparc.a_op_reg_reg(list:TAasmOutput;Op:TOpCG;size:TCGSize;src, dst:TRegister);
  591. var
  592. a : aint;
  593. begin
  594. Case Op of
  595. OP_NEG :
  596. list.concat(taicpu.op_reg_reg(TOpCG2AsmOp[op],src,dst));
  597. OP_NOT :
  598. begin
  599. case size of
  600. OS_8 :
  601. a:=aint($ffffff00);
  602. OS_16 :
  603. a:=aint($ffff0000);
  604. else
  605. a:=0;
  606. end;
  607. handle_reg_const_reg(list,A_XNOR,src,a,dst);
  608. end;
  609. else
  610. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[op],dst,src,dst));
  611. end;
  612. end;
  613. procedure TCgSparc.a_op_const_reg_reg(list:TAasmOutput;op:TOpCg;size:tcgsize;a:aint;src, dst:tregister);
  614. var
  615. power : longInt;
  616. begin
  617. case op of
  618. OP_MUL,
  619. OP_IMUL:
  620. begin
  621. if ispowerof2(a,power) then
  622. begin
  623. { can be done with a shift }
  624. inherited a_op_const_reg_reg(list,op,size,a,src,dst);
  625. exit;
  626. end;
  627. end;
  628. OP_SUB,
  629. OP_ADD :
  630. begin
  631. if (a=0) then
  632. begin
  633. a_load_reg_reg(list,size,size,src,dst);
  634. exit;
  635. end;
  636. end;
  637. end;
  638. handle_reg_const_reg(list,TOpCG2AsmOp[op],src,a,dst);
  639. end;
  640. procedure TCgSparc.a_op_reg_reg_reg(list:TAasmOutput;op:TOpCg;size:tcgsize;src1, src2, dst:tregister);
  641. begin
  642. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[op],src2,src1,dst));
  643. end;
  644. procedure tcgsparc.a_op_const_reg_reg_checkoverflow(list: taasmoutput; op: TOpCg; size: tcgsize; a: aint; src, dst: tregister;setflags : boolean;var ovloc : tlocation);
  645. var
  646. power : longInt;
  647. tmpreg1,tmpreg2 : tregister;
  648. begin
  649. ovloc.loc:=LOC_VOID;
  650. case op of
  651. OP_SUB,
  652. OP_ADD :
  653. begin
  654. if (a=0) then
  655. begin
  656. a_load_reg_reg(list,size,size,src,dst);
  657. exit;
  658. end;
  659. end;
  660. end;
  661. if setflags then
  662. begin
  663. handle_reg_const_reg(list,TOpCG2AsmOpWithFlags[op],src,a,dst);
  664. case op of
  665. OP_MUL:
  666. begin
  667. tmpreg1:=GetIntRegister(list,OS_INT);
  668. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  669. list.concat(taicpu.op_reg_reg(A_CMP,NR_G0,tmpreg1));
  670. ovloc.loc:=LOC_FLAGS;
  671. ovloc.resflags:=F_NE;
  672. end;
  673. OP_IMUL:
  674. begin
  675. tmpreg1:=GetIntRegister(list,OS_INT);
  676. tmpreg2:=GetIntRegister(list,OS_INT);
  677. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  678. list.concat(taicpu.op_reg_const_reg(A_SRL,dst,31,tmpreg2));
  679. list.concat(taicpu.op_reg_reg(A_CMP,tmpreg1,tmpreg2));
  680. ovloc.loc:=LOC_FLAGS;
  681. ovloc.resflags:=F_NE;
  682. end;
  683. end;
  684. end
  685. else
  686. handle_reg_const_reg(list,TOpCG2AsmOp[op],src,a,dst)
  687. end;
  688. procedure tcgsparc.a_op_reg_reg_reg_checkoverflow(list: taasmoutput; op: TOpCg; size: tcgsize; src1, src2, dst: tregister;setflags : boolean;var ovloc : tlocation);
  689. var
  690. tmpreg1,tmpreg2 : tregister;
  691. begin
  692. ovloc.loc:=LOC_VOID;
  693. if setflags then
  694. begin
  695. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOpWithFlags[op],src2,src1,dst));
  696. case op of
  697. OP_MUL:
  698. begin
  699. tmpreg1:=GetIntRegister(list,OS_INT);
  700. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  701. list.concat(taicpu.op_reg_reg(A_CMP,NR_G0,tmpreg1));
  702. ovloc.loc:=LOC_FLAGS;
  703. ovloc.resflags:=F_NE;
  704. end;
  705. OP_IMUL:
  706. begin
  707. tmpreg1:=GetIntRegister(list,OS_INT);
  708. tmpreg2:=GetIntRegister(list,OS_INT);
  709. list.concat(taicpu.op_reg_reg(A_MOV,NR_Y,tmpreg1));
  710. list.concat(taicpu.op_reg_const_reg(A_SRL,dst,31,tmpreg2));
  711. list.concat(taicpu.op_reg_reg(A_CMP,tmpreg1,tmpreg2));
  712. ovloc.loc:=LOC_FLAGS;
  713. ovloc.resflags:=F_NE;
  714. end;
  715. end;
  716. end
  717. else
  718. list.concat(taicpu.op_reg_reg_reg(TOpCG2AsmOp[op],src2,src1,dst))
  719. end;
  720. {*************** compare instructructions ****************}
  721. procedure TCgSparc.a_cmp_const_reg_label(list:TAasmOutput;size:tcgsize;cmp_op:topcmp;a:aint;reg:tregister;l:tasmlabel);
  722. begin
  723. if (a=0) then
  724. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,reg,NR_G0,NR_G0))
  725. else
  726. handle_reg_const_reg(list,A_SUBcc,reg,a,NR_G0);
  727. a_jmp_cond(list,cmp_op,l);
  728. end;
  729. procedure TCgSparc.a_cmp_reg_reg_label(list:TAasmOutput;size:tcgsize;cmp_op:topcmp;reg1,reg2:tregister;l:tasmlabel);
  730. begin
  731. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,reg2,reg1,NR_G0));
  732. a_jmp_cond(list,cmp_op,l);
  733. end;
  734. procedure TCgSparc.a_jmp_always(List:TAasmOutput;l:TAsmLabel);
  735. begin
  736. List.Concat(TAiCpu.op_sym(A_BA,objectlibrary.newasmsymbol(l.name,AB_EXTERNAL,AT_FUNCTION)));
  737. { Delay slot }
  738. list.Concat(TAiCpu.Op_none(A_NOP));
  739. end;
  740. procedure tcgsparc.a_jmp_name(list : taasmoutput;const s : string);
  741. begin
  742. List.Concat(TAiCpu.op_sym(A_BA,objectlibrary.newasmsymbol(s,AB_EXTERNAL,AT_FUNCTION)));
  743. { Delay slot }
  744. list.Concat(TAiCpu.Op_none(A_NOP));
  745. end;
  746. procedure TCgSparc.a_jmp_cond(list:TAasmOutput;cond:TOpCmp;l:TAsmLabel);
  747. var
  748. ai:TAiCpu;
  749. begin
  750. ai:=TAiCpu.Op_sym(A_Bxx,l);
  751. ai.SetCondition(TOpCmp2AsmCond[cond]);
  752. list.Concat(ai);
  753. { Delay slot }
  754. list.Concat(TAiCpu.Op_none(A_NOP));
  755. end;
  756. procedure TCgSparc.a_jmp_flags(list:TAasmOutput;const f:TResFlags;l:tasmlabel);
  757. var
  758. ai : taicpu;
  759. op : tasmop;
  760. begin
  761. if f in [F_FE,F_FNE,F_FG,F_FL,F_FGE,F_FLE] then
  762. op:=A_FBxx
  763. else
  764. op:=A_Bxx;
  765. ai := Taicpu.op_sym(op,l);
  766. ai.SetCondition(flags_to_cond(f));
  767. list.Concat(ai);
  768. { Delay slot }
  769. list.Concat(TAiCpu.Op_none(A_NOP));
  770. end;
  771. procedure TCgSparc.g_flags2reg(list:TAasmOutput;Size:TCgSize;const f:tresflags;reg:TRegister);
  772. var
  773. hl : tasmlabel;
  774. begin
  775. objectlibrary.getlabel(hl);
  776. a_load_const_reg(list,size,1,reg);
  777. a_jmp_flags(list,f,hl);
  778. a_load_const_reg(list,size,0,reg);
  779. a_label(list,hl);
  780. end;
  781. procedure tcgsparc.g_overflowCheck(List:TAasmOutput;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 TCgSparc.g_overflowCheck_loc(List:TAasmOutput;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 aktlocalswitches) then
  795. exit;
  796. objectlibrary.getlabel(hl);
  797. case ovloc.loc of
  798. LOC_VOID:
  799. begin
  800. if not((def.deftype=pointerdef) or
  801. ((def.deftype=orddef) and
  802. (torddef(def).typ in [u64bit,u16bit,u32bit,u8bit,uchar,bool8bit,bool16bit,bool32bit]))) then
  803. begin
  804. ai:=TAiCpu.Op_sym(A_Bxx,hl);
  805. ai.SetCondition(C_NO);
  806. list.Concat(ai);
  807. { Delay slot }
  808. list.Concat(TAiCpu.Op_none(A_NOP));
  809. end
  810. else
  811. a_jmp_cond(list,OC_AE,hl);
  812. end;
  813. LOC_FLAGS:
  814. begin
  815. hflags:=ovloc.resflags;
  816. inverse_flags(hflags);
  817. cg.a_jmp_flags(list,hflags,hl);
  818. end;
  819. else
  820. internalerror(200409281);
  821. end;
  822. a_call_name(list,'FPC_OVERFLOW');
  823. a_label(list,hl);
  824. end;
  825. { *********** entry/exit code and address loading ************ }
  826. procedure TCgSparc.g_proc_entry(list : taasmoutput;localsize : longint;nostackframe:boolean);
  827. begin
  828. if nostackframe then
  829. exit;
  830. { Althogh the SPARC architecture require only word alignment, software
  831. convention and the operating system require every stack frame to be double word
  832. aligned }
  833. LocalSize:=align(LocalSize,8);
  834. { Execute the SAVE instruction to get a new register window and create a new
  835. stack frame. In the "SAVE %i6,size,%i6" the first %i6 is related to the state
  836. before execution of the SAVE instrucion so it is the caller %i6, when the %i6
  837. after execution of that instruction is the called function stack pointer}
  838. { constant can be 13 bit signed, since it's negative, size can be max. 4096 }
  839. if LocalSize>4096 then
  840. begin
  841. a_load_const_reg(list,OS_ADDR,-LocalSize,NR_G1);
  842. list.concat(Taicpu.Op_reg_reg_reg(A_SAVE,NR_STACK_POINTER_REG,NR_G1,NR_STACK_POINTER_REG));
  843. end
  844. else
  845. list.concat(Taicpu.Op_reg_const_reg(A_SAVE,NR_STACK_POINTER_REG,-LocalSize,NR_STACK_POINTER_REG));
  846. end;
  847. procedure TCgSparc.g_restore_standard_registers(list:taasmoutput);
  848. begin
  849. { The sparc port uses the sparc standard calling convetions so this function has no used }
  850. end;
  851. procedure TCgSparc.g_proc_exit(list : taasmoutput;parasize:longint;nostackframe:boolean);
  852. begin
  853. if nostackframe then
  854. begin
  855. { Here we need to use RETL instead of RET so it uses %o7 }
  856. list.concat(Taicpu.op_none(A_RETL));
  857. list.concat(Taicpu.op_none(A_NOP))
  858. end
  859. else
  860. begin
  861. { We use trivial restore in the delay slot of the JMPL instruction, as we
  862. already set result onto %i0 }
  863. list.concat(Taicpu.op_none(A_RET));
  864. list.concat(Taicpu.op_none(A_RESTORE));
  865. end;
  866. end;
  867. procedure TCgSparc.g_save_standard_registers(list : taasmoutput);
  868. begin
  869. { The sparc port uses the sparc standard calling convetions so this function has no used }
  870. end;
  871. { ************* concatcopy ************ }
  872. procedure tcgsparc.g_concatcopy_move(list : taasmoutput;const source,dest : treference;len : aint);
  873. var
  874. paraloc1,paraloc2,paraloc3 : TCGPara;
  875. begin
  876. paraloc1.init;
  877. paraloc2.init;
  878. paraloc3.init;
  879. paramanager.getintparaloc(pocall_default,1,paraloc1);
  880. paramanager.getintparaloc(pocall_default,2,paraloc2);
  881. paramanager.getintparaloc(pocall_default,3,paraloc3);
  882. paramanager.allocparaloc(list,paraloc3);
  883. a_param_const(list,OS_INT,len,paraloc3);
  884. paramanager.allocparaloc(list,paraloc2);
  885. a_paramaddr_ref(list,dest,paraloc2);
  886. paramanager.allocparaloc(list,paraloc2);
  887. a_paramaddr_ref(list,source,paraloc1);
  888. paramanager.freeparaloc(list,paraloc3);
  889. paramanager.freeparaloc(list,paraloc2);
  890. paramanager.freeparaloc(list,paraloc1);
  891. alloccpuregisters(list,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  892. alloccpuregisters(list,R_FPUREGISTER,paramanager.get_volatile_registers_fpu(pocall_default));
  893. a_call_name(list,'FPC_MOVE');
  894. dealloccpuregisters(list,R_FPUREGISTER,paramanager.get_volatile_registers_fpu(pocall_default));
  895. dealloccpuregisters(list,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  896. paraloc3.done;
  897. paraloc2.done;
  898. paraloc1.done;
  899. end;
  900. procedure TCgSparc.g_concatcopy(list:taasmoutput;const source,dest:treference;len:aint);
  901. var
  902. tmpreg1,
  903. hreg,
  904. countreg: TRegister;
  905. src, dst: TReference;
  906. lab: tasmlabel;
  907. count, count2: aint;
  908. begin
  909. if len>high(longint) then
  910. internalerror(2002072704);
  911. { anybody wants to determine a good value here :)? }
  912. if len>100 then
  913. g_concatcopy_move(list,source,dest,len)
  914. else
  915. begin
  916. reference_reset(src);
  917. reference_reset(dst);
  918. { load the address of source into src.base }
  919. src.base:=GetAddressRegister(list);
  920. a_loadaddr_ref_reg(list,source,src.base);
  921. { load the address of dest into dst.base }
  922. dst.base:=GetAddressRegister(list);
  923. a_loadaddr_ref_reg(list,dest,dst.base);
  924. { generate a loop }
  925. count:=len div 4;
  926. if count>4 then
  927. begin
  928. { the offsets are zero after the a_loadaddress_ref_reg and just }
  929. { have to be set to 8. I put an Inc there so debugging may be }
  930. { easier (should offset be different from zero here, it will be }
  931. { easy to notice in the generated assembler }
  932. countreg:=GetIntRegister(list,OS_INT);
  933. tmpreg1:=GetIntRegister(list,OS_INT);
  934. a_load_const_reg(list,OS_INT,count,countreg);
  935. { explicitely allocate R_O0 since it can be used safely here }
  936. { (for holding date that's being copied) }
  937. objectlibrary.getlabel(lab);
  938. a_label(list, lab);
  939. list.concat(taicpu.op_ref_reg(A_LD,src,tmpreg1));
  940. list.concat(taicpu.op_reg_ref(A_ST,tmpreg1,dst));
  941. list.concat(taicpu.op_reg_const_reg(A_ADD,src.base,4,src.base));
  942. list.concat(taicpu.op_reg_const_reg(A_ADD,dst.base,4,dst.base));
  943. list.concat(taicpu.op_reg_const_reg(A_SUBcc,countreg,1,countreg));
  944. a_jmp_cond(list,OC_NE,lab);
  945. list.concat(taicpu.op_none(A_NOP));
  946. { keep the registers alive }
  947. list.concat(taicpu.op_reg_reg(A_MOV,countreg,countreg));
  948. list.concat(taicpu.op_reg_reg(A_MOV,src.base,src.base));
  949. list.concat(taicpu.op_reg_reg(A_MOV,dst.base,dst.base));
  950. len := len mod 4;
  951. end;
  952. { unrolled loop }
  953. count:=len div 4;
  954. if count>0 then
  955. begin
  956. tmpreg1:=GetIntRegister(list,OS_INT);
  957. for count2 := 1 to count do
  958. begin
  959. list.concat(taicpu.op_ref_reg(A_LD,src,tmpreg1));
  960. list.concat(taicpu.op_reg_ref(A_ST,tmpreg1,dst));
  961. inc(src.offset,4);
  962. inc(dst.offset,4);
  963. end;
  964. len := len mod 4;
  965. end;
  966. if (len and 4) <> 0 then
  967. begin
  968. hreg:=GetIntRegister(list,OS_INT);
  969. a_load_ref_reg(list,OS_32,OS_32,src,hreg);
  970. a_load_reg_ref(list,OS_32,OS_32,hreg,dst);
  971. inc(src.offset,4);
  972. inc(dst.offset,4);
  973. end;
  974. { copy the leftovers }
  975. if (len and 2) <> 0 then
  976. begin
  977. hreg:=GetIntRegister(list,OS_INT);
  978. a_load_ref_reg(list,OS_16,OS_16,src,hreg);
  979. a_load_reg_ref(list,OS_16,OS_16,hreg,dst);
  980. inc(src.offset,2);
  981. inc(dst.offset,2);
  982. end;
  983. if (len and 1) <> 0 then
  984. begin
  985. hreg:=GetIntRegister(list,OS_INT);
  986. a_load_ref_reg(list,OS_8,OS_8,src,hreg);
  987. a_load_reg_ref(list,OS_8,OS_8,hreg,dst);
  988. end;
  989. end;
  990. end;
  991. procedure tcgsparc.g_concatcopy_unaligned(list : taasmoutput;const source,dest : treference;len : aint);
  992. var
  993. src, dst: TReference;
  994. tmpreg1,
  995. countreg: TRegister;
  996. i : aint;
  997. lab: tasmlabel;
  998. begin
  999. if len>31 then
  1000. g_concatcopy_move(list,source,dest,len)
  1001. else
  1002. begin
  1003. reference_reset(src);
  1004. reference_reset(dst);
  1005. { load the address of source into src.base }
  1006. src.base:=GetAddressRegister(list);
  1007. a_loadaddr_ref_reg(list,source,src.base);
  1008. { load the address of dest into dst.base }
  1009. dst.base:=GetAddressRegister(list);
  1010. a_loadaddr_ref_reg(list,dest,dst.base);
  1011. { generate a loop }
  1012. if len>4 then
  1013. begin
  1014. { the offsets are zero after the a_loadaddress_ref_reg and just }
  1015. { have to be set to 8. I put an Inc there so debugging may be }
  1016. { easier (should offset be different from zero here, it will be }
  1017. { easy to notice in the generated assembler }
  1018. countreg:=GetIntRegister(list,OS_INT);
  1019. tmpreg1:=GetIntRegister(list,OS_INT);
  1020. a_load_const_reg(list,OS_INT,len,countreg);
  1021. { explicitely allocate R_O0 since it can be used safely here }
  1022. { (for holding date that's being copied) }
  1023. objectlibrary.getlabel(lab);
  1024. a_label(list, lab);
  1025. list.concat(taicpu.op_ref_reg(A_LDUB,src,tmpreg1));
  1026. list.concat(taicpu.op_reg_ref(A_STB,tmpreg1,dst));
  1027. list.concat(taicpu.op_reg_const_reg(A_ADD,src.base,1,src.base));
  1028. list.concat(taicpu.op_reg_const_reg(A_ADD,dst.base,1,dst.base));
  1029. list.concat(taicpu.op_reg_const_reg(A_SUBcc,countreg,1,countreg));
  1030. a_jmp_cond(list,OC_NE,lab);
  1031. list.concat(taicpu.op_none(A_NOP));
  1032. { keep the registers alive }
  1033. list.concat(taicpu.op_reg_reg(A_MOV,countreg,countreg));
  1034. list.concat(taicpu.op_reg_reg(A_MOV,src.base,src.base));
  1035. list.concat(taicpu.op_reg_reg(A_MOV,dst.base,dst.base));
  1036. end
  1037. else
  1038. begin
  1039. { unrolled loop }
  1040. tmpreg1:=GetIntRegister(list,OS_INT);
  1041. for i:=1 to len do
  1042. begin
  1043. list.concat(taicpu.op_ref_reg(A_LDUB,src,tmpreg1));
  1044. list.concat(taicpu.op_reg_ref(A_STB,tmpreg1,dst));
  1045. inc(src.offset);
  1046. inc(dst.offset);
  1047. end;
  1048. end;
  1049. end;
  1050. end;
  1051. {****************************************************************************
  1052. TCG64Sparc
  1053. ****************************************************************************}
  1054. procedure tcg64sparc.a_load64_reg_ref(list : taasmoutput;reg : tregister64;const ref : treference);
  1055. var
  1056. tmpref: treference;
  1057. begin
  1058. { Override this function to prevent loading the reference twice }
  1059. tmpref:=ref;
  1060. tcgsparc(cg).make_simple_ref(list,tmpref);
  1061. cg.a_load_reg_ref(list,OS_32,OS_32,reg.reghi,tmpref);
  1062. inc(tmpref.offset,4);
  1063. cg.a_load_reg_ref(list,OS_32,OS_32,reg.reglo,tmpref);
  1064. end;
  1065. procedure tcg64sparc.a_load64_ref_reg(list : taasmoutput;const ref : treference;reg : tregister64);
  1066. var
  1067. tmpref: treference;
  1068. begin
  1069. { Override this function to prevent loading the reference twice }
  1070. tmpref:=ref;
  1071. tcgsparc(cg).make_simple_ref(list,tmpref);
  1072. cg.a_load_ref_reg(list,OS_32,OS_32,tmpref,reg.reghi);
  1073. inc(tmpref.offset,4);
  1074. cg.a_load_ref_reg(list,OS_32,OS_32,tmpref,reg.reglo);
  1075. end;
  1076. procedure tcg64sparc.a_param64_ref(list : taasmoutput;const r : treference;const paraloc : tcgpara);
  1077. var
  1078. hreg64 : tregister64;
  1079. begin
  1080. { Override this function to prevent loading the reference twice.
  1081. Use here some extra registers, but those are optimized away by the RA }
  1082. hreg64.reglo:=cg.GetIntRegister(list,OS_32);
  1083. hreg64.reghi:=cg.GetIntRegister(list,OS_32);
  1084. a_load64_ref_reg(list,r,hreg64);
  1085. a_param64_reg(list,hreg64,paraloc);
  1086. end;
  1087. procedure TCg64Sparc.get_64bit_ops(op:TOpCG;var op1,op2:TAsmOp);
  1088. begin
  1089. case op of
  1090. OP_ADD :
  1091. begin
  1092. op1:=A_ADDCC;
  1093. op2:=A_ADDX;
  1094. end;
  1095. OP_SUB :
  1096. begin
  1097. op1:=A_SUBCC;
  1098. op2:=A_SUBX;
  1099. end;
  1100. OP_XOR :
  1101. begin
  1102. op1:=A_XOR;
  1103. op2:=A_XOR;
  1104. end;
  1105. OP_OR :
  1106. begin
  1107. op1:=A_OR;
  1108. op2:=A_OR;
  1109. end;
  1110. OP_AND :
  1111. begin
  1112. op1:=A_AND;
  1113. op2:=A_AND;
  1114. end;
  1115. else
  1116. internalerror(200203241);
  1117. end;
  1118. end;
  1119. procedure TCg64Sparc.a_op64_reg_reg(list:TAasmOutput;op:TOpCG;regsrc,regdst:TRegister64);
  1120. var
  1121. op1,op2 : TAsmOp;
  1122. begin
  1123. case op of
  1124. OP_NEG :
  1125. begin
  1126. { Use the simple code: y=0-z }
  1127. list.concat(taicpu.op_reg_reg_reg(A_SUBcc,NR_G0,regsrc.reglo,regdst.reglo));
  1128. list.concat(taicpu.op_reg_reg_reg(A_SUBX,NR_G0,regsrc.reghi,regdst.reghi));
  1129. exit;
  1130. end;
  1131. OP_NOT :
  1132. begin
  1133. list.concat(taicpu.op_reg_reg_reg(A_XNOR,regsrc.reglo,NR_G0,regdst.reglo));
  1134. list.concat(taicpu.op_reg_reg_reg(A_XNOR,regsrc.reghi,NR_G0,regdst.reghi));
  1135. exit;
  1136. end;
  1137. end;
  1138. get_64bit_ops(op,op1,op2);
  1139. list.concat(taicpu.op_reg_reg_reg(op1,regdst.reglo,regsrc.reglo,regdst.reglo));
  1140. list.concat(taicpu.op_reg_reg_reg(op2,regdst.reghi,regsrc.reghi,regdst.reghi));
  1141. end;
  1142. procedure TCg64Sparc.a_op64_const_reg(list:TAasmOutput;op:TOpCG;value:int64;regdst:TRegister64);
  1143. var
  1144. op1,op2:TAsmOp;
  1145. begin
  1146. case op of
  1147. OP_NEG,
  1148. OP_NOT :
  1149. internalerror(200306017);
  1150. end;
  1151. get_64bit_ops(op,op1,op2);
  1152. tcgsparc(cg).handle_reg_const_reg(list,op1,regdst.reglo,aint(lo(value)),regdst.reglo);
  1153. tcgsparc(cg).handle_reg_const_reg(list,op2,regdst.reghi,aint(hi(value)),regdst.reghi);
  1154. end;
  1155. procedure tcg64sparc.a_op64_const_reg_reg(list: taasmoutput;op:TOpCG;value : int64; regsrc,regdst : tregister64);
  1156. var
  1157. op1,op2:TAsmOp;
  1158. begin
  1159. case op of
  1160. OP_NEG,
  1161. OP_NOT :
  1162. internalerror(200306017);
  1163. end;
  1164. get_64bit_ops(op,op1,op2);
  1165. tcgsparc(cg).handle_reg_const_reg(list,op1,regsrc.reglo,aint(lo(value)),regdst.reglo);
  1166. tcgsparc(cg).handle_reg_const_reg(list,op2,regsrc.reghi,aint(hi(value)),regdst.reghi);
  1167. end;
  1168. procedure tcg64sparc.a_op64_reg_reg_reg(list: taasmoutput;op:TOpCG;regsrc1,regsrc2,regdst : tregister64);
  1169. var
  1170. op1,op2:TAsmOp;
  1171. begin
  1172. case op of
  1173. OP_NEG,
  1174. OP_NOT :
  1175. internalerror(200306017);
  1176. end;
  1177. get_64bit_ops(op,op1,op2);
  1178. list.concat(taicpu.op_reg_reg_reg(op1,regsrc2.reglo,regsrc1.reglo,regdst.reglo));
  1179. list.concat(taicpu.op_reg_reg_reg(op2,regsrc2.reghi,regsrc1.reghi,regdst.reghi));
  1180. end;
  1181. begin
  1182. cg:=TCgSparc.Create;
  1183. cg64:=TCg64Sparc.Create;
  1184. end.
  1185. {
  1186. $Log$
  1187. Revision 1.99 2004-12-18 15:48:06 florian
  1188. * fixed some alignment trouble
  1189. Revision 1.98 2004/10/31 21:45:03 peter
  1190. * generic tlocation
  1191. * move tlocation to cgutils
  1192. Revision 1.97 2004/10/24 20:01:08 peter
  1193. * remove saveregister calling convention
  1194. Revision 1.96 2004/10/24 11:53:45 peter
  1195. * fixed compilation with removed loadref
  1196. Revision 1.95 2004/10/10 20:51:46 peter
  1197. * fixed sparc compile
  1198. * fixed float regvar loading
  1199. Revision 1.94 2004/10/10 20:31:48 peter
  1200. * concatcopy_unaligned maps by default to concatcopy, sparc will
  1201. override it with call to fpc_move
  1202. Revision 1.93 2004/09/29 18:55:40 florian
  1203. * fixed more sparc overflow stuff
  1204. * fixed some op64 stuff for sparc
  1205. Revision 1.92 2004/09/27 21:24:17 peter
  1206. * fixed passing of flaot parameters. The general size is still float,
  1207. only the size of the locations is now OS_32
  1208. Revision 1.91 2004/09/26 21:04:35 florian
  1209. + partial overflow checking on sparc; multiplication still missing
  1210. Revision 1.90 2004/09/26 17:36:12 florian
  1211. + a_jmp_name for sparc added
  1212. Revision 1.89 2004/09/25 14:23:55 peter
  1213. * ungetregister is now only used for cpuregisters, renamed to
  1214. ungetcpuregister
  1215. * renamed (get|unget)explicitregister(s) to ..cpuregister
  1216. * removed location-release/reference_release
  1217. Revision 1.88 2004/09/21 20:33:00 peter
  1218. * don't remove MOV reg1,reg1 it is needed for the RA
  1219. Revision 1.87 2004/09/21 17:25:13 peter
  1220. * paraloc branch merged
  1221. Revision 1.86.4.5 2004/09/20 20:43:15 peter
  1222. * implement reg_ref/ref_reg for 64bit to prevent loading the
  1223. address symbol twice
  1224. Revision 1.86.4.4 2004/09/17 17:19:26 peter
  1225. * fixed 64 bit unaryminus for sparc
  1226. * fixed 64 bit inlining
  1227. * signness of not operation
  1228. Revision 1.86.4.3 2004/09/12 21:31:03 peter
  1229. * sign extension added
  1230. Revision 1.86.4.2 2004/09/12 13:36:40 peter
  1231. * fixed alignment issues
  1232. Revision 1.86.4.1 2004/08/31 20:43:06 peter
  1233. * paraloc patch
  1234. Revision 1.86 2004/08/25 20:40:04 florian
  1235. * fixed absolute on sparc
  1236. Revision 1.85 2004/08/24 21:02:32 florian
  1237. * fixed longbool(<int64>) on sparc
  1238. Revision 1.84 2004/06/20 08:55:32 florian
  1239. * logs truncated
  1240. Revision 1.83 2004/06/16 20:07:10 florian
  1241. * dwarf branch merged
  1242. Revision 1.82.2.9 2004/06/02 19:05:16 peter
  1243. * use a_load_const_reg to load const
  1244. Revision 1.82.2.8 2004/06/02 16:07:40 peter
  1245. * implement op64_reg_reg_reg
  1246. Revision 1.82.2.7 2004/05/31 22:07:54 peter
  1247. * don't use float in concatcopy
  1248. Revision 1.82.2.6 2004/05/30 17:54:14 florian
  1249. + implemented cmp64bit
  1250. * started to fix spilling
  1251. * fixed int64 sub partially
  1252. }