*Messages*

1 [comp] if ( (short)( x & 0xff00 ) > 0 )

会社で、コンパイル時に最適化オプション(-O2)をつけたら挙動がおかしくなる、という現象が発生した。原因を調べた人が「どうも条件判定が怪しい」と言ったので、該当部分(この項目のタイトルにあるif文)についていろいろ試してみた。

まず、問題になってる環境を確かめたところ、RedHat Linux 9 の gcc-3.2.2 らしい。そこで、同じ gcc-3.2.2 がインストールしてある FreeBSD 4.7-Release5.1-Release で

#include <stdio.h>

short minus(int num)
{
  return ( num & 1 ) ? 0xff00 : 0xf000;
}

int main (int ac, char** av)
{
  short x = minus(ac);
  if ( (short)( x & 0xff00 ) > 0 ) {
    printf( "PLUS\n" );
  } else {
    printf( "MINUS\n" );
  }
  return 0;
}

というソースをコンパイルし、実行。

• 最適化なし: "MINUS"
• -O1,-O2: "PLUS"

が表示された。0xff00 の部分を -256 に書き換えても同じ結果。-O2つきでアセンブリコードを出力したところ、0xff00 のあたりは

testl $65280, %eax

となっていた。

次に、gcc-3.3.3 がインストールされている FreeBSD 5.1-Release5.2.1-Release 環境で同じことを試したところ、最適化オプションにかかわらず "MINUS" が表示された。同様にアセンブリコードを出力したところ、0xff00 のあたりは

testw $-256, %ax

となっていた。

他に、gcc-2.7 系や gcc-3.2.3 でも試したところ、最適化オプションにかかわらず "MINUS" が表示された。

結局、

gcc-3.2.2

定数 0xff00 は、無条件に 0x0000ff00 と解釈される

他のコンパイラ

定数 0xff00 が short と比較される際、0xff00 を short として扱う

という挙動っぽい。「他のコンパイラ」と書いたのは、gcc 以外ではこの問題が発生していないため。

それにしても、RedHat9 とか FreeBSD 4.7-Release 標準の gcc に、こんなバグが潜んでたのね…

2 [URL] Google サジェスト

isearchマンセー (謎)

しかし、(2005-03-09時点で)「あ」を入力したときに最初にでる候補は、相当批判をあびる、ゆーことになるだろうな (謎)

3 [rail] 乗車車両 (2005-03-09)

出勤

FL22(8921) → VH26(1126)

帰宅: 天理駅まで徒歩

L08(8358) → KL21(3221)