cgcpu.pas 48 KB

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