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: cih     %r0, -2147483648        # encoding: [0xcc,0x0d,0x80,0x00,0x00,0x00]
 139 #CHECK: cih     %r0, -1                 # encoding: [0xcc,0x0d,0xff,0xff,0xff,0xff]
 140 #CHECK: cih     %r0, 0                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x00]
 141 #CHECK: cih     %r0, 1                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x01]
 142 #CHECK: cih     %r0, 2147483647         # encoding: [0xcc,0x0d,0x7f,0xff,0xff,0xff]
 143 #CHECK: cih     %r15, 0                 # encoding: [0xcc,0xfd,0x00,0x00,0x00,0x00]
 144
 145         cih     %r0, -1 << 31
 146         cih     %r0, -1
 147         cih     %r0, 0
 148         cih     %r0, 1
 149         cih     %r0, (1 << 31) - 1
 150         cih     %r15, 0
 151
 152 #CHECK: clih    %r0, 0                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x00]
 153 #CHECK: clih    %r0, 1                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x01]
 154 #CHECK: clih    %r0, 4294967295         # encoding: [0xcc,0x0f,0xff,0xff,0xff,0xff]
 155 #CHECK: clih    %r15, 0                 # encoding: [0xcc,0xff,0x00,0x00,0x00,0x00]
 156
 157         clih    %r0, 0
 158         clih    %r0, 1
 159         clih    %r0, (1 << 32) - 1
 160         clih    %r15, 0
 161
 162 #CHECK: fidbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x5f,0x00,0x00]
 163 #CHECK: fidbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x5f,0x0f,0x00]
 164 #CHECK: fidbra  %f0, 0, %f15, 0         # encoding: [0xb3,0x5f,0x00,0x0f]
 165 #CHECK: fidbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x5f,0xf0,0x00]
 166 #CHECK: fidbra  %f4, 5, %f6, 7          # encoding: [0xb3,0x5f,0x57,0x46]
 167 #CHECK: fidbra  %f15, 0, %f0, 0         # encoding: [0xb3,0x5f,0x00,0xf0]
 168
 169         fidbra  %f0, 0, %f0, 0
 170         fidbra  %f0, 0, %f0, 15
 171         fidbra  %f0, 0, %f15, 0
 172         fidbra  %f0, 15, %f0, 0
 173         fidbra  %f4, 5, %f6, 7
 174         fidbra  %f15, 0, %f0, 0
 175
 176 #CHECK: fiebra  %f0, 0, %f0, 0          # encoding: [0xb3,0x57,0x00,0x00]
 177 #CHECK: fiebra  %f0, 0, %f0, 15         # encoding: [0xb3,0x57,0x0f,0x00]
 178 #CHECK: fiebra  %f0, 0, %f15, 0         # encoding: [0xb3,0x57,0x00,0x0f]
 179 #CHECK: fiebra  %f0, 15, %f0, 0         # encoding: [0xb3,0x57,0xf0,0x00]
 180 #CHECK: fiebra  %f4, 5, %f6, 7          # encoding: [0xb3,0x57,0x57,0x46]
 181 #CHECK: fiebra  %f15, 0, %f0, 0         # encoding: [0xb3,0x57,0x00,0xf0]
 182
 183         fiebra  %f0, 0, %f0, 0
 184         fiebra  %f0, 0, %f0, 15
 185         fiebra  %f0, 0, %f15, 0
 186         fiebra  %f0, 15, %f0, 0
 187         fiebra  %f4, 5, %f6, 7
 188         fiebra  %f15, 0, %f0, 0
 189
 190 #CHECK: fixbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x47,0x00,0x00]
 191 #CHECK: fixbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x47,0x0f,0x00]
 192 #CHECK: fixbra  %f0, 0, %f13, 0         # encoding: [0xb3,0x47,0x00,0x0d]
 193 #CHECK: fixbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x47,0xf0,0x00]
 194 #CHECK: fixbra  %f4, 5, %f8, 9          # encoding: [0xb3,0x47,0x59,0x48]
 195 #CHECK: fixbra  %f13, 0, %f0, 0         # encoding: [0xb3,0x47,0x00,0xd0]
 196
 197         fixbra  %f0, 0, %f0, 0
 198         fixbra  %f0, 0, %f0, 15
 199         fixbra  %f0, 0, %f13, 0
 200         fixbra  %f0, 15, %f0, 0
 201         fixbra  %f4, 5, %f8, 9
 202         fixbra  %f13, 0, %f0, 0
 203
 204 #CHECK: lbh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc0]
 205 #CHECK: lbh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc0]
 206 #CHECK: lbh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc0]
 207 #CHECK: lbh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc0]
 208 #CHECK: lbh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc0]
 209 #CHECK: lbh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc0]
 210 #CHECK: lbh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc0]
 211 #CHECK: lbh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc0]
 212 #CHECK: lbh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc0]
 213 #CHECK: lbh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc0]
 214
 215         lbh     %r0, -524288
 216         lbh     %r0, -1
 217         lbh     %r0, 0
 218         lbh     %r0, 1
 219         lbh     %r0, 524287
 220         lbh     %r0, 0(%r1)
 221         lbh     %r0, 0(%r15)
 222         lbh     %r0, 524287(%r1,%r15)
 223         lbh     %r0, 524287(%r15,%r1)
 224         lbh     %r15, 0
 225
 226 #CHECK: lfh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xca]
 227 #CHECK: lfh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xca]
 228 #CHECK: lfh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xca]
 229 #CHECK: lfh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xca]
 230 #CHECK: lfh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xca]
 231 #CHECK: lfh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xca]
 232 #CHECK: lfh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xca]
 233 #CHECK: lfh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xca]
 234 #CHECK: lfh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xca]
 235 #CHECK: lfh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xca]
 236
 237         lfh     %r0, -524288
 238         lfh     %r0, -1
 239         lfh     %r0, 0
 240         lfh     %r0, 1
 241         lfh     %r0, 524287
 242         lfh     %r0, 0(%r1)
 243         lfh     %r0, 0(%r15)
 244         lfh     %r0, 524287(%r1,%r15)
 245         lfh     %r0, 524287(%r15,%r1)
 246         lfh     %r15, 0
 247
 248 #CHECK: lhh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc4]
 249 #CHECK: lhh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc4]
 250 #CHECK: lhh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc4]
 251 #CHECK: lhh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc4]
 252 #CHECK: lhh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc4]
 253 #CHECK: lhh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc4]
 254 #CHECK: lhh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc4]
 255 #CHECK: lhh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc4]
 256 #CHECK: lhh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc4]
 257 #CHECK: lhh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc4]
 258
 259         lhh     %r0, -524288
 260         lhh     %r0, -1
 261         lhh     %r0, 0
 262         lhh     %r0, 1
 263         lhh     %r0, 524287
 264         lhh     %r0, 0(%r1)
 265         lhh     %r0, 0(%r15)
 266         lhh     %r0, 524287(%r1,%r15)
 267         lhh     %r0, 524287(%r15,%r1)
 268         lhh     %r15, 0
 269
 270 #CHECK: llch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc2]
 271 #CHECK: llch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc2]
 272 #CHECK: llch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc2]
 273 #CHECK: llch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc2]
 274 #CHECK: llch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc2]
 275 #CHECK: llch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc2]
 276 #CHECK: llch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc2]
 277 #CHECK: llch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc2]
 278 #CHECK: llch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc2]
 279 #CHECK: llch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc2]
 280
 281         llch    %r0, -524288
 282         llch    %r0, -1
 283         llch    %r0, 0
 284         llch    %r0, 1
 285         llch    %r0, 524287
 286         llch    %r0, 0(%r1)
 287         llch    %r0, 0(%r15)
 288         llch    %r0, 524287(%r1,%r15)
 289         llch    %r0, 524287(%r15,%r1)
 290         llch    %r15, 0
 291
 292 #CHECK: llhh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc6]
 293 #CHECK: llhh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc6]
 294 #CHECK: llhh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc6]
 295 #CHECK: llhh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc6]
 296 #CHECK: llhh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc6]
 297 #CHECK: llhh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc6]
 298 #CHECK: llhh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc6]
 299 #CHECK: llhh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc6]
 300 #CHECK: llhh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc6]
 301 #CHECK: llhh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc6]
 302
 303         llhh    %r0, -524288
 304         llhh    %r0, -1
 305         llhh    %r0, 0
 306         llhh    %r0, 1
 307         llhh    %r0, 524287
 308         llhh    %r0, 0(%r1)
 309         llhh    %r0, 0(%r15)
 310         llhh    %r0, 524287(%r1,%r15)
 311         llhh    %r0, 524287(%r15,%r1)
 312         llhh    %r15, 0
 313
 314 #CHECK: loc     %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf2]
 315 #CHECK: loc     %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf2]
 316 #CHECK: loc     %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf2]
 317 #CHECK: loc     %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf2]
 318 #CHECK: loc     %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf2]
 319 #CHECK: loc     %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf2]
 320 #CHECK: loc     %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf2]
 321 #CHECK: loc     %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf2]
 322
 323         loc     %r0,0,0
 324         loc     %r0,0,15
 325         loc     %r0,-524288,0
 326         loc     %r0,524287,0
 327         loc     %r0,0(%r1),0
 328         loc     %r0,0(%r15),0
 329         loc     %r15,0,0
 330         loc     %r1,4095(%r2),3
 331
 332 #CHECK: loco   %r1, 2(%r3)              # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf2]
 333 #CHECK: loch   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
 334 #CHECK: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
 335 #CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
 336 #CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
 337 #CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
 338 #CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
 339 #CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
 340 #CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
 341 #CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
 342 #CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
 343 #CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
 344 #CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
 345 #CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
 346
 347         loco   %r1,2(%r3)
 348         loch   %r1,2(%r3)
 349         locnle %r1,2(%r3)
 350         locl   %r1,2(%r3)
 351         locnhe %r1,2(%r3)
 352         loclh  %r1,2(%r3)
 353         locne  %r1,2(%r3)
 354         loce   %r1,2(%r3)
 355         locnlh %r1,2(%r3)
 356         loche  %r1,2(%r3)
 357         locnl  %r1,2(%r3)
 358         locle  %r1,2(%r3)
 359         locnh  %r1,2(%r3)
 360         locno  %r1,2(%r3)
 361
 362 #CHECK: locg    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
 363 #CHECK: locg    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
 364 #CHECK: locg    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
 365 #CHECK: locg    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
 366 #CHECK: locg    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
 367 #CHECK: locg    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
 368 #CHECK: locg    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
 369 #CHECK: locg    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
 370
 371         locg    %r0,0,0
 372         locg    %r0,0,15
 373         locg    %r0,-524288,0
 374         locg    %r0,524287,0
 375         locg    %r0,0(%r1),0
 376         locg    %r0,0(%r15),0
 377         locg    %r15,0,0
 378         locg    %r1,4095(%r2),3
 379
 380 #CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
 381 #CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
 382 #CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
 383 #CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
 384 #CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
 385 #CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
 386 #CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
 387 #CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
 388 #CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
 389 #CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
 390 #CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
 391 #CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
 392 #CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
 393 #CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
 394
 395         locgo   %r1,2(%r3)
 396         locgh   %r1,2(%r3)
 397         locgnle %r1,2(%r3)
 398         locgl   %r1,2(%r3)
 399         locgnhe %r1,2(%r3)
 400         locglh  %r1,2(%r3)
 401         locgne  %r1,2(%r3)
 402         locge   %r1,2(%r3)
 403         locgnlh %r1,2(%r3)
 404         locghe  %r1,2(%r3)
 405         locgnl  %r1,2(%r3)
 406         locgle  %r1,2(%r3)
 407         locgnh  %r1,2(%r3)
 408         locgno  %r1,2(%r3)
 409
 410 #CHECK: locgr   %r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
 411 #CHECK: locgr   %r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
 412
 413         locgr   %r1,%r2,0
 414         locgr   %r1,%r2,15
 415
 416 #CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
 417 #CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
 418 #CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
 419 #CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
 420 #CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
 421 #CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
 422 #CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
 423 #CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
 424 #CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
 425 #CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
 426 #CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
 427 #CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
 428 #CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
 429 #CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
 430
 431         locgro   %r1,%r3
 432         locgrh   %r1,%r3
 433         locgrnle %r1,%r3
 434         locgrl   %r1,%r3
 435         locgrnhe %r1,%r3
 436         locgrlh  %r1,%r3
 437         locgrne  %r1,%r3
 438         locgre   %r1,%r3
 439         locgrnlh %r1,%r3
 440         locgrhe  %r1,%r3
 441         locgrnl  %r1,%r3
 442         locgrle  %r1,%r3
 443         locgrnh  %r1,%r3
 444         locgrno  %r1,%r3
 445
 446 #CHECK: locr    %r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
 447 #CHECK: locr    %r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
 448
 449         locr    %r1,%r2,0
 450         locr    %r1,%r2,15
 451
 452 #CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
 453 #CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
 454 #CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
 455 #CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
 456 #CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
 457 #CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
 458 #CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
 459 #CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
 460 #CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
 461 #CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
 462 #CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
 463 #CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
 464 #CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
 465 #CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
 466
 467         locro   %r1,%r3
 468         locrh   %r1,%r3
 469         locrnle %r1,%r3
 470         locrl   %r1,%r3
 471         locrnhe %r1,%r3
 472         locrlh  %r1,%r3
 473         locrne  %r1,%r3
 474         locre   %r1,%r3
 475         locrnlh %r1,%r3
 476         locrhe  %r1,%r3
 477         locrnl  %r1,%r3
 478         locrle  %r1,%r3
 479         locrnh  %r1,%r3
 480         locrno  %r1,%r3
 481
 482 #CHECK: ngrk    %r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
 483 #CHECK: ngrk    %r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
 484 #CHECK: ngrk    %r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
 485 #CHECK: ngrk    %r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
 486 #CHECK: ngrk    %r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
 487
 488         ngrk    %r0,%r0,%r0
 489         ngrk    %r0,%r0,%r15
 490         ngrk    %r0,%r15,%r0
 491         ngrk    %r15,%r0,%r0
 492         ngrk    %r7,%r8,%r9
 493
 494 #CHECK: nrk     %r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
 495 #CHECK: nrk     %r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
 496 #CHECK: nrk     %r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
 497 #CHECK: nrk     %r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
 498 #CHECK: nrk     %r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
 499
 500         nrk     %r0,%r0,%r0
 501         nrk     %r0,%r0,%r15
 502         nrk     %r0,%r15,%r0
 503         nrk     %r15,%r0,%r0
 504         nrk     %r7,%r8,%r9
 505
 506 #CHECK: ogrk    %r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
 507 #CHECK: ogrk    %r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
 508 #CHECK: ogrk    %r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
 509 #CHECK: ogrk    %r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
 510 #CHECK: ogrk    %r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
 511
 512         ogrk    %r0,%r0,%r0
 513         ogrk    %r0,%r0,%r15
 514         ogrk    %r0,%r15,%r0
 515         ogrk    %r15,%r0,%r0
 516         ogrk    %r7,%r8,%r9
 517
 518 #CHECK: ork     %r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
 519 #CHECK: ork     %r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
 520 #CHECK: ork     %r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
 521 #CHECK: ork     %r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
 522 #CHECK: ork     %r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
 523
 524         ork     %r0,%r0,%r0
 525         ork     %r0,%r0,%r15
 526         ork     %r0,%r15,%r0
 527         ork     %r15,%r0,%r0
 528         ork     %r7,%r8,%r9
 529
 530 #CHECK: risbhg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
 531 #CHECK: risbhg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
 532 #CHECK: risbhg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
 533 #CHECK: risbhg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
 534 #CHECK: risbhg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
 535 #CHECK: risbhg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
 536 #CHECK: risbhg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
 537
 538         risbhg  %r0,%r0,0,0,0
 539         risbhg  %r0,%r0,0,0,63
 540         risbhg  %r0,%r0,0,255,0
 541         risbhg  %r0,%r0,255,0,0
 542         risbhg  %r0,%r15,0,0,0
 543         risbhg  %r15,%r0,0,0,0
 544         risbhg  %r4,%r5,6,7,8
 545
 546 #CHECK: risblg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
 547 #CHECK: risblg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
 548 #CHECK: risblg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
 549 #CHECK: risblg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
 550 #CHECK: risblg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
 551 #CHECK: risblg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
 552 #CHECK: risblg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
 553
 554         risblg  %r0,%r0,0,0,0
 555         risblg  %r0,%r0,0,0,63
 556         risblg  %r0,%r0,0,255,0
 557         risblg  %r0,%r0,255,0,0
 558         risblg  %r0,%r15,0,0,0
 559         risblg  %r15,%r0,0,0,0
 560         risblg  %r4,%r5,6,7,8
 561
 562 #CHECK: sgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
 563 #CHECK: sgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
 564 #CHECK: sgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
 565 #CHECK: sgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
 566 #CHECK: sgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
 567
 568         sgrk    %r0,%r0,%r0
 569         sgrk    %r0,%r0,%r15
 570         sgrk    %r0,%r15,%r0
 571         sgrk    %r15,%r0,%r0
 572         sgrk    %r7,%r8,%r9
 573
 574 #CHECK: slgrk   %r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
 575 #CHECK: slgrk   %r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
 576 #CHECK: slgrk   %r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
 577 #CHECK: slgrk   %r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
 578 #CHECK: slgrk   %r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
 579
 580         slgrk   %r0,%r0,%r0
 581         slgrk   %r0,%r0,%r15
 582         slgrk   %r0,%r15,%r0
 583         slgrk   %r15,%r0,%r0
 584         slgrk   %r7,%r8,%r9
 585
 586 #CHECK: slrk    %r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
 587 #CHECK: slrk    %r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
 588 #CHECK: slrk    %r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
 589 #CHECK: slrk    %r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
 590 #CHECK: slrk    %r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
 591
 592         slrk    %r0,%r0,%r0
 593         slrk    %r0,%r0,%r15
 594         slrk    %r0,%r15,%r0
 595         slrk    %r15,%r0,%r0
 596         slrk    %r7,%r8,%r9
 597
 598 #CHECK: sllk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
 599 #CHECK: sllk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
 600 #CHECK: sllk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
 601 #CHECK: sllk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
 602 #CHECK: sllk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
 603 #CHECK: sllk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
 604 #CHECK: sllk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
 605 #CHECK: sllk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
 606 #CHECK: sllk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
 607 #CHECK: sllk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
 608 #CHECK: sllk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
 609 #CHECK: sllk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
 610
 611         sllk    %r0,%r0,0
 612         sllk    %r15,%r1,0
 613         sllk    %r1,%r15,0
 614         sllk    %r15,%r15,0
 615         sllk    %r0,%r0,-524288
 616         sllk    %r0,%r0,-1
 617         sllk    %r0,%r0,1
 618         sllk    %r0,%r0,524287
 619         sllk    %r0,%r0,0(%r1)
 620         sllk    %r0,%r0,0(%r15)
 621         sllk    %r0,%r0,524287(%r1)
 622         sllk    %r0,%r0,524287(%r15)
 623
 624 #CHECK: srak    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
 625 #CHECK: srak    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
 626 #CHECK: srak    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
 627 #CHECK: srak    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
 628 #CHECK: srak    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
 629 #CHECK: srak    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
 630 #CHECK: srak    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
 631 #CHECK: srak    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
 632 #CHECK: srak    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
 633 #CHECK: srak    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
 634 #CHECK: srak    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
 635 #CHECK: srak    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
 636
 637         srak    %r0,%r0,0
 638         srak    %r15,%r1,0
 639         srak    %r1,%r15,0
 640         srak    %r15,%r15,0
 641         srak    %r0,%r0,-524288
 642         srak    %r0,%r0,-1
 643         srak    %r0,%r0,1
 644         srak    %r0,%r0,524287
 645         srak    %r0,%r0,0(%r1)
 646         srak    %r0,%r0,0(%r15)
 647         srak    %r0,%r0,524287(%r1)
 648         srak    %r0,%r0,524287(%r15)
 649
 650 #CHECK: srk     %r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
 651 #CHECK: srk     %r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
 652 #CHECK: srk     %r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
 653 #CHECK: srk     %r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
 654 #CHECK: srk     %r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
 655
 656         srk     %r0,%r0,%r0
 657         srk     %r0,%r0,%r15
 658         srk     %r0,%r15,%r0
 659         srk     %r15,%r0,%r0
 660         srk     %r7,%r8,%r9
 661
 662 #CHECK: srlk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
 663 #CHECK: srlk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
 664 #CHECK: srlk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
 665 #CHECK: srlk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
 666 #CHECK: srlk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
 667 #CHECK: srlk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
 668 #CHECK: srlk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
 669 #CHECK: srlk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
 670 #CHECK: srlk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
 671 #CHECK: srlk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
 672 #CHECK: srlk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
 673 #CHECK: srlk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
 674
 675         srlk    %r0,%r0,0
 676         srlk    %r15,%r1,0
 677         srlk    %r1,%r15,0
 678         srlk    %r15,%r15,0
 679         srlk    %r0,%r0,-524288
 680         srlk    %r0,%r0,-1
 681         srlk    %r0,%r0,1
 682         srlk    %r0,%r0,524287
 683         srlk    %r0,%r0,0(%r1)
 684         srlk    %r0,%r0,0(%r15)
 685         srlk    %r0,%r0,524287(%r1)
 686         srlk    %r0,%r0,524287(%r15)
 687
 688 #CHECK: stch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc3]
 689 #CHECK: stch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc3]
 690 #CHECK: stch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc3]
 691 #CHECK: stch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc3]
 692 #CHECK: stch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc3]
 693 #CHECK: stch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc3]
 694 #CHECK: stch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc3]
 695 #CHECK: stch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc3]
 696 #CHECK: stch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc3]
 697 #CHECK: stch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc3]
 698
 699         stch    %r0, -524288
 700         stch    %r0, -1
 701         stch    %r0, 0
 702         stch    %r0, 1
 703         stch    %r0, 524287
 704         stch    %r0, 0(%r1)
 705         stch    %r0, 0(%r15)
 706         stch    %r0, 524287(%r1,%r15)
 707         stch    %r0, 524287(%r15,%r1)
 708         stch    %r15, 0
 709
 710 #CHECK: sthh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc7]
 711 #CHECK: sthh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc7]
 712 #CHECK: sthh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc7]
 713 #CHECK: sthh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc7]
 714 #CHECK: sthh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc7]
 715 #CHECK: sthh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc7]
 716 #CHECK: sthh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc7]
 717 #CHECK: sthh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc7]
 718 #CHECK: sthh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc7]
 719 #CHECK: sthh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc7]
 720
 721         sthh    %r0, -524288
 722         sthh    %r0, -1
 723         sthh    %r0, 0
 724         sthh    %r0, 1
 725         sthh    %r0, 524287
 726         sthh    %r0, 0(%r1)
 727         sthh    %r0, 0(%r15)
 728         sthh    %r0, 524287(%r1,%r15)
 729         sthh    %r0, 524287(%r15,%r1)
 730         sthh    %r15, 0
 731
 732 #CHECK: stfh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcb]
 733 #CHECK: stfh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcb]
 734 #CHECK: stfh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcb]
 735 #CHECK: stfh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcb]
 736 #CHECK: stfh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcb]
 737 #CHECK: stfh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcb]
 738 #CHECK: stfh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcb]
 739 #CHECK: stfh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcb]
 740 #CHECK: stfh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcb]
 741 #CHECK: stfh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcb]
 742
 743         stfh    %r0, -524288
 744         stfh    %r0, -1
 745         stfh    %r0, 0
 746         stfh    %r0, 1
 747         stfh    %r0, 524287
 748         stfh    %r0, 0(%r1)
 749         stfh    %r0, 0(%r15)
 750         stfh    %r0, 524287(%r1,%r15)
 751         stfh    %r0, 524287(%r15,%r1)
 752         stfh    %r15, 0
 753
 754 #CHECK: stoc    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
 755 #CHECK: stoc    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
 756 #CHECK: stoc    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
 757 #CHECK: stoc    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
 758 #CHECK: stoc    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
 759 #CHECK: stoc    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
 760 #CHECK: stoc    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
 761 #CHECK: stoc    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
 762
 763         stoc    %r0,0,0
 764         stoc    %r0,0,15
 765         stoc    %r0,-524288,0
 766         stoc    %r0,524287,0
 767         stoc    %r0,0(%r1),0
 768         stoc    %r0,0(%r15),0
 769         stoc    %r15,0,0
 770         stoc    %r1,4095(%r2),3
 771
 772 #CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
 773 #CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
 774 #CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
 775 #CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
 776 #CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
 777 #CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
 778 #CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
 779 #CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
 780 #CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
 781 #CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
 782 #CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
 783 #CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
 784 #CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
 785 #CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
 786
 787         stoco   %r1,2(%r3)
 788         stoch   %r1,2(%r3)
 789         stocnle %r1,2(%r3)
 790         stocl   %r1,2(%r3)
 791         stocnhe %r1,2(%r3)
 792         stoclh  %r1,2(%r3)
 793         stocne  %r1,2(%r3)
 794         stoce   %r1,2(%r3)
 795         stocnlh %r1,2(%r3)
 796         stoche  %r1,2(%r3)
 797         stocnl  %r1,2(%r3)
 798         stocle  %r1,2(%r3)
 799         stocnh  %r1,2(%r3)
 800         stocno  %r1,2(%r3)
 801
 802 #CHECK: stocg   %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
 803 #CHECK: stocg   %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
 804 #CHECK: stocg   %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
 805 #CHECK: stocg   %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
 806 #CHECK: stocg   %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
 807 #CHECK: stocg   %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
 808 #CHECK: stocg   %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
 809 #CHECK: stocg   %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
 810
 811         stocg   %r0,0,0
 812         stocg   %r0,0,15
 813         stocg   %r0,-524288,0
 814         stocg   %r0,524287,0
 815         stocg   %r0,0(%r1),0
 816         stocg   %r0,0(%r15),0
 817         stocg   %r15,0,0
 818         stocg   %r1,4095(%r2),3
 819
 820 #CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
 821 #CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
 822 #CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
 823 #CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
 824 #CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
 825 #CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
 826 #CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
 827 #CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
 828 #CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
 829 #CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
 830 #CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
 831 #CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
 832 #CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
 833 #CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
 834
 835         stocgo   %r1,2(%r3)
 836         stocgh   %r1,2(%r3)
 837         stocgnle %r1,2(%r3)
 838         stocgl   %r1,2(%r3)
 839         stocgnhe %r1,2(%r3)
 840         stocglh  %r1,2(%r3)
 841         stocgne  %r1,2(%r3)
 842         stocge   %r1,2(%r3)
 843         stocgnlh %r1,2(%r3)
 844         stocghe  %r1,2(%r3)
 845         stocgnl  %r1,2(%r3)
 846         stocgle  %r1,2(%r3)
 847         stocgnh  %r1,2(%r3)
 848         stocgno  %r1,2(%r3)
 849
 850 #CHECK: xgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
 851 #CHECK: xgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
 852 #CHECK: xgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
 853 #CHECK: xgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
 854 #CHECK: xgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
 855
 856         xgrk    %r0,%r0,%r0
 857         xgrk    %r0,%r0,%r15
 858         xgrk    %r0,%r15,%r0
 859         xgrk    %r15,%r0,%r0
 860         xgrk    %r7,%r8,%r9
 861
 862 #CHECK: xrk     %r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
 863 #CHECK: xrk     %r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
 864 #CHECK: xrk     %r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
 865 #CHECK: xrk     %r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
 866 #CHECK: xrk     %r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
 867
 868         xrk     %r0,%r0,%r0
 869         xrk     %r0,%r0,%r15
 870         xrk     %r0,%r15,%r0
 871         xrk     %r15,%r0,%r0
 872         xrk     %r7,%r8,%r9