高レベルな最適化 (HLO) レポート

void bar (int *A, int **B);

int foo (int *A, int **B, int N)

{

   int i, j;

   for (j=0; j<N; j++) {

      for (i=0; i<N; i++) {

         B[i][j] += A[j];

         bar(A,B);

      }

   }

   return 1;

}

レポートされる関数についての情報です。次の形式で示されます。

<source name>;<start line>;<end line>;<optimization>; <function name>;<element type>

例えば、レポートには次の情報が含まれます。

Linux* および Mac OS* X:

<sample1.c;-1:-1;hlo;foo;0>

Windows*:

<sample1.c;-1:-1;hlo;_foo;0>

ここでは、次の情報が含まれます。

• <source name>: 検証されるソースファイルの名前です。

• <start line>: 検証される関数の開始行番号です。値が 1 の場合、関数全体がレポートされます。

• <end line>: 検証される関数の終了行番号を示します。

• <optimization>: 最適化フェーズを示します。このレポートの場合は、hlo 最適化フェーズです。

• <function name>: 検証される関数名です。

• <element type>: レポート要素の型を示します。0 は要素がコメントであることを示します。

いくつかのレポート要素はグループ化されます。

QLOOPS 2/2      ENODE ループ 2 

不明 0 multi_exit_do 0 do 2 

linear_do 2

線形 HLO 式:  17 / 18

Windows* のみ: レポートのこのセクションには、次の情報がリストされます。

• QLOOPS: 発見されたループの中から適格なループの数を示します。

• ENODE ループ: HLO によって生成された望ましいループ形式 (標準的な) の数を示します。これは、HLO によって生成されたループの数です。

• 不明: カウントできなかったループの数を示します。

• multi_exit_do: 複数の出口を含むカウント可能なループを示します。

• do: カウント可能なトリップカウントを持つループの合計数を示します。

• linear_do: 線形形式で表現できる限界を持つループ数を示します。

• LINEAR HLO EXPRESSIONS: 線形形式で表現できる式 (2 番目の数字) のすべての中間形式 (ENODE) にある式の数 (最初の数字) を示します。

Linux* および Mac OS* X

<sample1.c;-1:-1;hlo;foo;0>

高レベル・オプティマイザー・レポート (foo)

ブロック、アンロール、ジャムレポート:

(ループ行の番号、アンロールファクターおよび変換の種類)

<sample1.c;7:7;hlo_unroll;foo;0>

ループ (行:7) 剰余ありでアンロール - 2

Windows

<sample1.c;-1:-1;hlo;_foo;0>

高レベル・オプティマイザー・レポート (_foo)

QLOOPS 2/2      ENODE ループ 2 不明 0 multi_exit_do 0 do 2 linear_do 2

線形 HLO 式:  17 / 18

------------------------------------------------------------------------------

<sample1.c;6:6;hlo_linear_trans;_foo;0>

ループ交換は完了しませんでした: ユーザー関数の内部ループが入れ子です。

アドバイス: ループ交換は (可能であれば) 次の行のループに使用してもかまいません: 6 7

      : 推奨する順列: (1 2 ) --> ( 2 1 )

int foo (int *A, int **B, int N)

{

   int i, j;

   for (j=0; j<N; j++) {

      A[j] = i + B[i][1];

      for (i=0; i<N; i++) {

         B[i][j] += A[j];

      }

   }

   return 1;

}

Linux* および Mac OS* X

<sample2.c;-1:-1;hlo;foo;0>

高レベル・オプティマイザー・レポート (foo)

<sample2.c;7:7;hlo_scalar_replacement;in foo;0>

置換された配列参照スカラー foo の数 (行 7=2)

置換された配列参照スカラー foo の数 (行 7=1)

ブロック、アンロール、ジャムレポート:

(ループ行の番号、アンロールファクターおよび変換の種類)

<sample2.c;7:7;hlo_unroll;foo;0>

ループ (行:7) 剰余ありでアンロール - 2

Windows

<sample2.c;-1:-1;hlo;_foo;0>

高レベル・オプティマイザー・レポート (_foo)

QLOOPS 2/2      ENODE ループ 2 不明 0 multi_exit_do 0 do 2 linear_do 2

線形 HLO 式:  22 / 27

------------------------------------------------------------------------------

<sample2.c;7:7;hlo_scalar_replacement;in _foo;0>

置換された配列参照スカラー foo の数 (行 7=2)

<sample2.c;5:5;hlo_linear_trans;_foo;0>

ループ交換は完了しませんでした: ループの入れ子が完全ではありません (ソースのいずれかまたは

他のコンパイラー変換による)

アドバイス: ループ交換は (可能であれば) 次の行のループに使用してもかまいません: 5 7

      : 推奨する順列: (1 2 ) --> ( 2 1 )

int foo (int **A, int **B, int **C, int N)

{

   int i, j;

   for (j=0; j<N; j++) {

      for (i=0; i<N; i++) {

         A[i][j] = C[i][j] * 2;

         B[i][j] += A[i][j] * C[i][j];

      }

   }

   return 1;

}

Linux* および Mac OS* X

<sample3.c;-1:-1;hlo;foo;0>

高レベル・オプティマイザー・レポート (foo)

ブロック、アンロール、ジャムレポート:

(ループ行の番号、アンロールファクターおよび変換の種類)

<sample3.c;6:6;hlo_unroll;foo;0>

ループ (行:6) 剰余ありでアンロール - 2

Windows

<sample3.c;-1:-1;hlo;_foo;0>

高レベル・オプティマイザー・レポート (_foo)

QLOOPS 2/2      ENODE ループ 2 不明 0 multi_exit_do 0 do 2 linear_do 2

線形 HLO 式:  36 / 36

------------------------------------------------------------------------------

<sample3.c;5:5;hlo_linear_trans;_foo;0>

ループ交換は完了しませんでした: データの依存関係があります。

  以下の文の間で依存関係が見つかりました:

    [From_Line# -> (依存関係の種類) To_Line#]

    [7 ->(Anti) 8] [7 ->(Flow) 8] [7 ->(Output) 8]

    [7 ->(Flow) 7] [7 ->(Anti) 7] [7 ->(Output) 7]

アドバイス: ループ交換は (可能であれば) 次の行のループに使用してもかまいません: 5 6

      : 推奨する順列: (1 2 ) --> ( 2 1 )

int foo (int ** restrict A, int ** restrict B, int N)

{

   int i, j, value;

   for (j=0; j<N; j++) {

      for (i=0; i<N; i++) {

         A[j][i] += B[i][j];       

      }

   }

   value = A[1][1];

   return value;

}

Linux* および Mac OS* X

<sample4.c;-1:-1;hlo;foo;0>

高レベル・オプティマイザー・レポート (foo)

ブロック、アンロール、ジャムレポート:

(ループ行の番号、アンロールファクターおよび変換の種類)

<sample4.c;6:6;hlo_unroll;foo;0>

ループ (行:6) 剰余ありでアンロール - 2

Windows

<sample4.c;-1:-1;hlo;_foo;0>

高レベル・オプティマイザー・レポート (_foo)

QLOOPS 2/2      ENODE ループ 2 不明 0 multi_exit_do 0 do 2 linear_do 2

線形 HLO 式:  18 / 18

int foo (int ** restrict A, int ** restrict B, int ** restrict C, int N)

{

   int i, j, sum;

   for (j=0; j<N; j++) {

      sum += A[1][1];

      for (i=0; i<N; i++) {

         sum = B[j][i] + C[i][j];

      }

   }

   return sum;

}

Linux* および Mac OS* X

<sample5.c;-1:-1;hlo;foo;0>

高レベル・オプティマイザー・レポート (foo)

Windows

<sample5.c;-1:-1;hlo;_foo;0>

高レベル・オプティマイザー・レポート (_foo)

QLOOPS 2/2      ENODE ループ 2 不明 0 multi_exit_do 0 do 2 linear_do 2

線形 HLO 式:  16 / 19

------------------------------------------------------------------------------

<sample5.c;5:5;hlo_linear_trans;_foo;0>

ループ交換は完了しませんでした: ループの入れ子が完全ではありません (ソースのいずれかまたは

他のコンパイラー変換による)

アドバイス: ループ交換は (可能であれば) 次の行のループに使用してもかまいません: 5 7

      : 推奨する順列: (1 2 ) --> ( 2 1 )

int foo (int ***A, int ***B, int **C, int N)

{

   int q, i, j, k;

   q = 0;

   while ( A[q][0][0] != 0) {

   for (j=0; j<N; j++) {

      A[j][0][0] = j + B[j][0][0];

      for (i=0; i<N; i++) {

         for (k=0; k<N; k++) {

            B[k][i][j] += A[j][0][0] + C[i][j];

         }

      }

   }

   A[q][0][0] = B[0][q][0] + 5;

   }

   return 1;

}

Linux* および Mac OS* X

<sample6.c;-1:-1;hlo;foo;0>

高レベル・オプティマイザー・レポート (foo)

ブロック、アンロール、ジャムレポート:

(ループ行の番号、アンロールファクターおよび変換の種類)

<sample6.c;9:9;hlo_unroll;foo;0>

ループ (行:9) 剰余ありでアンロール - 2  

[root@infodev-test hlo_samples_cpp]#

Windows

<sample6.c;-1:-1;hlo;_foo;0>

高レベル・オプティマイザー・レポート (_foo)

QLOOPS 2/4      ENODE ループ 2 不明 0 multi_exit_do 0 do 2 linear_do 2

線形 HLO 式:  34 / 34

------------------------------------------------------------------------------

<sample6.c;8:8;hlo_linear_trans;_foo;0>

ループ交換は完了しませんでした: データの依存関係があります。

  以下の文の間で依存関係が見つかりました:

    [From_Line# -> (依存関係の種類) To_Line#]

    [10 ->(Flow) 10] [10 ->(Anti) 10] [10 ->(Output) 10]

アドバイス: ループ交換は (可能であれば) 次の行のループに使用してもかまいません: 8 9

      : 推奨する順列: (1 2 ) --> ( 2 1 )