11.2.1 Intel 80x86 speci�c

When optimizing for a specic Processor (-Op1, -Op2, -Op3, the following is done:

In case statements, a check is done whether a jump table or a sequence of conditional jumps should be used for optimal performance.
Determines a number of strategies when doing peephole optimization, e.g.: movzbl (%ebp), %eax will be changed into xorl %eax,%eax; movb (%ebp),%al for Pentium and PentiumMMX.

When optimizing for speed (-OG, the default) or size (-Og), a choice is made between using shorter instructions (for size) such as enter $4, or longer instructions subl $4,%esp for speed. When smaller size is requested, data is aligned to minimal boundaries. When speed is requested, data is aligned on most ecient boundaries as much as possible.

Fast optimizations (-O1): activate the peephole optimizer

Slower optimizations (-O2): also activate the common subexpression elimination (formerly called the "reloading optimizer")

Uncertain optimizations (-Ou): With this switch, the common subexpression elimination algorithm can be forced into making uncertain optimizations.

Although you can enable uncertain optimizations in most cases, for people who do not understand the following technical explanation, it might be the safest to leave them o.

Remark:If uncertain optimizations are enabled, the CSE algortihm assumes that

If something is written to a local/global register or a procedure/function parameter, this value doesn't overwrite the value to which a pointer points.
If something is written to memory pointed to by a pointer variable, this value doesn't overwrite the value of a local/global variable or a procedure/function parameter.

The practical upshot of this is that you cannot use the uncertain optimizations if you both write and read local or global variables directly and through pointers (this includes Var parameters, as those are pointers too).

The following example will produce bad code when you switch on uncertain optimizations:

Var temp: Longint;

Procedure Foo(Var Bar: Longint);
Begin
  If (Bar = temp)
    Then
      Begin
        Inc(Bar);
        If (Bar <> temp) then Writeln('bug!')
      End
End;

Begin
  Foo(Temp);
End.

The reason it produces bad code is because you access the global variable Temp both through its name Temp and through a pointer, in this case using the Bar variable parameter, which is nothing but a pointer to Temp in the above code.

On the other hand, you can use the uncertain optimizations if you access global/local variables or parameters through pointers, and only access them through this pointer¹ .

For example:

Type TMyRec = Record
                a, b: Longint;
              End;
     PMyRec = ^TMyRec;

     TMyRecArray = Array [1..100000] of TMyRec;
     PMyRecArray = ^TMyRecArray;

Var MyRecArrayPtr: PMyRecArray;
    MyRecPtr: PMyRec;
    Counter: Longint;

Begin
  New(MyRecArrayPtr);
  For Counter := 1 to 100000 Do
    Begin
       MyRecPtr := @MyRecArrayPtr^[Counter];
       MyRecPtr^.a := Counter;
       MyRecPtr^.b := Counter div 2;
    End;
End.

Will produce correct code, because the global variable MyRecArrayPtr is not accessed directly, but only through a pointer (MyRecPtr in this case).

In conclusion, one could say that you can use uncertain optimizations only when you know what you're doing.

11.2.1 Intel 80x86 specic