summaryrefslogtreecommitdiffstats
path: root/docs/opcodes/opcode-0a-move-result.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/opcodes/opcode-0a-move-result.html')
-rw-r--r--docs/opcodes/opcode-0a-move-result.html96
1 files changed, 96 insertions, 0 deletions
diff --git a/docs/opcodes/opcode-0a-move-result.html b/docs/opcodes/opcode-0a-move-result.html
new file mode 100644
index 000000000..f043d1373
--- /dev/null
+++ b/docs/opcodes/opcode-0a-move-result.html
@@ -0,0 +1,96 @@
+<!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 &amp; 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>