test/MC/SystemZ/insn-good-z196.s

   1 # For z196 and above.
   2 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z196 -show-encoding %s | FileCheck %s
   3
   4 #CHECK: aghik   %r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xd9]
   5 #CHECK: aghik   %r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xd9]
   6 #CHECK: aghik   %r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xd9]
   7 #CHECK: aghik   %r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xd9]
   8 #CHECK: aghik   %r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xd9]
   9 #CHECK: aghik   %r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xd9]
  10 #CHECK: aghik   %r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xd9]
  11 #CHECK: aghik   %r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xd9]
  12
  13         aghik   %r0, %r0, -32768
  14         aghik   %r0, %r0, -1
  15         aghik   %r0, %r0, 0
  16         aghik   %r0, %r0, 1
  17         aghik   %r0, %r0, 32767
  18         aghik   %r0, %r15, 0
  19         aghik   %r15, %r0, 0
  20         aghik   %r7, %r8, -16
  21
  22 #CHECK: agrk    %r0, %r0, %r0           # encoding: [0xb9,0xe8,0x00,0x00]
  23 #CHECK: agrk    %r0, %r0, %r15          # encoding: [0xb9,0xe8,0xf0,0x00]
  24 #CHECK: agrk    %r0, %r15, %r0          # encoding: [0xb9,0xe8,0x00,0x0f]
  25 #CHECK: agrk    %r15, %r0, %r0          # encoding: [0xb9,0xe8,0x00,0xf0]
  26 #CHECK: agrk    %r7, %r8, %r9           # encoding: [0xb9,0xe8,0x90,0x78]
  27
  28         agrk    %r0,%r0,%r0
  29         agrk    %r0,%r0,%r15
  30         agrk    %r0,%r15,%r0
  31         agrk    %r15,%r0,%r0
  32         agrk    %r7,%r8,%r9
  33
  34 #CHECK: ahik    %r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xd8]
  35 #CHECK: ahik    %r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xd8]
  36 #CHECK: ahik    %r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xd8]
  37 #CHECK: ahik    %r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xd8]
  38 #CHECK: ahik    %r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xd8]
  39 #CHECK: ahik    %r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xd8]
  40 #CHECK: ahik    %r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xd8]
  41 #CHECK: ahik    %r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xd8]
  42
  43         ahik    %r0, %r0, -32768
  44         ahik    %r0, %r0, -1
  45         ahik    %r0, %r0, 0
  46         ahik    %r0, %r0, 1
  47         ahik    %r0, %r0, 32767
  48         ahik    %r0, %r15, 0
  49         ahik    %r15, %r0, 0
  50         ahik    %r7, %r8, -16
  51
  52 #CHECK: aih     %r0, -2147483648        # encoding: [0xcc,0x08,0x80,0x00,0x00,0x00]
  53 #CHECK: aih     %r0, -1                 # encoding: [0xcc,0x08,0xff,0xff,0xff,0xff]
  54 #CHECK: aih     %r0, 0                  # encoding: [0xcc,0x08,0x00,0x00,0x00,0x00]
  55 #CHECK: aih     %r0, 1                  # encoding: [0xcc,0x08,0x00,0x00,0x00,0x01]
  56 #CHECK: aih     %r0, 2147483647         # encoding: [0xcc,0x08,0x7f,0xff,0xff,0xff]
  57 #CHECK: aih     %r15, 0                 # encoding: [0xcc,0xf8,0x00,0x00,0x00,0x00]
  58
  59         aih     %r0, -1 << 31
  60         aih     %r0, -1
  61         aih     %r0, 0
  62         aih     %r0, 1
  63         aih     %r0, (1 << 31) - 1
  64         aih     %r15, 0
  65
  66 #CHECK: alghsik %r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xdb]
  67 #CHECK: alghsik %r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xdb]
  68 #CHECK: alghsik %r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xdb]
  69 #CHECK: alghsik %r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xdb]
  70 #CHECK: alghsik %r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xdb]
  71 #CHECK: alghsik %r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xdb]
  72 #CHECK: alghsik %r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xdb]
  73 #CHECK: alghsik %r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xdb]
  74
  75         alghsik %r0, %r0, -32768
  76         alghsik %r0, %r0, -1
  77         alghsik %r0, %r0, 0
  78         alghsik %r0, %r0, 1
  79         alghsik %r0, %r0, 32767
  80         alghsik %r0, %r15, 0
  81         alghsik %r15, %r0, 0
  82         alghsik %r7, %r8, -16
  83
  84 #CHECK: algrk   %r0, %r0, %r0           # encoding: [0xb9,0xea,0x00,0x00]
  85 #CHECK: algrk   %r0, %r0, %r15          # encoding: [0xb9,0xea,0xf0,0x00]
  86 #CHECK: algrk   %r0, %r15, %r0          # encoding: [0xb9,0xea,0x00,0x0f]
  87 #CHECK: algrk   %r15, %r0, %r0          # encoding: [0xb9,0xea,0x00,0xf0]
  88 #CHECK: algrk   %r7, %r8, %r9           # encoding: [0xb9,0xea,0x90,0x78]
  89
  90         algrk   %r0,%r0,%r0
  91         algrk   %r0,%r0,%r15
  92         algrk   %r0,%r15,%r0
  93         algrk   %r15,%r0,%r0
  94         algrk   %r7,%r8,%r9
  95
  96 #CHECK: alhsik  %r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xda]
  97 #CHECK: alhsik  %r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xda]
  98 #CHECK: alhsik  %r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xda]
  99 #CHECK: alhsik  %r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xda]
 100 #CHECK: alhsik  %r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xda]
 101 #CHECK: alhsik  %r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xda]
 102 #CHECK: alhsik  %r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xda]
 103 #CHECK: alhsik  %r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xda]
 104
 105         alhsik  %r0, %r0, -32768
 106         alhsik  %r0, %r0, -1
 107         alhsik  %r0, %r0, 0
 108         alhsik  %r0, %r0, 1
 109         alhsik  %r0, %r0, 32767
 110         alhsik  %r0, %r15, 0
 111         alhsik  %r15, %r0, 0
 112         alhsik  %r7, %r8, -16
 113
 114 #CHECK: alrk    %r0, %r0, %r0           # encoding: [0xb9,0xfa,0x00,0x00]
 115 #CHECK: alrk    %r0, %r0, %r15          # encoding: [0xb9,0xfa,0xf0,0x00]
 116 #CHECK: alrk    %r0, %r15, %r0          # encoding: [0xb9,0xfa,0x00,0x0f]
 117 #CHECK: alrk    %r15, %r0, %r0          # encoding: [0xb9,0xfa,0x00,0xf0]
 118 #CHECK: alrk    %r7, %r8, %r9           # encoding: [0xb9,0xfa,0x90,0x78]
 119
 120         alrk    %r0,%r0,%r0
 121         alrk    %r0,%r0,%r15
 122         alrk    %r0,%r15,%r0
 123         alrk    %r15,%r0,%r0
 124         alrk    %r7,%r8,%r9
 125
 126 #CHECK: ark     %r0, %r0, %r0           # encoding: [0xb9,0xf8,0x00,0x00]
 127 #CHECK: ark     %r0, %r0, %r15          # encoding: [0xb9,0xf8,0xf0,0x00]
 128 #CHECK: ark     %r0, %r15, %r0          # encoding: [0xb9,0xf8,0x00,0x0f]
 129 #CHECK: ark     %r15, %r0, %r0          # encoding: [0xb9,0xf8,0x00,0xf0]
 130 #CHECK: ark     %r7, %r8, %r9           # encoding: [0xb9,0xf8,0x90,0x78]
 131
 132         ark     %r0,%r0,%r0
 133         ark     %r0,%r0,%r15
 134         ark     %r0,%r15,%r0
 135         ark     %r15,%r0,%r0
 136         ark     %r7,%r8,%r9
 137
 138 #CHECK: chf     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcd]
 139 #CHECK: chf     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcd]
 140 #CHECK: chf     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcd]
 141 #CHECK: chf     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcd]
 142 #CHECK: chf     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcd]
 143 #CHECK: chf     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcd]
 144 #CHECK: chf     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcd]
 145 #CHECK: chf     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcd]
 146 #CHECK: chf     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcd]
 147 #CHECK: chf     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcd]
 148
 149         chf     %r0, -524288
 150         chf     %r0, -1
 151         chf     %r0, 0
 152         chf     %r0, 1
 153         chf     %r0, 524287
 154         chf     %r0, 0(%r1)
 155         chf     %r0, 0(%r15)
 156         chf     %r0, 524287(%r1,%r15)
 157         chf     %r0, 524287(%r15,%r1)
 158         chf     %r15, 0
 159
 160 #CHECK: cih     %r0, -2147483648        # encoding: [0xcc,0x0d,0x80,0x00,0x00,0x00]
 161 #CHECK: cih     %r0, -1                 # encoding: [0xcc,0x0d,0xff,0xff,0xff,0xff]
 162 #CHECK: cih     %r0, 0                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x00]
 163 #CHECK: cih     %r0, 1                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x01]
 164 #CHECK: cih     %r0, 2147483647         # encoding: [0xcc,0x0d,0x7f,0xff,0xff,0xff]
 165 #CHECK: cih     %r15, 0                 # encoding: [0xcc,0xfd,0x00,0x00,0x00,0x00]
 166
 167         cih     %r0, -1 << 31
 168         cih     %r0, -1
 169         cih     %r0, 0
 170         cih     %r0, 1
 171         cih     %r0, (1 << 31) - 1
 172         cih     %r15, 0
 173
 174 #CHECK: clhf    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcf]
 175 #CHECK: clhf    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcf]
 176 #CHECK: clhf    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcf]
 177 #CHECK: clhf    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcf]
 178 #CHECK: clhf    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcf]
 179 #CHECK: clhf    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcf]
 180 #CHECK: clhf    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcf]
 181 #CHECK: clhf    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcf]
 182 #CHECK: clhf    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcf]
 183 #CHECK: clhf    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcf]
 184
 185         clhf    %r0, -524288
 186         clhf    %r0, -1
 187         clhf    %r0, 0
 188         clhf    %r0, 1
 189         clhf    %r0, 524287
 190         clhf    %r0, 0(%r1)
 191         clhf    %r0, 0(%r15)
 192         clhf    %r0, 524287(%r1,%r15)
 193         clhf    %r0, 524287(%r15,%r1)
 194         clhf    %r15, 0
 195
 196 #CHECK: clih    %r0, 0                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x00]
 197 #CHECK: clih    %r0, 1                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x01]
 198 #CHECK: clih    %r0, 4294967295         # encoding: [0xcc,0x0f,0xff,0xff,0xff,0xff]
 199 #CHECK: clih    %r15, 0                 # encoding: [0xcc,0xff,0x00,0x00,0x00,0x00]
 200
 201         clih    %r0, 0
 202         clih    %r0, 1
 203         clih    %r0, (1 << 32) - 1
 204         clih    %r15, 0
 205
 206 #CHECK: fidbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x5f,0x00,0x00]
 207 #CHECK: fidbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x5f,0x0f,0x00]
 208 #CHECK: fidbra  %f0, 0, %f15, 0         # encoding: [0xb3,0x5f,0x00,0x0f]
 209 #CHECK: fidbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x5f,0xf0,0x00]
 210 #CHECK: fidbra  %f4, 5, %f6, 7          # encoding: [0xb3,0x5f,0x57,0x46]
 211 #CHECK: fidbra  %f15, 0, %f0, 0         # encoding: [0xb3,0x5f,0x00,0xf0]
 212
 213         fidbra  %f0, 0, %f0, 0
 214         fidbra  %f0, 0, %f0, 15
 215         fidbra  %f0, 0, %f15, 0
 216         fidbra  %f0, 15, %f0, 0
 217         fidbra  %f4, 5, %f6, 7
 218         fidbra  %f15, 0, %f0, 0
 219
 220 #CHECK: fiebra  %f0, 0, %f0, 0          # encoding: [0xb3,0x57,0x00,0x00]
 221 #CHECK: fiebra  %f0, 0, %f0, 15         # encoding: [0xb3,0x57,0x0f,0x00]
 222 #CHECK: fiebra  %f0, 0, %f15, 0         # encoding: [0xb3,0x57,0x00,0x0f]
 223 #CHECK: fiebra  %f0, 15, %f0, 0         # encoding: [0xb3,0x57,0xf0,0x00]
 224 #CHECK: fiebra  %f4, 5, %f6, 7          # encoding: [0xb3,0x57,0x57,0x46]
 225 #CHECK: fiebra  %f15, 0, %f0, 0         # encoding: [0xb3,0x57,0x00,0xf0]
 226
 227         fiebra  %f0, 0, %f0, 0
 228         fiebra  %f0, 0, %f0, 15
 229         fiebra  %f0, 0, %f15, 0
 230         fiebra  %f0, 15, %f0, 0
 231         fiebra  %f4, 5, %f6, 7
 232         fiebra  %f15, 0, %f0, 0
 233
 234 #CHECK: fixbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x47,0x00,0x00]
 235 #CHECK: fixbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x47,0x0f,0x00]
 236 #CHECK: fixbra  %f0, 0, %f13, 0         # encoding: [0xb3,0x47,0x00,0x0d]
 237 #CHECK: fixbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x47,0xf0,0x00]
 238 #CHECK: fixbra  %f4, 5, %f8, 9          # encoding: [0xb3,0x47,0x59,0x48]
 239 #CHECK: fixbra  %f13, 0, %f0, 0         # encoding: [0xb3,0x47,0x00,0xd0]
 240
 241         fixbra  %f0, 0, %f0, 0
 242         fixbra  %f0, 0, %f0, 15
 243         fixbra  %f0, 0, %f13, 0
 244         fixbra  %f0, 15, %f0, 0
 245         fixbra  %f4, 5, %f8, 9
 246         fixbra  %f13, 0, %f0, 0
 247
 248 #CHECK: laa     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf8]
 249 #CHECK: laa     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf8]
 250 #CHECK: laa     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf8]
 251 #CHECK: laa     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf8]
 252 #CHECK: laa     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf8]
 253 #CHECK: laa     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf8]
 254 #CHECK: laa     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf8]
 255 #CHECK: laa     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf8]
 256 #CHECK: laa     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf8]
 257 #CHECK: laa     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf8]
 258 #CHECK: laa     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf8]
 259
 260         laa     %r0, %r0, -524288
 261         laa     %r0, %r0, -1
 262         laa     %r0, %r0, 0
 263         laa     %r0, %r0, 1
 264         laa     %r0, %r0, 524287
 265         laa     %r0, %r0, 0(%r1)
 266         laa     %r0, %r0, 0(%r15)
 267         laa     %r0, %r0, 524287(%r1)
 268         laa     %r0, %r0, 524287(%r15)
 269         laa     %r0, %r15, 0
 270         laa     %r15, %r0, 0
 271
 272 #CHECK: laag    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe8]
 273 #CHECK: laag    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe8]
 274 #CHECK: laag    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe8]
 275 #CHECK: laag    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe8]
 276 #CHECK: laag    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe8]
 277 #CHECK: laag    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe8]
 278 #CHECK: laag    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe8]
 279 #CHECK: laag    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe8]
 280 #CHECK: laag    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe8]
 281 #CHECK: laag    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe8]
 282 #CHECK: laag    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe8]
 283
 284         laag    %r0, %r0, -524288
 285         laag    %r0, %r0, -1
 286         laag    %r0, %r0, 0
 287         laag    %r0, %r0, 1
 288         laag    %r0, %r0, 524287
 289         laag    %r0, %r0, 0(%r1)
 290         laag    %r0, %r0, 0(%r15)
 291         laag    %r0, %r0, 524287(%r1)
 292         laag    %r0, %r0, 524287(%r15)
 293         laag    %r0, %r15, 0
 294         laag    %r15, %r0, 0
 295
 296 #CHECK: laal    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xfa]
 297 #CHECK: laal    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xfa]
 298 #CHECK: laal    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xfa]
 299 #CHECK: laal    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xfa]
 300 #CHECK: laal    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xfa]
 301 #CHECK: laal    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xfa]
 302 #CHECK: laal    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xfa]
 303 #CHECK: laal    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xfa]
 304 #CHECK: laal    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xfa]
 305 #CHECK: laal    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xfa]
 306 #CHECK: laal    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xfa]
 307
 308         laal    %r0, %r0, -524288
 309         laal    %r0, %r0, -1
 310         laal    %r0, %r0, 0
 311         laal    %r0, %r0, 1
 312         laal    %r0, %r0, 524287
 313         laal    %r0, %r0, 0(%r1)
 314         laal    %r0, %r0, 0(%r15)
 315         laal    %r0, %r0, 524287(%r1)
 316         laal    %r0, %r0, 524287(%r15)
 317         laal    %r0, %r15, 0
 318         laal    %r15, %r0, 0
 319
 320 #CHECK: laalg   %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xea]
 321 #CHECK: laalg   %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xea]
 322 #CHECK: laalg   %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xea]
 323 #CHECK: laalg   %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xea]
 324 #CHECK: laalg   %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xea]
 325 #CHECK: laalg   %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xea]
 326 #CHECK: laalg   %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xea]
 327 #CHECK: laalg   %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xea]
 328 #CHECK: laalg   %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xea]
 329 #CHECK: laalg   %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xea]
 330 #CHECK: laalg   %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xea]
 331
 332         laalg   %r0, %r0, -524288
 333         laalg   %r0, %r0, -1
 334         laalg   %r0, %r0, 0
 335         laalg   %r0, %r0, 1
 336         laalg   %r0, %r0, 524287
 337         laalg   %r0, %r0, 0(%r1)
 338         laalg   %r0, %r0, 0(%r15)
 339         laalg   %r0, %r0, 524287(%r1)
 340         laalg   %r0, %r0, 524287(%r15)
 341         laalg   %r0, %r15, 0
 342         laalg   %r15, %r0, 0
 343
 344 #CHECK: lan     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf4]
 345 #CHECK: lan     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf4]
 346 #CHECK: lan     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf4]
 347 #CHECK: lan     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf4]
 348 #CHECK: lan     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf4]
 349 #CHECK: lan     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf4]
 350 #CHECK: lan     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf4]
 351 #CHECK: lan     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf4]
 352 #CHECK: lan     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf4]
 353 #CHECK: lan     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf4]
 354 #CHECK: lan     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf4]
 355
 356         lan     %r0, %r0, -524288
 357         lan     %r0, %r0, -1
 358         lan     %r0, %r0, 0
 359         lan     %r0, %r0, 1
 360         lan     %r0, %r0, 524287
 361         lan     %r0, %r0, 0(%r1)
 362         lan     %r0, %r0, 0(%r15)
 363         lan     %r0, %r0, 524287(%r1)
 364         lan     %r0, %r0, 524287(%r15)
 365         lan     %r0, %r15, 0
 366         lan     %r15, %r0, 0
 367
 368 #CHECK: lang    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe4]
 369 #CHECK: lang    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe4]
 370 #CHECK: lang    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe4]
 371 #CHECK: lang    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe4]
 372 #CHECK: lang    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe4]
 373 #CHECK: lang    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe4]
 374 #CHECK: lang    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe4]
 375 #CHECK: lang    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe4]
 376 #CHECK: lang    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe4]
 377 #CHECK: lang    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe4]
 378 #CHECK: lang    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe4]
 379
 380         lang    %r0, %r0, -524288
 381         lang    %r0, %r0, -1
 382         lang    %r0, %r0, 0
 383         lang    %r0, %r0, 1
 384         lang    %r0, %r0, 524287
 385         lang    %r0, %r0, 0(%r1)
 386         lang    %r0, %r0, 0(%r15)
 387         lang    %r0, %r0, 524287(%r1)
 388         lang    %r0, %r0, 524287(%r15)
 389         lang    %r0, %r15, 0
 390         lang    %r15, %r0, 0
 391
 392 #CHECK: lao     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf6]
 393 #CHECK: lao     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf6]
 394 #CHECK: lao     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf6]
 395 #CHECK: lao     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf6]
 396 #CHECK: lao     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf6]
 397 #CHECK: lao     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf6]
 398 #CHECK: lao     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf6]
 399 #CHECK: lao     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf6]
 400 #CHECK: lao     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf6]
 401 #CHECK: lao     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf6]
 402 #CHECK: lao     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf6]
 403
 404         lao     %r0, %r0, -524288
 405         lao     %r0, %r0, -1
 406         lao     %r0, %r0, 0
 407         lao     %r0, %r0, 1
 408         lao     %r0, %r0, 524287
 409         lao     %r0, %r0, 0(%r1)
 410         lao     %r0, %r0, 0(%r15)
 411         lao     %r0, %r0, 524287(%r1)
 412         lao     %r0, %r0, 524287(%r15)
 413         lao     %r0, %r15, 0
 414         lao     %r15, %r0, 0
 415
 416 #CHECK: laog    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe6]
 417 #CHECK: laog    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe6]
 418 #CHECK: laog    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe6]
 419 #CHECK: laog    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe6]
 420 #CHECK: laog    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe6]
 421 #CHECK: laog    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe6]
 422 #CHECK: laog    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe6]
 423 #CHECK: laog    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe6]
 424 #CHECK: laog    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe6]
 425 #CHECK: laog    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe6]
 426 #CHECK: laog    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe6]
 427
 428         laog    %r0, %r0, -524288
 429         laog    %r0, %r0, -1
 430         laog    %r0, %r0, 0
 431         laog    %r0, %r0, 1
 432         laog    %r0, %r0, 524287
 433         laog    %r0, %r0, 0(%r1)
 434         laog    %r0, %r0, 0(%r15)
 435         laog    %r0, %r0, 524287(%r1)
 436         laog    %r0, %r0, 524287(%r15)
 437         laog    %r0, %r15, 0
 438         laog    %r15, %r0, 0
 439
 440 #CHECK: lax     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf7]
 441 #CHECK: lax     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf7]
 442 #CHECK: lax     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf7]
 443 #CHECK: lax     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf7]
 444 #CHECK: lax     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf7]
 445 #CHECK: lax     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf7]
 446 #CHECK: lax     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf7]
 447 #CHECK: lax     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf7]
 448 #CHECK: lax     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf7]
 449 #CHECK: lax     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf7]
 450 #CHECK: lax     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf7]
 451
 452         lax     %r0, %r0, -524288
 453         lax     %r0, %r0, -1
 454         lax     %r0, %r0, 0
 455         lax     %r0, %r0, 1
 456         lax     %r0, %r0, 524287
 457         lax     %r0, %r0, 0(%r1)
 458         lax     %r0, %r0, 0(%r15)
 459         lax     %r0, %r0, 524287(%r1)
 460         lax     %r0, %r0, 524287(%r15)
 461         lax     %r0, %r15, 0
 462         lax     %r15, %r0, 0
 463
 464 #CHECK: laxg    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe7]
 465 #CHECK: laxg    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe7]
 466 #CHECK: laxg    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe7]
 467 #CHECK: laxg    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe7]
 468 #CHECK: laxg    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe7]
 469 #CHECK: laxg    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe7]
 470 #CHECK: laxg    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe7]
 471 #CHECK: laxg    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe7]
 472 #CHECK: laxg    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe7]
 473 #CHECK: laxg    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe7]
 474 #CHECK: laxg    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe7]
 475
 476         laxg    %r0, %r0, -524288
 477         laxg    %r0, %r0, -1
 478         laxg    %r0, %r0, 0
 479         laxg    %r0, %r0, 1
 480         laxg    %r0, %r0, 524287
 481         laxg    %r0, %r0, 0(%r1)
 482         laxg    %r0, %r0, 0(%r15)
 483         laxg    %r0, %r0, 524287(%r1)
 484         laxg    %r0, %r0, 524287(%r15)
 485         laxg    %r0, %r15, 0
 486         laxg    %r15, %r0, 0
 487
 488 #CHECK: lbh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc0]
 489 #CHECK: lbh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc0]
 490 #CHECK: lbh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc0]
 491 #CHECK: lbh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc0]
 492 #CHECK: lbh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc0]
 493 #CHECK: lbh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc0]
 494 #CHECK: lbh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc0]
 495 #CHECK: lbh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc0]
 496 #CHECK: lbh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc0]
 497 #CHECK: lbh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc0]
 498
 499         lbh     %r0, -524288
 500         lbh     %r0, -1
 501         lbh     %r0, 0
 502         lbh     %r0, 1
 503         lbh     %r0, 524287
 504         lbh     %r0, 0(%r1)
 505         lbh     %r0, 0(%r15)
 506         lbh     %r0, 524287(%r1,%r15)
 507         lbh     %r0, 524287(%r15,%r1)
 508         lbh     %r15, 0
 509
 510 #CHECK: lfh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xca]
 511 #CHECK: lfh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xca]
 512 #CHECK: lfh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xca]
 513 #CHECK: lfh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xca]
 514 #CHECK: lfh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xca]
 515 #CHECK: lfh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xca]
 516 #CHECK: lfh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xca]
 517 #CHECK: lfh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xca]
 518 #CHECK: lfh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xca]
 519 #CHECK: lfh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xca]
 520
 521         lfh     %r0, -524288
 522         lfh     %r0, -1
 523         lfh     %r0, 0
 524         lfh     %r0, 1
 525         lfh     %r0, 524287
 526         lfh     %r0, 0(%r1)
 527         lfh     %r0, 0(%r15)
 528         lfh     %r0, 524287(%r1,%r15)
 529         lfh     %r0, 524287(%r15,%r1)
 530         lfh     %r15, 0
 531
 532 #CHECK: lhh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc4]
 533 #CHECK: lhh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc4]
 534 #CHECK: lhh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc4]
 535 #CHECK: lhh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc4]
 536 #CHECK: lhh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc4]
 537 #CHECK: lhh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc4]
 538 #CHECK: lhh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc4]
 539 #CHECK: lhh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc4]
 540 #CHECK: lhh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc4]
 541 #CHECK: lhh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc4]
 542
 543         lhh     %r0, -524288
 544         lhh     %r0, -1
 545         lhh     %r0, 0
 546         lhh     %r0, 1
 547         lhh     %r0, 524287
 548         lhh     %r0, 0(%r1)
 549         lhh     %r0, 0(%r15)
 550         lhh     %r0, 524287(%r1,%r15)
 551         lhh     %r0, 524287(%r15,%r1)
 552         lhh     %r15, 0
 553
 554 #CHECK: llch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc2]
 555 #CHECK: llch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc2]
 556 #CHECK: llch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc2]
 557 #CHECK: llch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc2]
 558 #CHECK: llch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc2]
 559 #CHECK: llch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc2]
 560 #CHECK: llch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc2]
 561 #CHECK: llch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc2]
 562 #CHECK: llch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc2]
 563 #CHECK: llch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc2]
 564
 565         llch    %r0, -524288
 566         llch    %r0, -1
 567         llch    %r0, 0
 568         llch    %r0, 1
 569         llch    %r0, 524287
 570         llch    %r0, 0(%r1)
 571         llch    %r0, 0(%r15)
 572         llch    %r0, 524287(%r1,%r15)
 573         llch    %r0, 524287(%r15,%r1)
 574         llch    %r15, 0
 575
 576 #CHECK: llhh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc6]
 577 #CHECK: llhh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc6]
 578 #CHECK: llhh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc6]
 579 #CHECK: llhh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc6]
 580 #CHECK: llhh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc6]
 581 #CHECK: llhh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc6]
 582 #CHECK: llhh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc6]
 583 #CHECK: llhh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc6]
 584 #CHECK: llhh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc6]
 585 #CHECK: llhh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc6]
 586
 587         llhh    %r0, -524288
 588         llhh    %r0, -1
 589         llhh    %r0, 0
 590         llhh    %r0, 1
 591         llhh    %r0, 524287
 592         llhh    %r0, 0(%r1)
 593         llhh    %r0, 0(%r15)
 594         llhh    %r0, 524287(%r1,%r15)
 595         llhh    %r0, 524287(%r15,%r1)
 596         llhh    %r15, 0
 597
 598 #CHECK: loc     %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf2]
 599 #CHECK: loc     %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf2]
 600 #CHECK: loc     %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf2]
 601 #CHECK: loc     %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf2]
 602 #CHECK: loc     %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf2]
 603 #CHECK: loc     %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf2]
 604 #CHECK: loc     %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf2]
 605 #CHECK: loc     %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf2]
 606
 607         loc     %r0,0,0
 608         loc     %r0,0,15
 609         loc     %r0,-524288,0
 610         loc     %r0,524287,0
 611         loc     %r0,0(%r1),0
 612         loc     %r0,0(%r15),0
 613         loc     %r15,0,0
 614         loc     %r1,4095(%r2),3
 615
 616 #CHECK: loco   %r1, 2(%r3)              # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf2]
 617 #CHECK: loch   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
 618 #CHECK: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
 619 #CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
 620 #CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
 621 #CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
 622 #CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
 623 #CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
 624 #CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
 625 #CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
 626 #CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
 627 #CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
 628 #CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
 629 #CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
 630
 631         loco   %r1,2(%r3)
 632         loch   %r1,2(%r3)
 633         locnle %r1,2(%r3)
 634         locl   %r1,2(%r3)
 635         locnhe %r1,2(%r3)
 636         loclh  %r1,2(%r3)
 637         locne  %r1,2(%r3)
 638         loce   %r1,2(%r3)
 639         locnlh %r1,2(%r3)
 640         loche  %r1,2(%r3)
 641         locnl  %r1,2(%r3)
 642         locle  %r1,2(%r3)
 643         locnh  %r1,2(%r3)
 644         locno  %r1,2(%r3)
 645
 646 #CHECK: locg    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
 647 #CHECK: locg    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
 648 #CHECK: locg    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
 649 #CHECK: locg    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
 650 #CHECK: locg    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
 651 #CHECK: locg    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
 652 #CHECK: locg    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
 653 #CHECK: locg    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
 654
 655         locg    %r0,0,0
 656         locg    %r0,0,15
 657         locg    %r0,-524288,0
 658         locg    %r0,524287,0
 659         locg    %r0,0(%r1),0
 660         locg    %r0,0(%r15),0
 661         locg    %r15,0,0
 662         locg    %r1,4095(%r2),3
 663
 664 #CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
 665 #CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
 666 #CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
 667 #CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
 668 #CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
 669 #CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
 670 #CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
 671 #CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
 672 #CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
 673 #CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
 674 #CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
 675 #CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
 676 #CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
 677 #CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
 678
 679         locgo   %r1,2(%r3)
 680         locgh   %r1,2(%r3)
 681         locgnle %r1,2(%r3)
 682         locgl   %r1,2(%r3)
 683         locgnhe %r1,2(%r3)
 684         locglh  %r1,2(%r3)
 685         locgne  %r1,2(%r3)
 686         locge   %r1,2(%r3)
 687         locgnlh %r1,2(%r3)
 688         locghe  %r1,2(%r3)
 689         locgnl  %r1,2(%r3)
 690         locgle  %r1,2(%r3)
 691         locgnh  %r1,2(%r3)
 692         locgno  %r1,2(%r3)
 693
 694 #CHECK: locgr   %r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
 695 #CHECK: locgr   %r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
 696
 697         locgr   %r1,%r2,0
 698         locgr   %r1,%r2,15
 699
 700 #CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
 701 #CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
 702 #CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
 703 #CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
 704 #CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
 705 #CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
 706 #CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
 707 #CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
 708 #CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
 709 #CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
 710 #CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
 711 #CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
 712 #CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
 713 #CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
 714
 715         locgro   %r1,%r3
 716         locgrh   %r1,%r3
 717         locgrnle %r1,%r3
 718         locgrl   %r1,%r3
 719         locgrnhe %r1,%r3
 720         locgrlh  %r1,%r3
 721         locgrne  %r1,%r3
 722         locgre   %r1,%r3
 723         locgrnlh %r1,%r3
 724         locgrhe  %r1,%r3
 725         locgrnl  %r1,%r3
 726         locgrle  %r1,%r3
 727         locgrnh  %r1,%r3
 728         locgrno  %r1,%r3
 729
 730 #CHECK: locr    %r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
 731 #CHECK: locr    %r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
 732
 733         locr    %r1,%r2,0
 734         locr    %r1,%r2,15
 735
 736 #CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
 737 #CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
 738 #CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
 739 #CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
 740 #CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
 741 #CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
 742 #CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
 743 #CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
 744 #CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
 745 #CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
 746 #CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
 747 #CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
 748 #CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
 749 #CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
 750
 751         locro   %r1,%r3
 752         locrh   %r1,%r3
 753         locrnle %r1,%r3
 754         locrl   %r1,%r3
 755         locrnhe %r1,%r3
 756         locrlh  %r1,%r3
 757         locrne  %r1,%r3
 758         locre   %r1,%r3
 759         locrnlh %r1,%r3
 760         locrhe  %r1,%r3
 761         locrnl  %r1,%r3
 762         locrle  %r1,%r3
 763         locrnh  %r1,%r3
 764         locrno  %r1,%r3
 765
 766 #CHECK: ngrk    %r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
 767 #CHECK: ngrk    %r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
 768 #CHECK: ngrk    %r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
 769 #CHECK: ngrk    %r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
 770 #CHECK: ngrk    %r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
 771
 772         ngrk    %r0,%r0,%r0
 773         ngrk    %r0,%r0,%r15
 774         ngrk    %r0,%r15,%r0
 775         ngrk    %r15,%r0,%r0
 776         ngrk    %r7,%r8,%r9
 777
 778 #CHECK: nrk     %r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
 779 #CHECK: nrk     %r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
 780 #CHECK: nrk     %r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
 781 #CHECK: nrk     %r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
 782 #CHECK: nrk     %r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
 783
 784         nrk     %r0,%r0,%r0
 785         nrk     %r0,%r0,%r15
 786         nrk     %r0,%r15,%r0
 787         nrk     %r15,%r0,%r0
 788         nrk     %r7,%r8,%r9
 789
 790 #CHECK: ogrk    %r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
 791 #CHECK: ogrk    %r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
 792 #CHECK: ogrk    %r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
 793 #CHECK: ogrk    %r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
 794 #CHECK: ogrk    %r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
 795
 796         ogrk    %r0,%r0,%r0
 797         ogrk    %r0,%r0,%r15
 798         ogrk    %r0,%r15,%r0
 799         ogrk    %r15,%r0,%r0
 800         ogrk    %r7,%r8,%r9
 801
 802 #CHECK: ork     %r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
 803 #CHECK: ork     %r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
 804 #CHECK: ork     %r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
 805 #CHECK: ork     %r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
 806 #CHECK: ork     %r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
 807
 808         ork     %r0,%r0,%r0
 809         ork     %r0,%r0,%r15
 810         ork     %r0,%r15,%r0
 811         ork     %r15,%r0,%r0
 812         ork     %r7,%r8,%r9
 813
 814 #CHECK: risbhg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
 815 #CHECK: risbhg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
 816 #CHECK: risbhg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
 817 #CHECK: risbhg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
 818 #CHECK: risbhg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
 819 #CHECK: risbhg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
 820 #CHECK: risbhg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
 821
 822         risbhg  %r0,%r0,0,0,0
 823         risbhg  %r0,%r0,0,0,63
 824         risbhg  %r0,%r0,0,255,0
 825         risbhg  %r0,%r0,255,0,0
 826         risbhg  %r0,%r15,0,0,0
 827         risbhg  %r15,%r0,0,0,0
 828         risbhg  %r4,%r5,6,7,8
 829
 830 #CHECK: risblg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
 831 #CHECK: risblg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
 832 #CHECK: risblg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
 833 #CHECK: risblg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
 834 #CHECK: risblg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
 835 #CHECK: risblg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
 836 #CHECK: risblg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
 837
 838         risblg  %r0,%r0,0,0,0
 839         risblg  %r0,%r0,0,0,63
 840         risblg  %r0,%r0,0,255,0
 841         risblg  %r0,%r0,255,0,0
 842         risblg  %r0,%r15,0,0,0
 843         risblg  %r15,%r0,0,0,0
 844         risblg  %r4,%r5,6,7,8
 845
 846 #CHECK: sgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
 847 #CHECK: sgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
 848 #CHECK: sgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
 849 #CHECK: sgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
 850 #CHECK: sgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
 851
 852         sgrk    %r0,%r0,%r0
 853         sgrk    %r0,%r0,%r15
 854         sgrk    %r0,%r15,%r0
 855         sgrk    %r15,%r0,%r0
 856         sgrk    %r7,%r8,%r9
 857
 858 #CHECK: slgrk   %r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
 859 #CHECK: slgrk   %r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
 860 #CHECK: slgrk   %r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
 861 #CHECK: slgrk   %r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
 862 #CHECK: slgrk   %r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
 863
 864         slgrk   %r0,%r0,%r0
 865         slgrk   %r0,%r0,%r15
 866         slgrk   %r0,%r15,%r0
 867         slgrk   %r15,%r0,%r0
 868         slgrk   %r7,%r8,%r9
 869
 870 #CHECK: slrk    %r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
 871 #CHECK: slrk    %r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
 872 #CHECK: slrk    %r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
 873 #CHECK: slrk    %r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
 874 #CHECK: slrk    %r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
 875
 876         slrk    %r0,%r0,%r0
 877         slrk    %r0,%r0,%r15
 878         slrk    %r0,%r15,%r0
 879         slrk    %r15,%r0,%r0
 880         slrk    %r7,%r8,%r9
 881
 882 #CHECK: sllk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
 883 #CHECK: sllk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
 884 #CHECK: sllk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
 885 #CHECK: sllk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
 886 #CHECK: sllk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
 887 #CHECK: sllk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
 888 #CHECK: sllk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
 889 #CHECK: sllk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
 890 #CHECK: sllk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
 891 #CHECK: sllk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
 892 #CHECK: sllk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
 893 #CHECK: sllk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
 894
 895         sllk    %r0,%r0,0
 896         sllk    %r15,%r1,0
 897         sllk    %r1,%r15,0
 898         sllk    %r15,%r15,0
 899         sllk    %r0,%r0,-524288
 900         sllk    %r0,%r0,-1
 901         sllk    %r0,%r0,1
 902         sllk    %r0,%r0,524287
 903         sllk    %r0,%r0,0(%r1)
 904         sllk    %r0,%r0,0(%r15)
 905         sllk    %r0,%r0,524287(%r1)
 906         sllk    %r0,%r0,524287(%r15)
 907
 908 #CHECK: srak    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
 909 #CHECK: srak    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
 910 #CHECK: srak    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
 911 #CHECK: srak    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
 912 #CHECK: srak    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
 913 #CHECK: srak    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
 914 #CHECK: srak    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
 915 #CHECK: srak    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
 916 #CHECK: srak    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
 917 #CHECK: srak    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
 918 #CHECK: srak    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
 919 #CHECK: srak    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
 920
 921         srak    %r0,%r0,0
 922         srak    %r15,%r1,0
 923         srak    %r1,%r15,0
 924         srak    %r15,%r15,0
 925         srak    %r0,%r0,-524288
 926         srak    %r0,%r0,-1
 927         srak    %r0,%r0,1
 928         srak    %r0,%r0,524287
 929         srak    %r0,%r0,0(%r1)
 930         srak    %r0,%r0,0(%r15)
 931         srak    %r0,%r0,524287(%r1)
 932         srak    %r0,%r0,524287(%r15)
 933
 934 #CHECK: srk     %r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
 935 #CHECK: srk     %r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
 936 #CHECK: srk     %r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
 937 #CHECK: srk     %r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
 938 #CHECK: srk     %r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
 939
 940         srk     %r0,%r0,%r0
 941         srk     %r0,%r0,%r15
 942         srk     %r0,%r15,%r0
 943         srk     %r15,%r0,%r0
 944         srk     %r7,%r8,%r9
 945
 946 #CHECK: srlk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
 947 #CHECK: srlk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
 948 #CHECK: srlk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
 949 #CHECK: srlk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
 950 #CHECK: srlk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
 951 #CHECK: srlk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
 952 #CHECK: srlk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
 953 #CHECK: srlk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
 954 #CHECK: srlk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
 955 #CHECK: srlk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
 956 #CHECK: srlk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
 957 #CHECK: srlk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
 958
 959         srlk    %r0,%r0,0
 960         srlk    %r15,%r1,0
 961         srlk    %r1,%r15,0
 962         srlk    %r15,%r15,0
 963         srlk    %r0,%r0,-524288
 964         srlk    %r0,%r0,-1
 965         srlk    %r0,%r0,1
 966         srlk    %r0,%r0,524287
 967         srlk    %r0,%r0,0(%r1)
 968         srlk    %r0,%r0,0(%r15)
 969         srlk    %r0,%r0,524287(%r1)
 970         srlk    %r0,%r0,524287(%r15)
 971
 972 #CHECK: stch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc3]
 973 #CHECK: stch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc3]
 974 #CHECK: stch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc3]
 975 #CHECK: stch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc3]
 976 #CHECK: stch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc3]
 977 #CHECK: stch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc3]
 978 #CHECK: stch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc3]
 979 #CHECK: stch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc3]
 980 #CHECK: stch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc3]
 981 #CHECK: stch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc3]
 982
 983         stch    %r0, -524288
 984         stch    %r0, -1
 985         stch    %r0, 0
 986         stch    %r0, 1
 987         stch    %r0, 524287
 988         stch    %r0, 0(%r1)
 989         stch    %r0, 0(%r15)
 990         stch    %r0, 524287(%r1,%r15)
 991         stch    %r0, 524287(%r15,%r1)
 992         stch    %r15, 0
 993
 994 #CHECK: sthh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc7]
 995 #CHECK: sthh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc7]
 996 #CHECK: sthh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc7]
 997 #CHECK: sthh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc7]
 998 #CHECK: sthh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc7]
 999 #CHECK: sthh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc7]
1000 #CHECK: sthh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc7]
1001 #CHECK: sthh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc7]
1002 #CHECK: sthh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc7]
1003 #CHECK: sthh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc7]
1004
1005         sthh    %r0, -524288
1006         sthh    %r0, -1
1007         sthh    %r0, 0
1008         sthh    %r0, 1
1009         sthh    %r0, 524287
1010         sthh    %r0, 0(%r1)
1011         sthh    %r0, 0(%r15)
1012         sthh    %r0, 524287(%r1,%r15)
1013         sthh    %r0, 524287(%r15,%r1)
1014         sthh    %r15, 0
1015
1016 #CHECK: stfh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcb]
1017 #CHECK: stfh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcb]
1018 #CHECK: stfh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcb]
1019 #CHECK: stfh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcb]
1020 #CHECK: stfh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcb]
1021 #CHECK: stfh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcb]
1022 #CHECK: stfh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcb]
1023 #CHECK: stfh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcb]
1024 #CHECK: stfh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcb]
1025 #CHECK: stfh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcb]
1026
1027         stfh    %r0, -524288
1028         stfh    %r0, -1
1029         stfh    %r0, 0
1030         stfh    %r0, 1
1031         stfh    %r0, 524287
1032         stfh    %r0, 0(%r1)
1033         stfh    %r0, 0(%r15)
1034         stfh    %r0, 524287(%r1,%r15)
1035         stfh    %r0, 524287(%r15,%r1)
1036         stfh    %r15, 0
1037
1038 #CHECK: stoc    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
1039 #CHECK: stoc    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
1040 #CHECK: stoc    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
1041 #CHECK: stoc    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
1042 #CHECK: stoc    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
1043 #CHECK: stoc    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
1044 #CHECK: stoc    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
1045 #CHECK: stoc    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
1046
1047         stoc    %r0,0,0
1048         stoc    %r0,0,15
1049         stoc    %r0,-524288,0
1050         stoc    %r0,524287,0
1051         stoc    %r0,0(%r1),0
1052         stoc    %r0,0(%r15),0
1053         stoc    %r15,0,0
1054         stoc    %r1,4095(%r2),3
1055
1056 #CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
1057 #CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
1058 #CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
1059 #CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
1060 #CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
1061 #CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
1062 #CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
1063 #CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
1064 #CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
1065 #CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
1066 #CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
1067 #CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
1068 #CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
1069 #CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
1070
1071         stoco   %r1,2(%r3)
1072         stoch   %r1,2(%r3)
1073         stocnle %r1,2(%r3)
1074         stocl   %r1,2(%r3)
1075         stocnhe %r1,2(%r3)
1076         stoclh  %r1,2(%r3)
1077         stocne  %r1,2(%r3)
1078         stoce   %r1,2(%r3)
1079         stocnlh %r1,2(%r3)
1080         stoche  %r1,2(%r3)
1081         stocnl  %r1,2(%r3)
1082         stocle  %r1,2(%r3)
1083         stocnh  %r1,2(%r3)
1084         stocno  %r1,2(%r3)
1085
1086 #CHECK: stocg   %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
1087 #CHECK: stocg   %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
1088 #CHECK: stocg   %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
1089 #CHECK: stocg   %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
1090 #CHECK: stocg   %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
1091 #CHECK: stocg   %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
1092 #CHECK: stocg   %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
1093 #CHECK: stocg   %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
1094
1095         stocg   %r0,0,0
1096         stocg   %r0,0,15
1097         stocg   %r0,-524288,0
1098         stocg   %r0,524287,0
1099         stocg   %r0,0(%r1),0
1100         stocg   %r0,0(%r15),0
1101         stocg   %r15,0,0
1102         stocg   %r1,4095(%r2),3
1103
1104 #CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
1105 #CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
1106 #CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
1107 #CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
1108 #CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
1109 #CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
1110 #CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
1111 #CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
1112 #CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
1113 #CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
1114 #CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
1115 #CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
1116 #CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
1117 #CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
1118
1119         stocgo   %r1,2(%r3)
1120         stocgh   %r1,2(%r3)
1121         stocgnle %r1,2(%r3)
1122         stocgl   %r1,2(%r3)
1123         stocgnhe %r1,2(%r3)
1124         stocglh  %r1,2(%r3)
1125         stocgne  %r1,2(%r3)
1126         stocge   %r1,2(%r3)
1127         stocgnlh %r1,2(%r3)
1128         stocghe  %r1,2(%r3)
1129         stocgnl  %r1,2(%r3)
1130         stocgle  %r1,2(%r3)
1131         stocgnh  %r1,2(%r3)
1132         stocgno  %r1,2(%r3)
1133
1134 #CHECK: xgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
1135 #CHECK: xgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
1136 #CHECK: xgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
1137 #CHECK: xgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
1138 #CHECK: xgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
1139
1140         xgrk    %r0,%r0,%r0
1141         xgrk    %r0,%r0,%r15
1142         xgrk    %r0,%r15,%r0
1143         xgrk    %r15,%r0,%r0
1144         xgrk    %r7,%r8,%r9
1145
1146 #CHECK: xrk     %r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
1147 #CHECK: xrk     %r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
1148 #CHECK: xrk     %r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
1149 #CHECK: xrk     %r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
1150 #CHECK: xrk     %r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
1151
1152         xrk     %r0,%r0,%r0
1153         xrk     %r0,%r0,%r15
1154         xrk     %r0,%r15,%r0
1155         xrk     %r15,%r0,%r0
1156         xrk     %r7,%r8,%r9