1%verify "executed"
2    /*
3     * Return a 64-bit value.  Copies the return value into the "self"
4     * structure, then jumps to the return handler.
5     */
6    /* return-wide vAA */
7    movl    rSELF,%ecx
8    GET_VREG_WORD %eax rINST 0       # eax<- v[AA+0]
9    GET_VREG_WORD rINST rINST 1      # rINST<- v[AA+1]
10    movl    %eax,offThread_retval(%ecx)
11    movl    rINST,4+offThread_retval(%ecx)
12    jmp     common_returnFromMethod
13