cgcpu.pas 49 KB

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