From: Tanaka Akira <akr@...17n.org>
Date: 2005-11-28T18:45:12+09:00
Subject: [ruby-dev:27859] Re: tail call and conservertive GC

In article <87veydyuzc.fsf@m17n.org>,
  Tanaka Akira <akr@m17n.org> writes:

> (gdb) disassemble rb_parser_compile_string

ぐあ、これは x86 のでした。

まぁ、x86_64 では次のようになって、やっぱり tail call になっていますが。

(gdb) disassemble rb_parser_compile_string
Dump of assembler code for function rb_parser_compile_string:
0x000000000045f6e0 <rb_parser_compile_string+0>:        mov    %rbx,0xffffffffffffffe8(%rsp)
0x000000000045f6e5 <rb_parser_compile_string+5>:        mov    %r12,0xfffffffffffffff0(%rsp)
0x000000000045f6ea <rb_parser_compile_string+10>:       mov    %rdx,%rbx
0x000000000045f6ed <rb_parser_compile_string+13>:       mov    %r13,0xfffffffffffffff8(%rsp)
0x000000000045f6f2 <rb_parser_compile_string+18>:       sub    $0x28,%rsp
0x000000000045f6f6 <rb_parser_compile_string+22>:       mov    %rsi,%r13
0x000000000045f6f9 <rb_parser_compile_string+25>:       mov    %rdi,0x8(%rsp)
0x000000000045f6fe <rb_parser_compile_string+30>:       mov    0x8(%rsp),%rdi
0x000000000045f703 <rb_parser_compile_string+35>:       mov    $0x12,%esi
0x000000000045f708 <rb_parser_compile_string+40>:       mov    %ecx,%r12d
0x000000000045f70b <rb_parser_compile_string+43>:       callq  0x4a6390 <rb_check_type>
0x000000000045f710 <rb_parser_compile_string+48>:       mov    0x8(%rsp),%rax
0x000000000045f715 <rb_parser_compile_string+53>:       mov    %r12d,%edx
0x000000000045f718 <rb_parser_compile_string+56>:       mov    %r13,%rsi
0x000000000045f71b <rb_parser_compile_string+59>:       mov    0x20(%rax),%rdi
0x000000000045f71f <rb_parser_compile_string+63>:       mov    1762027(%rip),%eax        # 0x60da10 <ruby_in_eval>
0x000000000045f725 <rb_parser_compile_string+69>:       movq   $0x44c680,0xa0(%rdi)
0x000000000045f730 <rb_parser_compile_string+80>:       movl   $0x0,0x98(%rdi)
0x000000000045f73a <rb_parser_compile_string+90>:       mov    %rbx,0x68(%rdi)
0x000000000045f73e <rb_parser_compile_string+94>:       movq   $0x0,0x88(%rdi)
0x000000000045f749 <rb_parser_compile_string+105>:      movq   $0x0,0x80(%rdi)
0x000000000045f754 <rb_parser_compile_string+116>:      movq   $0x0,0x78(%rdi)
0x000000000045f75c <rb_parser_compile_string+124>:      mov    %eax,0x44(%rdi)
0x000000000045f75f <rb_parser_compile_string+127>:      mov    0x10(%rsp),%rbx
0x000000000045f764 <rb_parser_compile_string+132>:      mov    0x18(%rsp),%r12
0x000000000045f769 <rb_parser_compile_string+137>:      mov    0x20(%rsp),%r13
0x000000000045f76e <rb_parser_compile_string+142>:      add    $0x28,%rsp
0x000000000045f772 <rb_parser_compile_string+146>:      jmpq   0x45f230 <yycompile>
End of assembler dump.
(gdb) 

[ruby-dev:27856] のパッチを当てると、次のようになります。

(gdb) disassemble rb_parser_compile_string
Dump of assembler code for function rb_parser_compile_string:
0x000000000045f6e0 <rb_parser_compile_string+0>:        mov    %rbx,0xffffffffffffffe0(%rsp)
0x000000000045f6e5 <rb_parser_compile_string+5>:        mov    %r12,0xffffffffffffffe8(%rsp)
0x000000000045f6ea <rb_parser_compile_string+10>:       mov    %rdi,%rbx
0x000000000045f6ed <rb_parser_compile_string+13>:       mov    %r13,0xfffffffffffffff0(%rsp)
0x000000000045f6f2 <rb_parser_compile_string+18>:       mov    %r14,0xfffffffffffffff8(%rsp)
0x000000000045f6f7 <rb_parser_compile_string+23>:       sub    $0x38,%rsp
0x000000000045f6fb <rb_parser_compile_string+27>:       mov    %rsi,%r14
0x000000000045f6fe <rb_parser_compile_string+30>:       mov    $0x12,%esi
0x000000000045f703 <rb_parser_compile_string+35>:       mov    %rdx,%r12
0x000000000045f706 <rb_parser_compile_string+38>:       mov    %ecx,%r13d
0x000000000045f709 <rb_parser_compile_string+41>:       mov    %rdi,0x10(%rsp)
0x000000000045f70e <rb_parser_compile_string+46>:       callq  0x4a6390 <rb_check_type>
0x000000000045f713 <rb_parser_compile_string+51>:       mov    0x20(%rbx),%rdi
0x000000000045f717 <rb_parser_compile_string+55>:       mov    1762035(%rip),%eax        # 0x60da10 <ruby_in_eval>
0x000000000045f71d <rb_parser_compile_string+61>:       mov    %r13d,%edx
0x000000000045f720 <rb_parser_compile_string+64>:       mov    %r14,%rsi
0x000000000045f723 <rb_parser_compile_string+67>:       movq   $0x44c680,0xa0(%rdi)
0x000000000045f72e <rb_parser_compile_string+78>:       movl   $0x0,0x98(%rdi)
0x000000000045f738 <rb_parser_compile_string+88>:       mov    %r12,0x68(%rdi)
0x000000000045f73c <rb_parser_compile_string+92>:       movq   $0x0,0x88(%rdi)
0x000000000045f747 <rb_parser_compile_string+103>:      movq   $0x0,0x80(%rdi)
0x000000000045f752 <rb_parser_compile_string+114>:      movq   $0x0,0x78(%rdi)
0x000000000045f75a <rb_parser_compile_string+122>:      mov    %eax,0x44(%rdi)
0x000000000045f75d <rb_parser_compile_string+125>:      mov    0x18(%rsp),%rbx
0x000000000045f762 <rb_parser_compile_string+130>:      mov    0x20(%rsp),%r12
0x000000000045f767 <rb_parser_compile_string+135>:      mov    0x28(%rsp),%r13
0x000000000045f76c <rb_parser_compile_string+140>:      mov    0x30(%rsp),%r14
0x000000000045f771 <rb_parser_compile_string+145>:      add    $0x38,%rsp
0x000000000045f775 <rb_parser_compile_string+149>:      jmpq   0x45f230 <yycompile>
End of assembler dump.
(gdb) 

スタックに書き込んではいるようですが、yycompile の動作中には、

> 解決しません。ローカル変数は stack frame の中にあって、その
> stack frame は tail call の時点で消えてしまうのです。

というわけで存在しないも同じです。
-- 
[田中 哲][たなか あきら][Tanaka Akira]