ツールニュース

例1
----------------------------------------------
int b[100];
unsigned int c=0;
void func1() {
  unsigned int i;
  for(i=0;i<=100;i++) {     // 無限ループになる
      if(i != c) {
      b[i]=0;
      }
  }
}
----------------------------------------------
例2
----------------------------------------------
int b[100];
unsigned int c=0;
void func2() {
  unsigned int i;
  for(i=0;i<c;i++) {        // c=0の時もループを1回以上まわる
    if(i != 5) {
        b[i]=0;
    }
  }
}
----------------------------------------------

1. optimize=1オプションを使用している。
2. ループが存在する。
3. 2のループ制御変数の増分値が1または-1である。
4. 2のループ内にif文が存在する。
5. 以下5a、または5bのいずれかの条件を満たす。

   5a.	4のif文の条件式が2.のループ制御変数と、2.のループ内で値が不変の式(例1の変数c)の比較である。
   5b.	2のループ制御変数の初期値または上限値がループ内で値が不変の式(例2の変数c)である。

6. 5のループ内不変式が整数型である。

例：
------------------------------------------
int func() {
int count=0;
int limit=0x60000000;
do {
    count++;
    limit += 0x10000000;
} while(limit < -0x60000000);  // 正しい動作では1回目のループ後の
                               // 判定で偽となり、ループを抜ける。
    return (count);            // count=1が正しいが、違う値になる。
}
------------------------------------------

1. optimize=1オプションを使用している。
2. do-whileループが存在する。
3. 2のループ制御変数の型がint, signed int, long, またはsigned longである。
4. 2のループ判定式が、定数値との大小比較(<,<=,>,>=)である。
5. 2のループの比較演算子、制御変数の初期値、更新値、および 判定式の比較値が以下5a～5dのいずれかの条件を満たす。

      5a. 判定式が、ループ制御変数<定数 の場合に以下全てに該当する。
              ・更新値が正
              ・比較値<=初期値
              ・0x00000000<=(比較値-初期値-1)<=0x7FFFFFFF
      5b. 判定式が、ループ制御変数<=定数 の場合に以下全てに該当する。
              ・更新値が正
              ・比較値<初期値
              ・0x00000000<=(比較値-初期値-1)<=0x7FFFFFFF
      5c. 判定式が、ループ制御変数>定数 の場合に以下全てに該当する。
              ・更新値が負
              ・初期値<=比較値
              ・0x00000000<=(初期値-比較値-1)<=0x7FFFFFFF
      5d. 判定式が、ループ制御変数>=定数 の場合に以下全てに該当する。
              ・更新値が負
              ・初期値<比較値
              ・0x00000000<=(初期値-比較値-1)<=0x7FFFFFFF

例1：
------------------------------------------
struct {
   char b0:1;
} ST;
void func() {
   if (ST.b0 != 1) {
   . . . . . . . . .
   }
}
------------------------------------------
例2：
------------------------------------------
int a;
void func2() {
   int t;
   t = ((a & 0x40) == 0);
   t = t - 1;
   t = -t;
   if(~t==1) {
       a = 1;
   } else {
       a = 2;
   }
}
------------------------------------------

1. 以下のすべての条件を満たした場合。

   1a.	optimize=1を指定している。
   1b.	1ビットの符号付きビットフィールドを使用している。
   1c.	1b.と1の比較(==,!=)を行っている。

2. 以下のすべての条件を満たした場合。

   2a.	optimize=1を指定している。
   2b.	比較結果に対して以下のいずれかの演算を行っている。 比較結果と1の減算、比較結果と1の排他的論理和、比較結果の符号反転、または比較結果のビット反転
   2c.	2b.の演算結果と1の比較(==,!=)を行っている。

例：
------------------------------------------
int a[4], b;
void func() {
        a[3&(b-0)]=0;
}
------------------------------------------

1. 変数と0の加算および減算、または変数と1の乗算をしている。
2. 1の結果を以下の演算で使用している。
   加算、減算、論理演算(&,|,^)、除算、剰余算、またはシフト

例：
------------------------------------------
#pragma pack 1
struct {
          double d;
} ST;
int t;
double d[2];
void func() {
          d[t]=ST.d;
}
------------------------------------------

1. pack=1を指定した構造体または共用体がある。
2. 1.の構造体または共用体にdouble型のメンバが存在する。
3. cpu=sh4,sh4a,sh2afpuを指定している。
4. sizeまたはunaligned=runtimeオプションを使用している。
5. 実行時ルーチン_pack1_ld64の呼び出しがある。

例：
------------------------------------------
unsigned int a=65536;
unsigned int b;
void func() {
     b=(a*65536)/8;   // b=0 ((65536*65536)/8→0/8=0) が正しい
}                      // 結果だが、b=65535<<13と置き換えられる。
------------------------------------------

1. unsigned型の式と定数の乗算式が存在する。
2. 1を含む式を1の定数の正の約数で除算している。
3. 1の乗算結果がその式の型の最大値を超える。

例：
------------------------------------------
int x,y;
void func() {
   x=y<<31<<1;  // シフト数の合計は32で、int型のビットサイズ
                // 以上になる
}
------------------------------------------

1. cpuオプションのパラメータにsh1, sh2, sh2e, またはsh2dsp以外を指定している。
2. 以下2a、2bのいずれかの条件を満たす。

   2a.	左シフトもしくは2のべき乗の乗算が2回以上連続し、 かつ個々のシフト数、乗数は被シフト数のビットサイズ未満である。
   2b.	右シフトもしくは2のべき乗の除算が2回以上連続し、 かつ個々のシフト数、乗数は被シフト数のビットサイズ未満である。

3. 2のシフト数と乗数の値の合計が被シフト数のビットサイズ以上となる。

例：
------------------------------------------
char a[3];
void func2() {}
#pragma section A
void func() {
  ++a[2];
  func2();
}
------------------------------------------

1. 呼び出し元関数の最後で関数を呼び出している。
2. 呼び出し先関数の定義が1と同一ファイル内にある。
3. 2の関数定義と1の関数呼び出しは別セクションにある、もしくは4096バイト以上離れた位置にある。
4. 呼び出し元関数内に1以外の関数呼び出しがない。

例：
------------------------------------------
typedef union {
   unsigned int a;
   unsigned int b:32;
} UN;
UN un;
void func() {
   int *p=(int *)&un.a;
   un.b=1;
   *p+=1;
}
------------------------------------------

1. 構造体または共用体型を使用している。
2. 1.のメンバを直接参照(例ではun.b)している。
3. 2.と同じ領域のメンバ(例ではun.a)を指すポインタ変数(例ではp)が存在する。
4. 3.のポインタはローカル変数である。
5. 3.のポインタの間接参照(例では*p)が存在する。
6. 当該領域の値を更新する。
7. 構造体または共用体自身の参照を関数内で行っていない。

例：
------------------------------------------
typedef struct {
    unsigned char c;
} ST0;
typedef struct {
    ST0 s;
} ST;
extern ST A[1000];
extern unsigned short i;
void func(ST *d) {
    A[i-1].s=d->s;  // スタックがA[1000]分余分に確保される
}
------------------------------------------

1. 構造体または共用体型のメンバを持つ構造体または共用体配列が存在する。
2. 1の配列の要素数は2以上である。
3. 構造体または共用体代入文が存在する。
4. 3の左辺は1の構造体または共用体配列の構造体または共用体型メンバである。

例：
------------------------------------------
     .ALIGN  4
     NOP
     MOV.L   @(AA,R1),R0
     BRA     LABEL
     .ALIGN  4
     BT      LABEL
. . . . . . . . . . . . .
LABEL: NOP
AA:   .EQU    4
------------------------------------------

1. cpu=sh2aまたはcpu=sh2afpuオプションを指定している。
2. ある遅延分岐命令の前に"MOV @(disp,Rn)"(disp:12が指定可であるが指定されていない命令)が奇数個存在する。
3. 2の遅延分岐命令の次が.ALIGN制御命令または.ORG制御命令である。
4. 3により2バイトのアドレス補正が行われる。
5. 3の次が拡張命令、または分岐命令(PC相対)である。

例：
------------------------------------------
     .SECTION  SEC1,CODE
     MOV.L     @(AA,R1),R0  ; 2バイト命令
     NOP
     BRA       L3
     .ALIGN    4            ; ロケーションカウンタ 補正あり
     BF        L1           ; ディレイスロット命令でない
L3:   NOP
     .SECTION  SEC2,CODE
L1:   NOP
AA:   .EQU      4
------------------------------------------

1. cpu=sh2aまたはcpu=sh2afpuオプションを指定している。
2. ある遅延分岐命令の前に”MOV @(disp,Rn)”(disp:12が指定可であるが指定されていない命令)が奇数個存在する。
3. 2の遅延分岐命令の次が.ALIGN制御命令または.ORG制御命令である。
4. 3によりMOV @(disp,Rn)命令数×2バイトの補正がある。
5. 3の次がアドレス分岐命令である。

1. コンパイル時にgoptimizeオプションを指定している。
2. 共通コード統合最適化(optimize=same_code)が有効である。
3. 最適化リンケージエディタ V.8.00.03以降のバージョンを使用している。
4. リンク時に、リロケータブルファイルを入力している。
5. 4のリロケータブルファイルのコードが、2の最適化により4n+2バイト(4の倍数でないサイズ)で共通化される。

1. コンパイル時にgoptimizeオプションを指定している。
2. 定数および文字列統合最適化(optimize=string_unify)が有効である。
3. コンパイル時にabs16オプションを指定している、または#pragma abs16宣言されているconst指定変数がある。

1. 未参照シンボル削除最適化(optimize=symbol_delete)が有効な場合に出力ファイルをoutputオプションを使用して複数ファイルに分割するように指定している(内部エラー(7041)発生)。
2. profileオプション使用時に、binaryオプションを指定している(内部エラー(L4001)発生)。