デフォルトでは［中］、［高］の最適化レベルにおいて、冗長な共通部分式が除去されます。この最適化により、コードサイズと実行時間の両方が削減されます。ただし、生成されるコードのデバッグが困難になる場合があります。

ループ展開とは、コンパイル時に繰り返し回数を決定できるループのコード本体の複製を意味します。 ループ展開によって、複数の繰り返しに分割することにより、ループのオーバヘッドが少なくなります。

この最適化は、ループのオーバヘッドがループ本体合計の大部分を占めるような、小さいループの場合に最も効率的です。

ループ展開は、、最適化レベルが［高］の場合に実行可能で、通常は実行時間が短縮されますが、コードサイズは増加します。また、生成されるコードのデバッグも困難になる場合があります。

コンパイラは、ヒューリスティックにより、展開するループを決定します。ループのオーバヘッド減少が明確な、比較的小さいループのみが展開されます。実行する最適化の内容（速度、サイズ、速度とサイズのバランス）に応じて、異なるテクニックが使用されます。

関数インライン化とは、定義がコンパイル時に判明している関数を、その呼び出し元関数の本体に統合し、呼び出しによるオーバヘッドを解消することです。 通常この最適化では実行時間は短縮されますが、コードサイズが大きくなることがあります。

詳細については、インライン関数を参照してください。

ループ不変式や共通部分式の評価式を移動し、冗長な再評価を回避します。この最適化は、最適化レベルが［中］またはそれ以上の場合に実行可能で、通常はコードサイズと実行時間が短縮されます。ただし、生成されるコードのデバッグは困難になる場合があります。

複数のポインタが同一メモリ位置を参照する場合、これらのポインタをそれぞれのエイリアスといいます。エイリアスが存在すると、特定の値が変更されるかどうかがコンパイル時にわからない場合があるため、最適化が困難になります。

型ベースエイリアス解析による最適化では、同一オブジェクトへのすべてのアクセスは、そのオブジェクトの宣言型またはchar型の使用を前提としています。これにより、コンパイラはポインタが同一のメモリ位置を参照しているかどうかを検出することができます。

型ベースエイリアス解析は、最適化レベルが［高］の場合のみ実行されます。標準のC/C++アプリケーションコードに準拠するアプリケーションコードの場合、この最適化によってコードサイズが減少して実行時間が短縮されることがあります。ただし、非標準のC/C++コードの場合は、予期せぬ動作の原因となるコードをコンパイラが生成することがあります。そのため、この最適化を無効にできるようになっています。

short F(short *p1, long *p2)
{
  *p2 = 0;
  *p1 = 1;
  return *p2;
}