cgcpu.pas 51 KB

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