globtype.pas 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl, Pierre Muller
  4. Global types
  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 globtype;
  19. {$i fpcdefs.inc}
  20. interface
  21. const
  22. maxidlen = 64;
  23. type
  24. {$ifdef ver1_0}
  25. { Bootstrapping }
  26. PtrInt = DWord;
  27. SizeInt = Longint;
  28. {$endif ver1_0}
  29. { Switches which can be changed locally }
  30. tlocalswitch = (cs_localnone,
  31. { codegen }
  32. cs_check_overflow,cs_check_range,cs_check_object,
  33. cs_check_io,cs_check_stack,
  34. cs_omitstackframe,cs_do_assertion,cs_generate_rtti,
  35. cs_full_boolean_eval,cs_typed_const_writable,
  36. { mmx }
  37. cs_mmx,cs_mmx_saturation,
  38. { parser }
  39. cs_typed_addresses,cs_strict_var_strings,cs_ansistrings
  40. );
  41. tlocalswitches = set of tlocalswitch;
  42. { Switches which can be changed only at the beginning of a new module }
  43. tmoduleswitch = (cs_modulenone,
  44. { parser }
  45. cs_fp_emulation,cs_extsyntax,cs_openstring,
  46. { support }
  47. cs_support_inline,cs_support_goto,cs_support_macro,
  48. cs_support_c_operators,cs_static_keyword,
  49. { generation }
  50. cs_profile,cs_debuginfo,cs_browser,cs_local_browser,cs_compilesystem,
  51. cs_lineinfo,cs_threading,cs_implicit_exceptions,
  52. { linking }
  53. cs_create_smart,cs_create_dynamic,cs_create_pic
  54. );
  55. tmoduleswitches = set of tmoduleswitch;
  56. { Switches which can be changed only for a whole program/compilation,
  57. mostly set with commandline }
  58. tglobalswitch = (cs_globalnone,
  59. { parameter switches }
  60. cs_check_unit_name,cs_constructor_name,
  61. { units }
  62. cs_load_objpas_unit,
  63. cs_load_gpc_unit,
  64. { optimizer }
  65. cs_regvars,cs_no_regalloc,cs_uncertainopts,cs_littlesize,
  66. cs_optimize,cs_fastoptimize,cs_slowoptimize,cs_align,
  67. { browser }
  68. cs_browser_log,
  69. { debugger }
  70. cs_gdb_dbx,cs_gdb_gsym,cs_gdb_heaptrc,cs_gdb_lineinfo,
  71. cs_checkpointer,cs_gdb_valgrind,
  72. { assembling }
  73. cs_asm_leave,cs_asm_extern,cs_asm_pipe,cs_asm_source,
  74. cs_asm_regalloc,cs_asm_tempalloc,cs_asm_nodes,
  75. { linking }
  76. cs_link_extern,cs_link_static,cs_link_smart,cs_link_shared,cs_link_deffile,
  77. cs_link_strip,cs_link_staticflag,cs_link_on_target,cs_link_internal,
  78. cs_link_map,cs_link_pthread
  79. );
  80. tglobalswitches = set of tglobalswitch;
  81. { Switches which can be changed by a mode (fpc,tp7,delphi) }
  82. tmodeswitch = (m_none,m_all, { needed for keyword }
  83. { generic }
  84. m_fpc,m_objfpc,m_delphi,m_tp7,m_gpc,m_mac,
  85. { more specific }
  86. m_class, { delphi class model }
  87. m_objpas, { load objpas unit }
  88. m_result, { result in functions }
  89. m_string_pchar, { pchar 2 string conversion }
  90. m_cvar_support, { cvar variable directive }
  91. m_nested_comment, { nested comments }
  92. m_tp_procvar, { tp style procvars (no @ needed) }
  93. m_repeat_forward, { repeating forward declarations is needed }
  94. m_pointer_2_procedure, { allows the assignement of pointers to
  95. procedure variables }
  96. m_autoderef, { does auto dereferencing of struct. vars }
  97. m_initfinal, { initialization/finalization for units }
  98. m_add_pointer, { allow pointer add/sub operations }
  99. m_default_ansistring, { ansistring turned on by default }
  100. m_out, { support the calling convention OUT }
  101. m_default_para, { support default parameters }
  102. m_hintdirective, { support hint directives }
  103. m_duplicate_names { allow locals/paras to have duplicate names of globals }
  104. );
  105. tmodeswitches = set of tmodeswitch;
  106. { Win32, OS/2 & MacOS application types }
  107. tapptype = (
  108. app_none,
  109. app_gui, { graphic user-interface application}
  110. app_cui, { console application}
  111. app_fs, { full-screen type application (OS/2 and EMX only) }
  112. app_tool { tool application, (MPW tool for MacOS, MacOS only)}
  113. );
  114. { interface types }
  115. tinterfacetypes = (
  116. it_interfacecom,
  117. it_interfacecorba
  118. );
  119. { currently parsed block type }
  120. tblock_type = (bt_none,
  121. bt_general,bt_type,bt_const,bt_except,bt_body
  122. );
  123. { calling convention for tprocdef and tprocvardef }
  124. tproccalloption=(pocall_none,
  125. { procedure uses C styled calling }
  126. pocall_cdecl,
  127. { C++ calling conventions }
  128. pocall_cppdecl,
  129. { Procedure is used for internal compiler calls }
  130. pocall_compilerproc,
  131. { Far16 for OS/2 }
  132. pocall_far16,
  133. { Old style FPC default calling }
  134. pocall_oldfpccall,
  135. { Procedure is an assembler macro }
  136. pocall_inline,
  137. { Procedure has compiler magic}
  138. pocall_internproc,
  139. { procedure is a system call, applies e.g. to MorphOS and PalmOS }
  140. pocall_syscall,
  141. { pascal standard left to right }
  142. pocall_pascal,
  143. { procedure uses register (fastcall) calling }
  144. pocall_register,
  145. { safe call calling conventions }
  146. pocall_safecall,
  147. { procedure uses stdcall call }
  148. pocall_stdcall,
  149. { Special calling convention for cpus without a floating point
  150. unit. Floating point numbers are passed in integer registers
  151. instead of floating point registers. Depending on the other
  152. available calling conventions available for the cpu
  153. this replaces either pocall_fastcall or pocall_stdcall.
  154. }
  155. pocall_softfloat
  156. );
  157. tproccalloptions = set of tproccalloption;
  158. {$ifdef ansistring_bits}
  159. Tstringbits=(sb_16,sb_32,sb_64);
  160. {$endif}
  161. const
  162. proccalloptionStr : array[tproccalloption] of string[14]=('',
  163. 'CDecl',
  164. 'CPPDecl',
  165. 'CompilerProc',
  166. 'Far16',
  167. 'OldFPCCall',
  168. 'Inline',
  169. 'InternProc',
  170. 'SysCall',
  171. 'Pascal',
  172. 'Register',
  173. 'SafeCall',
  174. 'StdCall',
  175. 'SoftFloat'
  176. );
  177. { Default calling convention }
  178. {$ifdef x86}
  179. pocall_default = pocall_register;
  180. {$else}
  181. pocall_default = pocall_stdcall;
  182. {$endif}
  183. type
  184. stringid = string[maxidlen];
  185. tnormalset = set of byte; { 256 elements set }
  186. pnormalset = ^tnormalset;
  187. pboolean = ^boolean;
  188. pdouble = ^double;
  189. pbyte = ^byte;
  190. pword = ^word;
  191. plongint = ^longint;
  192. plongintarray = plongint;
  193. Tconstant=record
  194. case signed:boolean of
  195. false:
  196. (valueu:cardinal);
  197. true:
  198. (values:longint);
  199. end;
  200. {$ifndef Delphi}
  201. {$ifndef xFPC}
  202. type
  203. pguid = ^tguid;
  204. tguid = packed record
  205. D1: LongWord;
  206. D2: Word;
  207. D3: Word;
  208. D4: array[0..7] of Byte;
  209. end;
  210. {$endif}
  211. {$endif}
  212. const
  213. { link options }
  214. link_none = $0;
  215. link_allways = $1;
  216. link_static = $2;
  217. link_smart = $4;
  218. link_shared = $8;
  219. implementation
  220. end.
  221. {
  222. $Log$
  223. Revision 1.54 2004-05-02 11:48:46 peter
  224. * strlenint is replaced with sizeint
  225. Revision 1.53 2004/04/29 19:56:36 daniel
  226. * Prepare compiler infrastructure for multiple ansistring types
  227. Revision 1.52 2004/04/28 15:19:03 florian
  228. + syscall directive support for MorphOS added
  229. Revision 1.51 2004/04/04 18:46:09 olle
  230. + added $APPTYPE TOOL for MPW tools on MacOS
  231. Revision 1.50 2004/03/10 22:52:57 peter
  232. * more stabs fixes
  233. * special mode -gv for valgrind compatible stabs
  234. Revision 1.49 2004/02/15 16:34:18 marco
  235. * pthread on -CURRENT related fixes.
  236. Revision 1.48 2003/12/23 23:22:35 peter
  237. * register calling is now default for i386
  238. Revision 1.47 2003/12/14 20:51:17 daniel
  239. * Register calling disabled again
  240. Revision 1.46 2003/12/14 20:24:28 daniel
  241. * Register allocator speed optimizations
  242. - Worklist no longer a ringbuffer
  243. - No find operations are left
  244. - Simplify now done in constant time
  245. - unusedregs is now a Tsuperregisterworklist
  246. - Microoptimizations
  247. Revision 1.45 2003/12/04 23:27:32 peter
  248. * remove redundant calls to add_edge_used
  249. Revision 1.44 2003/11/07 15:58:32 florian
  250. * Florian's culmutative nr. 1; contains:
  251. - invalid calling conventions for a certain cpu are rejected
  252. - arm softfloat calling conventions
  253. - -Sp for cpu dependend code generation
  254. - several arm fixes
  255. - remaining code for value open array paras on heap
  256. Revision 1.43 2003/09/28 13:39:58 peter
  257. * default calling convention changed to stdcall
  258. Revision 1.42 2003/09/07 22:09:35 peter
  259. * preparations for different default calling conventions
  260. * various RA fixes
  261. Revision 1.41 2003/09/04 21:37:29 olle
  262. + added new lagnuage mode: MAC
  263. Revision 1.40 2003/09/03 15:55:00 peter
  264. * NEWRA branch merged
  265. Revision 1.39 2003/08/09 18:56:54 daniel
  266. * cs_regalloc renamed to cs_regvars to avoid confusion with register
  267. allocator
  268. * Some preventive changes to i386 spillinh code
  269. Revision 1.38 2003/04/27 11:21:32 peter
  270. * aktprocdef renamed to current_procdef
  271. * procinfo renamed to current_procinfo
  272. * procinfo will now be stored in current_module so it can be
  273. cleaned up properly
  274. * gen_main_procsym changed to create_main_proc and release_main_proc
  275. to also generate a tprocinfo structure
  276. * fixed unit implicit initfinal
  277. Revision 1.37 2003/04/27 07:29:50 peter
  278. * current_procdef cleanup, current_procdef is now always nil when parsing
  279. a new procdef declaration
  280. * aktprocsym removed
  281. * lexlevel removed, use symtable.symtablelevel instead
  282. * implicit init/final code uses the normal genentry/genexit
  283. * funcret state checking updated for new funcret handling
  284. Revision 1.36 2003/04/22 23:50:22 peter
  285. * firstpass uses expectloc
  286. * checks if there are differences between the expectloc and
  287. location.loc from secondpass in EXTDEBUG
  288. Revision 1.35 2003/03/08 08:59:07 daniel
  289. + $define newra will enable new register allocator
  290. + getregisterint will return imaginary registers with $newra
  291. + -sr switch added, will skip register allocation so you can see
  292. the direct output of the code generator before register allocation
  293. Revision 1.34 2002/10/16 19:01:43 peter
  294. + $IMPLICITEXCEPTIONS switch to turn on/off generation of the
  295. implicit exception frames for procedures with initialized variables
  296. and for constructors. The default is on for compatibility
  297. Revision 1.33 2002/10/14 19:43:41 peter
  298. * threading switch, defines the symbol FPC_THREADING
  299. Revision 1.32 2002/10/05 12:43:24 carl
  300. * fixes for Delphi 6 compilation
  301. (warning : Some features do not work under Delphi)
  302. Revision 1.31 2002/08/19 19:36:42 peter
  303. * More fixes for cross unit inlining, all tnodes are now implemented
  304. * Moved pocall_internconst to po_internconst because it is not a
  305. calling type at all and it conflicted when inlining of these small
  306. functions was requested
  307. Revision 1.30 2002/08/12 15:08:39 carl
  308. + stab register indexes for powerpc (moved from gdb to cpubase)
  309. + tprocessor enumeration moved to cpuinfo
  310. + linker in target_info is now a class
  311. * many many updates for m68k (will soon start to compile)
  312. - removed some ifdef or correct them for correct cpu
  313. Revision 1.29 2002/08/06 20:55:20 florian
  314. * first part of ppc calling conventions fix
  315. Revision 1.28 2002/07/04 20:43:00 florian
  316. * first x86-64 patches
  317. Revision 1.27 2002/07/01 18:46:22 peter
  318. * internal linker
  319. * reorganized aasm layer
  320. Revision 1.26 2002/05/18 13:34:08 peter
  321. * readded missing revisions
  322. Revision 1.25 2002/05/16 19:46:36 carl
  323. + defines.inc -> fpcdefs.inc to avoid conflicts if compiling by hand
  324. + try to fix temp allocation (still in ifdef)
  325. + generic constructor calls
  326. + start of tassembler / tmodulebase class cleanup
  327. Revision 1.23 2002/05/12 16:53:05 peter
  328. * moved entry and exitcode to ncgutil and cgobj
  329. * foreach gets extra argument for passing local data to the
  330. iterator function
  331. * -CR checks also class typecasts at runtime by changing them
  332. into as
  333. * fixed compiler to cycle with the -CR option
  334. * fixed stabs with elf writer, finally the global variables can
  335. be watched
  336. * removed a lot of routines from cga unit and replaced them by
  337. calls to cgobj
  338. * u32bit-s32bit updates for and,or,xor nodes. When one element is
  339. u32bit then the other is typecasted also to u32bit without giving
  340. a rangecheck warning/error.
  341. * fixed pascal calling method with reversing also the high tree in
  342. the parast, detected by tcalcst3 test
  343. Revision 1.22 2002/04/21 19:02:03 peter
  344. * removed newn and disposen nodes, the code is now directly
  345. inlined from pexpr
  346. * -an option that will write the secondpass nodes to the .s file, this
  347. requires EXTDEBUG define to actually write the info
  348. * fixed various internal errors and crashes due recent code changes
  349. Revision 1.21 2002/03/24 19:05:59 carl
  350. + patch for SPARC from Mazen NEIFER
  351. Revision 1.20 2002/01/24 18:25:48 peter
  352. * implicit result variable generation for assembler routines
  353. * removed m_tp modeswitch, use m_tp7 or not(m_fpc) instead
  354. }