docs/opcodes/opcode-16-const-wide.html

   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>const-wide</title>
   7 <link rel=stylesheet href="opcode.css">
   8 </head>
   9
  10 <body>
  11
  12 <h1>const-wide</h1>
  13
  14 <h2>Purpose</h2>
  15
  16 <p>
  17 Move the given literal value (sign-extended to 64 bits) into the specified
  18 register-pair.
  19 </p>
  20
  21 <h2>Details</h2>
  22
  23 <table class="instruc">
  24 <thead>
  25 <tr>
  26   <th>Op &amp; Format</th>
  27   <th>Mnemonic / Syntax</th>
  28   <th>Arguments</th>
  29 </tr>
  30 </thead>
  31 <tbody>
  32 <tr>
  33   <td>16 21s</td>
  34   <td>const-wide/16 vAA, #+BBBB</td>
  35   <td><code>A:</code> destination register (8 bits)<br/>
  36     <code>B:</code> signed int (16 bits)</td>
  37 </tr>
  38 <tr>
  39   <td>17 31i</td>
  40   <td>const-wide/32 vAA, #+BBBBBBBB</td>
  41   <td><code>A:</code> destination register (8 bits)<br/>
  42     <code>B:</code> signed int (32 bits)</td>
  43 </tr>
  44 <tr>
  45   <td>18 51l</td>
  46   <td>const-wide vAA, #+BBBBBBBBBBBBBBBB</td>
  47   <td><code>A:</code> destination register (8 bits)<br/>
  48     <code>B:</code> arbitrary double-width (64-bit) constant</td>
  49 </tr>
  50 <tr>
  51   <td>19 21h</td>
  52   <td>const-wide/high16 vAA, #+BBBB000000000000</td>
  53   <td><code>A:</code> destination register (8 bits)<br/>
  54     <code>B:</code> signed int (16 bits)</td>
  55 </tr>
  56 </tbody>
  57 </table>
  58
  59 <h2>Constraints</h2>
  60
  61 <ul>
  62   <li>
  63     A must be a valid register index in the current stack frame.
  64   </li>
  65 </ul>
  66
  67 <h2>Behavior</h2>
  68
  69 <ul>
  70   <li>
  71     First, an adjusted value B' is determined as follows:
  72     <ul>
  73       <li>
  74         If we are executing the /high16 variant, then B is left-shifted by 40
  75         bits, that is, B'=B << 0x28
  76       <li>
  77         Otherwise, if B is a 16 bit or 32 bit constant, it is sign-extended to
  78         64 bits, that is, B'=sign-extended(B).
  79       </li>
  80       <li>
  81         Otherwise, B'=B.
  82       </li>
  83     </ul>
  84   <li>
  85     The immediate value B is moved into the register pair (vA, v(A+1)), that is,
  86     <ul>
  87       <li>
  88         vA' = B << 0x20
  89       </li>
  90       <li>
  91         v(A+1)' = B & 0xffffffff
  92       </li>
  93     </ul>
  94   </li>
  95   <li>
  96     If v(A-1) is the lower half of a register pair, v(A-1)' becomes undefined.
  97   </li>
  98   <li>
  99     If v(A+2) is the upper half of a register pair, v(A+2)' becomes undefined.
 100   </li>
 101 </ul>
 102
 103 <h2>Exceptions</h2>
 104
 105 <p>
 106 None.
 107 </p>
 108
 109 </body>
 110 </html>