pass_2.pas 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl
  4. This unit handles the codegeneration pass
  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 pass_2;
  19. {$i fpcdefs.inc}
  20. interface
  21. uses
  22. node;
  23. type
  24. tenumflowcontrol = (fc_exit,fc_break,fc_continue);
  25. tflowcontrol = set of tenumflowcontrol;
  26. var
  27. allow_multi_pass2 : boolean;
  28. flowcontrol : tflowcontrol;
  29. { produces the actual code }
  30. function do_secondpass(var p : tnode) : boolean;
  31. procedure secondpass(var p : tnode);
  32. implementation
  33. uses
  34. {$ifdef EXTDEBUG}
  35. cutils,
  36. {$endif}
  37. globtype,systems,verbose,
  38. cclasses,globals,
  39. symconst,symbase,symtype,symsym,paramgr,
  40. aasmtai,
  41. pass_1,cgbase,
  42. procinfo,
  43. nflw,cgobj;
  44. {*****************************************************************************
  45. SecondPass
  46. *****************************************************************************}
  47. {$ifdef EXTDEBUG}
  48. procedure logsecond(ht:tnodetype; entry: boolean);
  49. const
  50. secondnames: array[tnodetype] of string[13] =
  51. ('<emptynode>',
  52. 'add-addn', {addn}
  53. 'add-muln', {muln}
  54. 'add-subn', {subn}
  55. 'moddiv-divn', {divn}
  56. 'add-symdifn', {symdifn}
  57. 'moddiv-modn', {modn}
  58. 'assignment', {assignn}
  59. 'load', {loadn}
  60. 'nothing-range', {range}
  61. 'add-ltn', {ltn}
  62. 'add-lten', {lten}
  63. 'add-gtn', {gtn}
  64. 'add-gten', {gten}
  65. 'add-equaln', {equaln}
  66. 'add-unequaln', {unequaln}
  67. 'in', {inn}
  68. 'add-orn', {orn}
  69. 'add-xorn', {xorn}
  70. 'shlshr-shrn', {shrn}
  71. 'shlshr-shln', {shln}
  72. 'add-slashn', {slashn}
  73. 'add-andn', {andn}
  74. 'subscriptn', {subscriptn}
  75. 'deref', {derefn}
  76. 'addr', {addrn}
  77. 'ordconst', {ordconstn}
  78. 'typeconv', {typeconvn}
  79. 'calln', {calln}
  80. 'noth-callpar',{callparan}
  81. 'realconst', {realconstn}
  82. 'unaryminus', {unaryminusn}
  83. 'asm', {asmn}
  84. 'vecn', {vecn}
  85. 'pointerconst',{pointerconstn}
  86. 'stringconst', {stringconstn}
  87. 'not', {notn}
  88. 'inline', {inlinen}
  89. 'niln', {niln}
  90. 'error', {errorn}
  91. 'nothing-typen', {typen}
  92. 'setelement', {setelementn}
  93. 'setconst', {setconstn}
  94. 'blockn', {blockn}
  95. 'statement', {statementn}
  96. 'ifn', {ifn}
  97. 'breakn', {breakn}
  98. 'continuen', {continuen}
  99. 'while_repeat', {whilerepeatn}
  100. 'for', {forn}
  101. 'exitn', {exitn}
  102. 'with', {withn}
  103. 'case', {casen}
  104. 'label', {labeln}
  105. 'goto', {goton}
  106. 'tryexcept', {tryexceptn}
  107. 'raise', {raisen}
  108. 'tryfinally', {tryfinallyn}
  109. 'on', {onn}
  110. 'is', {isn}
  111. 'as', {asn}
  112. 'error-caret', {caretn}
  113. 'add-starstar', {starstarn}
  114. 'arrayconstruc', {arrayconstructn}
  115. 'noth-arrcnstr', {arrayconstructrangen}
  116. 'tempcreaten',
  117. 'temprefn',
  118. 'tempdeleten',
  119. 'addoptn',
  120. 'nothing-nothg', {nothingn}
  121. 'loadvmt', {loadvmtn}
  122. 'guidconstn',
  123. 'rttin',
  124. 'loadparentfpn'
  125. );
  126. var
  127. p: pchar;
  128. begin
  129. if entry then
  130. p := strpnew('second '+secondnames[ht]+' (entry)')
  131. else
  132. p := strpnew('second '+secondnames[ht]+' (exit)');
  133. exprasmlist.concat(tai_comment.create(p));
  134. end;
  135. {$endif EXTDEBUG}
  136. procedure secondpass(var p : tnode);
  137. var
  138. oldcodegenerror : boolean;
  139. oldlocalswitches : tlocalswitches;
  140. oldpos : tfileposinfo;
  141. begin
  142. if not assigned(p) then
  143. internalerror(200208221);
  144. if not(nf_error in p.flags) then
  145. begin
  146. oldcodegenerror:=codegenerror;
  147. oldlocalswitches:=aktlocalswitches;
  148. oldpos:=aktfilepos;
  149. aktfilepos:=p.fileinfo;
  150. aktlocalswitches:=p.localswitches;
  151. codegenerror:=false;
  152. {$ifdef EXTDEBUG}
  153. if (p.expectloc=LOC_INVALID) then
  154. Comment(V_Warning,'ExpectLoc is not set before secondpass: '+nodetype2str[p.nodetype]);
  155. if (not allow_multi_pass2) and
  156. (p.location.loc<>LOC_INVALID) then
  157. Comment(V_Warning,'Location.Loc is already set before secondpass: '+nodetype2str[p.nodetype]);
  158. if (cs_asm_nodes in aktglobalswitches) then
  159. logsecond(p.nodetype,true);
  160. {$endif EXTDEBUG}
  161. p.pass_2;
  162. {$ifdef EXTDEBUG}
  163. if (cs_asm_nodes in aktglobalswitches) then
  164. logsecond(p.nodetype,false);
  165. if (not codegenerror) then
  166. begin
  167. if (p.location.loc=LOC_INVALID) then
  168. Comment(V_Warning,'Location not set in secondpass: '+nodetype2str[p.nodetype])
  169. else if (p.location.loc<>p.expectloc) then
  170. Comment(V_Warning,'Location is different in secondpass: '+nodetype2str[p.nodetype]);
  171. end;
  172. {$endif EXTDEBUG}
  173. if codegenerror then
  174. include(p.flags,nf_error);
  175. codegenerror:=codegenerror or oldcodegenerror;
  176. aktlocalswitches:=oldlocalswitches;
  177. aktfilepos:=oldpos;
  178. end
  179. else
  180. codegenerror:=true;
  181. end;
  182. function do_secondpass(var p : tnode) : boolean;
  183. begin
  184. codegenerror:=false;
  185. if not(nf_error in p.flags) then
  186. secondpass(p);
  187. do_secondpass:=codegenerror;
  188. end;
  189. end.
  190. {
  191. $Log$
  192. Revision 1.73 2003-10-30 16:22:40 peter
  193. * call firstpass before allocation and codegeneration is started
  194. * move leftover code from pass_2.generatecode() to psub
  195. Revision 1.72 2003/10/19 01:34:30 florian
  196. * some ppc stuff fixed
  197. * memory leak fixed
  198. Revision 1.71 2003/10/18 15:41:26 peter
  199. * made worklists dynamic in size
  200. Revision 1.70 2003/10/17 15:08:34 peter
  201. * commented out more obsolete constants
  202. Revision 1.69 2003/10/10 17:48:13 peter
  203. * old trgobj moved to x86/rgcpu and renamed to trgx86fpu
  204. * tregisteralloctor renamed to trgobj
  205. * removed rgobj from a lot of units
  206. * moved location_* and reference_* to cgobj
  207. * first things for mmx register allocation
  208. Revision 1.68 2003/10/09 21:31:37 daniel
  209. * Register allocator splitted, ans abstract now
  210. Revision 1.67 2003/10/01 20:34:49 peter
  211. * procinfo unit contains tprocinfo
  212. * cginfo renamed to cgbase
  213. * moved cgmessage to verbose
  214. * fixed ppc and sparc compiles
  215. Revision 1.66 2003/09/28 21:45:52 peter
  216. * fix register leak in with debug
  217. Revision 1.65 2003/09/28 17:55:04 peter
  218. * parent framepointer changed to hidden parameter
  219. * tloadparentfpnode added
  220. Revision 1.64 2003/09/03 15:55:01 peter
  221. * NEWRA branch merged
  222. Revision 1.63.2.3 2003/08/31 15:46:26 peter
  223. * more updates for tregister
  224. Revision 1.63.2.2 2003/08/31 13:50:16 daniel
  225. * Remove sorting and use pregenerated indexes
  226. * Some work on making things compile
  227. Revision 1.63.2.1 2003/08/29 17:28:59 peter
  228. * next batch of updates
  229. Revision 1.63 2003/08/11 21:18:20 peter
  230. * start of sparc support for newra
  231. Revision 1.62 2003/08/10 17:25:23 peter
  232. * fixed some reported bugs
  233. Revision 1.61 2003/07/06 17:58:22 peter
  234. * framepointer fixes for sparc
  235. * parent framepointer code more generic
  236. Revision 1.60 2003/07/06 15:31:20 daniel
  237. * Fixed register allocator. *Lots* of fixes.
  238. Revision 1.59 2003/07/06 10:18:47 jonas
  239. * also generate the caller paraloc info of a procedure if it doesn't exist
  240. yet at the start of pass_2
  241. Revision 1.58 2003/07/05 20:13:03 jonas
  242. * create_paraloc_info() is now called separately for the caller and
  243. callee info
  244. * fixed ppc cycle
  245. Revision 1.57 2003/06/13 21:19:30 peter
  246. * current_procdef removed, use current_procinfo.procdef instead
  247. Revision 1.56 2003/06/12 16:43:07 peter
  248. * newra compiles for sparc
  249. Revision 1.55 2003/06/09 12:23:30 peter
  250. * init/final of procedure data splitted from genentrycode
  251. * use asmnode getposition to insert final at the correct position
  252. als for the implicit try...finally
  253. Revision 1.54 2003/06/03 13:01:59 daniel
  254. * Register allocator finished
  255. Revision 1.53 2003/05/26 21:17:17 peter
  256. * procinlinenode removed
  257. * aktexit2label removed, fast exit removed
  258. + tcallnode.inlined_pass_2 added
  259. Revision 1.52 2003/05/15 18:58:53 peter
  260. * removed selfpointer_offset, vmtpointer_offset
  261. * tvarsym.adjusted_address
  262. * address in localsymtable is now in the real direction
  263. * removed some obsolete globals
  264. Revision 1.51 2003/05/13 19:14:41 peter
  265. * failn removed
  266. * inherited result code check moven to pexpr
  267. Revision 1.50 2003/05/09 17:47:02 peter
  268. * self moved to hidden parameter
  269. * removed hdisposen,hnewn,selfn
  270. Revision 1.49 2003/04/27 11:21:33 peter
  271. * aktprocdef renamed to current_procinfo.procdef
  272. * procinfo renamed to current_procinfo
  273. * procinfo will now be stored in current_module so it can be
  274. cleaned up properly
  275. * gen_main_procsym changed to create_main_proc and release_main_proc
  276. to also generate a tprocinfo structure
  277. * fixed unit implicit initfinal
  278. Revision 1.48 2003/04/27 07:29:50 peter
  279. * current_procinfo.procdef cleanup, current_procdef is now always nil when parsing
  280. a new procdef declaration
  281. * aktprocsym removed
  282. * lexlevel removed, use symtable.symtablelevel instead
  283. * implicit init/final code uses the normal genentry/genexit
  284. * funcret state checking updated for new funcret handling
  285. Revision 1.47 2003/04/25 20:59:33 peter
  286. * removed funcretn,funcretsym, function result is now in varsym
  287. and aliases for result and function name are added using absolutesym
  288. * vs_hidden parameter for funcret passed in parameter
  289. * vs_hidden fixes
  290. * writenode changed to printnode and released from extdebug
  291. * -vp option added to generate a tree.log with the nodetree
  292. * nicer printnode for statements, callnode
  293. Revision 1.46 2003/04/23 10:12:14 peter
  294. * allow multi pass2 changed to global boolean instead of node flag
  295. Revision 1.45 2003/04/22 23:50:23 peter
  296. * firstpass uses expectloc
  297. * checks if there are differences between the expectloc and
  298. location.loc from secondpass in EXTDEBUG
  299. Revision 1.44 2003/04/22 12:45:58 florian
  300. * fixed generic in operator code
  301. + added debug code to check if all scratch registers are released
  302. Revision 1.43 2003/01/09 20:40:59 daniel
  303. * Converted some code in cgx86.pas to new register numbering
  304. Revision 1.42 2003/01/09 15:49:56 daniel
  305. * Added register conversion
  306. Revision 1.41 2002/12/22 14:35:39 peter
  307. * removed Writeln
  308. Revision 1.40 2002/12/21 23:21:47 mazen
  309. + added support for the shift nodes
  310. + added debug output on screen with -an command line option
  311. Revision 1.39 2002/08/23 16:14:49 peter
  312. * tempgen cleanup
  313. * tt_noreuse temp type added that will be used in genentrycode
  314. Revision 1.38 2002/08/20 16:55:38 peter
  315. * don't write (stabs)line info when inlining a procedure
  316. Revision 1.37 2002/08/19 19:36:44 peter
  317. * More fixes for cross unit inlining, all tnodes are now implemented
  318. * Moved pocall_internconst to po_internconst because it is not a
  319. calling type at all and it conflicted when inlining of these small
  320. functions was requested
  321. Revision 1.36 2002/08/18 20:06:24 peter
  322. * inlining is now also allowed in interface
  323. * renamed write/load to ppuwrite/ppuload
  324. * tnode storing in ppu
  325. * nld,ncon,nbas are already updated for storing in ppu
  326. Revision 1.35 2002/08/17 09:23:38 florian
  327. * first part of procinfo rewrite
  328. Revision 1.34 2002/08/15 19:10:35 peter
  329. * first things tai,tnode storing in ppu
  330. Revision 1.33 2002/07/30 20:50:44 florian
  331. * the code generator knows now if parameters are in registers
  332. Revision 1.32 2002/07/19 11:41:36 daniel
  333. * State tracker work
  334. * The whilen and repeatn are now completely unified into whilerepeatn. This
  335. allows the state tracker to change while nodes automatically into
  336. repeat nodes.
  337. * Resulttypepass improvements to the notn. 'not not a' is optimized away and
  338. 'not(a>b)' is optimized into 'a<=b'.
  339. * Resulttypepass improvements to the whilerepeatn. 'while not a' is optimized
  340. by removing the notn and later switchting the true and falselabels. The
  341. same is done with 'repeat until not a'.
  342. Revision 1.31 2002/07/01 18:46:25 peter
  343. * internal linker
  344. * reorganized aasm layer
  345. Revision 1.30 2002/05/18 13:34:11 peter
  346. * readded missing revisions
  347. Revision 1.29 2002/05/16 19:46:42 carl
  348. + defines.inc -> fpcdefs.inc to avoid conflicts if compiling by hand
  349. + try to fix temp allocation (still in ifdef)
  350. + generic constructor calls
  351. + start of tassembler / tmodulebase class cleanup
  352. Revision 1.27 2002/05/12 16:53:08 peter
  353. * moved entry and exitcode to ncgutil and cgobj
  354. * foreach gets extra argument for passing local data to the
  355. iterator function
  356. * -CR checks also class typecasts at runtime by changing them
  357. into as
  358. * fixed compiler to cycle with the -CR option
  359. * fixed stabs with elf writer, finally the global variables can
  360. be watched
  361. * removed a lot of routines from cga unit and replaced them by
  362. calls to cgobj
  363. * u32bit-s32bit updates for and,or,xor nodes. When one element is
  364. u32bit then the other is typecasted also to u32bit without giving
  365. a rangecheck warning/error.
  366. * fixed pascal calling method with reversing also the high tree in
  367. the parast, detected by tcalcst3 test
  368. Revision 1.26 2002/04/21 19:02:04 peter
  369. * removed newn and disposen nodes, the code is now directly
  370. inlined from pexpr
  371. * -an option that will write the secondpass nodes to the .s file, this
  372. requires EXTDEBUG define to actually write the info
  373. * fixed various internal errors and crashes due recent code changes
  374. Revision 1.25 2002/04/20 21:32:24 carl
  375. + generic FPC_CHECKPOINTER
  376. + first parameter offset in stack now portable
  377. * rename some constants
  378. + move some cpu stuff to other units
  379. - remove unused constents
  380. * fix stacksize for some targets
  381. * fix generic size problems which depend now on EXTEND_SIZE constant
  382. Revision 1.24 2002/04/07 13:30:13 carl
  383. - removed unused variable
  384. Revision 1.23 2002/04/02 17:11:29 peter
  385. * tlocation,treference update
  386. * LOC_CONSTANT added for better constant handling
  387. * secondadd splitted in multiple routines
  388. * location_force_reg added for loading a location to a register
  389. of a specified size
  390. * secondassignment parses now first the right and then the left node
  391. (this is compatible with Kylix). This saves a lot of push/pop especially
  392. with string operations
  393. * adapted some routines to use the new cg methods
  394. Revision 1.22 2002/03/31 20:26:35 jonas
  395. + a_loadfpu_* and a_loadmm_* methods in tcg
  396. * register allocation is now handled by a class and is mostly processor
  397. independent (+rgobj.pas and i386/rgcpu.pas)
  398. * temp allocation is now handled by a class (+tgobj.pas, -i386\tgcpu.pas)
  399. * some small improvements and fixes to the optimizer
  400. * some register allocation fixes
  401. * some fpuvaroffset fixes in the unary minus node
  402. * push/popusedregisters is now called rg.save/restoreusedregisters and
  403. (for i386) uses temps instead of push/pop's when using -Op3 (that code is
  404. also better optimizable)
  405. * fixed and optimized register saving/restoring for new/dispose nodes
  406. * LOC_FPU locations now also require their "register" field to be set to
  407. R_ST, not R_ST0 (the latter is used for LOC_CFPUREGISTER locations only)
  408. - list field removed of the tnode class because it's not used currently
  409. and can cause hard-to-find bugs
  410. }