globtype.pas 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791
  1. {
  2. Copyright (c) 1998-2002 by Florian Klaempfl, Pierre Muller
  3. Global types
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program; if not, write to the Free Software
  14. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  15. ****************************************************************************
  16. }
  17. unit globtype;
  18. {$i fpcdefs.inc}
  19. interface
  20. const
  21. maxidlen = 127;
  22. type
  23. { TCmdStr is used to pass command line parameters to an external program to be
  24. executed from the FPC application. In some circomstances, this can be more
  25. than 255 characters. That's why using Ansi Strings}
  26. TCmdStr = AnsiString;
  27. TPathStr = AnsiString;
  28. {$ifdef symansistr}
  29. TSymStr = AnsiString;
  30. {$else symansistr}
  31. TSymStr = ShortString;
  32. {$endif symansistr}
  33. PSymStr = ^TSymStr;
  34. Int32 = Longint;
  35. { Integer type corresponding to pointer size }
  36. {$ifdef cpu64bitaddr}
  37. PUint = qword;
  38. PInt = int64;
  39. {$endif cpu64bitaddr}
  40. {$ifdef cpu32bitaddr}
  41. PUint = cardinal;
  42. PInt = longint;
  43. {$endif cpu32bitaddr}
  44. {$ifdef cpu16bitaddr}
  45. PUint = word;
  46. PInt = Smallint;
  47. {$endif cpu16bitaddr}
  48. { Natural integer register type and size for the target machine }
  49. {$ifdef cpu64bitalu}
  50. AWord = qword;
  51. AInt = Int64;
  52. Const
  53. AIntBits = 64;
  54. {$endif cpu64bitalu}
  55. {$ifdef cpu32bitalu}
  56. AWord = longword;
  57. AInt = longint;
  58. Const
  59. AIntBits = 32;
  60. {$endif cpu32bitalu}
  61. {$ifdef cpu16bitalu}
  62. AWord = Word;
  63. AInt = Smallint;
  64. Const
  65. AIntBits = 16;
  66. {$endif cpu16bitalu}
  67. {$ifdef cpu8bitalu}
  68. AWord = Byte;
  69. AInt = Shortint;
  70. Const
  71. AIntBits = 8;
  72. {$endif cpu8bitalu}
  73. Type
  74. PAWord = ^AWord;
  75. PAInt = ^AInt;
  76. { target cpu specific type used to store data sizes }
  77. {$ifdef cpu16bitaddr}
  78. { on small CPUs such as i8086, we use LongInt to support data structures
  79. larger than 32767 bytes and up to 65535 bytes in size. Since asizeint
  80. must be signed, we use LongInt/LongWord. }
  81. ASizeInt = LongInt;
  82. ASizeUInt = LongWord;
  83. {$else cpu16bitaddr}
  84. ASizeInt = PInt;
  85. ASizeUInt = PUInt;
  86. {$endif cpu16bitaddr}
  87. { type used for handling constants etc. in the code generator }
  88. TCGInt = Int64;
  89. { This must be an ordinal type with the same size as a pointer
  90. Note: Must be unsigned! Otherwise, ugly code like
  91. pointer(-1) will result in a pointer with the value
  92. $fffffffffffffff on a 32bit machine if the compiler uses
  93. int64 constants internally (JM) }
  94. {$ifdef i8086}
  95. TConstPtrUInt = LongWord; { 32-bit for far pointers support }
  96. {$else i8086}
  97. TConstPtrUInt = PUint;
  98. {$endif i8086}
  99. { Use a variant record to be sure that the array if aligned correctly }
  100. tcompdoublerec=record
  101. case byte of
  102. 0 : (bytes:array[0..7] of byte);
  103. 1 : (value:double);
  104. end;
  105. tcompextendedrec=record
  106. case byte of
  107. 0 : (bytes:array[0..9] of byte);
  108. 1 : (value:extended);
  109. end;
  110. pconstset = ^tconstset;
  111. tconstset = set of 0..255;
  112. { Switches which can be changed locally }
  113. tlocalswitch = (cs_localnone,
  114. { codegen }
  115. cs_check_overflow,cs_check_range,cs_check_object,
  116. cs_check_io,cs_check_stack,
  117. cs_checkpointer,cs_check_ordinal_size,
  118. cs_generate_stackframes,cs_do_assertion,cs_generate_rtti,
  119. cs_full_boolean_eval,cs_typed_const_writable,cs_allow_enum_calc,
  120. cs_do_inline,cs_fpu_fwait,cs_ieee_errors,
  121. cs_check_low_addr_load,cs_imported_data,
  122. { mmx }
  123. cs_mmx,cs_mmx_saturation,
  124. { parser }
  125. cs_typed_addresses,cs_strict_var_strings,cs_refcountedstrings,
  126. cs_bitpacking,cs_varpropsetter,cs_scopedenums,cs_pointermath,
  127. { macpas specific}
  128. cs_external_var, cs_externally_visible,
  129. { jvm specific }
  130. cs_check_var_copyout,
  131. cs_zerobasedstrings,
  132. { i8086 specific }
  133. cs_force_far_calls,
  134. cs_hugeptr_arithmetic_normalization,
  135. cs_hugeptr_comparison_normalization
  136. );
  137. tlocalswitches = set of tlocalswitch;
  138. { Switches which can be changed only at the beginning of a new module }
  139. tmoduleswitch = (cs_modulenone,
  140. { parser }
  141. cs_fp_emulation,cs_extsyntax,cs_openstring,
  142. { support }
  143. cs_support_goto,cs_support_macro,
  144. cs_support_c_operators,
  145. { generation }
  146. cs_profile,cs_debuginfo,cs_compilesystem,
  147. cs_lineinfo,cs_implicit_exceptions,
  148. cs_explicit_codepage,cs_system_codepage,
  149. { linking }
  150. cs_create_smart,cs_create_dynamic,cs_create_pic,
  151. { browser switches are back }
  152. cs_browser,cs_local_browser,
  153. { target specific }
  154. cs_executable_stack,
  155. { i8086 specific }
  156. cs_huge_code,
  157. cs_win16_smartcallbacks,
  158. { Record usage of checkpointer experimental feature }
  159. cs_checkpointer_called
  160. );
  161. tmoduleswitches = set of tmoduleswitch;
  162. { Switches which can be changed only for a whole program/compilation,
  163. mostly set with commandline }
  164. tglobalswitch = (cs_globalnone,
  165. { parameter switches }
  166. cs_check_unit_name,cs_constructor_name,cs_support_exceptions,
  167. cs_support_c_objectivepas,
  168. cs_transparent_file_names,
  169. { units }
  170. cs_load_objpas_unit,
  171. cs_load_gpc_unit,
  172. cs_load_fpcylix_unit,
  173. cs_support_vectors,
  174. { debuginfo }
  175. cs_use_heaptrc,cs_use_lineinfo,
  176. cs_gdb_valgrind,cs_no_regalloc,cs_stabs_preservecase,
  177. { assembling }
  178. cs_asm_leave,cs_asm_extern,cs_asm_pipe,cs_asm_source,
  179. cs_asm_regalloc,cs_asm_tempalloc,cs_asm_nodes,cs_asm_pre_binutils_2_25,
  180. { linking }
  181. cs_link_nolink,cs_link_static,cs_link_smart,cs_link_shared,cs_link_deffile,
  182. cs_link_strip,cs_link_staticflag,cs_link_on_target,cs_link_extern,cs_link_opt_vtable,
  183. cs_link_opt_used_sections,cs_link_separate_dbg_file,
  184. cs_link_map,cs_link_pthread,cs_link_no_default_lib_order,
  185. cs_link_native,
  186. cs_link_pre_binutils_2_19,
  187. cs_link_vlink
  188. );
  189. tglobalswitches = set of tglobalswitch;
  190. { global switches specific to debug information }
  191. tdebugswitch = (ds_none,
  192. { enable set support in dwarf debug info, breaks gdb versions }
  193. { without support for that tag (they refuse to parse the rest }
  194. { of the debug information) }
  195. ds_dwarf_sets,
  196. { use absolute paths for include files in stabs. Pro: gdb }
  197. { always knows full path to file. Con: doesn't work anymore }
  198. { if the include file is moved (otherwise, things still work }
  199. { if your source hierarchy is the same, but has a different }
  200. { base path) }
  201. ds_stabs_abs_include_files,
  202. { prefix method names by "classname__" in DWARF (like is done }
  203. { for Stabs); not enabled by default, because otherwise once }
  204. { support for calling methods has been added to gdb, you'd }
  205. { always have to type classinstance.classname__methodname() }
  206. ds_dwarf_method_class_prefix,
  207. { Simulate C++ debug information in DWARF. It can be used for }
  208. { debuggers, which do not support Pascal. }
  209. ds_dwarf_cpp,
  210. { emit line number information in LINNUM/LINNUM32 records, }
  211. { using the MS LINK format, for targets that use the OMF }
  212. { object format. This option is useful for compatibility with }
  213. { the Open Watcom Debugger and the Open Watcom Linker. Even }
  214. { though, they support and use dwarf debug information in the }
  215. { final executable file, they expect LINNUM records in the }
  216. { object modules for the line number information. }
  217. ds_dwarf_omf_linnum
  218. );
  219. tdebugswitches = set of tdebugswitch;
  220. { global target-specific switches }
  221. ttargetswitch = (ts_none,
  222. { generate code that results in smaller TOCs than normal (AIX) }
  223. ts_small_toc,
  224. { for the JVM target: generate integer array initializations via string
  225. constants in order to reduce the generated code size (Java routines
  226. are limited to 64kb of bytecode) }
  227. ts_compact_int_array_init,
  228. { for the JVM target: intialize enum fields in constructors with the
  229. enum class instance corresponding to ordinal value 0 (not done by
  230. default because this initialization can only be performed after the
  231. inherited constructors have run, and if they call a virtual method
  232. of the current class, then this virtual method may already have
  233. initialized that field with another value and the constructor
  234. initialization will result in data loss }
  235. ts_jvm_enum_field_init,
  236. { when automatically generating getters/setters for properties, use
  237. these strings as prefixes for the generated getters/setter names }
  238. ts_auto_getter_prefix,
  239. ts_auto_setter_predix,
  240. ts_thumb_interworking,
  241. { lowercase the first character of routine names, used to generate
  242. names that are compliant with Java coding standards from code
  243. written according to Delphi coding standards }
  244. ts_lowercase_proc_start,
  245. { initialise local variables on the JVM target so you won't get
  246. accidental uses of uninitialised values }
  247. ts_init_locals,
  248. { emit a CLD instruction before using the x86 string instructions }
  249. ts_cld,
  250. { increment BP before pushing it in the function prologue and decrement
  251. it after popping it in the function epilogue, iff the function is
  252. going to terminate with a far ret. Thus, the BP value pushed on the
  253. stack becomes odd if the function is far and even if the function is
  254. near. This allows walking the BP chain on the stack and e.g.
  255. obtaining a stack trace even if the program uses a mixture of near
  256. and far calls. This is also required for Win16 real mode, because it
  257. allows Windows to move code segments around (in order to defragment
  258. memory) and then walk through the stacks of all running programs and
  259. update the segment values of the segment that has moved. }
  260. ts_x86_far_procs_push_odd_bp
  261. );
  262. ttargetswitches = set of ttargetswitch;
  263. { adding a new entry here requires also adding the appropriate define in
  264. systemh.inc (FK)
  265. }
  266. tfeature = (
  267. f_heap,f_init_final,f_rtti,f_classes,f_exceptions,f_exitcode,
  268. f_ansistrings,f_widestrings,f_textio,f_consoleio,f_fileio,
  269. f_random,f_variants,f_objects,f_dynarrays,f_threading,f_commandargs,
  270. f_processes,f_stackcheck,f_dynlibs,f_softfpu,f_objectivec1,f_resources,
  271. f_unicodestring
  272. );
  273. tfeatures = set of tfeature;
  274. type
  275. { optimizer }
  276. toptimizerswitch = (cs_opt_none,
  277. cs_opt_level1,cs_opt_level2,cs_opt_level3,cs_opt_level4,
  278. cs_opt_regvar,cs_opt_uncertain,cs_opt_size,cs_opt_stackframe,
  279. cs_opt_peephole,cs_opt_loopunroll,cs_opt_tailrecursion,cs_opt_nodecse,
  280. cs_opt_nodedfa,cs_opt_loopstrength,cs_opt_scheduler,cs_opt_autoinline,cs_useebp,cs_userbp,
  281. cs_opt_reorder_fields,cs_opt_fastmath,
  282. { Allow removing expressions whose result is not used, even when this
  283. can change program behaviour (range check errors disappear,
  284. access violations due to invalid pointer derefences disappear, ...).
  285. Note: it does not (and must not) remove expressions that have
  286. explicit side-effects, only implicit side-effects (like the ones
  287. mentioned before) can disappear.
  288. }
  289. cs_opt_dead_values,
  290. { compiler checks for empty procedures/methods and removes calls to them if possible }
  291. cs_opt_remove_emtpy_proc,
  292. cs_opt_constant_propagate,
  293. cs_opt_dead_store_eliminate,
  294. cs_opt_forcenostackframe,
  295. cs_opt_use_load_modify_store
  296. );
  297. toptimizerswitches = set of toptimizerswitch;
  298. { whole program optimizer }
  299. twpoptimizerswitch = (
  300. cs_wpo_devirtualize_calls,cs_wpo_optimize_vmts,
  301. cs_wpo_symbol_liveness
  302. );
  303. twpoptimizerswitches = set of twpoptimizerswitch;
  304. type
  305. ttargetswitchinfo = record
  306. name: string[22];
  307. { target switch can have an arbitratry value, not only on/off }
  308. hasvalue: boolean;
  309. { target switch can be used only globally }
  310. isglobal: boolean;
  311. define: string[25];
  312. end;
  313. const
  314. OptimizerSwitchStr : array[toptimizerswitch] of string[18] = ('',
  315. 'LEVEL1','LEVEL2','LEVEL3','LEVEL4',
  316. 'REGVAR','UNCERTAIN','SIZE','STACKFRAME',
  317. 'PEEPHOLE','LOOPUNROLL','TAILREC','CSE',
  318. 'DFA','STRENGTH','SCHEDULE','AUTOINLINE','USEEBP','USERBP',
  319. 'ORDERFIELDS','FASTMATH','DEADVALUES','REMOVEEMPTYPROCS',
  320. 'CONSTPROP',
  321. 'DEADSTORE','FORCENOSTACKFRAME','USELOADMODIFYSTORE'
  322. );
  323. WPOptimizerSwitchStr : array [twpoptimizerswitch] of string[14] = (
  324. 'DEVIRTCALLS','OPTVMTS','SYMBOLLIVENESS'
  325. );
  326. DebugSwitchStr : array[tdebugswitch] of string[22] = ('',
  327. 'DWARFSETS','STABSABSINCLUDES','DWARFMETHODCLASSPREFIX','DWARFCPP','DWARFOMFLINNUM');
  328. TargetSwitchStr : array[ttargetswitch] of ttargetswitchinfo = (
  329. (name: ''; hasvalue: false; isglobal: true ; define: ''),
  330. (name: 'SMALLTOC'; hasvalue: false; isglobal: true ; define: ''),
  331. (name: 'COMPACTINTARRAYINIT'; hasvalue: false; isglobal: true ; define: ''),
  332. (name: 'ENUMFIELDINIT'; hasvalue: false; isglobal: true ; define: ''),
  333. (name: 'AUTOGETTERPREFIX'; hasvalue: true ; isglobal: false; define: ''),
  334. (name: 'AUTOSETTERPREFIX'; hasvalue: true ; isglobal: false; define: ''),
  335. (name: 'THUMBINTERWORKING'; hasvalue: false; isglobal: true ; define: ''),
  336. (name: 'LOWERCASEPROCSTART'; hasvalue: false; isglobal: true ; define: ''),
  337. (name: 'INITLOCALS'; hasvalue: false; isglobal: true ; define: ''),
  338. (name: 'CLD'; hasvalue: false; isglobal: true ; define: 'FPC_ENABLED_CLD'),
  339. (name: 'FARPROCSPUSHODDBP'; hasvalue: false; isglobal: false; define: 'FPC_FAR_PROCS_PUSH_ODD_BP')
  340. );
  341. { switches being applied to all CPUs at the given level }
  342. genericlevel1optimizerswitches = [cs_opt_level1,cs_opt_peephole];
  343. genericlevel2optimizerswitches = [cs_opt_level2,cs_opt_remove_emtpy_proc];
  344. genericlevel3optimizerswitches = [cs_opt_level3,cs_opt_constant_propagate,cs_opt_nodedfa,cs_opt_use_load_modify_store,cs_opt_loopunroll];
  345. genericlevel4optimizerswitches = [cs_opt_level4,cs_opt_reorder_fields,cs_opt_dead_values,cs_opt_fastmath];
  346. { whole program optimizations whose information generation requires
  347. information from all loaded units
  348. }
  349. WPOptimizationsNeedingAllUnitInfo = [cs_wpo_devirtualize_calls,cs_wpo_optimize_vmts];
  350. featurestr : array[tfeature] of string[14] = (
  351. 'HEAP','INITFINAL','RTTI','CLASSES','EXCEPTIONS','EXITCODE',
  352. 'ANSISTRINGS','WIDESTRINGS','TEXTIO','CONSOLEIO','FILEIO',
  353. 'RANDOM','VARIANTS','OBJECTS','DYNARRAYS','THREADING','COMMANDARGS',
  354. 'PROCESSES','STACKCHECK','DYNLIBS','SOFTFPU','OBJECTIVEC1','RESOURCES',
  355. 'UNICODESTRINGS'
  356. );
  357. type
  358. { Switches which can be changed by a mode (fpc,tp7,delphi) }
  359. tmodeswitch = (m_none,
  360. { generic }
  361. m_fpc,m_objfpc,m_delphi,m_tp7,m_mac,m_iso,m_extpas,
  362. {$ifdef gpc_mode}m_gpc,{$endif}
  363. { more specific }
  364. m_class, { delphi class model }
  365. m_objpas, { load objpas unit }
  366. m_result, { result in functions }
  367. m_string_pchar, { pchar 2 string conversion }
  368. m_cvar_support, { cvar variable directive }
  369. m_nested_comment, { nested comments }
  370. m_tp_procvar, { tp style procvars (no @ needed) }
  371. m_mac_procvar, { macpas style procvars }
  372. m_repeat_forward, { repeating forward declarations is needed }
  373. m_pointer_2_procedure, { allows the assignement of pointers to
  374. procedure variables }
  375. m_autoderef, { does auto dereferencing of struct. vars }
  376. m_initfinal, { initialization/finalization for units }
  377. m_default_ansistring, { ansistring turned on by default }
  378. m_out, { support the calling convention OUT }
  379. m_default_para, { support default parameters }
  380. m_hintdirective, { support hint directives }
  381. m_duplicate_names, { allow locals/paras to have duplicate names of globals }
  382. m_property, { allow properties }
  383. m_default_inline, { allow inline proc directive }
  384. m_except, { allow exception-related keywords }
  385. m_objectivec1, { support interfacing with Objective-C (1.0) }
  386. m_objectivec2, { support interfacing with Objective-C (2.0) }
  387. m_nested_procvars, { support nested procedural variables }
  388. m_non_local_goto, { support non local gotos (like iso pascal) }
  389. m_advanced_records, { advanced record syntax with visibility sections, methods and properties }
  390. m_isolike_unary_minus, { unary minus like in iso pascal: same precedence level as binary minus/plus }
  391. m_systemcodepage, { use system codepage as compiler codepage by default, emit ansistrings with system codepage }
  392. m_final_fields, { allows declaring fields as "final", which means they must be initialised
  393. in the (class) constructor and are constant from then on (same as final
  394. fields in Java) }
  395. m_default_unicodestring, { makes the default string type in $h+ mode unicodestring rather than
  396. ansistring; similarly, char becomes unicodechar rather than ansichar }
  397. m_type_helpers, { allows the declaration of "type helper" for all supported types
  398. (primitive types, records, classes, interfaces) }
  399. m_blocks, { support for http://en.wikipedia.org/wiki/Blocks_(C_language_extension) }
  400. m_isolike_io, { I/O as it required by an ISO compatible compiler }
  401. m_isolike_program_para, { program parameters as it required by an ISO compatible compiler }
  402. m_isolike_mod { mod operation as it is required by an iso compatible compiler }
  403. );
  404. tmodeswitches = set of tmodeswitch;
  405. const
  406. alllanguagemodes = [m_fpc,m_objfpc,m_delphi,m_tp7,m_mac,m_iso,m_extpas];
  407. type
  408. { Application types (platform specific) }
  409. tapptype = (
  410. app_none,
  411. app_native, { native for Windows and NativeNT targets }
  412. app_gui, { graphic user-interface application }
  413. app_cui, { console application }
  414. app_fs, { full-screen type application (OS/2 and EMX only) }
  415. app_tool, { tool application, (MPW tool for MacOS, MacOS only) }
  416. app_arm7, { for Nintendo DS target }
  417. app_arm9, { for Nintendo DS target }
  418. app_bundle, { dynamically loadable bundle, Darwin only }
  419. app_com { DOS .COM file }
  420. );
  421. { interface types }
  422. tinterfacetypes = (
  423. it_interfacecom,
  424. it_interfacecorba,
  425. it_interfacejava
  426. );
  427. { currently parsed block type }
  428. tblock_type = (
  429. bt_none, { not assigned }
  430. bt_general, { default }
  431. bt_type, { type section }
  432. bt_const, { const section }
  433. bt_const_type, { const part of type. e.g.: ": Integer = 1" }
  434. bt_var, { variable declaration }
  435. bt_var_type, { type of variable }
  436. bt_except, { except section }
  437. bt_body { procedure body }
  438. );
  439. { Temp types }
  440. ttemptype = (tt_none,
  441. { free temp location, can be reused for something else }
  442. tt_free,
  443. { temp location that will be freed when ttgobj.UnGetTemp/
  444. ttgobj.UnGetIfTemp is called on it }
  445. tt_normal,
  446. { temp location that will not be freed; if it has to be
  447. freed, first ttgobj.changetemptype() it to tt_normal,
  448. or call ttgobj.UnGetLocal() instead (for local variables,
  449. since they are also persistent temps) }
  450. tt_persistent,
  451. { temp location that can never be reused anymore, even
  452. after it has been freed }
  453. tt_noreuse,
  454. { freed version of the above }
  455. tt_freenoreuse,
  456. { temp location that has been allocated by the register
  457. allocator and that can be reallocated only by the
  458. register allocator }
  459. tt_regallocator,
  460. { freed version of the above }
  461. tt_freeregallocator);
  462. ttemptypeset = set of ttemptype;
  463. { calling convention for tprocdef and tprocvardef }
  464. tproccalloption=(pocall_none,
  465. { procedure uses C styled calling }
  466. pocall_cdecl,
  467. { C++ calling conventions }
  468. pocall_cppdecl,
  469. { Far16 for OS/2 }
  470. pocall_far16,
  471. { Old style FPC default calling }
  472. pocall_oldfpccall,
  473. { Procedure has compiler magic}
  474. pocall_internproc,
  475. { procedure is a system call, applies e.g. to MorphOS and PalmOS }
  476. pocall_syscall,
  477. { pascal standard left to right }
  478. pocall_pascal,
  479. { procedure uses register (fastcall) calling }
  480. pocall_register,
  481. { safe call calling conventions }
  482. pocall_safecall,
  483. { procedure uses stdcall call }
  484. pocall_stdcall,
  485. { Special calling convention for cpus without a floating point
  486. unit. Floating point numbers are passed in integer registers
  487. instead of floating point registers. Depending on the other
  488. available calling conventions available for the cpu
  489. this replaces either pocall_fastcall or pocall_stdcall.
  490. }
  491. pocall_softfloat,
  492. { Metrowerks Pascal. Special case on Mac OS (X): passes all }
  493. { constant records by reference. }
  494. pocall_mwpascal,
  495. { Special interrupt handler for embedded systems }
  496. pocall_interrupt,
  497. { Directive for arm: pass floating point values in (v)float registers
  498. regardless of the actual calling conventions }
  499. pocall_hardfloat,
  500. { for x86-64: force sysv ABI (Pascal resp. C) }
  501. pocall_sysv_abi_default,
  502. pocall_sysv_abi_cdecl,
  503. { for x86-64: forces Microsoft ABI (Pascal resp. C) }
  504. pocall_ms_abi_default,
  505. pocall_ms_abi_cdecl,
  506. { for x86-64: Microsoft's "vectorcall" ABI }
  507. pocall_vectorcall
  508. );
  509. tproccalloptions = set of tproccalloption;
  510. const
  511. proccalloptionStr : array[tproccalloption] of string[16]=('',
  512. 'CDecl',
  513. 'CPPDecl',
  514. 'Far16',
  515. 'OldFPCCall',
  516. 'InternProc',
  517. 'SysCall',
  518. 'Pascal',
  519. 'Register',
  520. 'SafeCall',
  521. 'StdCall',
  522. 'SoftFloat',
  523. 'MWPascal',
  524. 'Interrupt',
  525. 'HardFloat',
  526. 'SysV_ABI_Default',
  527. 'MS_ABI_CDecl', { TODO: Is this correct? Shouldn't it be SysV_ABI_Default }
  528. 'MS_ABI_Default',
  529. 'MS_ABI_CDecl',
  530. 'VectorCall'
  531. );
  532. { Default calling convention }
  533. {$if defined(i8086)}
  534. pocall_default = pocall_pascal;
  535. {$elseif defined(i386) or defined(x86_64)}
  536. pocall_default = pocall_register;
  537. {$elseif defined(m68k)}
  538. pocall_default = pocall_register;
  539. {$else}
  540. pocall_default = pocall_stdcall;
  541. {$endif}
  542. cstylearrayofconst = [pocall_cdecl,pocall_cppdecl,pocall_mwpascal,pocall_sysv_abi_cdecl,pocall_ms_abi_cdecl];
  543. modeswitchstr : array[tmodeswitch] of string[18] = ('',
  544. '','','','','','','',
  545. {$ifdef gpc_mode}'',{$endif}
  546. { more specific }
  547. 'CLASS',
  548. 'OBJPAS',
  549. 'RESULT',
  550. 'PCHARTOSTRING',
  551. 'CVAR',
  552. 'NESTEDCOMMENTS',
  553. 'CLASSICPROCVARS',
  554. 'MACPROCVARS',
  555. 'REPEATFORWARD',
  556. 'POINTERTOPROCVAR',
  557. 'AUTODEREF',
  558. 'INITFINAL',
  559. 'ANSISTRINGS',
  560. 'OUT',
  561. 'DEFAULTPARAMETERS',
  562. 'HINTDIRECTIVE',
  563. 'DUPLICATELOCALS',
  564. 'PROPERTIES',
  565. 'ALLOWINLINE',
  566. 'EXCEPTIONS',
  567. 'OBJECTIVEC1',
  568. 'OBJECTIVEC2',
  569. 'NESTEDPROCVARS',
  570. 'NONLOCALGOTO',
  571. 'ADVANCEDRECORDS',
  572. 'ISOUNARYMINUS',
  573. 'SYSTEMCODEPAGE',
  574. 'FINALFIELDS',
  575. 'UNICODESTRINGS',
  576. 'TYPEHELPERS',
  577. 'CBLOCKS',
  578. 'ISOIO',
  579. 'ISOPROGRAMPARAS',
  580. 'ISOMOD'
  581. );
  582. type
  583. tprocinfoflag=(
  584. { procedure has at least one assembler block }
  585. pi_has_assembler_block,
  586. { procedure does a call }
  587. pi_do_call,
  588. { procedure has a try statement = no register optimization }
  589. pi_uses_exceptions,
  590. { procedure is declared as @var(assembler), don't optimize}
  591. pi_is_assembler,
  592. { procedure contains data which needs to be finalized }
  593. pi_needs_implicit_finally,
  594. { procedure has the implicit try..finally generated }
  595. pi_has_implicit_finally,
  596. { procedure uses fpu}
  597. pi_uses_fpu,
  598. { procedure uses GOT for PIC code }
  599. pi_needs_got,
  600. { references var/proc/type/const in static symtable,
  601. i.e. not allowed for inlining from other units }
  602. pi_uses_static_symtable,
  603. { set if the procedure has to push parameters onto the stack }
  604. pi_has_stackparameter,
  605. { set if the procedure has at least one label }
  606. pi_has_label,
  607. { calls itself recursive }
  608. pi_is_recursive,
  609. { stack frame optimization not possible (only on x86 probably) }
  610. pi_needs_stackframe,
  611. { set if the procedure has at least one register saved on the stack }
  612. pi_has_saved_regs,
  613. { dfa was generated for this proc }
  614. pi_dfaavailable,
  615. { subroutine contains interprocedural used labels }
  616. pi_has_interproclabel,
  617. { subroutine has unwind info (win64) }
  618. pi_has_unwind_info,
  619. { subroutine contains interprocedural gotos }
  620. pi_has_global_goto,
  621. { subroutine contains inherited call }
  622. pi_has_inherited,
  623. { subroutine has nested exit }
  624. pi_has_nested_exit,
  625. { allocates memory on stack, so stack is unbalanced on exit }
  626. pi_has_stack_allocs,
  627. { set if the stack frame of the procedure is estimated }
  628. pi_estimatestacksize,
  629. { the routine calls a C-style varargs function }
  630. pi_calls_c_varargs,
  631. { the routine has an open array parameter,
  632. for i8086 cpu huge memory model,
  633. as this changes SP register it requires special handling
  634. to restore DS segment register }
  635. pi_has_open_array_parameter
  636. );
  637. tprocinfoflags=set of tprocinfoflag;
  638. type
  639. { float types -- warning, this enum/order is used internally by the RTL
  640. as well in rtl/inc/real2str.inc }
  641. tfloattype = (
  642. s32real,s64real,s80real,sc80real { the C "long double" type on x86 },
  643. s64comp,s64currency,s128real
  644. );
  645. type
  646. { register allocator live range extension direction }
  647. TRADirection = (rad_forward, rad_backwards, rad_backwards_reinit);
  648. type
  649. TIDString = string[maxidlen];
  650. tnormalset = set of byte; { 256 elements set }
  651. pnormalset = ^tnormalset;
  652. pboolean = ^boolean;
  653. pdouble = ^double;
  654. pbyte = ^byte;
  655. pword = ^word;
  656. plongint = ^longint;
  657. plongintarray = plongint;
  658. pfileposinfo = ^tfileposinfo;
  659. tfileposinfo = record
  660. { if types of column or fileindex are changed, modify tcompilerppufile.putposinfo }
  661. line : longint;
  662. column : word;
  663. fileindex : word;
  664. moduleindex : word;
  665. end;
  666. {$ifndef xFPC}
  667. type
  668. pguid = ^tguid;
  669. tguid = packed record
  670. D1: LongWord;
  671. D2: Word;
  672. D3: Word;
  673. D4: array[0..7] of Byte;
  674. end;
  675. {$endif}
  676. tstringencoding = Word;
  677. tcodepagestring = string[20];
  678. const
  679. { link options }
  680. link_none = $0;
  681. link_always = $1;
  682. link_static = $2;
  683. link_smart = $4;
  684. link_shared = $8;
  685. type
  686. { a message state }
  687. tmsgstate = (
  688. ms_on := 1,
  689. ms_off := 2,
  690. ms_error := 3,
  691. ms_on_global := $11, // turn on output
  692. ms_off_global := $22, // turn off output
  693. ms_error_global := $33 // cast to error
  694. );
  695. const
  696. { Mask for current value of message state }
  697. ms_local_mask = $0f;
  698. { Mask for global value of message state
  699. that needs to be restored when changing units }
  700. ms_global_mask = $f0;
  701. { Shift used to convert global to local message state }
  702. ms_shift = 4;
  703. type
  704. pmessagestaterecord = ^tmessagestaterecord;
  705. tmessagestaterecord = record
  706. next : pmessagestaterecord;
  707. value : longint;
  708. state : tmsgstate;
  709. end;
  710. type
  711. tx86memorymodel = (mm_tiny,mm_small,mm_medium,mm_compact,mm_large,mm_huge);
  712. const
  713. x86memorymodelstr : array[tx86memorymodel] of string[7]=(
  714. 'TINY',
  715. 'SMALL',
  716. 'MEDIUM',
  717. 'COMPACT',
  718. 'LARGE',
  719. 'HUGE');
  720. { hide Sysutils.ExecuteProcess in units using this one after SysUtils}
  721. const
  722. ExecuteProcess = 'Do not use' deprecated 'Use cfileutil.RequotedExecuteProcess instead, ExecuteProcess cannot deal with single quotes as used by Unix command lines';
  723. implementation
  724. end.