ncgcal.pas 62 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl
  4. Generate assembler for call nodes
  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 ncgcal;
  19. {$i fpcdefs.inc}
  20. interface
  21. uses
  22. cpubase,
  23. globtype,
  24. symdef,node,ncal;
  25. type
  26. tcgcallparanode = class(tcallparanode)
  27. private
  28. tempparaloc : tparalocation;
  29. procedure allocate_tempparaloc;
  30. procedure push_addr_para;
  31. procedure push_value_para;
  32. public
  33. procedure secondcallparan;override;
  34. end;
  35. tcgcallnode = class(tcallnode)
  36. private
  37. procedure release_para_temps;
  38. procedure normal_pass_2;
  39. procedure inlined_pass_2;
  40. protected
  41. { save the size of pushed parameter, needed po_clearstack
  42. and alignment }
  43. pushedparasize : longint;
  44. framepointer_paraloc : tparalocation;
  45. refcountedtemp : treference;
  46. procedure handle_return_value;
  47. {# This routine is used to push the current frame pointer
  48. on the stack. This is used in nested routines where the
  49. value of the frame pointer is always pushed as an extra
  50. parameter.
  51. The default handling is the standard handling used on
  52. most stack based machines, where the frame pointer is
  53. the first invisible parameter.
  54. }
  55. function align_parasize:longint;virtual;
  56. procedure pop_parasize(pop_size:longint);virtual;
  57. procedure extra_interrupt_code;virtual;
  58. public
  59. procedure pass_2;override;
  60. end;
  61. implementation
  62. uses
  63. systems,
  64. cutils,verbose,globals,
  65. symconst,symsym,symtable,defutil,paramgr,
  66. {$ifdef GDB}
  67. {$ifdef delphi}
  68. sysutils,
  69. {$else}
  70. strings,
  71. {$endif}
  72. gdb,
  73. {$endif GDB}
  74. cgbase,pass_2,
  75. cpuinfo,aasmbase,aasmtai,
  76. nbas,nmem,nld,ncnv,
  77. {$ifdef x86}
  78. cga,cgx86,
  79. {$endif x86}
  80. ncgutil,cgobj,tgobj,
  81. rgobj,rgcpu,
  82. procinfo;
  83. {*****************************************************************************
  84. TCGCALLPARANODE
  85. *****************************************************************************}
  86. procedure tcgcallparanode.allocate_tempparaloc;
  87. begin
  88. { Allocate (temporary) paralocation }
  89. tempparaloc:=paraitem.paraloc[callerside];
  90. if tempparaloc.loc=LOC_REGISTER then
  91. paramanager.alloctempregs(exprasmlist,tempparaloc)
  92. else
  93. paramanager.allocparaloc(exprasmlist,tempparaloc);
  94. end;
  95. procedure tcgcallparanode.push_addr_para;
  96. begin
  97. if not(left.location.loc in [LOC_CREFERENCE,LOC_REFERENCE]) then
  98. internalerror(200304235);
  99. location_release(exprasmlist,left.location);
  100. allocate_tempparaloc;
  101. cg.a_paramaddr_ref(exprasmlist,left.location.reference,tempparaloc);
  102. inc(tcgcallnode(aktcallnode).pushedparasize,POINTER_SIZE);
  103. end;
  104. procedure tcgcallparanode.push_value_para;
  105. var
  106. href : treference;
  107. {$ifdef i386}
  108. tempreference : treference;
  109. sizetopush : longint;
  110. {$endif i386}
  111. size : longint;
  112. cgsize : tcgsize;
  113. begin
  114. { we've nothing to push when the size of the parameter is 0 }
  115. if left.resulttype.def.size=0 then
  116. exit;
  117. { Move flags and jump in register to make it less complex }
  118. if left.location.loc in [LOC_FLAGS,LOC_JUMP] then
  119. location_force_reg(exprasmlist,left.location,def_cgsize(left.resulttype.def),false);
  120. { Handle Floating point types differently }
  121. if left.resulttype.def.deftype=floatdef then
  122. begin
  123. location_release(exprasmlist,left.location);
  124. allocate_tempparaloc;
  125. {$ifdef i386}
  126. case left.location.loc of
  127. LOC_FPUREGISTER,
  128. LOC_CFPUREGISTER:
  129. begin
  130. if tempparaloc.loc<>LOC_REFERENCE then
  131. internalerror(200309291);
  132. size:=align(tfloatdef(left.resulttype.def).size,tempparaloc.alignment);
  133. inc(tcgcallnode(aktcallnode).pushedparasize,size);
  134. cg.g_stackpointer_alloc(exprasmlist,size);
  135. reference_reset_base(href,NR_STACK_POINTER_REG,0);
  136. cg.a_loadfpu_reg_ref(exprasmlist,def_cgsize(left.resulttype.def),left.location.register,href);
  137. end;
  138. LOC_REFERENCE,
  139. LOC_CREFERENCE :
  140. begin
  141. sizetopush:=align(left.resulttype.def.size,tempparaloc.alignment);
  142. tempreference:=left.location.reference;
  143. inc(tempreference.offset,sizetopush);
  144. while (sizetopush>0) do
  145. begin
  146. if (sizetopush>=4) or (tempparaloc.alignment>=4) then
  147. begin
  148. cgsize:=OS_32;
  149. inc(tcgcallnode(aktcallnode).pushedparasize,4);
  150. dec(tempreference.offset,4);
  151. dec(sizetopush,4);
  152. end
  153. else
  154. begin
  155. cgsize:=OS_16;
  156. inc(tcgcallnode(aktcallnode).pushedparasize,2);
  157. dec(tempreference.offset,2);
  158. dec(sizetopush,2);
  159. end;
  160. cg.a_param_ref(exprasmlist,cgsize,tempreference,tempparaloc);
  161. end;
  162. end;
  163. else
  164. internalerror(200204243);
  165. end;
  166. {$else i386}
  167. case left.location.loc of
  168. LOC_FPUREGISTER,
  169. LOC_CFPUREGISTER:
  170. cg.a_paramfpu_reg(exprasmlist,def_cgsize(left.resulttype.def),left.location.register,tempparaloc);
  171. LOC_REFERENCE,
  172. LOC_CREFERENCE :
  173. cg.a_paramfpu_ref(exprasmlist,def_cgsize(left.resulttype.def),left.location.reference,tempparaloc)
  174. else
  175. internalerror(200204243);
  176. end;
  177. {$endif i386}
  178. end
  179. else
  180. begin
  181. { copy the value on the stack or use normal parameter push?
  182. Check for varargs first because that has no paraitem }
  183. if not(nf_varargs_para in flags) and
  184. paramanager.copy_value_on_stack(paraitem.paratyp,left.resulttype.def,
  185. aktcallnode.procdefinition.proccalloption) then
  186. begin
  187. location_release(exprasmlist,left.location);
  188. allocate_tempparaloc;
  189. {$ifdef i386}
  190. if tempparaloc.loc<>LOC_REFERENCE then
  191. internalerror(200309292);
  192. if not (left.location.loc in [LOC_REFERENCE,LOC_CREFERENCE]) then
  193. internalerror(200204241);
  194. { push on stack }
  195. size:=align(left.resulttype.def.size,tempparaloc.alignment);
  196. inc(tcgcallnode(aktcallnode).pushedparasize,size);
  197. cg.g_stackpointer_alloc(exprasmlist,size);
  198. reference_reset_base(href,NR_STACK_POINTER_REG,0);
  199. cg.g_concatcopy(exprasmlist,left.location.reference,href,size,false,false);
  200. {$else i386}
  201. cg.a_param_copy_ref(exprasmlist,left.resulttype.def.size,left.location.reference,tempparaloc);
  202. {$endif i386}
  203. end
  204. else
  205. begin
  206. case left.location.loc of
  207. LOC_CONSTANT,
  208. LOC_REGISTER,
  209. LOC_CREGISTER,
  210. LOC_REFERENCE,
  211. LOC_CREFERENCE :
  212. begin
  213. cgsize:=def_cgsize(left.resulttype.def);
  214. if cgsize in [OS_64,OS_S64] then
  215. begin
  216. inc(tcgcallnode(aktcallnode).pushedparasize,8);
  217. allocate_tempparaloc;
  218. cg64.a_param64_loc(exprasmlist,left.location,tempparaloc);
  219. location_release(exprasmlist,left.location);
  220. end
  221. else
  222. begin
  223. location_release(exprasmlist,left.location);
  224. allocate_tempparaloc;
  225. inc(tcgcallnode(aktcallnode).pushedparasize,align(tcgsize2size[tempparaloc.size],tempparaloc.alignment));
  226. cg.a_param_loc(exprasmlist,left.location,tempparaloc);
  227. end;
  228. end;
  229. {$ifdef SUPPORT_MMX}
  230. LOC_MMXREGISTER,
  231. LOC_CMMXREGISTER:
  232. begin
  233. location_release(exprasmlist,left.location);
  234. allocate_tempparaloc;
  235. inc(tcgcallnode(aktcallnode).pushedparasize,8);
  236. cg.a_parammm_reg(exprasmlist,left.location.register);
  237. end;
  238. {$endif SUPPORT_MMX}
  239. else
  240. internalerror(200204241);
  241. end;
  242. end;
  243. end;
  244. end;
  245. procedure tcgcallparanode.secondcallparan;
  246. var
  247. otlabel,
  248. oflabel : tasmlabel;
  249. begin
  250. if not(assigned(paraitem)) or
  251. not(assigned(paraitem.paratype.def)) or
  252. not(assigned(paraitem.parasym) or
  253. (nf_varargs_para in flags)) then
  254. internalerror(200304242);
  255. { push from left to right if specified }
  256. if assigned(right) and
  257. (aktcallnode.procdefinition.proccalloption in pushleftright_pocalls) then
  258. tcallparanode(right).secondcallparan;
  259. { Skip nothingn nodes which are used after disabling
  260. a parameter }
  261. if (left.nodetype<>nothingn) then
  262. begin
  263. otlabel:=truelabel;
  264. oflabel:=falselabel;
  265. objectlibrary.getlabel(truelabel);
  266. objectlibrary.getlabel(falselabel);
  267. secondpass(left);
  268. { handle varargs first, because paraitem.parasym is not valid }
  269. if (nf_varargs_para in flags) then
  270. begin
  271. if paramanager.push_addr_param(vs_value,left.resulttype.def,
  272. aktcallnode.procdefinition.proccalloption) then
  273. push_addr_para
  274. else
  275. push_value_para;
  276. end
  277. { hidden parameters }
  278. else if paraitem.is_hidden then
  279. begin
  280. { don't push a node that already generated a pointer type
  281. by address for implicit hidden parameters }
  282. if (vo_is_funcret in tvarsym(paraitem.parasym).varoptions) or
  283. (not(left.resulttype.def.deftype in [pointerdef,classrefdef]) and
  284. paramanager.push_addr_param(paraitem.paratyp,paraitem.paratype.def,
  285. aktcallnode.procdefinition.proccalloption)) then
  286. push_addr_para
  287. else
  288. push_value_para;
  289. end
  290. { filter array of const c styled args }
  291. else if is_array_of_const(left.resulttype.def) and (nf_cargs in left.flags) then
  292. begin
  293. { nothing, everything is already pushed }
  294. end
  295. { formal def }
  296. else if (paraitem.paratype.def.deftype=formaldef) then
  297. begin
  298. { allow passing of a constant to a const formaldef }
  299. if (tvarsym(paraitem.parasym).varspez=vs_const) and
  300. (left.location.loc=LOC_CONSTANT) then
  301. location_force_mem(exprasmlist,left.location);
  302. { allow @var }
  303. if (left.nodetype=addrn) and
  304. (not(nf_procvarload in left.flags)) then
  305. begin
  306. inc(tcgcallnode(aktcallnode).pushedparasize,POINTER_SIZE);
  307. location_release(exprasmlist,left.location);
  308. allocate_tempparaloc;
  309. cg.a_param_loc(exprasmlist,left.location,tempparaloc);
  310. end
  311. else
  312. push_addr_para;
  313. end
  314. { Normal parameter }
  315. else
  316. begin
  317. { don't push a node that already generated a pointer type
  318. by address for implicit hidden parameters }
  319. if (not(
  320. paraitem.is_hidden and
  321. (left.resulttype.def.deftype in [pointerdef,classrefdef])
  322. ) and
  323. paramanager.push_addr_param(paraitem.paratyp,paraitem.paratype.def,
  324. aktcallnode.procdefinition.proccalloption)) then
  325. begin
  326. { Check for passing a constant to var,out parameter }
  327. if (paraitem.paratyp in [vs_var,vs_out]) and
  328. (left.location.loc<>LOC_REFERENCE) then
  329. begin
  330. { passing self to a var parameter is allowed in
  331. TP and delphi }
  332. if not((left.location.loc=LOC_CREFERENCE) and
  333. is_self_node(left)) then
  334. internalerror(200106041);
  335. end;
  336. { Force to be in memory }
  337. if not(left.location.loc in [LOC_CREFERENCE,LOC_REFERENCE]) then
  338. location_force_mem(exprasmlist,left.location);
  339. push_addr_para;
  340. end
  341. else
  342. push_value_para;
  343. end;
  344. truelabel:=otlabel;
  345. falselabel:=oflabel;
  346. { update return location in callnode when this is the function
  347. result }
  348. if assigned(paraitem.parasym) and
  349. (vo_is_funcret in tvarsym(paraitem.parasym).varoptions) then
  350. location_copy(aktcallnode.location,left.location);
  351. end;
  352. { push from right to left }
  353. if assigned(right) and
  354. not(aktcallnode.procdefinition.proccalloption in pushleftright_pocalls) then
  355. tcallparanode(right).secondcallparan;
  356. end;
  357. {*****************************************************************************
  358. TCGCALLNODE
  359. *****************************************************************************}
  360. procedure tcgcallnode.extra_interrupt_code;
  361. begin
  362. end;
  363. function tcgcallnode.align_parasize:longint;
  364. begin
  365. result:=0;
  366. end;
  367. procedure tcgcallnode.pop_parasize(pop_size:longint);
  368. begin
  369. end;
  370. procedure tcgcallnode.handle_return_value;
  371. var
  372. cgsize : tcgsize;
  373. hregister : tregister;
  374. tempnode: tnode;
  375. begin
  376. { structured results are easy to handle.... }
  377. { needed also when result_no_used !! }
  378. if paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption) then
  379. begin
  380. { Location should be setup by the funcret para }
  381. if location.loc<>LOC_REFERENCE then
  382. internalerror(200304241);
  383. end
  384. else
  385. { ansi/widestrings must be registered, so we can dispose them }
  386. if is_ansistring(resulttype.def) or
  387. is_widestring(resulttype.def) then
  388. begin
  389. { the FUNCTION_RESULT_REG is already allocated }
  390. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT_REG);
  391. if not assigned(funcretnode) then
  392. begin
  393. location_reset(location,LOC_CREFERENCE,OS_ADDR);
  394. location.reference:=refcountedtemp;
  395. cg.a_load_reg_ref(exprasmlist,OS_ADDR,OS_ADDR,NR_FUNCTION_RESULT_REG,location.reference);
  396. end
  397. else
  398. begin
  399. hregister := cg.getaddressregister(exprasmlist);
  400. cg.a_load_reg_reg(exprasmlist,OS_ADDR,OS_ADDR,NR_FUNCTION_RESULT_REG,hregister);
  401. { in case of a regular funcretnode with ret_in_param, the }
  402. { original funcretnode isn't touched -> make sure it's }
  403. { the same here (not sure if it's necessary) }
  404. tempnode := funcretnode.getcopy;
  405. tempnode.pass_2;
  406. location := tempnode.location;
  407. tempnode.free;
  408. cg.g_decrrefcount(exprasmlist,resulttype.def,location.reference, false);
  409. cg.a_load_reg_ref(exprasmlist,OS_ADDR,OS_ADDR,hregister,location.reference);
  410. cg.ungetregister(exprasmlist,hregister);
  411. end;
  412. end
  413. else
  414. { we have only to handle the result if it is used }
  415. if (nf_return_value_used in flags) then
  416. begin
  417. if (resulttype.def.deftype=floatdef) then
  418. begin
  419. location_reset(location,LOC_FPUREGISTER,def_cgsize(resulttype.def));
  420. {$ifdef cpufpemu}
  421. if cs_fp_emulation in aktmoduleswitches then
  422. location.register:=NR_FUNCTION_RESULT_REG
  423. else
  424. {$endif cpufpemu}
  425. location.register:=NR_FPU_RESULT_REG;
  426. {$ifdef x86}
  427. tcgx86(cg).inc_fpu_stack;
  428. {$else x86}
  429. hregister := cg.getfputregister(exprasmlist,location.size);
  430. cg.a_loadfpu_reg_reg(exprasmlist,location.size,location.register,hregister);
  431. location.register := hregister;
  432. {$endif x86}
  433. end
  434. else
  435. begin
  436. cgsize:=def_cgsize(resulttype.def);
  437. if cgsize<>OS_NO then
  438. begin
  439. location_reset(location,LOC_REGISTER,cgsize);
  440. {$ifndef cpu64bit}
  441. if cgsize in [OS_64,OS_S64] then
  442. begin
  443. { Move the function result to free registers, preferably the
  444. FUNCTION_RESULT_REG/FUNCTION_RESULTHIGH_REG, so no move is necessary.}
  445. { the FUNCTION_RESULT_LOW_REG/FUNCTION_RESULT_HIGH_REG
  446. are already allocated }
  447. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_LOW_REG);
  448. location.registerlow:=cg.getintregister(exprasmlist,OS_INT);
  449. cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,NR_FUNCTION_RESULT64_LOW_REG,location.registerlow);
  450. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_HIGH_REG);
  451. location.registerhigh:=cg.getintregister(exprasmlist,OS_INT);
  452. cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,NR_FUNCTION_RESULT64_HIGH_REG,location.registerhigh);
  453. end
  454. else
  455. {$endif cpu64bit}
  456. begin
  457. {Move the function result to a free register, preferably the
  458. FUNCTION_RESULT_REG, so no move is necessary.}
  459. { the FUNCTION_RESULT_REG is already allocated }
  460. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT_REG);
  461. { change register size after the unget because the
  462. getregister was done for the full register }
  463. location.register:=cg.getintregister(exprasmlist,cgsize);
  464. cg.a_load_reg_reg(exprasmlist,cgsize,cgsize,cg.makeregsize(NR_FUNCTION_RESULT_REG,cgsize),location.register);
  465. end;
  466. end
  467. else
  468. begin
  469. if resulttype.def.size>0 then
  470. internalerror(200305131);
  471. end;
  472. end;
  473. end
  474. else
  475. begin
  476. cgsize:=def_cgsize(resulttype.def);
  477. { an object constructor is a function with pointer result }
  478. if (procdefinition.proctypeoption=potype_constructor) then
  479. cgsize:=OS_ADDR;
  480. if cgsize<>OS_NO then
  481. {$ifndef cpu64bit}
  482. if cgsize in [OS_64,OS_S64] then
  483. begin
  484. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_LOW_REG);
  485. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_HIGH_REG);
  486. end
  487. else
  488. {$endif cpu64bit}
  489. cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT_REG);
  490. location_reset(location,LOC_VOID,OS_NO);
  491. end;
  492. end;
  493. procedure tcgcallnode.release_para_temps;
  494. var
  495. hp : tnode;
  496. ppn : tcallparanode;
  497. begin
  498. { Release temps from parameters }
  499. ppn:=tcallparanode(left);
  500. while assigned(ppn) do
  501. begin
  502. if assigned(ppn.left) then
  503. begin
  504. { don't release the funcret temp }
  505. if not(assigned(ppn.paraitem.parasym)) or
  506. not(vo_is_funcret in tvarsym(ppn.paraitem.parasym).varoptions) then
  507. location_freetemp(exprasmlist,ppn.left.location);
  508. { process also all nodes of an array of const }
  509. if ppn.left.nodetype=arrayconstructorn then
  510. begin
  511. if assigned(tarrayconstructornode(ppn.left).left) then
  512. begin
  513. hp:=ppn.left;
  514. while assigned(hp) do
  515. begin
  516. location_freetemp(exprasmlist,tarrayconstructornode(hp).left.location);
  517. hp:=tarrayconstructornode(hp).right;
  518. end;
  519. end;
  520. end;
  521. end;
  522. ppn:=tcallparanode(ppn.right);
  523. end;
  524. end;
  525. procedure tcgcallnode.normal_pass_2;
  526. var
  527. regs_to_push_other : totherregisterset;
  528. regs_to_alloc,regs_to_free:Tsuperregisterset;
  529. pushedother : tpushedsavedother;
  530. oldpushedparasize : longint;
  531. { adress returned from an I/O-error }
  532. { help reference pointer }
  533. href : treference;
  534. pop_size : longint;
  535. pvreg,
  536. vmtreg : tregister;
  537. oldaktcallnode : tcallnode;
  538. procedure pushparas;
  539. var
  540. ppn : tcgcallparanode;
  541. begin
  542. { copy all resources to the allocated registers }
  543. ppn:=tcgcallparanode(left);
  544. while assigned(ppn) do
  545. begin
  546. if ppn.tempparaloc.loc=LOC_REGISTER then
  547. begin
  548. paramanager.freeparaloc(exprasmlist,ppn.tempparaloc);
  549. paramanager.allocparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
  550. {$ifdef sparc}
  551. case ppn.tempparaloc.size of
  552. OS_F32 :
  553. ppn.tempparaloc.size:=OS_32;
  554. OS_F64 :
  555. ppn.tempparaloc.size:=OS_64;
  556. end;
  557. {$endif sparc}
  558. {$ifndef cpu64bit}
  559. if ppn.tempparaloc.size in [OS_64,OS_S64] then
  560. begin
  561. cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,ppn.tempparaloc.registerlow,
  562. ppn.paraitem.paraloc[callerside].registerlow);
  563. cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,ppn.tempparaloc.registerhigh,
  564. ppn.paraitem.paraloc[callerside].registerhigh);
  565. end
  566. else
  567. {$endif cpu64bit}
  568. cg.a_load_reg_reg(exprasmlist,ppn.tempparaloc.size,ppn.tempparaloc.size,
  569. ppn.tempparaloc.register,ppn.paraitem.paraloc[callerside].register);
  570. end;
  571. ppn:=tcgcallparanode(ppn.right);
  572. end;
  573. end;
  574. procedure freeparas;
  575. var
  576. ppn : tcgcallparanode;
  577. begin
  578. { free the resources allocated for the parameters }
  579. ppn:=tcgcallparanode(left);
  580. while assigned(ppn) do
  581. begin
  582. if ppn.tempparaloc.loc=LOC_REGISTER then
  583. paramanager.freeparaloc(exprasmlist,ppn.tempparaloc);
  584. paramanager.freeparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
  585. ppn:=tcgcallparanode(ppn.right);
  586. end;
  587. end;
  588. begin
  589. if not assigned(procdefinition) then
  590. internalerror(200305264);
  591. { calculate the parameter info for the procdef }
  592. if not procdefinition.has_paraloc_info then
  593. begin
  594. paramanager.create_paraloc_info(procdefinition,callerside);
  595. procdefinition.has_paraloc_info:=true;
  596. end;
  597. { calculate the parameter info for varargs }
  598. if assigned(varargsparas) then
  599. paramanager.create_varargs_paraloc_info(procdefinition,varargsparas);
  600. if not assigned(funcretnode) then
  601. begin
  602. { if we allocate the temp. location for ansi- or widestrings }
  603. { already here, we avoid later a push/pop }
  604. if is_widestring(resulttype.def) then
  605. begin
  606. tg.gettemp(exprasmlist,pointer_size,tt_widestring,refcountedtemp);
  607. cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp,false);
  608. end
  609. else if is_ansistring(resulttype.def) then
  610. begin
  611. tg.GetTemp(exprasmlist,pointer_size,tt_ansistring,refcountedtemp);
  612. cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp,false);
  613. end;
  614. end;
  615. regs_to_alloc:=paramanager.get_volatile_registers_int(procdefinition.proccalloption);
  616. regs_to_push_other:=paramanager.get_volatile_registers_fpu(procdefinition.proccalloption);
  617. { Include Function result registers }
  618. if (not is_void(resulttype.def)) then
  619. begin
  620. case procdefinition.funcret_paraloc[callerside].loc of
  621. LOC_REGISTER,LOC_CREGISTER:
  622. begin
  623. {$ifndef cpu64bit}
  624. if procdefinition.funcret_paraloc[callerside].size in [OS_S64,OS_64] then
  625. begin
  626. include(regs_to_alloc,getsupreg(procdefinition.funcret_paraloc[callerside].registerlow));
  627. include(regs_to_alloc,getsupreg(procdefinition.funcret_paraloc[callerside].registerhigh));
  628. end
  629. else
  630. {$endif cpu64bit}
  631. include(regs_to_alloc,getsupreg(procdefinition.funcret_paraloc[callerside].register));
  632. end;
  633. end;
  634. end;
  635. { Save registers destroyed by the call }
  636. {$warning fime saveusedotherregisters.}
  637. { cg.saveusedotherregisters(exprasmlist,pushedother,regs_to_push_other);}
  638. { Initialize for pushing the parameters }
  639. oldpushedparasize:=pushedparasize;
  640. pushedparasize:=0;
  641. { Process parameters, register parameters will be loaded
  642. in imaginary registers. The actual load to the correct
  643. register is done just before the call }
  644. oldaktcallnode:=aktcallnode;
  645. aktcallnode:=self;
  646. if assigned(left) then
  647. tcallparanode(left).secondcallparan;
  648. aktcallnode:=oldaktcallnode;
  649. { Align stack if required }
  650. pop_size:=align_parasize;
  651. { procedure variable or normal function call ? }
  652. if (right=nil) then
  653. begin
  654. if (po_virtualmethod in procdefinition.procoptions) and
  655. assigned(methodpointer) then
  656. begin
  657. secondpass(methodpointer);
  658. location_force_reg(exprasmlist,methodpointer.location,OS_ADDR,false);
  659. { virtual methods require an index }
  660. if tprocdef(procdefinition).extnumber=-1 then
  661. internalerror(200304021);
  662. { VMT should already be loaded in a register }
  663. if methodpointer.location.register=NR_NO then
  664. internalerror(200304022);
  665. { test validity of VMT }
  666. if not(is_interface(tprocdef(procdefinition)._class)) and
  667. not(is_cppclass(tprocdef(procdefinition)._class)) then
  668. cg.g_maybe_testvmt(exprasmlist,methodpointer.location.register,tprocdef(procdefinition)._class);
  669. end;
  670. {$warning fixme regvars}
  671. { rg.saveotherregvars(exprasmlist,regs_to_push_other);}
  672. if (po_virtualmethod in procdefinition.procoptions) and
  673. assigned(methodpointer) then
  674. begin
  675. vmtreg:=methodpointer.location.register;
  676. { release self }
  677. cg.ungetregister(exprasmlist,vmtreg);
  678. pvreg:=cg.getabtregister(exprasmlist,OS_ADDR);
  679. reference_reset_base(href,vmtreg,
  680. tprocdef(procdefinition)._class.vmtmethodoffset(tprocdef(procdefinition).extnumber));
  681. cg.a_load_ref_reg(exprasmlist,OS_ADDR,OS_ADDR,href,pvreg);
  682. { Load parameters that are in temporary registers in the
  683. correct parameter register }
  684. if assigned(left) then
  685. pushparas;
  686. { Release register containing procvar }
  687. cg.ungetregister(exprasmlist,pvreg);
  688. { free the resources allocated for the parameters }
  689. freeparas;
  690. cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_alloc);
  691. { call method }
  692. cg.a_call_reg(exprasmlist,pvreg);
  693. end
  694. else
  695. begin
  696. { Load parameters that are in temporary registers in the
  697. correct parameter register }
  698. if assigned(left) then
  699. pushparas;
  700. { free the resources allocated for the parameters }
  701. freeparas;
  702. cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_alloc);
  703. { Calling interrupt from the same code requires some
  704. extra code }
  705. if (po_interrupt in procdefinition.procoptions) then
  706. extra_interrupt_code;
  707. cg.a_call_name(exprasmlist,tprocdef(procdefinition).mangledname);
  708. end;
  709. end
  710. else
  711. { now procedure variable case }
  712. begin
  713. secondpass(right);
  714. location_release(exprasmlist,right.location);
  715. pvreg:=cg.getabtregister(exprasmlist,OS_ADDR);
  716. { Only load OS_ADDR from the reference }
  717. if right.location.loc in [LOC_REFERENCE,LOC_CREFERENCE] then
  718. cg.a_load_ref_reg(exprasmlist,OS_ADDR,OS_ADDR,right.location.reference,pvreg)
  719. else
  720. cg.a_load_loc_reg(exprasmlist,OS_ADDR,right.location,pvreg);
  721. location_freetemp(exprasmlist,right.location);
  722. { Load parameters that are in temporary registers in the
  723. correct parameter register }
  724. if assigned(left) then
  725. pushparas;
  726. { Release register containing procvar }
  727. cg.ungetregister(exprasmlist,pvreg);
  728. { free the resources allocated for the parameters }
  729. freeparas;
  730. cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_alloc);
  731. { Calling interrupt from the same code requires some
  732. extra code }
  733. if (po_interrupt in procdefinition.procoptions) then
  734. extra_interrupt_code;
  735. {$warning fixme regvars.}
  736. { rg.saveotherregvars(exprasmlist,ALL_OTHERREGISTERS);}
  737. cg.a_call_reg(exprasmlist,pvreg);
  738. end;
  739. { Need to remove the parameters from the stack? }
  740. if (procdefinition.proccalloption in clearstack_pocalls) then
  741. begin
  742. { the old pop_size was already included in pushedparasize }
  743. pop_size:=pushedparasize;
  744. { for Cdecl functions we don't need to pop the funcret when it
  745. was pushed by para }
  746. if paramanager.ret_in_param(procdefinition.rettype.def,procdefinition.proccalloption) then
  747. dec(pop_size,POINTER_SIZE);
  748. end;
  749. { Remove parameters/alignment from the stack }
  750. if pop_size>0 then
  751. pop_parasize(pop_size);
  752. { Reserve space for storing parameters that will be pushed }
  753. current_procinfo.allocate_push_parasize(pushedparasize);
  754. { Restore }
  755. pushedparasize:=oldpushedparasize;
  756. { Release registers, but not the registers that contain the
  757. function result }
  758. regs_to_free:=regs_to_alloc;
  759. if (not is_void(resulttype.def)) then
  760. begin
  761. case procdefinition.funcret_paraloc[callerside].loc of
  762. LOC_REGISTER,LOC_CREGISTER:
  763. begin
  764. {$ifndef cpu64bit}
  765. if procdefinition.funcret_paraloc[callerside].size in [OS_S64,OS_64] then
  766. begin
  767. exclude(regs_to_free,getsupreg(procdefinition.funcret_paraloc[callerside].registerlow));
  768. exclude(regs_to_free,getsupreg(procdefinition.funcret_paraloc[callerside].registerhigh));
  769. end
  770. else
  771. {$endif cpu64bit}
  772. exclude(regs_to_free,getsupreg(procdefinition.funcret_paraloc[callerside].register));
  773. end;
  774. end;
  775. end;
  776. cg.deallocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_free);
  777. { handle function results }
  778. if (not is_void(resulttype.def)) then
  779. handle_return_value
  780. else
  781. location_reset(location,LOC_VOID,OS_NO);
  782. { perhaps i/o check ? }
  783. if (cs_check_io in aktlocalswitches) and
  784. (po_iocheck in procdefinition.procoptions) and
  785. not(po_iocheck in current_procinfo.procdef.procoptions) and
  786. { no IO check for methods and procedure variables }
  787. (right=nil) and
  788. not(po_virtualmethod in procdefinition.procoptions) then
  789. begin
  790. cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  791. cg.a_call_name(exprasmlist,'FPC_IOCHECK');
  792. cg.deallocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  793. end;
  794. { restore registers }
  795. {$warnig fixme restoreusedotherregisters}
  796. { rg.restoreusedotherregisters(exprasmlist,pushedother);}
  797. { release temps of paras }
  798. release_para_temps;
  799. { if return value is not used }
  800. if (not(nf_return_value_used in flags)) and (not is_void(resulttype.def)) then
  801. begin
  802. if location.loc in [LOC_CREFERENCE,LOC_REFERENCE] then
  803. begin
  804. { data which must be finalized ? }
  805. if (resulttype.def.needs_inittable) then
  806. cg.g_finalize(exprasmlist,resulttype.def,location.reference,false);
  807. { release unused temp }
  808. tg.ungetiftemp(exprasmlist,location.reference)
  809. end
  810. else if location.loc=LOC_FPUREGISTER then
  811. begin
  812. {$ifdef x86}
  813. { release FPU stack }
  814. emit_reg(A_FSTP,S_NO,NR_FPU_RESULT_REG);
  815. {$endif x86}
  816. end;
  817. end;
  818. end;
  819. procedure tcgcallnode.inlined_pass_2;
  820. var
  821. unusedstate: pointer;
  822. oldaktcallnode : tcallnode;
  823. oldprocinfo : tprocinfo;
  824. oldinlining_procedure : boolean;
  825. inlineentrycode,inlineexitcode : TAAsmoutput;
  826. usesacc,usesacchi,usesfpu : boolean;
  827. {$ifdef GDB}
  828. startlabel,endlabel : tasmlabel;
  829. pp : pchar;
  830. mangled_length : longint;
  831. {$endif GDB}
  832. begin
  833. if not(assigned(procdefinition) and (procdefinition.deftype=procdef)) then
  834. internalerror(200305262);
  835. oldinlining_procedure:=inlining_procedure;
  836. oldprocinfo:=current_procinfo;
  837. { we're inlining a procedure }
  838. inlining_procedure:=true;
  839. { calculate registers to pass the parameters }
  840. paramanager.create_inline_paraloc_info(procdefinition);
  841. { create temp procinfo }
  842. current_procinfo:=cprocinfo.create(nil);
  843. current_procinfo.procdef:=tprocdef(procdefinition);
  844. { Add inling start }
  845. exprasmList.concat(Tai_Marker.Create(InlineStart));
  846. {$ifdef extdebug}
  847. exprasmList.concat(tai_comment.Create(strpnew('Start of inlined proc')));
  848. {$endif extdebug}
  849. { Allocate parameters and locals }
  850. gen_alloc_inline_parast(exprasmlist,tparasymtable(current_procinfo.procdef.parast));
  851. if current_procinfo.procdef.localst.symtabletype=localsymtable then
  852. gen_alloc_localst(exprasmlist,tlocalsymtable(current_procinfo.procdef.localst));
  853. {$ifdef GDB}
  854. if (cs_debuginfo in aktmoduleswitches) then
  855. begin
  856. objectlibrary.getaddrlabel(startlabel);
  857. objectlibrary.getaddrlabel(endlabel);
  858. cg.a_label(exprasmlist,startlabel);
  859. { Here we must include the para and local symtable info }
  860. procdefinition.concatstabto(withdebuglist);
  861. mangled_length:=length(oldprocinfo.procdef.mangledname);
  862. getmem(pp,mangled_length+50);
  863. strpcopy(pp,'192,0,0,'+startlabel.name);
  864. if (target_info.use_function_relative_addresses) then
  865. begin
  866. strpcopy(strend(pp),'-');
  867. strpcopy(strend(pp),oldprocinfo.procdef.mangledname);
  868. end;
  869. withdebugList.concat(Tai_stabn.Create(strnew(pp)));
  870. end;
  871. {$endif GDB}
  872. { if we allocate the temp. location for ansi- or widestrings }
  873. { already here, we avoid later a push/pop }
  874. if is_widestring(resulttype.def) then
  875. begin
  876. tg.GetTemp(exprasmlist,pointer_size,tt_widestring,refcountedtemp);
  877. cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp,false);
  878. end
  879. else if is_ansistring(resulttype.def) then
  880. begin
  881. tg.GetTemp(exprasmlist,pointer_size,tt_ansistring,refcountedtemp);
  882. cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp,false);
  883. end;
  884. { Push parameters }
  885. oldaktcallnode:=aktcallnode;
  886. aktcallnode:=self;
  887. if assigned(left) then
  888. tcallparanode(left).secondcallparan;
  889. aktcallnode:=oldaktcallnode;
  890. { takes care of local data initialization }
  891. inlineentrycode:=TAAsmoutput.Create;
  892. inlineexitcode:=TAAsmoutput.Create;
  893. gen_load_para_value(inlineentrycode);
  894. gen_initialize_code(inlineentrycode,true);
  895. if po_assembler in current_procinfo.procdef.procoptions then
  896. inlineentrycode.insert(Tai_marker.Create(asmblockstart));
  897. exprasmList.concatlist(inlineentrycode);
  898. { process the inline code }
  899. secondpass(inlinecode);
  900. gen_finalize_code(inlineexitcode,true);
  901. gen_load_return_value(inlineexitcode,usesacc,usesacchi,usesfpu);
  902. if po_assembler in current_procinfo.procdef.procoptions then
  903. inlineexitcode.concat(Tai_marker.Create(asmblockend));
  904. exprasmlist.concatlist(inlineexitcode);
  905. inlineentrycode.free;
  906. inlineexitcode.free;
  907. {$ifdef extdebug}
  908. exprasmList.concat(tai_comment.Create(strpnew('End of inlined proc')));
  909. {$endif extdebug}
  910. exprasmList.concat(Tai_Marker.Create(InlineEnd));
  911. { handle function results }
  912. if (not is_void(resulttype.def)) then
  913. handle_return_value
  914. else
  915. location_reset(location,LOC_VOID,OS_NO);
  916. { perhaps i/o check ? }
  917. if (cs_check_io in aktlocalswitches) and
  918. (po_iocheck in procdefinition.procoptions) and
  919. not(po_iocheck in current_procinfo.procdef.procoptions) and
  920. { no IO check for methods and procedure variables }
  921. (right=nil) and
  922. not(po_virtualmethod in procdefinition.procoptions) then
  923. begin
  924. cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  925. cg.a_call_name(exprasmlist,'FPC_IOCHECK');
  926. cg.deallocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
  927. end;
  928. { release temps of paras }
  929. release_para_temps;
  930. { if return value is not used }
  931. if (not is_void(resulttype.def)) and
  932. (not(nf_return_value_used in flags)) then
  933. begin
  934. if location.loc in [LOC_CREFERENCE,LOC_REFERENCE] then
  935. begin
  936. { data which must be finalized ? }
  937. if (resulttype.def.needs_inittable) then
  938. cg.g_finalize(exprasmlist,resulttype.def,location.reference,false);
  939. { release unused temp }
  940. tg.ungetiftemp(exprasmlist,location.reference)
  941. end
  942. else if location.loc=LOC_FPUREGISTER then
  943. begin
  944. {$ifdef x86}
  945. { release FPU stack }
  946. emit_reg(A_FSTP,S_NO,NR_FPU_RESULT_REG);
  947. {$endif x86}
  948. end;
  949. end;
  950. { Release parameters and locals }
  951. gen_free_parast(exprasmlist,tparasymtable(current_procinfo.procdef.parast));
  952. if current_procinfo.procdef.localst.symtabletype=localsymtable then
  953. gen_free_localst(exprasmlist,tlocalsymtable(current_procinfo.procdef.localst));
  954. { release procinfo }
  955. current_procinfo.free;
  956. current_procinfo:=oldprocinfo;
  957. {$ifdef GDB}
  958. if (cs_debuginfo in aktmoduleswitches) then
  959. begin
  960. cg.a_label(exprasmlist,endlabel);
  961. strpcopy(pp,'224,0,0,'+endlabel.name);
  962. if (target_info.use_function_relative_addresses) then
  963. begin
  964. strpcopy(strend(pp),'-');
  965. strpcopy(strend(pp),oldprocinfo.procdef.mangledname);
  966. end;
  967. withdebugList.concat(Tai_stabn.Create(strnew(pp)));
  968. freemem(pp,mangled_length+50);
  969. end;
  970. {$endif GDB}
  971. { restore }
  972. current_procinfo:=oldprocinfo;
  973. inlining_procedure:=oldinlining_procedure;
  974. end;
  975. procedure tcgcallnode.pass_2;
  976. begin
  977. if assigned(inlinecode) then
  978. inlined_pass_2
  979. else
  980. normal_pass_2;
  981. end;
  982. begin
  983. ccallparanode:=tcgcallparanode;
  984. ccallnode:=tcgcallnode;
  985. end.
  986. {
  987. $Log$
  988. Revision 1.127 2003-10-09 21:31:37 daniel
  989. * Register allocator splitted, ans abstract now
  990. Revision 1.126 2003/10/07 15:17:07 peter
  991. * inline supported again, LOC_REFERENCEs are used to pass the
  992. parameters
  993. * inlineparasymtable,inlinelocalsymtable removed
  994. * exitlabel inserting fixed
  995. Revision 1.125 2003/10/05 21:21:52 peter
  996. * c style array of const generates callparanodes
  997. * varargs paraloc fixes
  998. Revision 1.124 2003/10/03 22:00:33 peter
  999. * parameter alignment fixes
  1000. Revision 1.123 2003/10/01 20:34:48 peter
  1001. * procinfo unit contains tprocinfo
  1002. * cginfo renamed to cgbase
  1003. * moved cgmessage to verbose
  1004. * fixed ppc and sparc compiles
  1005. Revision 1.122 2003/09/30 21:02:37 peter
  1006. * updates for inlining
  1007. Revision 1.121 2003/09/30 19:55:19 peter
  1008. * remove abt reg for vmtreg
  1009. Revision 1.120 2003/09/29 20:58:55 peter
  1010. * optimized releasing of registers
  1011. Revision 1.119 2003/09/28 17:55:03 peter
  1012. * parent framepointer changed to hidden parameter
  1013. * tloadparentfpnode added
  1014. Revision 1.118 2003/09/28 13:54:43 peter
  1015. * removed a_call_ref
  1016. Revision 1.117 2003/09/25 21:28:00 peter
  1017. * parameter fixes
  1018. Revision 1.116 2003/09/23 17:56:05 peter
  1019. * locals and paras are allocated in the code generation
  1020. * tvarsym.localloc contains the location of para/local when
  1021. generating code for the current procedure
  1022. Revision 1.115 2003/09/16 16:17:01 peter
  1023. * varspez in calls to push_addr_param
  1024. Revision 1.114 2003/09/14 19:17:39 peter
  1025. * don't use a_call_ref because it can use a parameter register
  1026. as temp
  1027. Revision 1.113 2003/09/11 11:54:59 florian
  1028. * improved arm code generation
  1029. * move some protected and private field around
  1030. * the temp. register for register parameters/arguments are now released
  1031. before the move to the parameter register is done. This improves
  1032. the code in a lot of cases.
  1033. Revision 1.112 2003/09/10 08:31:47 marco
  1034. * Patch from Peter for paraloc
  1035. Revision 1.111 2003/09/07 22:09:35 peter
  1036. * preparations for different default calling conventions
  1037. * various RA fixes
  1038. Revision 1.110 2003/09/04 15:39:58 peter
  1039. * released useparatemp
  1040. Revision 1.109 2003/09/03 15:55:00 peter
  1041. * NEWRA branch merged
  1042. Revision 1.108.2.4 2003/09/01 21:02:55 peter
  1043. * sparc updates for new tregister
  1044. Revision 1.108.2.3 2003/08/31 21:07:44 daniel
  1045. * callparatemp ripped
  1046. Revision 1.108.2.2 2003/08/29 17:28:59 peter
  1047. * next batch of updates
  1048. Revision 1.108.2.1 2003/08/27 20:23:55 peter
  1049. * remove old ra code
  1050. Revision 1.108 2003/08/21 22:14:16 olle
  1051. - removed parameter from fpc_iocheck
  1052. Revision 1.107 2003/08/17 16:59:20 jonas
  1053. * fixed regvars so they work with newra (at least for ppc)
  1054. * fixed some volatile register bugs
  1055. + -dnotranslation option for -dnewra, which causes the registers not to
  1056. be translated from virtual to normal registers. Requires support in
  1057. the assembler writer as well, which is only implemented in aggas/
  1058. agppcgas currently
  1059. Revision 1.106 2003/08/16 18:56:40 marco
  1060. * fix from Jonas.
  1061. Revision 1.105 2003/08/11 21:18:20 peter
  1062. * start of sparc support for newra
  1063. Revision 1.104 2003/08/11 14:22:06 mazen
  1064. - dupplicated code removed
  1065. Revision 1.103 2003/07/23 11:01:14 jonas
  1066. * several rg.allocexplicitregistersint/rg.deallocexplicitregistersint
  1067. pairs round calls to helpers
  1068. Revision 1.102 2003/07/21 13:51:50 jonas
  1069. * fixed 64bit int results with -dnewra (you can't free both registers and
  1070. then allocate two new ones, because then the registers could be reversed
  1071. afterwards -> you get something like "movl %eax, %edx; movl %edx,%eax")
  1072. Revision 1.101 2003/07/08 21:24:59 peter
  1073. * sparc fixes
  1074. Revision 1.100 2003/07/06 21:50:33 jonas
  1075. * fixed ppc compilation problems and changed VOLATILE_REGISTERS for x86
  1076. so that it doesn't include ebp and esp anymore
  1077. Revision 1.99 2003/07/06 17:58:22 peter
  1078. * framepointer fixes for sparc
  1079. * parent framepointer code more generic
  1080. Revision 1.98 2003/07/06 15:31:20 daniel
  1081. * Fixed register allocator. *Lots* of fixes.
  1082. Revision 1.97 2003/07/05 20:21:26 jonas
  1083. * create_paraloc_info() is now called separately for the caller and
  1084. callee info
  1085. * fixed ppc cycle
  1086. Revision 1.96 2003/07/02 22:18:04 peter
  1087. * paraloc splitted in paraloc[callerside],calleeparaloc
  1088. * sparc calling convention updates
  1089. Revision 1.95 2003/06/17 16:34:44 jonas
  1090. * lots of newra fixes (need getfuncretparaloc implementation for i386)!
  1091. * renamed all_intregisters to paramanager.get_volatile_registers_int(pocall_default) and made it
  1092. processor dependent
  1093. Revision 1.94 2003/06/15 16:52:02 jonas
  1094. * release function result registers if the functino result isn't used
  1095. * don't allocate function result register with -dnewra if there is none
  1096. * some optimizations for non-x86 processor (don't save any registers
  1097. before a call)
  1098. Revision 1.93 2003/06/13 21:19:30 peter
  1099. * current_procdef removed, use current_procinfo.procdef instead
  1100. Revision 1.92 2003/06/12 21:10:50 peter
  1101. * newra fixes
  1102. Revision 1.91 2003/06/12 18:38:45 jonas
  1103. * deallocate parameter registers in time for newra
  1104. * for non-i386, procvars and methodpointers always have to be processed
  1105. in advance, whether or not newra is defined
  1106. Revision 1.90 2003/06/09 14:54:26 jonas
  1107. * (de)allocation of registers for parameters is now performed properly
  1108. (and checked on the ppc)
  1109. - removed obsolete allocation of all parameter registers at the start
  1110. of a procedure (and deallocation at the end)
  1111. Revision 1.89 2003/06/09 12:23:29 peter
  1112. * init/final of procedure data splitted from genentrycode
  1113. * use asmnode getposition to insert final at the correct position
  1114. als for the implicit try...finally
  1115. Revision 1.88 2003/06/08 20:01:53 jonas
  1116. * optimized assignments with on the right side a function that returns
  1117. an ansi- or widestring
  1118. Revision 1.87 2003/06/08 18:21:47 jonas
  1119. * fixed weird error in the copyleft statement :)
  1120. Revision 1.86 2003/06/07 18:57:04 jonas
  1121. + added freeintparaloc
  1122. * ppc get/freeintparaloc now check whether the parameter regs are
  1123. properly allocated/deallocated (and get an extra list para)
  1124. * ppc a_call_* now internalerrors if pi_do_call is not yet set
  1125. * fixed lot of missing pi_do_call's
  1126. Revision 1.85 2003/06/04 06:43:36 jonas
  1127. * fixed double secondpassing of procvar loads
  1128. Revision 1.84 2003/06/03 21:11:09 peter
  1129. * cg.a_load_* get a from and to size specifier
  1130. * makeregsize only accepts newregister
  1131. * i386 uses generic tcgnotnode,tcgunaryminus
  1132. Revision 1.83 2003/06/03 20:27:02 daniel
  1133. * Restored original methodpointer code for non newra case
  1134. Revision 1.82 2003/06/03 13:01:59 daniel
  1135. * Register allocator finished
  1136. Revision 1.81 2003/06/01 21:38:06 peter
  1137. * getregisterfpu size parameter added
  1138. * op_const_reg size parameter added
  1139. * sparc updates
  1140. Revision 1.80 2003/05/31 15:05:28 peter
  1141. * FUNCTION_RESULT64_LOW/HIGH_REG added for int64 results
  1142. Revision 1.79 2003/05/31 00:59:44 peter
  1143. * typo in FUNCTION_RESULT_REG
  1144. Revision 1.78 2003/05/30 23:57:08 peter
  1145. * more sparc cleanup
  1146. * accumulator removed, splitted in function_return_reg (called) and
  1147. function_result_reg (caller)
  1148. Revision 1.77 2003/05/29 10:05:40 jonas
  1149. * free callparatemps created for call-by-reference parameters
  1150. Revision 1.76 2003/05/28 23:58:18 jonas
  1151. * added missing initialization of rg.usedintin,byproc
  1152. * ppc now also saves/restores used fpu registers
  1153. * ncgcal doesn't add used registers to usedby/inproc anymore, except for
  1154. i386
  1155. Revision 1.75 2003/05/26 21:17:17 peter
  1156. * procinlinenode removed
  1157. * aktexit2label removed, fast exit removed
  1158. + tcallnode.inlined_pass_2 added
  1159. Revision 1.74 2003/05/25 11:34:17 peter
  1160. * methodpointer self pushing fixed
  1161. Revision 1.73 2003/05/25 08:59:16 peter
  1162. * inline fixes
  1163. Revision 1.72 2003/05/24 13:36:54 jonas
  1164. * save fpu results in a normal fpu register on non-x86 processors
  1165. Revision 1.71 2003/05/23 19:35:50 jonas
  1166. - undid previous commit, it was wrong
  1167. Revision 1.70 2003/05/23 19:11:58 jonas
  1168. * fixed tests for whether a certain int register is unused
  1169. Revision 1.69 2003/05/23 18:01:56 jonas
  1170. * fixed ppc compiler
  1171. Revision 1.68 2003/05/23 14:27:35 peter
  1172. * remove some unit dependencies
  1173. * current_procinfo changes to store more info
  1174. Revision 1.67 2003/05/17 13:30:08 jonas
  1175. * changed tt_persistant to tt_persistent :)
  1176. * tempcreatenode now doesn't accept a boolean anymore for persistent
  1177. temps, but a ttemptype, so you can also create ansistring temps etc
  1178. Revision 1.66 2003/05/16 14:33:31 peter
  1179. * regvar fixes
  1180. Revision 1.65 2003/05/15 18:58:53 peter
  1181. * removed selfpointer_offset, vmtpointer_offset
  1182. * tvarsym.adjusted_address
  1183. * address in localsymtable is now in the real direction
  1184. * removed some obsolete globals
  1185. Revision 1.64 2003/05/14 19:36:54 jonas
  1186. * patch from Peter for int64 function results
  1187. Revision 1.63 2003/05/13 19:14:41 peter
  1188. * failn removed
  1189. * inherited result code check moven to pexpr
  1190. Revision 1.62 2003/05/13 15:18:18 peter
  1191. * generate code for procvar first before pushing parameters. Made
  1192. the already existing code for powerpc available for all platforms
  1193. Revision 1.61 2003/05/12 18:17:55 jonas
  1194. * moved fpc_check_object call earlier for the ppc, so it can't destroy
  1195. already-loaded parameter registers
  1196. Revision 1.60 2003/05/11 21:48:38 jonas
  1197. * fixed procvar bug on the ppc (load procvar before loading para's,
  1198. because the procvar may otherwise destroy the already loaded paras)
  1199. Revision 1.59 2003/05/09 17:47:02 peter
  1200. * self moved to hidden parameter
  1201. * removed hdisposen,hnewn,selfn
  1202. Revision 1.58 2003/05/05 14:53:16 peter
  1203. * vs_hidden replaced by is_hidden boolean
  1204. Revision 1.57 2003/04/30 20:53:32 florian
  1205. * error when address of an abstract method is taken
  1206. * fixed some x86-64 problems
  1207. * merged some more x86-64 and i386 code
  1208. Revision 1.56 2003/04/29 07:28:52 michael
  1209. + Patch from peter to fix wrong pushing of ansistring function results in open array
  1210. Revision 1.55 2003/04/27 11:21:33 peter
  1211. * aktprocdef renamed to current_procinfo.procdef
  1212. * procinfo renamed to current_procinfo
  1213. * procinfo will now be stored in current_module so it can be
  1214. cleaned up properly
  1215. * gen_main_procsym changed to create_main_proc and release_main_proc
  1216. to also generate a tprocinfo structure
  1217. * fixed unit implicit initfinal
  1218. Revision 1.54 2003/04/27 07:29:50 peter
  1219. * current_procinfo.procdef cleanup, current_procinfo.procdef is now always nil when parsing
  1220. a new procdef declaration
  1221. * aktprocsym removed
  1222. * lexlevel removed, use symtable.symtablelevel instead
  1223. * implicit init/final code uses the normal genentry/genexit
  1224. * funcret state checking updated for new funcret handling
  1225. Revision 1.53 2003/04/25 20:59:33 peter
  1226. * removed funcretn,funcretsym, function result is now in varsym
  1227. and aliases for result and function name are added using absolutesym
  1228. * vs_hidden parameter for funcret passed in parameter
  1229. * vs_hidden fixes
  1230. * writenode changed to printnode and released from extdebug
  1231. * -vp option added to generate a tree.log with the nodetree
  1232. * nicer printnode for statements, callnode
  1233. Revision 1.52 2003/04/25 08:25:26 daniel
  1234. * Ifdefs around a lot of calls to cleartempgen
  1235. * Fixed registers that are allocated but not freed in several nodes
  1236. * Tweak to register allocator to cause less spills
  1237. * 8-bit registers now interfere with esi,edi and ebp
  1238. Compiler can now compile rtl successfully when using new register
  1239. allocator
  1240. Revision 1.51 2003/04/22 23:50:22 peter
  1241. * firstpass uses expectloc
  1242. * checks if there are differences between the expectloc and
  1243. location.loc from secondpass in EXTDEBUG
  1244. Revision 1.50 2003/04/22 14:33:38 peter
  1245. * removed some notes/hints
  1246. Revision 1.49 2003/04/22 13:47:08 peter
  1247. * fixed C style array of const
  1248. * fixed C array passing
  1249. * fixed left to right with high parameters
  1250. Revision 1.48 2003/04/22 10:09:34 daniel
  1251. + Implemented the actual register allocator
  1252. + Scratch registers unavailable when new register allocator used
  1253. + maybe_save/maybe_restore unavailable when new register allocator used
  1254. Revision 1.47 2003/04/22 09:49:44 peter
  1255. * do not load self when calling a non-inherited class constructor
  1256. Revision 1.46 2003/04/21 20:03:32 peter
  1257. * forgot to copy vmtrefaddr to selfrefaddr when self=vmt
  1258. Revision 1.45 2003/04/21 13:53:16 jonas
  1259. - removed copying of all paras when secondpassing a callnode (this used
  1260. to be necessary for inlinign support, but currently the whole inlined
  1261. procedure is already copied in advance). Note that the compiler crashes
  1262. when compiling ucomplex with -dTEST_INLINE (also after fixing the
  1263. syntax errors), but that was also the case before this change.
  1264. Revision 1.44 2003/04/10 17:57:52 peter
  1265. * vs_hidden released
  1266. Revision 1.43 2003/04/06 21:11:23 olle
  1267. * changed newasmsymbol to newasmsymboldata for data symbols
  1268. Revision 1.42 2003/04/04 15:38:56 peter
  1269. * moved generic code from n386cal to ncgcal, i386 now also
  1270. uses the generic ncgcal
  1271. Revision 1.41 2003/03/28 19:16:56 peter
  1272. * generic constructor working for i386
  1273. * remove fixed self register
  1274. * esi added as address register for i386
  1275. Revision 1.40 2003/03/06 11:35:50 daniel
  1276. * Fixed internalerror 7843 issue
  1277. Revision 1.39 2003/02/19 22:00:14 daniel
  1278. * Code generator converted to new register notation
  1279. - Horribily outdated todo.txt removed
  1280. Revision 1.38 2003/02/15 22:17:38 carl
  1281. * bugfix of FPU emulation code
  1282. Revision 1.37 2003/02/12 22:10:07 carl
  1283. * load_frame_pointer is now generic
  1284. * change fpu emulation routine names
  1285. Revision 1.36 2003/01/30 21:46:57 peter
  1286. * self fixes for static methods (merged)
  1287. Revision 1.35 2003/01/22 20:45:15 mazen
  1288. * making math code in RTL compiling.
  1289. *NB : This does NOT mean necessary that it will generate correct code!
  1290. Revision 1.34 2003/01/17 12:03:45 daniel
  1291. * Optalign conditional code adapted to record Tregister
  1292. Revision 1.33 2003/01/08 18:43:56 daniel
  1293. * Tregister changed into a record
  1294. Revision 1.32 2002/12/15 22:50:00 florian
  1295. + some stuff for the new hidden parameter handling added
  1296. Revision 1.31 2002/12/15 21:30:12 florian
  1297. * tcallnode.paraitem introduced, all references to defcoll removed
  1298. Revision 1.30 2002/11/27 20:04:39 peter
  1299. * cdecl array of const fixes
  1300. Revision 1.29 2002/11/25 17:43:17 peter
  1301. * splitted defbase in defutil,symutil,defcmp
  1302. * merged isconvertable and is_equal into compare_defs(_ext)
  1303. * made operator search faster by walking the list only once
  1304. Revision 1.28 2002/11/18 17:31:54 peter
  1305. * pass proccalloption to ret_in_xxx and push_xxx functions
  1306. Revision 1.27 2002/11/16 15:34:30 florian
  1307. * generic location for float results
  1308. Revision 1.26 2002/11/15 01:58:51 peter
  1309. * merged changes from 1.0.7 up to 04-11
  1310. - -V option for generating bug report tracing
  1311. - more tracing for option parsing
  1312. - errors for cdecl and high()
  1313. - win32 import stabs
  1314. - win32 records<=8 are returned in eax:edx (turned off by default)
  1315. - heaptrc update
  1316. - more info for temp management in .s file with EXTDEBUG
  1317. Revision 1.25 2002/10/05 12:43:25 carl
  1318. * fixes for Delphi 6 compilation
  1319. (warning : Some features do not work under Delphi)
  1320. Revision 1.24 2002/09/30 07:00:45 florian
  1321. * fixes to common code to get the alpha compiler compiled applied
  1322. Revision 1.23 2002/09/17 18:54:02 jonas
  1323. * a_load_reg_reg() now has two size parameters: source and dest. This
  1324. allows some optimizations on architectures that don't encode the
  1325. register size in the register name.
  1326. Revision 1.22 2002/09/07 15:25:02 peter
  1327. * old logs removed and tabs fixed
  1328. Revision 1.21 2002/09/07 11:50:02 jonas
  1329. * fixed small regalloction info bug
  1330. Revision 1.20 2002/09/02 11:25:20 florian
  1331. * fixed generic procedure variable calling
  1332. Revision 1.19 2002/09/01 21:04:48 florian
  1333. * several powerpc related stuff fixed
  1334. Revision 1.18 2002/09/01 18:43:27 peter
  1335. * include FUNCTION_RETURN_REG in regs_to_push list
  1336. Revision 1.17 2002/09/01 12:13:00 peter
  1337. * use a_call_reg
  1338. * ungetiftemp for procvar of object temp
  1339. Revision 1.16 2002/08/25 19:25:18 peter
  1340. * sym.insert_in_data removed
  1341. * symtable.insertvardata/insertconstdata added
  1342. * removed insert_in_data call from symtable.insert, it needs to be
  1343. called separatly. This allows to deref the address calculation
  1344. * procedures now calculate the parast addresses after the procedure
  1345. directives are parsed. This fixes the cdecl parast problem
  1346. * push_addr_param has an extra argument that specifies if cdecl is used
  1347. or not
  1348. Revision 1.15 2002/08/23 16:14:48 peter
  1349. * tempgen cleanup
  1350. * tt_noreuse temp type added that will be used in genentrycode
  1351. Revision 1.14 2002/08/20 16:55:38 peter
  1352. * don't write (stabs)line info when inlining a procedure
  1353. Revision 1.13 2002/08/19 19:36:42 peter
  1354. * More fixes for cross unit inlining, all tnodes are now implemented
  1355. * Moved pocall_internconst to po_internconst because it is not a
  1356. calling type at all and it conflicted when inlining of these small
  1357. functions was requested
  1358. Revision 1.12 2002/08/18 20:06:23 peter
  1359. * inlining is now also allowed in interface
  1360. * renamed write/load to ppuwrite/ppuload
  1361. * tnode storing in ppu
  1362. * nld,ncon,nbas are already updated for storing in ppu
  1363. Revision 1.11 2002/08/17 22:09:44 florian
  1364. * result type handling in tcgcal.pass_2 overhauled
  1365. * better tnode.dowrite
  1366. * some ppc stuff fixed
  1367. Revision 1.10 2002/08/17 09:23:35 florian
  1368. * first part of procinfo rewrite
  1369. Revision 1.9 2002/08/13 21:40:55 florian
  1370. * more fixes for ppc calling conventions
  1371. Revision 1.8 2002/08/13 18:01:51 carl
  1372. * rename swatoperands to swapoperands
  1373. + m68k first compilable version (still needs a lot of testing):
  1374. assembler generator, system information , inline
  1375. assembler reader.
  1376. Revision 1.7 2002/08/12 15:08:39 carl
  1377. + stab register indexes for powerpc (moved from gdb to cpubase)
  1378. + tprocessor enumeration moved to cpuinfo
  1379. + linker in target_info is now a class
  1380. * many many updates for m68k (will soon start to compile)
  1381. - removed some ifdef or correct them for correct cpu
  1382. Revision 1.6 2002/08/11 14:32:26 peter
  1383. * renamed current_library to objectlibrary
  1384. Revision 1.5 2002/08/11 13:24:11 peter
  1385. * saving of asmsymbols in ppu supported
  1386. * asmsymbollist global is removed and moved into a new class
  1387. tasmlibrarydata that will hold the info of a .a file which
  1388. corresponds with a single module. Added librarydata to tmodule
  1389. to keep the library info stored for the module. In the future the
  1390. objectfiles will also be stored to the tasmlibrarydata class
  1391. * all getlabel/newasmsymbol and friends are moved to the new class
  1392. Revision 1.4 2002/08/06 20:55:20 florian
  1393. * first part of ppc calling conventions fix
  1394. Revision 1.3 2002/07/20 11:57:53 florian
  1395. * types.pas renamed to defbase.pas because D6 contains a types
  1396. unit so this would conflicts if D6 programms are compiled
  1397. + Willamette/SSE2 instructions to assembler added
  1398. Revision 1.2 2002/07/13 19:38:43 florian
  1399. * some more generic calling stuff fixed
  1400. }