ncgcal.pas 76 KB

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