[ruby-dev:25356] Re: 1.9.0でbcc版がコンパイルできない

山本です。

>問題を最小限にしてみると、
># sample.rb --------------------------------------------------
>until false
>end
>#-------------------------------------------------------------
>で
>C:\>miniruby.exe sample.rb
>で、再現できました。until,while構文の解析でこけているみたいです。

どうも__int64周りのコンパイラのバグのようです。デバッガでトレースしたところ

parse.c 6759: {COND_POP();;}

  mov eax,[ebp+0x08]
  mov edx,[eax+0x2c]
  mov eax,[eax+0x28] # eax にアドレス eax+0x28 の数値（64bit整数の下位32bit）を読み込む
  shrd eax,edx,0x01  # eax に格納された数値に対しシフト演算
  shr edx,1
  mov [eax+0x2c],edx # 落ちる。eax がアドレスを指していないため
  mov [eax+0x28],eax

となり、落ちました。落ちる行の前に

  mov eax,[ebp+0x08]

が必要なはずですが、そうなっていません。

落ちないようにする方法としては、

Index: parse.y
===================================================================
RCS file: /src/ruby/parse.y,v
retrieving revision 1.364
diff -u -w -b -p -r1.364 parse.y
--- parse.y	20 Dec 2004 01:52:06 -0000	1.364
+++ parse.y	27 Dec 2004 07:12:57 -0000
@@ -66,11 +66,7 @@ enum lex_state_e {
     EXPR_TERNARY,		/* alike EXPR_BEG but immediate after ternary op. */
 };
 
-# ifdef HAVE_LONG_LONG
-typedef unsigned LONG_LONG stack_type;
-# else
 typedef unsigned long stack_type;
-# endif
 
 # define BITSTACK_PUSH(stack, n)	(stack = (stack<<1)|((n)&1))
 # define BITSTACK_POP(stack)	(stack >>= 1)

として stack_type に unsigned long を使うか、(普通は unsigned __int64 を使う）

Index: parse.y
===================================================================
RCS file: /src/ruby/parse.y,v
retrieving revision 1.364
diff -u -w -b -p -r1.364 parse.y
--- parse.y	20 Dec 2004 01:52:06 -0000	1.364
+++ parse.y	27 Dec 2004 07:13:44 -0000
@@ -73,7 +73,7 @@ typedef unsigned long stack_type;
 # endif
 
 # define BITSTACK_PUSH(stack, n)	(stack = (stack<<1)|((n)&1))
-# define BITSTACK_POP(stack)	(stack >>= 1)
+# define BITSTACK_POP(stack)	(stack = stack >> 1)
 # define BITSTACK_LEXPOP(stack)	(stack = (stack >> 1) | (stack & 1))
 # define BITSTACK_SET_P(stack)	(stack&1)

とすると、落ちなくなります。

/////////////////////////////////////

より単純なコードでも落とせます。ただし、これは bcc32 に -Od をつけないと落ちません。(bcc32 -v -Od)

#include <stdio.h>

struct hoge
{
    unsigned __int64 value;
};

void test(void)
{
        struct hoge a;
        
        struct hoge *p = &a;
        
        p->value = 0;

        p->value = (p->value<<1)|(1);

        p->value >>= 1; /* 落ちる */
}

int main()
{
        /* hook for debuging */
        puts("press enter");
        getc(stdin);

        test();
}

落ちる部分の生成コードは

  mov eax,[ebp-0x0c]
  mov edx,[eax+0x04]
  mov eax,[eax]
  shrd eax,edx,0x01
  shr edx,1
  mov [eax+0x04],edx # 落ちる
  mov [eax],eax

です。

ポインタを介さず、a.value を p->value の代わりに使うと、落ちなくなります。
（ruby_1_8 が落ちないのはこのあたりに理由が？）

  mov eax,[ebp-0x08]
  mov edx,[ebp-0x04]
  shrd eax,edx,0x01
  shr edx,1
  mov [ebp-0x04],edx
  mov [ebp-0x08],eax

また、 p->value = (p->value<<1)|(1); を削除しても落ちなくなります。

  mov ecx,[ebp-0x0c]
  mov eax,[ecx]
  mov edx,[ecx+0x04]
  shrd eax,edx,0x01
  shr edx,1
  mov [ecx+0x04],edx
  mov [ecx],eax

bcc32 -v でも落ちなくなります。（単純なコードだと最適化される？）

  mov eax,[ecx]
  mov edx,[ecx+0x04]
  shrd eax,edx,0x01
  shr edx,1
  mov [ecx+0x04],edx
  mov [ecx],eax

bcc32のunsigned __int64には他にもこんなバグ
(http://www.web-one.org/new-5015457-4898.html)があるみたいです。
使わないほうがいいのかもしれません。

/////////////////////

余談ですが、parse.c の #line を削除しないとトレースがおかしくなるのに
はまりました。