<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<title>move-result</title>
<link rel=stylesheet href="opcode.css">
</head>
<body>
<h1>move-result</h1>
<h2>Purpose</h2>
<p>
Move the single-word non-object result of the most recent invoke-kind into the
indicated register. This must be done as the instruction immediately after an
invoke-kind whose (single-word, non-object) result is not to be ignored;
anywhere else is invalid.
</p>
<h2>Details</h2>
<table class="instruc">
<thead>
<tr>
<th>Op & Format</th>
<th>Mnemonic / Syntax</th>
<th>Arguments</th>
</tr>
</thead>
<tbody>
<tr>
<td>0a 11x</td>
<td>move-result vAA</td>
<td><code>A:</code> destination register (8 bits)</td>
</tr>
</tbody>
</table>
<h2>Constraints</h2>
<ul>
<li>
A must be a valid register index in the current stack frame.
</li>
<li>
The instruction must be immediately preceded (in the code array) by an
invoke-kind instruction.
</li>
<li>
The instruction must be immediately reached (in the actual control flow)
through returning from this invoke-kind instruction (it must not be jumped
to).
</li>
<li>
The result delivered by the invoke-kind instruction must not be a reference
value or require a register pair.
</li>
</ul>
<h2>Behavior</h2>
<ul>
<li>
The result delivered by the invoke-kind instruction is moved to register
vA, that is, vA' = result.
</li>
<li>
If register v(A-1) is the lower half of a register pair, register v(A-1)'
becomes undefined.
</li>
<li>
If register v(A+1) is the upper half of a register pair, register v(A+1)'
becomes undefined.
</li>
</ul>
<h2>Exceptions</h2>
<p>
None.
</p>
<h2>Notes</h2>
<p>
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.
</p>
</body>
</html>