• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2
3<html>
4
5<head>
6<title>move-result</title>
7<link rel=stylesheet href="opcode.css">
8</head>
9
10<body>
11
12<h1>move-result</h1>
13
14<h2>Purpose</h2>
15
16<p>
17Move the single-word non-object result of the most recent invoke-kind into the
18indicated register. This must be done as the instruction immediately after an
19invoke-kind whose (single-word, non-object) result is not to be ignored;
20anywhere else is invalid.
21</p>
22
23<h2>Details</h2>
24
25<table class="instruc">
26<thead>
27<tr>
28  <th>Op &amp; Format</th>
29  <th>Mnemonic / Syntax</th>
30  <th>Arguments</th>
31</tr>
32</thead>
33<tbody>
34<tr>
35  <td>0a 11x</td>
36  <td>move-result vAA</td>
37  <td><code>A:</code> destination register (8 bits)</td>
38</tr>
39</tbody>
40</table>
41
42<h2>Constraints</h2>
43
44<ul>
45  <li>
46    A must be a valid register index in the current stack frame.
47  </li>
48  <li>
49    The instruction must be immediately preceded (in the code array) by an
50    invoke-kind instruction.
51  </li>
52  <li>
53    The instruction must be immediately reached (in the actual control flow)
54    through returning from this invoke-kind instruction (it must not be jumped
55    to).
56  </li>
57  <li>
58    The result delivered by the invoke-kind instruction must not be a reference
59    value or require a register pair.
60  </li>
61</ul>
62
63<h2>Behavior</h2>
64
65<ul>
66  <li>
67    The result delivered by the invoke-kind instruction is moved to register
68    vA, that is, vA' = result.
69  </li>
70  <li>
71    If register v(A-1) is the lower half of a register pair, register v(A-1)'
72    becomes undefined.
73  </li>
74  <li>
75    If register v(A+1) is the upper half of a register pair, register v(A+1)'
76    becomes undefined.
77  </li>
78</ul>
79
80<h2>Exceptions</h2>
81
82<p>
83None.
84</p>
85
86<h2>Notes</h2>
87
88<p>
89This instruction can also be thought of as reading the contents of a special
90"result" register that is made valid and defined by executing a non-void return
91instruction or a filled-new-array instruction. The execution of any other
92instruction (including this one) renders this special register invalid.
93</p>
94
95</body>
96</html>
97