ncgcal.pas 75 KB

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