Difference between revisions of "local compiler directives"

From Free Pascal wiki
(Links corrected.)
(Code generation: typo)
 
(26 intermediate revisions by 8 users not shown)
Line 1: Line 1:
 
{{local compiler directives}}
 
{{local compiler directives}}
__TOC__
 
Local directives may be used more then once in a unit or program.
 
  
==Local compiler direvtives==
+
Local [[Compiler directive|compiler directives]] may be used more than once in a Pascal [[Source code|source code]] file.
*[[sAlign|$A and $ALIGN]] determines the of alignment of data in records.
 
*[[sA|$A1, $A2,$A4 and $A8]] determines the of alignment of data in records. Has the same effect as the directive $PACKRECORDS.
 
*[[sBooleval|$B or $BOOLEVAL]] enables short-cut evaluation of boolean values.
 
*[[sAssertions|$C or $ASSERTIONS]] supports debugging.
 
*[[sBitpacking|$BITPACKING]] enables bit-wise packing of records.
 
*[[sCalling|$CALLING]] determines calling-convention of routines.
 
*[[sCheckpointer|$CHECKPOINTER]] checks validity of pointers.
 
*[[sCodealign|$CODEALIGN]] determines the code-aligning in memory.
 
*[[sCoperators|$COPERATORS]] enables usage of operatores similar to conventions in the C language.
 
*[[sDefine|$DEFINE or $DEFINEC]] enables definition of own symbols.
 
*[[sExtendedsym|$EXTENDEDSYM]] ignored by compiler.
 
*[[sFar|$F]] ignored by compiler.
 
*[[sFputype|$FPUTYPE]] compiles according to FPU type
 
*[[sGoto|$GOTO]] enables Goto and Label
 
*[[sH|$H or $LONGSTRINGS]] determines string type for reserved word [[string]].
 
*[[sHppemit|$HPPEMIT]] ignored by compiler.
 
*[[sImplicitexeptions|$IMPLICITEXCEPTIONS]] helps to avoid memory leaks.
 
*[[sInline|$INLINE]] copies procedures to the place, where they have been called from.
 
*[[sInterfaces|$INTERFACES]] determines interface type.
 
*[[sIochecks|$I or $IOCHECKS]] enables checking of input/output.
 
*[[sIncludefile|$I or $INCLUDE]] includes file in compilation.
 
*[[sIncludecompilerinfo|$I or $INCLUDE]] included certein compiler information.
 
*[[sWritableconst|$J or $WRITEABLECONST]] enables run-time assigning of values to typed constants.
 
*[[sLink|$L or $LINK]] inserts object file during linking.
 
*[[sLinklib|$LINKLIB]] inserts library during linking.
 
*[[sTypeinfo|$M or $TYPEINFO]] creates RTTI
 
*[[sMacro|$MACRO]] enables usage of macros.
 
*[[sMinenumsize|$MINENUMSIZE]] for Delphi-compatibility, see [[sPackenum|$PACKENUM or $Z]]
 
*[[sMinfpconstprec|$MINFPCONSTPREC]] sets minimum accuracy of floating point operations.
 
*[[sNodefine|$NODEFINE]] ignored by compiler.
 
*[[sObjectchecks|$OBJECTCHECKS]] checks usage of pointer to self.
 
*[[sOptimization|$OPTIMIZATION]] switches on certain optimizations.
 
*[[sOutput_format|$OUTPUT_FORMAT]] determines output format of object file.
 
*[[sPackenum|$PACKENUM or $Z]] enables packing of compiler enumerations.
 
*[[sPackrecords|$PACKRECORDS]] determines alignment of records in memory.
 
*[[sPackset|$PACKSET]] determines packing of sets.
 
*[[sPop|$POP]] recreates saved compiler settings.
 
*[[sPush|$PUSH]] saves current compiler settings.
 
*[[sOverflowchecks|$OVERFLOWCHECKS]] checkes integer variables for overflow.
 
*[[sRangechecks|$R or $RANGECHECKS]] checks overflow of index in compound variables.
 
*[[sResource|$R or $RESOURCE]] inserts resource file.
 
*[[sStatic|$STATIC]] enable usage of the reserved word static.
 
*[[sTypedadress|$T or $TYPEDADDRESS]] determines, if the address operator @ delivers a typed or untyped pointer.
 
*[[sUndef|$UNDEF]] undefines symbol.
 
*[[sVarstringchecks|$V or $VARSTRINGCHECKS]] enables checking of assignments to string variables.
 
*[[sStackframes|$W or $STACKFRAMES]] determines conditions for the creation of stack frames.
 
*[[sWait|$WAIT]] waits with execution until the enter key has been pressed.
 
  
==Conditional compilation==
+
== Syntax ==
*[[sElse|$ELSE]] defines alternative path in conditional compilation.
+
* <syntaxhighlight lang="pascal" inline>{$cOperators}</syntaxhighlight> enables usage of [[Operator|operators]] similar to conventions of in the [[Pascal for C users|C]] language.
*[[sElseIf|$ELSEIF]] defines alternative and new branch conditional compilation.
+
* [[sGoto|<syntaxhighlight lang="pascal" inline>{$goto}</syntaxhighlight>]] enables [[Goto|<syntaxhighlight lang="pascal" inline>goto</syntaxhighlight>]] and [[Label|<syntaxhighlight lang="pascal" inline>label</syntaxhighlight>]].
*[[sEndif|$ENDIF]] defines end of conditional compilation.
+
* <syntaxhighlight lang="pascal" inline>{$inline}</syntaxhighlight> allows the [[Inline|<syntaxhighlight lang="pascal" inline>inline</syntaxhighlight>]] [[modifier]].
*[[sIf|$IF]] Begin of conditional compilation.
+
* [[$H|<syntaxhighlight lang="pascal" inline>{$LongStrings}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$H}</syntaxhighlight>]] determines the data type referenced by the reserved word [[String|<syntaxhighlight lang="pascal" inline>string</syntaxhighlight>]].
*[[sIfdef|$IFDEF]] Begin of conditional compilation.
+
* <syntaxhighlight lang="pascal" inline>{$macro}</syntaxhighlight> enables usage of [[Macros|macros]].
*[[sIfndef|$IFNDEF]] Begin of conditional compilation.
+
* [[$scopedEnums|<syntaxhighlight lang="pascal" inline>{$scopedEnums}</syntaxhighlight>]] whether enumeration type members have to be referred to by the data types name as a scope. (since [[FPC New Features 2.6.0#Scoped enumerations|FPC 2.6.0]])
*[[sIfopt|$IFOPT]] Begin of conditional compilation.
+
* [[$static|<syntaxhighlight lang="pascal" inline>{$static}</syntaxhighlight>]] enable usage of the reserved word <syntaxhighlight lang="delphi" inline>static</syntaxhighlight> (until [[User Changes 2.6.0#The Static modifier is now always enabled|FPC 2.6.0]]).
 +
* [[$typedAddress|<syntaxhighlight lang="pascal" inline>{$typedAddress}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$T}</syntaxhighlight>]] determines, if the address operator [[@|<syntaxhighlight lang="pascal" inline>@</syntaxhighlight>]] results in a typed or untyped pointer.
 +
* [[$varStringChecks|<syntaxhighlight lang="pascal" inline>{$varStringChecks}</syntaxhighlight> and <syntaxhighlight lang="pascal" inline>{$V}</syntaxhighlight>]] enables strict checking of assignment compatibility of string variables.
 +
* [[$writableConst|<syntaxhighlight lang="pascal" inline>{$writableConst}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$J}</syntaxhighlight>]] enables assignment of values to typed [[Constant|constants]] during [[runtime|run-time]].
  
==Self-defined compiler warnings, messages and hints==
+
== Data layout ==
*[[sError|$ERROR]] display a self-defined error message.
+
* [[$A|<syntaxhighlight lang="pascal" inline>{$align}</syntaxhighlight>]] and [[$A|<syntaxhighlight lang="pascal" inline>{$A}</syntaxhighlight>]] determine the alignment of data in records
*[[sFatal|$FATAL]] display a self-defined fatal error message.
+
* [[$Bitpacking|<syntaxhighlight lang="pascal" inline>{$bitpacking}</syntaxhighlight>]] determines, whether <syntaxhighlight lang="pascal" inline>packed</syntaxhighlight> is interpreted as <syntaxhighlight lang="pascal" inline>bitpacked</syntaxhighlight>.
*[[sHint|$HINT]] displays a self-defined hint.
+
* [[$codeAlign|<syntaxhighlight lang="pascal" inline>{$codeAlign}</syntaxhighlight>]] determines the code-alignment in memory.
*[[sHints|$HINTS]] enables self-defined hints.
+
* <syntaxhighlight lang="pascal" inline>{$minEnumSize}</syntaxhighlight> recognized for Delphi-compatibility and has the same effect as the <syntaxhighlight lang="pascal" inline>{$packEnum}</syntaxhighlight> directive.
*[[sInfo|$INFO]] display a self-defined information message.
+
* [[$minFPConstPrec|<syntaxhighlight lang="pascal" inline>{$minFPConstPrec}</syntaxhighlight>]] sets the minimum accuracy floating-point constants are stored at.
*[[sMessage|$MESSAGE]] creates a self-defined information message.
+
* [[$packEnum|<syntaxhighlight lang="pascal" inline>{$packEnum}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$Z}</syntaxhighlight>]] enables packing of enumeration types.
*[[sNote|$NOTE]] creates a self-defined note.
+
* [[$packRecords|<syntaxhighlight lang="pascal" inline>{$packRecords}</syntaxhighlight>]] determines alignment of [[Record|records]] in memory.
*[[sNotes|$NOTES]] enables the creation of self-defined notes.
+
* [[$packSet|<syntaxhighlight lang="pascal" inline>{$packSet}</syntaxhighlight>]] determines packing of [[Set|sets]].
*[[sStop|$STOP]] display a self-defined fatal error message.
 
*[[sWarning|$WARNING]] creates a self-defined warning.
 
*[[sWarnings|$WARNINGS]] enables self-defined warnings.
 
  
==Local compiler direvtives for x86 processors only==
+
== Code generation ==
*[[sAsmmode|$ASMMODE]] assembler mode.
+
* [[$boolEval|<syntaxhighlight lang="pascal" inline>{$boolEval}</syntaxhighlight> and <syntaxhighlight lang="pascal" inline>{$B}</syntaxhighlight>]] controls short-cut evaluation of Boolean expressions
*[[sI386xxx|$I386_XXX]] determines the assembler format.
+
* [[$Assertions|<syntaxhighlight lang="pascal" inline>{$assertions}</syntaxhighlight>]] or <syntaxhighlight lang="pascal" inline>{$C}</syntaxhighlight> control, whether [[assert|<syntaxhighlight lang="pascal" inline>assert</syntaxhighlight> statements]] are compiled into the [[Executable program|executable program]]
*[[sMmx|$MMX]] enables optimizations for MMX processores.
+
* [[$calling|<syntaxhighlight lang="pascal" inline>{$calling}</syntaxhighlight>]] determines the calling conventions for routines.
*[[sSaturation|$SATURATION]] Enables saturation (protection from memory-overflow) for MMX processores.
+
* [[$checkPointer|<syntaxhighlight lang="pascal" inline>{$checkPointer}</syntaxhighlight>]] in conjunction with [[heaptrc|<syntaxhighlight lang="text" inline>‑gh</syntaxhighlight>]] inserts checks ascertain validity of [[Pointer|pointers]].
*[[sMaxfpuregisters|$MAXFPUREGISTERS]] determines the maximum number of floating-points registers to use.
+
* [[$FPUtype|<syntaxhighlight lang="pascal" inline>{$FPUType}</syntaxhighlight>]] compiles according to FPU type.
 +
* [[$ieeeERRORS|<syntaxhighlight lang="pascal" inline>{$ieeeErrors}</syntaxhighlight>]] turns on IEEE error checking for floating-point constants.
 +
* [[$implicitExceptions|<syntaxhighlight lang="pascal" inline>{$implicitExceptions}</syntaxhighlight>]] controls insertion of implicit exceptions which aid prevention of memory leaks.
 +
* [[$interfaces|<syntaxhighlight lang="pascal" inline>{$interfaces}</syntaxhighlight>]]
 +
* [[$IOChecks|<syntaxhighlight lang="pascal" inline>{$IOChecks}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$I}</syntaxhighlight>]] enables checks of input/output.
 +
* [[$objectChecks|<syntaxhighlight lang="pascal" inline>{$objectChecks}</syntaxhighlight>]] inserts code ensuring [[Self|<syntaxhighlight lang="pascal" inline>self</syntaxhighlight>]] is non-[[Nil|<syntaxhighlight lang="pascal" inline>nil</syntaxhighlight>]]
 +
* [[$optimization|<syntaxhighlight lang="pascal" inline>{$optimization}</syntaxhighlight>]] switches on certain optimizations.
 +
* [[$overflowChecks|<syntaxhighlight lang="pascal" inline>{$overflowChecks}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$Q}</syntaxhighlight>]] determines if overflow checks are inserted after arithmetic operations. In <syntaxhighlight lang="pascal" inline>{$mode MacPas}</syntaxhighlight> the directive <syntaxhighlight lang="pascal" inline>{$OV}</syntaxhighlight> is available, too.
 +
* [[$rangeChecks|<syntaxhighlight lang="pascal" inline>{$rangeChecks}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$R}</syntaxhighlight>]] determines insertion of code ensuring a value is within the permitted range.
 +
* [[$S|<syntaxhighlight lang="pascal" inline>{$S}</syntaxhighlight>]] creates code to check for stack overflows
 +
* [[$stackFrames|<syntaxhighlight lang="pascal" inline>{$stackFrames}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$W}</syntaxhighlight>]] determines conditions for the creation of stack frames.
  
==Local compiler direvtives for Darwin-based operating systems only==
+
===$R versus $Q===
*[[sLinkframework|$LINKFRAMEWORK]] inserts Framework.
+
There is the completely artificial distinction between the meaning of "overflow" and "range check" errors as defined by Borland. They are basically exactly the same error, except that one is detected by checking the overflow flag of the CPU and the other by explicitly comparing ranges.
  
==Local compiler direvtives for MacPas mode only==
+
On 64 bit CPUs, integer arithmetic is performed using 64 bit integers because of Pascal's convention to evaluate expressions using the native signed integer type. As a result, overflows cannot occur there when performing 32 bit arithmetic and you will get a range error instead when assigning the result to a 32 bit variable.
The following directives are supported for compatibility with existing Pascal compilers for Mac OS:
+
Ideally, there would be only a single switch that governs both range/overflow checking, but because of historical reasons (as explained above) there are two.
*[[sAlign|$A and $ALIGN]] determines the alignment of data in records.
 
*[[sErrorc|$ERRORC]] returns an error message.
 
*[[sOv|$Q or $OV]] monitor overflow of integer variables.
 
  
==Symbols==
+
== Platform-specific ==
*[[sDefinec|$DEFINEC]] enables definition of own symbols.
+
=== For x86 processors only ===
*[[sSetc|$SETC]] defines and assigns a symbol.
+
* [[$asmMode|<syntaxhighlight lang="pascal" inline>{$asmMode}</syntaxhighlight>]] determines the syntax the assembler reader expects. Previously, this has been the <syntaxhighlight lang="pascal" inline>{$i386…}</syntaxhighlight> directives.
*[[sUndefc|$UNDEFC]] undefines and unassigns a symbol.
+
* [[$MMX|<syntaxhighlight lang="pascal" inline>{$MMX}</syntaxhighlight>]] enables optimizations for MMX processors.
 +
* [[$safeFPUExceptions|<syntaxhighlight lang="pascal" inline>{$safeFPUExceptions}</syntaxhighlight>]], whether <syntaxhighlight lang="asm" inline>fwait</syntaxhighlight> instructions are inserted
 +
* [[$saturation|<syntaxhighlight lang="pascal" inline>{$saturation}</syntaxhighlight>]] (in conjunction with <syntaxhighlight lang="pascal" inline>{$MMX}</syntaxhighlight>) enables saturation operations.
 +
* [[$maxFPUregisters|<syntaxhighlight lang="pascal" inline>{$maxFPUregisters}</syntaxhighlight>]] determines the maximum number of floating-points registers to use.
  
[[Category: Compiler directives]]
+
=== Other ===
 +
* [[$linkFramework|<syntaxhighlight lang="pascal" inline>{$linkFramework}</syntaxhighlight>]] inserts a framework. This directive is only available on Darwin-based operating systems.
 +
 
 +
== Data inclusion ==
 +
* [[$link|<syntaxhighlight lang="pascal" inline>{$link}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$L}</syntaxhighlight>]] inserts an object file during linking.
 +
* [[$linkLib|<syntaxhighlight lang="pascal" inline>{$linkLib}</syntaxhighlight>]] inserts a library during linking.
 +
* [[$typeInfo|<syntaxhighlight lang="pascal" inline>{$typeInfo}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$M}</syntaxhighlight>]] creates [[Runtime Type Information (RTTI)|run-time type information]].
 +
* [[$resource|<syntaxhighlight lang="pascal" inline>{$resource}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$R}</syntaxhighlight>]] inserts a resource file.
 +
 
 +
== Compile-time context ==
 +
* [[$define|<syntaxhighlight lang="pascal" inline>{$define}</syntaxhighlight>]] defines a symbol. In <syntaxhighlight lang="pascal" inline>{$mode MacPas}</syntaxhighlight> the directive <syntaxhighlight lang="pascal" inline>{$defineC}</syntaxhighlight> is considered, too.
 +
* [[$include|<syntaxhighlight lang="pascal" inline>{$include}</syntaxhighlight> or <syntaxhighlight lang="pascal" inline>{$I}</syntaxhighlight>]] reads a file as source or includes certain compile-time/compiler information.
 +
* [[$push and $pop|<syntaxhighlight lang="pascal" inline>{$push}</syntaxhighlight> and <syntaxhighlight lang="pascal" inline>{$pop}</syntaxhighlight>]] store and restore the compiler settings.
 +
* <syntaxhighlight lang="pascal" inline>{$setC}</syntaxhighlight> sets a compile-time variable, if the current mode allows it.
 +
* <syntaxhighlight lang="pascal" inline>{$undef}</syntaxhighlight> dismisses the definition of a previously defined symbol. In <syntaxhighlight lang="pascal" inline>{$mode MacPas}</syntaxhighlight> the directive <syntaxhighlight lang="pascal" inline>{$undefC}</syntaxhighlight> is recognized, too.
 +
 
 +
== Conditional compilation ==
 +
[[Conditional compilation]] can be achieved via the directives
 +
* <syntaxhighlight lang="pascal" inline>{$if}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$else}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$elseIf}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$endIf}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$ifDef}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$ifNDef}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$ifOpt}</syntaxhighlight>
 +
 
 +
Additionally, in <syntaxhighlight lang="pascal" inline>{$mode MacPas}</syntaxhighlight> the directives
 +
* <syntaxhighlight lang="pascal" inline>{$ifC}</syntaxhighlight>,
 +
* <syntaxhighlight lang="pascal" inline>{$elseC}</syntaxhighlight>,
 +
* <syntaxhighlight lang="pascal" inline>{$elIfC}</syntaxhighlight>, and
 +
* <syntaxhighlight lang="pascal" inline>{$endC}</syntaxhighlight>
 +
are allowed, too.
 +
 
 +
== Compile-time behavior ==
 +
With <syntaxhighlight lang="pascal" inline>{$wait}</syntaxhighlight>, the compiler waits till the user hits ↵ Enter, and then resumes compilation.
 +
 
 +
Self-defined messages can be triggered with the directives:
 +
* [[$message|<syntaxhighlight lang="pascal" inline>{$message}</syntaxhighlight>]], and the shortcuts
 +
** <syntaxhighlight lang="pascal" inline>{$stop}</syntaxhighlight>, which also aborts compilation
 +
** <syntaxhighlight lang="pascal" inline>{$fatal}</syntaxhighlight>, which also [[compile-time error|aborts compilation]]
 +
** <syntaxhighlight lang="pascal" inline>{$error}</syntaxhighlight> (in [[Mode MacPas|<syntaxhighlight lang="pascal" inline>{$mode MacPas}</syntaxhighlight>]] the directive <syntaxhighlight lang="pascal" inline>{$errorC}</syntaxhighlight> is accepted, too)
 +
** <syntaxhighlight lang="pascal" inline>{$warning}</syntaxhighlight>
 +
** <syntaxhighlight lang="pascal" inline>{$hint}</syntaxhighlight>
 +
** <syntaxhighlight lang="pascal" inline>{$note}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$info}</syntaxhighlight>
 +
 
 +
Emission of messages can be controlled via the directives:
 +
* [[$warn|<syntaxhighlight lang="pascal" inline>{$warn}</syntaxhighlight>]] for specific warnings, or
 +
* all messages of one kind in one go:
 +
** <syntaxhighlight lang="pascal" inline>{$warnings}</syntaxhighlight>
 +
** <syntaxhighlight lang="pascal" inline>{$hints}</syntaxhighlight>
 +
** <syntaxhighlight lang="pascal" inline>{$notes}</syntaxhighlight>
 +
 
 +
== Ignored ==
 +
Since [[FPC]] intends to be sort of compatible to some other compilers, some very common compiler directives stemming from the non-FPC-lands are recognized – not generating an illegal directive error – and ignored.
 +
Those are:
 +
* <syntaxhighlight lang="pascal" inline>{$F}</syntaxhighlight> (far or near functions)
 +
* <syntaxhighlight lang="pascal" inline>{$extendedSym}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$externalSym}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$hppEmit}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$libExport}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$noDefine}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$region}</syntaxhighlight> and <syntaxhighlight lang="pascal" inline>{$endRegion}</syntaxhighlight>
 +
* <syntaxhighlight lang="pascal" inline>{$stringChecks}</syntaxhighlight> which in Delphi, this would control the generation of code that checks the sanity of string variables and arguments.
 +
 
 +
== Historical ==
 +
Following directives were recognized in earlier versions of FPC and are now illegal:
 +
* <syntaxhighlight lang="pascal" inline>{$output_format}</syntaxhighlight> determined the output format of an object file.
 +
 
 +
== See also ==
 +
* [[Pascal basics]]
 +
* [https://www.freepascal.org/docs-html/prog/progse2.html § “Local directives” in the ''Free Pascal programmer’s guide'']
 +
 
 +
{{Directives, Defines and Conditionals}}

Latest revision as of 16:14, 4 September 2021

Deutsch (de) English (en) français (fr)

Local compiler directives may be used more than once in a Pascal source code file.

Syntax

Data layout

Code generation

$R versus $Q

There is the completely artificial distinction between the meaning of "overflow" and "range check" errors as defined by Borland. They are basically exactly the same error, except that one is detected by checking the overflow flag of the CPU and the other by explicitly comparing ranges.

On 64 bit CPUs, integer arithmetic is performed using 64 bit integers because of Pascal's convention to evaluate expressions using the native signed integer type. As a result, overflows cannot occur there when performing 32 bit arithmetic and you will get a range error instead when assigning the result to a 32 bit variable. Ideally, there would be only a single switch that governs both range/overflow checking, but because of historical reasons (as explained above) there are two.

Platform-specific

For x86 processors only

  • {$asmMode} determines the syntax the assembler reader expects. Previously, this has been the {$i386…} directives.
  • {$MMX} enables optimizations for MMX processors.
  • {$safeFPUExceptions}, whether fwait instructions are inserted
  • {$saturation} (in conjunction with {$MMX}) enables saturation operations.
  • {$maxFPUregisters} determines the maximum number of floating-points registers to use.

Other

  • {$linkFramework} inserts a framework. This directive is only available on Darwin-based operating systems.

Data inclusion

Compile-time context

  • {$define} defines a symbol. In {$mode MacPas} the directive {$defineC} is considered, too.
  • {$include} or {$I} reads a file as source or includes certain compile-time/compiler information.
  • {$push} and {$pop} store and restore the compiler settings.
  • {$setC} sets a compile-time variable, if the current mode allows it.
  • {$undef} dismisses the definition of a previously defined symbol. In {$mode MacPas} the directive {$undefC} is recognized, too.

Conditional compilation

Conditional compilation can be achieved via the directives

  • {$if}
  • {$else}
  • {$elseIf}
  • {$endIf}
  • {$ifDef}
  • {$ifNDef}
  • {$ifOpt}

Additionally, in {$mode MacPas} the directives

  • {$ifC},
  • {$elseC},
  • {$elIfC}, and
  • {$endC}

are allowed, too.

Compile-time behavior

With {$wait}, the compiler waits till the user hits ↵ Enter, and then resumes compilation.

Self-defined messages can be triggered with the directives:

  • {$message}, and the shortcuts
    • {$stop}, which also aborts compilation
    • {$fatal}, which also aborts compilation
    • {$error} (in {$mode MacPas} the directive {$errorC} is accepted, too)
    • {$warning}
    • {$hint}
    • {$note}
  • {$info}

Emission of messages can be controlled via the directives:

  • {$warn} for specific warnings, or
  • all messages of one kind in one go:
    • {$warnings}
    • {$hints}
    • {$notes}

Ignored

Since FPC intends to be sort of compatible to some other compilers, some very common compiler directives stemming from the non-FPC-lands are recognized – not generating an illegal directive error – and ignored. Those are:

  • {$F} (far or near functions)
  • {$extendedSym}
  • {$externalSym}
  • {$hppEmit}
  • {$libExport}
  • {$noDefine}
  • {$region} and {$endRegion}
  • {$stringChecks} which in Delphi, this would control the generation of code that checks the sanity of string variables and arguments.

Historical

Following directives were recognized in earlier versions of FPC and are now illegal:

  • {$output_format} determined the output format of an object file.

See also

Directives, definitions and conditionals definitions
global compiler directives • local compiler directives

Conditional Compiler Options • Conditional compilation • Macros and Conditionals • Platform defines
$IF