はじめに

今更ですが、V8のソースコード読解とデバッグをはじめてしばらく経過したので、ちょっとつまずいた部分などをメモしていきます。なお、V8(d8)のバージョンは、13.3.0をソースコードからビルドしました。

仮想マシンの実装方法

Ignitionで生成されたバイトコードがどのように実行されているかを確認しようとしたのですが、 https://github.com/v8/v8/tree/main/src/interpreter
のフォルダにあるファイルにブレークポイントを設定しても、実行されている形跡がありません。

調べているうちに、どうやら、このコードは、V８がコンパイルされたときに、すぐに実行され、ビルドした環境の機械語のみが直接、V8に組み込まれるようでした。

組み込まれたソースコードの一覧は、d8 --log-code などと打つと、v8.logファイルに組み込まれた機械語の関数一覧が表示されます。

該当行は、ログファイルの行先頭にcode-creationと書かれていて、その次に、Builtinまたは、BytecodeHandlerと書かれています。

v8.log

...
new,MemoryChunk,0xbdd00000000,262144
code-creation,Builtin,2,142921,0x7fff7f2c0000,1028,DeoptimizationEntry_Eager
...
code-creation,BytecodeHandler,0,191851,0x7fff7fd90d40,304,Wide
...

BytecodeHandlerですが、これは、Ignitionが生成したバイトコードの命令と対応しているようです。バイトコードが読み取られた後に、BytecodeHandlerのアドレスが、ある関数テーブルにあり、バイトコードの命令を指す最初の１バイトが直接BytecodeHandlerのアドレスを指し示すようになっているようです。

v8.log

code-creation,BytecodeHandler,0,191851,0x7fff7fd90d40,304,Wide
code-creation,BytecodeHandler,0,191874,0x7fff7fd90e80,304,ExtraWide
code-creation,BytecodeHandler,0,191897,0x7fff7fd90fc0,560,DebugBreakWide
code-creation,BytecodeHandler,0,191919,0x7fff7fd91200,560,DebugBreakExtraWide
code-creation,BytecodeHandler,0,191942,0x7fff7fd91440,664,DebugBreak0

以下は、デバッガによる関数テーブル先頭からのメモリの内容です。

-exec x/500x 0x55555572d820
0x55555572d820:	0x7fd90d40	0x00007fff	0x7fd90e80	0x00007fff
0x55555572d830:	0x7fd90fc0	0x00007fff	0x7fd91200	0x00007fff
0x55555572d840:	0x7fd91440	0x00007fff	0x7fd91700	0x00007fff
0x55555572d850:	0x7fd91940	0x00007fff	0x7fd91b80	0x00007fff
0x55555572d860:	0x7fd91dc0	0x00007fff	0x7fd92000	0x00007fff
0x55555572d870:	0x7fd92240	0x00007fff	0x7fd92480	0x00007fff
0x55555572d880:	0x7fd925c0	0x00007fff	0x7fd92780	0x00007fff
0x55555572d890:	0x7fd92980	0x00007fff	0x7fd92b40	0x00007fff
...

BytecodeHandlerの置かれたアドレスと関数テーブルのアドレスが一致していることが確認できました。

InterpreterEntryTrampolineの実装

次に、Builtinですが、これは、個々の関数毎色々役割があります。BytecodeHandlerから呼ばれるものが多いですが、個々のBytecodeHandlerを呼び出すCallerとしての役割である、InterpreterEntryTrampolineの機械語について見ておくとよいでしょう。

InterpreterEntryTrampoline

   # 0xf may be JSFunction::kSharedFunctionInfoOffset
   # r11 is shared_function_info
   0x7fff7f30cec0:	mov    r11d,DWORD PTR [rdi+0xf]
   0x7fff7f30cec4:	add    r11,r14
   # ResetSharedFunctionInfoAge
   # 0x2b is SharedFunctionInfo::kAgeOffset
   0x7fff7f30cec7:	mov    WORD PTR [r11+0x2b],0x0
   # GetSharedFunctionInfoBytecodeOrBaseline
   0x7fff7f30cece:	mov    r10d,DWORD PTR [r11+0x3]
   ## CheckSharedFunctionInfoBytecodeOrBaseline
   0x7fff7f30ced2:	test   r10b,0x1
   0x7fff7f30ced6:	je     0x7fff7f30cef2
   0x7fff7f30ced8:	mov    r12,QWORD PTR [r13+0x26e8]
   0x7fff7f30cedf:	shr    r10d,0x9
   0x7fff7f30cee3:	shl    r10d,0x4
   0x7fff7f30cee7:	mov    r12,QWORD PTR [r12+r10*1+0x8]
   0x7fff7f30ceec:	or     r12,0x1
   0x7fff7f30cef0:	jmp    0x7fff7f30cf0e
   0x7fff7f30cef2:	shr    r10d,0x9
   0x7fff7f30cef6:	mov    r12,QWORD PTR [r13+0x218]
   0x7fff7f30cefd:	mov    r12,QWORD PTR [r12+r10*8]
   0x7fff7f30cf01:	movabs r10,0x80ffffffffffff
   0x7fff7f30cf0b:	and    r12,r10
   0x7fff7f30cf0e:	mov    r10d,DWORD PTR [r12-0x1]
   0x7fff7f30cf13:	cmp    r10d,0xd59
   0x7fff7f30cf1a:	jne    0x7fff7f30cf42
   0x7fff7f30cf20:	mov    r10d,DWORD PTR [r12+0x1b]
   0x7fff7f30cf25:	and    r10,0xf
   0x7fff7f30cf29:	cmp    r10d,0xa
   0x7fff7f30cf2d:	je     0x7fff7f30cf3c
   0x7fff7f30cf2f:	mov    edx,0x16
   0x7fff7f30cf34:	call   QWORD PTR [r13+0x57b0] # Abort
   0x7fff7f30cf3b:	int3   
   0x7fff7f30cf3c:	je     0x7fff7f30d185
   0x7fff7f30cf42:	cmp    r10d,0x20a5
   0x7fff7f30cf49:	jne    0x7fff7f30cf57
   0x7fff7f30cf4b:	mov    r12d,DWORD PTR [r12+0x7]
   0x7fff7f30cf50:	or     r12,QWORD PTR [r13+0x210]
   0x7fff7f30cf57:	mov    r10d,DWORD PTR [r12-0x1]
   0x7fff7f30cf5c:	cmp    r10d,0x941
   0x7fff7f30cf63:	jne    0x7fff7f30d10b
   ############################################################
   # LoadParameterCountFromJSDispatchTable
   # r13+0x26f8 is ExternalReference::js_dispatch_table_address
   0x7fff7f30cf69:	mov    r10,QWORD PTR [r13+0x26f8]
   0x7fff7f30cf70:	mov    r8,r15
   0x7fff7f30cf73:	shr    r8d,0x9
   0x7fff7f30cf77:	shl    r8d,0x4
   0x7fff7f30cf7b:	movzx  r8d,WORD PTR [r10+r8*1+0x8]
   # 0x1f is BytecodeArray::kParameterSizeOffset
   0x7fff7f30cf81:	cmp    r8w,WORD PTR [r12+0x1f]
   0x7fff7f30cf87:	je     0x7fff7f30cf96
   0x7fff7f30cf89:	mov    edx,0x9a
   0x7fff7f30cf8e:	call   QWORD PTR [r13+0x57b0] # Abort
   0x7fff7f30cf95:	int3   
   # LoadFeedBackVector ???
   0x7fff7f30cf96:	mov    ebx,DWORD PTR [rdi+0x17]
   0x7fff7f30cf99:	mov    ebx,DWORD PTR [r14+rbx*1+0x3]
   0x7fff7f30cf9e:	add    rbx,r14
   0x7fff7f30cfa1:	mov    ecx,DWORD PTR [rbx-0x1]
   0x7fff7f30cfa4:	cmp    ecx,0x801
   0x7fff7f30cfaa:	je     0x7fff7f30cfb2
   0x7fff7f30cfac:	lea    rbx,[r14+0x11]
   0x7fff7f30cfb0:	jmp    0x7fff7f30cfc1
   # ResetFeedbackVectorOsrUrgency
   # 0xc is FeedbackVector::kOsrStateOffset
   0x7fff7f30cfb2:	mov    r10b,BYTE PTR [rbx+0xc]
   # 0x8 is Immediate(~FeedbackVector::OsrUrgencyBits::kMask)
   0x7fff7f30cfb6:	and    r10b,0xf8
   0x7fff7f30cfba:	mov    BYTE PTR [rbx+0xc],r10b
   # 0x7 may be FeedbackVector::kInvocationCountOffset
   0x7fff7f30cfbe:	inc    DWORD PTR [rbx+0x7]
   0x7fff7f30cfc1:	push   rbp
   0x7fff7f30cfc2:	mov    rbp,rsp
   0x7fff7f30cfc5:	push   rsi # kContextRegister
   0x7fff7f30cfc6:	push   rdi # kJavaScriptCallTargetRegister
   0x7fff7f30cfc7:	push   rax # kJavaScriptCallArgCountRegister
   # 0x27 is BytecodeArray::kHeaderSize(0x28) - kHeapObjectTag(1)
   # r9 is kInterpreterBytecodeOffsetRegister
   0x7fff7f30cfc8:	mov    r9d,0x27 
   # r12 is kInterpreterBytecodeArrayRegister
   0x7fff7f30cfce:	push   r12
   0x7fff7f30cfd0:	mov    ecx,r9d
   0x7fff7f30cfd3:	add    ecx,ecx
   0x7fff7f30cfd5:	rol    rcx,0x20
   0x7fff7f30cfd9:	xor    rcx,0x515151
   0x7fff7f30cfe0:	ror    rcx,0x20
   # 
   0x7fff7f30cfe4:	push   rcx
   # rbx is FeedbackVector
   0x7fff7f30cfe5:	push   rbx
   0x7fff7f30cfe6:	mov    ecx,DWORD PTR [r12+0x1b]
   0x7fff7f30cfeb:	mov    rax,rsp
   0x7fff7f30cfee:	sub    rax,rcx
   0x7fff7f30cff1:	cmp    rax,QWORD PTR [r13-0x70]
   0x7fff7f30cff5:	jb     0x7fff7f30d1fe
   0x7fff7f30cffb:	lea    rax,[r14+0x11]
   0x7fff7f30cfff:	jmp    0x7fff7f30d002
   0x7fff7f30d001:	push   rax
   0x7fff7f30d002:	sub    rcx,0x8
   0x7fff7f30d006:	jge    0x7fff7f30d001
   0x7fff7f30d008:	movsxd rcx,DWORD PTR [r12+0x23]
   0x7fff7f30d00d:	test   ecx,ecx
   0x7fff7f30d00f:	je     0x7fff7f30d016
   0x7fff7f30d011:	mov    QWORD PTR [rbp+rcx*8+0x0],rdx
   0x7fff7f30d016:	cmp    rsp,QWORD PTR [r13-0x60]
   0x7fff7f30d01a:	jb     0x7fff7f30d0c8
   # load the head address of byte code handler table
   0x7fff7f30d020:	mov    r15,QWORD PTR [r13+0x4f78]
   # r12 + r9 will be the offset to the bytecode. 
   # read the bytecode to jump to bytecode handler.
   0x7fff7f30d027:	movzx  r10d,BYTE PTR [r12+r9*1]
   # r15 is a head of function pointer
   # r10 is an offset to the bytecode handler to be called. 
   0x7fff7f30d02c:	mov    rcx,QWORD PTR [r15+r10*8]
   ############################################################
=> 0x7fff7f30d030:	call   rcx
   ############################################################
   0x7fff7f30d032:	mov    r12,QWORD PTR [rbp-0x20]
   ## if it is 0, will abort.
   0x7fff7f30d036:	mov    r9d,DWORD PTR [rbp-0x28]
   
   0x7fff7f30d03a:	test   r9d,0x10000000
   0x7fff7f30d041:	je     0x7fff7f30d050
   0x7fff7f30d043:	mov    edx,0x4
   # Abort
   0x7fff7f30d048:	call   QWORD PTR [r13+0x57b0]
   0x7fff7f30d04f:	int3   
   ##########
   0x7fff7f30d050:	shr    r9d,1
   # r12 + r9d should be the next bytecode to be executed. 
   0x7fff7f30d053:	movzx  ebx,BYTE PTR [r12+r9*1]
   0x7fff7f30d058:	mov    r8,r9
   0x7fff7f30d05b:	mov    rcx,QWORD PTR [r13+0x1e90]
   0x7fff7f30d062:	cmp    bl,0x3
   0x7fff7f30d065:	ja     0x7fff7f30d084
   0x7fff7f30d067:	inc    r9d
   0x7fff7f30d06a:	test   bl,0x1
   0x7fff7f30d06d:	movzx  ebx,BYTE PTR [r12+r9*1]
   0x7fff7f30d072:	jne    0x7fff7f30d07d
   0x7fff7f30d074:	add    rcx,0xd0
   0x7fff7f30d07b:	jmp    0x7fff7f30d084
   0x7fff7f30d07d:	add    rcx,0x1a0
   0x7fff7f30d084:	cmp    bl,0xb3
   0x7fff7f30d087:	je     0x7fff7f30d0ad
   0x7fff7f30d08d:	cmp    bl,0xb9
   0x7fff7f30d090:	je     0x7fff7f30d0ad
   0x7fff7f30d096:	cmp    bl,0x92
   0x7fff7f30d099:	jne    0x7fff7f30d0a0
   0x7fff7f30d09b:	mov    r9,r8
   0x7fff7f30d09e:	jmp    0x7fff7f30d0a8
   0x7fff7f30d0a0:	movzx  r10d,BYTE PTR [rcx+rbx*1]
   0x7fff7f30d0a5:	add    r9d,r10d
   0x7fff7f30d0a8:	jmp    0x7fff7f30d020
   0x7fff7f30d0ad:	mov    rbx,QWORD PTR [rbp-0x20]
   0x7fff7f30d0b1:	movzx  ebx,WORD PTR [rbx+0x1f]
   0x7fff7f30d0b5:	mov    rcx,QWORD PTR [rbp-0x18]
   0x7fff7f30d0b9:	cmp    rbx,rcx
   0x7fff7f30d0bc:	cmovl  rbx,rcx
   0x7fff7f30d0c0:	leave  
   0x7fff7f30d0c1:	pop    rcx
   0x7fff7f30d0c2:	lea    rsp,[rsp+rbx*8]
   0x7fff7f30d0c6:	push   rcx
   0x7fff7f30d0c7:	ret    
   ############################################################
   0x7fff7f30d0c8:	mov    r10d,0x4c
   0x7fff7f30d0ce:	mov    QWORD PTR [rbp-0x28],r10
   0x7fff7f30d0d2:	xor    eax,eax
   0x7fff7f30d0d4:	mov    rbx,QWORD PTR [r13+0x40f8] # rbx=0x7ffff4c6
   0x7fff7f30d0db:	call   0x7fff7f744540 # CEntry_Return1_ArgvOnStack_NoBuiltinExit
   # _ZN2v88internal18Runtime_StackGuardEiPmPNS0_7IsolateE
   0x7fff7f30d0e0:	mov    r12,QWORD PTR [rbp-0x20]
   0x7fff7f30d0e4:	mov    r9d,0x27
   0x7fff7f30d0ea:	lea    rax,[r14+0x11]
   0x7fff7f30d0ee:	mov    ecx,r12d
   0x7fff7f30d0f1:	add    ecx,ecx
   0x7fff7f30d0f3:	rol    rcx,0x20
   0x7fff7f30d0f7:	xor    rcx,0x515151
   0x7fff7f30d0fe:	ror    rcx,0x20
   0x7fff7f30d102:	mov    QWORD PTR [rbp-0x28],rcx
   0x7fff7f30d106:	jmp    0x7fff7f30d020
   0x7fff7f30d10b:	push   rbp # // Caller's frame pointer.
   0x7fff7f30d10c:	mov    rbp,rsp
   0x7fff7f30d10f:	push   0x2e
   0x7fff7f30d111:	push   rdi
   0x7fff7f30d112:	push   rdx
   0x7fff7f30d113:	add    eax,eax
   0x7fff7f30d115:	rol    rax,0x20
   0x7fff7f30d119:	xor    rax,0x515151
   0x7fff7f30d11f:	ror    rax,0x20
   0x7fff7f30d123:	push   rax
   0x7fff7f30d124:	push   r15
   0x7fff7f30d126:	push   rdi
   0x7fff7f30d127:	mov    eax,0x1
   0x7fff7f30d12c:	mov    rbx,QWORD PTR [r13+0x3c78] # 0x7ffff4c3d720:CompileLazy
   0x7fff7f30d133:	call   0x7fff7f744540
   0x7fff7f30d138:	mov    rcx,rax
   0x7fff7f30d13b:	pop    r15
   0x7fff7f30d13d:	pop    rax
   0x7fff7f30d13e:	test   eax,0x10000000
   0x7fff7f30d143:	je     0x7fff7f30d152
   0x7fff7f30d145:	mov    edx,0x4
   0x7fff7f30d14a:	call   QWORD PTR [r13+0x57b0]
   0x7fff7f30d151:	int3   
   0x7fff7f30d152:	shr    eax,1
   0x7fff7f30d154:	pop    rdx
   0x7fff7f30d155:	pop    rdi
   0x7fff7f30d156:	cmp    QWORD PTR [rbp-0x8],0x2e
   0x7fff7f30d15b:	je     0x7fff7f30d16a
   0x7fff7f30d15d:	mov    edx,0x60
   0x7fff7f30d162:	call   QWORD PTR [r13+0x57b0]
   0x7fff7f30d169:	int3   
   0x7fff7f30d16a:	mov    rsp,rbp
   0x7fff7f30d16d:	pop    rbp
   0x7fff7f30d16e:	mov    r10,QWORD PTR [r13+0x26e8]
   0x7fff7f30d175:	mov    ecx,DWORD PTR [rcx+0x3]
   0x7fff7f30d178:	shr    ecx,0x9
   0x7fff7f30d17b:	shl    ecx,0x4
   0x7fff7f30d17e:	mov    rcx,QWORD PTR [r10+rcx*1]
   0x7fff7f30d182:	jmp    rcx
   0x7fff7f30d184:	int3  
   ###################################################
   0x7fff7f30d185:	push   rbp
   0x7fff7f30d186:	mov    rbp,rsp
   0x7fff7f30d189:	push   0x2e
   0x7fff7f30d18b:	push   rdi
   0x7fff7f30d18c:	push   rdx
   0x7fff7f30d18d:	add    eax,eax
   0x7fff7f30d18f:	rol    rax,0x20
   0x7fff7f30d193:	xor    rax,0x515151
   0x7fff7f30d199:	ror    rax,0x20
   0x7fff7f30d19d:	push   rax
   0x7fff7f30d19e:	push   r15
   0x7fff7f30d1a0:	push   rdi
   0x7fff7f30d1a1:	mov    eax,0x1

マーク「=>」のある0x7fff7f30d030のcall rcxから各BytecodeHandlerが呼ばれます。このrcxは前の命令を見ると、[r15+r10*8]のメモリを読み取っています。このr15が関数テーブルの先頭を指しています。r10は、その前の命令を見ると、[r12+r9*1]を読み取っていて、このアドレスは実は、現在読み込もうとしているバイトコードの命令の１バイト目を指しています。

この機械語を生成するソースコードはこちら(https://github.com/v8/v8/blob/main/src/builtins/x64/builtins-x64.cc#L1106) にありますが、ソースコードだけを読んでもなかなか分かりにくいところです。

なお、このTrampolineから全てのHandlerが呼ばれるわけではなく、BasicBlockの先頭の命令のみが呼ばれます。それ以外の命令に関しては、各命令列のHandlerから直接jmp命令を経由して鎖のように呼ばれます。

LdaZeroの実装

幾つかのHandlerの機械語を確認して、BytecodeHandlerがどのように実装されているかを見てみましょう。

LdaZero (0x0c)の命令は、アキュミュレータレジスタに０をロードする命令です。この命令の解釈には以下のような機械語が実装されていました。

LdaZero

   0x7fff7fd925c0:	lea    rbx,[rip+0xfffffffffffffff9]        # 0x7fff7fd925c0
   0x7fff7fd925c7:	cmp    rbx,rcx
   0x7fff7fd925ca:	je     0x7fff7fd925d9
   0x7fff7fd925cc:	mov    edx,0x88
   0x7fff7fd925d1:	call   QWORD PTR [r13+0x57b0]
   0x7fff7fd925d8:	int3   
   0x7fff7fd925d9:	push   rbp
   0x7fff7fd925da:	mov    rbp,rsp
   0x7fff7fd925dd:	push   0x24
   0x7fff7fd925df:	sub    rsp,0x20
   0x7fff7fd925e3:	mov    r10,rsp
   0x7fff7fd925e6:	sub    rsp,0x8
   0x7fff7fd925ea:	and    rsp,0xfffffffffffffff0
   0x7fff7fd925ee:	mov    QWORD PTR [rsp],r10
   #################################################
   0x7fff7fd925f2:	mov    QWORD PTR [rbp-0x10],r12
   0x7fff7fd925f6:	mov    QWORD PTR [rbp-0x18],r15
   0x7fff7fd925fa:	mov    QWORD PTR [rbp-0x28],rax
   0x7fff7fd925fe:	mov    QWORD PTR [rbp-0x20],r9
   #################################################
   0x7fff7fd92602:	mov    esi,0x20e
   0x7fff7fd92607:	mov    rdx,QWORD PTR [r13+0x1b98]
   0x7fff7fd9260e:	mov    edx,DWORD PTR [rdx+0x6627]
   0x7fff7fd92614:	add    rdx,r14
   0x7fff7fd92617:	mov    rdi,r12
   0x7fff7fd9261a:	mov    rax,QWORD PTR [r13+0x1e98]
   0x7fff7fd92621:	test   spl,0xf
   0x7fff7fd92625:	je     0x7fff7fd92628
   0x7fff7fd92627:	int3   
   0x7fff7fd92628:	lea    r10,[rip+0x10]        # 0x7fff7fd9263f
   0x7fff7fd9262f:	mov    QWORD PTR [r13+0xa8],r10
   0x7fff7fd92636:	mov    QWORD PTR [r13+0xa0],rbp
   0x7fff7fd9263d:	call   rax
   0x7fff7fd9263f:	mov    QWORD PTR [r13+0xa0],0x0
   0x7fff7fd9264a:	mov    rsp,QWORD PTR [rsp]
   0x7fff7fd9264e:	mov    r10,rsp
   0x7fff7fd92651:	sub    rsp,0x8
   0x7fff7fd92655:	and    rsp,0xfffffffffffffff0
   0x7fff7fd92659:	mov    QWORD PTR [rsp],r10
   0x7fff7fd9265d:	xor    esi,esi
   0x7fff7fd9265f:	mov    rdx,QWORD PTR [r13+0x1b98]
   0x7fff7fd92666:	mov    edx,DWORD PTR [rdx+0x662b]
   0x7fff7fd9266c:	add    rdx,r14
   0x7fff7fd9266f:	mov    rdi,QWORD PTR [rbp-0x28]
   0x7fff7fd92673:	mov    rax,QWORD PTR [r13+0x1e98]
   0x7fff7fd9267a:	test   spl,0xf
   0x7fff7fd9267e:	je     0x7fff7fd92681
   0x7fff7fd92680:	int3   
   0x7fff7fd92681:	lea    r10,[rip+0x10]        # 0x7fff7fd92698
   0x7fff7fd92688:	mov    QWORD PTR [r13+0xa8],r10
   0x7fff7fd9268f:	mov    QWORD PTR [r13+0xa0],rbp
   0x7fff7fd92696:	call   rax
   0x7fff7fd92698:	mov    QWORD PTR [r13+0xa0],0x0
   0x7fff7fd926a3:	mov    rsp,QWORD PTR [rsp]
   #################################################
   0x7fff7fd926a7:	mov    rbx,QWORD PTR [rbp-0x20]
   0x7fff7fd926ab:	lea    r9,[rbx+0x1]
   0x7fff7fd926af:	mov    r12,QWORD PTR [rbp-0x10]
   0x7fff7fd926b3:	movzx  r8d,BYTE PTR [r12+rbx*1+0x1]
   #################################################
   0x7fff7fd926b9:	mov    r10d,0xffffffff
   0x7fff7fd926bf:	cmp    r8,r10
   0x7fff7fd926c2:	jbe    0x7fff7fd926d1
   0x7fff7fd926c4:	mov    edx,0x2
   0x7fff7fd926c9:	call   QWORD PTR [r13+0x57b0]
   0x7fff7fd926d0:	int3   
   0x7fff7fd926d1:	cmp    r8b,0xbf
   0x7fff7fd926d5:	jae    0x7fff7fd926eb
   0x7fff7fd926d7:	mov    r15,QWORD PTR [rbp-0x18]
   0x7fff7fd926db:	mov    rcx,QWORD PTR [r15+r8*8]
   0x7fff7fd926df:	mov    rbp,QWORD PTR [rbp+0x0]
   0x7fff7fd926e3:	xor    eax,eax
   0x7fff7fd926e5:	add    rsp,0x30
   0x7fff7fd926e9:	jmp    rcx
   0x7fff7fd926eb:	cmp    r8b,0xce
   0x7fff7fd926ef:	ja     0x7fff7fd92737
   0x7fff7fd926f1:	mov    r11,QWORD PTR [rbp+0x0]
   0x7fff7fd926f5:	mov    QWORD PTR [r11+r8*8-0x6a8],0x0
   0x7fff7fd92701:	add    r9,0x1
   #################################################
   0x7fff7fd92705:	movzx  ebx,BYTE PTR [r12+rbx*1+0x2]
   0x7fff7fd9270b:	mov    r10d,0xffffffff
   0x7fff7fd92711:	cmp    rbx,r10
   0x7fff7fd92714:	jbe    0x7fff7fd92723
   0x7fff7fd92716:	mov    edx,0x2
   0x7fff7fd9271b:	call   QWORD PTR [r13+0x57b0]
   0x7fff7fd92722:	int3   
   0x7fff7fd92723:	mov    r15,QWORD PTR [rbp-0x18]
   0x7fff7fd92727:	mov    rcx,QWORD PTR [r15+rbx*8]
   0x7fff7fd9272b:	mov    rbp,QWORD PTR [rbp+0x0]
   0x7fff7fd9272f:	xor    eax,eax
   0x7fff7fd92731:	add    rsp,0x30
   0x7fff7fd92735:	jmp    rcx
   0x7fff7fd92737:	mov    rdx,QWORD PTR [r13+0x1b98]
   0x7fff7fd9273e:	mov    edx,DWORD PTR [rdx+0x663b]
   0x7fff7fd92744:	add    rdx,r14
   0x7fff7fd92747:	call   0x7fff7f46c780
   0x7fff7fd9274c:	int3   
   0x7fff7fd9274d:	int3   
   0x7fff7fd9274e:	int3

先ず、0x7fff7fd925f2から始まる機械語に着目してみましょう。r9、r12がスタックに格納されています。この関数がInterpreterEntryTrampolineから呼ばれることがあることに着目すると、r9とr12を足し合わせたメモリに現在のバイトコード(0x0c)が格納されています。

このr9とr12が、0x7fff7fd926a7から始まる命令列で再びレジスタに読み込まれています。そして、0x7fff7fd926b3で、movzx r8d,BYTE PTR [r12+rbx*1+0x1]しているということは、これは、LdaZeroの次の命令列を読みだそうとしていることを意味します。なお、LdaZeroは、１バイト命令のため、これはオペランドの読み込みでは無く、次の命令のロードとなります。この後、この値が、0x7fff7fd926d1と0x7fff7fd926ebで、0xbfと0xceの間にある値かどうか確認しています。先ず、0xbfより小さい場合、0x7fff7fd926e9のjmp rcxで次のBytecodeHandlerに遷移します。そして、肝心のLdaZeroの処理ですが、0x7fff7fd926e3で、eaxを0にしています。実は、raxはアキュミュレータレジスタを格納するために使用されており、これが実質的に、LdaZeroの処理を指します。

次の命令列が、0xbfと0xceの間にある場合はどうでしょうか。実は、この範囲の命令は、全てstor0,stor1などのアキュミュレータレジスタからX番目レジスタに値を移す命令です。以下の部分の処理ですが、これはX番目のレジスタに０を格納するということを意味します。

0x7fff7fd926f1:	mov    r11,QWORD PTR [rbp+0x0]
0x7fff7fd926f5:	mov    QWORD PTR [r11+r8*8-0x6a8],0x0

アキュミュレータ以外のレジスタ値は、[rbp+0x0]の指すメモリ上に列を成して格納されているということです。

つまり、LdaZeroのBytecodeHandlerの処理の中で、次の命令がStor系の命令の場合は、アキュミュレータに０を格納するという点を省略して、直接それ以外のレジスタに値を格納しています。

こんな感じで、BytecodeHandlerの中で、レジスタが何を指すか理解することにより、仮想マシンについて理解を進めることができます。