1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<title>move-wide</title>
<link rel=stylesheet href="opcode.css">
</head>
<body>
<h1>move-wide</h1>
<h2>Purpose</h2>
<p>
Move the contents of one register-pair to another.
</p>
<p>
Note: It is legal to move from vN to either vN-1 or vN+1, so implementations
must arrange for both halves of a register pair to be read before anything is
written.
</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>04 12x</td>
<td>move-wide vA, vB</td>
<td><code>A:</code> destination register pair (4 bits)<br/>
<code>B:</code> source register pair (4 bits)</td>
</tr>
<tr>
<td>05 22x</td>
<td>move-wide/from16 vAA, vBBBB</td>
<td><code>A:</code> destination register pair (8 bits)<br/>
<code>B:</code> source register pair (16 bits)</td>
</tr>
<tr>
<td>06 32x</td>
<td>move-wide/16 vAAAA, vBBBB</td>
<td><code>A:</code> destination register pair (16 bits)<br/>
<code>B:</code> source register pair (16 bits)</td>
</tr>
</tbody>
</table>
<h2>Constraints</h2>
<ul>
<li>
Both A+1 and B+1 must be valid register indices in the current stackframe
(which includes A and B being valid).
</li>
<li>
Register vB must be the lower half of a register pair (which excludes the
case of it containing a reference).
</li>
<li>
Both register vB and v(B+1) must be defined.
</li>
</ul>
<h2>Behavior</h2>
<ul>
<li>
The value of register vB is moved to register vA, that is, vA' = vB.
</li>
<li>
The value of register v(B+1) is moved to register v(A+1), that is, v(A+1)'
= v(B+1).
</li>
<li>
If register v(A-1) is the lower half of a register pair, then v(A-1)'
becomes undefined.
</li>
<li>
If register v(A+2) is the upper half of a register pair, then v(A+2)'
becomes undefined.
</li>
<li>
If A = B-1, then v(B+1)' becomes undefined.
</li>
<li>
If A = B+1, then v(B)' becomes undefined.
</li>
</ul>
<h2>Exceptions</h2>
<p>
None.
</p>
</body>
</html>
|
