cgcpu.pas 48 KB

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