Inline

From Free Pascal wiki
Jump to navigationJump to search

Deutsch (de) English (en)

The modifier inline requests the FPC to consider copying the definition of a routine to the call site (“inlining”). The modifier noinline prevents the FPC from ever inlining a routine, even automatically (since SVN revision 41198, as of 2022 only available in Trunk).

use

The use of inline routines is switched off by default. You can enable it with the ‑Si compiler switch or the {$inline on} local compiler directive. The inline directive is placed after a routine’s signature at its defining point. Example:

function cube(const x: ALUSInt): ALUSInt; inline;
begin
	cube := sqr(x) * x;
end;

implications

Inlining means that a routine’s implementation exists at multiple places in the final executable file. There is no single address the program jumps to, but every time you invoke that routine there is dedicated copy in the source code.

advantages

  • Avoid call overhead for frequently invoked routines. This could increase the speed of the program.
  • Elimination of an extra level of indirection in the case of parameters passed by reference.

disadvantages

  • More difficult to debug: There is no extra frame on the stack indicating the subroutine.
  • Inlining requires space. You will necessarily have numerous copies of the same code at many places.
  • It is not possible to “fine tune” the use of inline: You cannot ask for inlining just at specific places (e. g. in a loop).

caveats

  • inline is a compiler hint. The compiler can ignore it. If the compiler warns you it has not inlined a certain code part marked as inline, you should remove the inline directive. This is not a bug; it is about code complexity.
  • Recursive routines cannot be inlined.
  • Regardless of the inline request there is one instance the routine exists in memory like usual.

application

If you want to optimize for speed, consider trying {$optimization autoInline} first, before manually adding inline hints.

see also