move-result-object

Purpose

Move the object result of the most recent invoke-kind into the indicated register. This must be done as the instruction immediately after an invoke-kind or filled-new-array whose (object) result is not to be ignored; anywhere else is invalid.

Details

Constraints

• A must be a valid register index in the current stack frame.
• The instruction must be immediately preceded (in the code array) by an invoke-kind, filled-new-array, or filled-new-array/range instruction.
• The instruction must be immediately reached (in the actual control flow) through returning from this invoke-kind instruction or by passing a filled-new-array or filled-new-array/range instruction (it must not be jumped to).
• The result delivered by the invoke-kind instruction must be a reference value (which excludes the case of a long and double values).

Behavior

• The result delivered by the invoke-kind instruction is moved to register vA, that, is vA' = result.
• If register v(A-1) is the lower half of a register pair, register v(A-1)' becomes undefined.
• If register v(A+1) is the upper half of a register pair, register v(A+1)' becomes undefined.

Exceptions

None.

Notes

This instruction can also be thought of as reading the contents of a special "result" register that is made valid and defined by executing a non-void return instruction or a filled-new-array instruction. The execution of any other instruction (including this one) renders this special register invalid.