cgcpu.pas 46 KB

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