第5篇-呼叫Java方法後彈出棧幀及處理返回結果

// 儲存方法呼叫結果依賴於結果型別，只要不是T_OBJECT, T_LONG, T_FLOAT or T_DOUBLE，都當做T_INT處理

// 將result地址的值拷貝到c_rarg0中，也就是將方法呼叫的結果儲存在rdi暫存器中，注意result為函式返回值的地址

__ movptr(c_rarg0, result);     

Label is_long, is_float, is_double, exit;

// 將result_type地址的值拷貝到c_rarg1中，也就是將方法呼叫的結果返回的型別儲存在esi暫存器中

__ movl(c_rarg1, result_type);  

// 根據結果型別的不同跳轉到不同的處理分支

__ cmpl(c_rarg1, T_OBJECT);

__ jcc(Assembler::equal, is_long);

__ cmpl(c_rarg1, T_LONG);

__ jcc(Assembler::equal, is_long);

__ cmpl(c_rarg1, T_FLOAT);

__ jcc(Assembler::equal, is_float);

__ cmpl(c_rarg1, T_DOUBLE);

__ jcc(Assembler::equal, is_double);

// 當邏輯執行到這裡時，處理的就是T_INT型別，

// 將rax中的值寫入c_rarg0儲存的地址指向的記憶體中

// 呼叫函式後如果返回值是int型別，則根據呼叫約定

// 會儲存在eax中

__ movl(Address(c_rarg0, 0), rax); 

__ BIND(exit);

// 將rsp_after_call中儲存的有效地址拷貝到rsp中，即將rsp往高地址方向移動了，

// 原來的方法呼叫實參argument 1、...、argument n，

// 相當於從棧中彈出，所以下面語句執行的是退棧操作

__ lea(rsp, rsp_after_call);  // lea指令將地址載入到暫存器中

mov    -0x28(%rbp),%rdi  // 棧中的-0x28位置儲存result

mov    -0x20(%rbp),%esi  // 棧中的-0x20位置儲存result type

cmp    $0xc,%esi         // 是否為T_OBJECT型別

je     0x00007fdf450007f6

cmp    $0xb,%esi         // 是否為T_LONG型別

je     0x00007fdf450007f6

cmp    $0x6,%esi         // 是否為T_FLOAT型別

je     0x00007fdf450007fb

cmp    $0x7,%esi         // 是否為T_DOUBLE型別

je     0x00007fdf45000801


mov    %eax,(%rdi)       // 如果是T_INT型別，直接將返回結果%eax寫到棧中-0x28(%rbp)的位置

// -- exit --

lea    -0x60(%rbp),%rsp  // 將rsp_after_call的有效地址拷到rsp中

__ movptr(r15, r15_save);

__ movptr(r14, r14_save);

__ movptr(r13, r13_save);

__ movptr(r12, r12_save);

__ movptr(rbx, rbx_save);

__ ldmxcsr(mxcsr_save);　

mov      -0x58(%rbp),%r15

mov      -0x50(%rbp),%r14

mov      -0x48(%rbp),%r13

mov      -0x40(%rbp),%r12

mov      -0x38(%rbp),%rbx

ldmxcsr  -0x60(%rbp)

// restore rsp

__ addptr(rsp, -rsp_after_call_off * wordSize);

// return

__ pop(rbp);

__ ret(0);

// %rsp加上0x60，也就是執行退棧操作，也就相當於彈出了callee_save暫存器和壓棧的那6個引數

add    $0x60,%rsp

pop    %rbp

// 方法返回，指令中的q表示64位運算元，就是指的棧中儲存的return address是64位的

retq  

push   %rbp

mov    %rsp,%rbp

sub    $0x60,%rsp　

// handle return types different from T_INT

__ BIND(is_long);

__ movq(Address(c_rarg0, 0), rax);

__ jmp(exit);

__ BIND(is_float);

__ movflt(Address(c_rarg0, 0), xmm0);

__ jmp(exit);

__ BIND(is_double);

__ movdbl(Address(c_rarg0, 0), xmm0);

__ jmp(exit);　

// -- is_long --

mov    %rax,(%rdi)

jmp    0x00007fdf450007d4

// -- is_float --

vmovss %xmm0,(%rdi)

jmp    0x00007fdf450007d4

// -- is_double --

vmovsd %xmm0,(%rdi)

jmp    0x00007fdf450007d4