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: cdlfbr  %f0, 0, %r0, 0          # encoding: [0xb3,0x91,0x00,0x00]
 139 #CHECK: cdlfbr  %f0, 0, %r0, 15         # encoding: [0xb3,0x91,0x0f,0x00]
 140 #CHECK: cdlfbr  %f0, 0, %r15, 0         # encoding: [0xb3,0x91,0x00,0x0f]
 141 #CHECK: cdlfbr  %f0, 15, %r0, 0         # encoding: [0xb3,0x91,0xf0,0x00]
 142 #CHECK: cdlfbr  %f4, 5, %r6, 7          # encoding: [0xb3,0x91,0x57,0x46]
 143 #CHECK: cdlfbr  %f15, 0, %r0, 0         # encoding: [0xb3,0x91,0x00,0xf0]
 144
 145         cdlfbr  %f0, 0, %r0, 0
 146         cdlfbr  %f0, 0, %r0, 15
 147         cdlfbr  %f0, 0, %r15, 0
 148         cdlfbr  %f0, 15, %r0, 0
 149         cdlfbr  %f4, 5, %r6, 7
 150         cdlfbr  %f15, 0, %r0, 0
 151
 152 #CHECK: cdlgbr  %f0, 0, %r0, 0          # encoding: [0xb3,0xa1,0x00,0x00]
 153 #CHECK: cdlgbr  %f0, 0, %r0, 15         # encoding: [0xb3,0xa1,0x0f,0x00]
 154 #CHECK: cdlgbr  %f0, 0, %r15, 0         # encoding: [0xb3,0xa1,0x00,0x0f]
 155 #CHECK: cdlgbr  %f0, 15, %r0, 0         # encoding: [0xb3,0xa1,0xf0,0x00]
 156 #CHECK: cdlgbr  %f4, 5, %r6, 7          # encoding: [0xb3,0xa1,0x57,0x46]
 157 #CHECK: cdlgbr  %f15, 0, %r0, 0         # encoding: [0xb3,0xa1,0x00,0xf0]
 158
 159         cdlgbr  %f0, 0, %r0, 0
 160         cdlgbr  %f0, 0, %r0, 15
 161         cdlgbr  %f0, 0, %r15, 0
 162         cdlgbr  %f0, 15, %r0, 0
 163         cdlgbr  %f4, 5, %r6, 7
 164         cdlgbr  %f15, 0, %r0, 0
 165
 166 #CHECK: celfbr  %f0, 0, %r0, 0          # encoding: [0xb3,0x90,0x00,0x00]
 167 #CHECK: celfbr  %f0, 0, %r0, 15         # encoding: [0xb3,0x90,0x0f,0x00]
 168 #CHECK: celfbr  %f0, 0, %r15, 0         # encoding: [0xb3,0x90,0x00,0x0f]
 169 #CHECK: celfbr  %f0, 15, %r0, 0         # encoding: [0xb3,0x90,0xf0,0x00]
 170 #CHECK: celfbr  %f4, 5, %r6, 7          # encoding: [0xb3,0x90,0x57,0x46]
 171 #CHECK: celfbr  %f15, 0, %r0, 0         # encoding: [0xb3,0x90,0x00,0xf0]
 172
 173         celfbr  %f0, 0, %r0, 0
 174         celfbr  %f0, 0, %r0, 15
 175         celfbr  %f0, 0, %r15, 0
 176         celfbr  %f0, 15, %r0, 0
 177         celfbr  %f4, 5, %r6, 7
 178         celfbr  %f15, 0, %r0, 0
 179
 180 #CHECK: celgbr  %f0, 0, %r0, 0          # encoding: [0xb3,0xa0,0x00,0x00]
 181 #CHECK: celgbr  %f0, 0, %r0, 15         # encoding: [0xb3,0xa0,0x0f,0x00]
 182 #CHECK: celgbr  %f0, 0, %r15, 0         # encoding: [0xb3,0xa0,0x00,0x0f]
 183 #CHECK: celgbr  %f0, 15, %r0, 0         # encoding: [0xb3,0xa0,0xf0,0x00]
 184 #CHECK: celgbr  %f4, 5, %r6, 7          # encoding: [0xb3,0xa0,0x57,0x46]
 185 #CHECK: celgbr  %f15, 0, %r0, 0         # encoding: [0xb3,0xa0,0x00,0xf0]
 186
 187         celgbr  %f0, 0, %r0, 0
 188         celgbr  %f0, 0, %r0, 15
 189         celgbr  %f0, 0, %r15, 0
 190         celgbr  %f0, 15, %r0, 0
 191         celgbr  %f4, 5, %r6, 7
 192         celgbr  %f15, 0, %r0, 0
 193
 194 #CHECK: chf     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcd]
 195 #CHECK: chf     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcd]
 196 #CHECK: chf     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcd]
 197 #CHECK: chf     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcd]
 198 #CHECK: chf     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcd]
 199 #CHECK: chf     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcd]
 200 #CHECK: chf     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcd]
 201 #CHECK: chf     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcd]
 202 #CHECK: chf     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcd]
 203 #CHECK: chf     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcd]
 204
 205         chf     %r0, -524288
 206         chf     %r0, -1
 207         chf     %r0, 0
 208         chf     %r0, 1
 209         chf     %r0, 524287
 210         chf     %r0, 0(%r1)
 211         chf     %r0, 0(%r15)
 212         chf     %r0, 524287(%r1,%r15)
 213         chf     %r0, 524287(%r15,%r1)
 214         chf     %r15, 0
 215
 216 #CHECK: cih     %r0, -2147483648        # encoding: [0xcc,0x0d,0x80,0x00,0x00,0x00]
 217 #CHECK: cih     %r0, -1                 # encoding: [0xcc,0x0d,0xff,0xff,0xff,0xff]
 218 #CHECK: cih     %r0, 0                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x00]
 219 #CHECK: cih     %r0, 1                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x01]
 220 #CHECK: cih     %r0, 2147483647         # encoding: [0xcc,0x0d,0x7f,0xff,0xff,0xff]
 221 #CHECK: cih     %r15, 0                 # encoding: [0xcc,0xfd,0x00,0x00,0x00,0x00]
 222
 223         cih     %r0, -1 << 31
 224         cih     %r0, -1
 225         cih     %r0, 0
 226         cih     %r0, 1
 227         cih     %r0, (1 << 31) - 1
 228         cih     %r15, 0
 229
 230 #CHECK: clfdbr  %r0, 0, %f0, 0          # encoding: [0xb3,0x9d,0x00,0x00]
 231 #CHECK: clfdbr  %r0, 0, %f0, 15         # encoding: [0xb3,0x9d,0x0f,0x00]
 232 #CHECK: clfdbr  %r0, 0, %f15, 0         # encoding: [0xb3,0x9d,0x00,0x0f]
 233 #CHECK: clfdbr  %r0, 15, %f0, 0         # encoding: [0xb3,0x9d,0xf0,0x00]
 234 #CHECK: clfdbr  %r4, 5, %f6, 7          # encoding: [0xb3,0x9d,0x57,0x46]
 235 #CHECK: clfdbr  %r15, 0, %f0, 0         # encoding: [0xb3,0x9d,0x00,0xf0]
 236
 237         clfdbr  %r0, 0, %f0, 0
 238         clfdbr  %r0, 0, %f0, 15
 239         clfdbr  %r0, 0, %f15, 0
 240         clfdbr  %r0, 15, %f0, 0
 241         clfdbr  %r4, 5, %f6, 7
 242         clfdbr  %r15, 0, %f0, 0
 243
 244 #CHECK: clfebr  %r0, 0, %f0, 0          # encoding: [0xb3,0x9c,0x00,0x00]
 245 #CHECK: clfebr  %r0, 0, %f0, 15         # encoding: [0xb3,0x9c,0x0f,0x00]
 246 #CHECK: clfebr  %r0, 0, %f15, 0         # encoding: [0xb3,0x9c,0x00,0x0f]
 247 #CHECK: clfebr  %r0, 15, %f0, 0         # encoding: [0xb3,0x9c,0xf0,0x00]
 248 #CHECK: clfebr  %r4, 5, %f6, 7          # encoding: [0xb3,0x9c,0x57,0x46]
 249 #CHECK: clfebr  %r15, 0, %f0, 0         # encoding: [0xb3,0x9c,0x00,0xf0]
 250
 251         clfebr  %r0, 0, %f0, 0
 252         clfebr  %r0, 0, %f0, 15
 253         clfebr  %r0, 0, %f15, 0
 254         clfebr  %r0, 15, %f0, 0
 255         clfebr  %r4, 5, %f6, 7
 256         clfebr  %r15, 0, %f0, 0
 257
 258 #CHECK: clfxbr  %r0, 0, %f0, 0          # encoding: [0xb3,0x9e,0x00,0x00]
 259 #CHECK: clfxbr  %r0, 0, %f0, 15         # encoding: [0xb3,0x9e,0x0f,0x00]
 260 #CHECK: clfxbr  %r0, 0, %f13, 0         # encoding: [0xb3,0x9e,0x00,0x0d]
 261 #CHECK: clfxbr  %r0, 15, %f0, 0         # encoding: [0xb3,0x9e,0xf0,0x00]
 262 #CHECK: clfxbr  %r7, 5, %f8, 9          # encoding: [0xb3,0x9e,0x59,0x78]
 263 #CHECK: clfxbr  %r15, 0, %f0, 0         # encoding: [0xb3,0x9e,0x00,0xf0]
 264
 265         clfxbr  %r0, 0, %f0, 0
 266         clfxbr  %r0, 0, %f0, 15
 267         clfxbr  %r0, 0, %f13, 0
 268         clfxbr  %r0, 15, %f0, 0
 269         clfxbr  %r7, 5, %f8, 9
 270         clfxbr  %r15, 0, %f0, 0
 271
 272 #CHECK: clgdbr  %r0, 0, %f0, 0          # encoding: [0xb3,0xad,0x00,0x00]
 273 #CHECK: clgdbr  %r0, 0, %f0, 15         # encoding: [0xb3,0xad,0x0f,0x00]
 274 #CHECK: clgdbr  %r0, 0, %f15, 0         # encoding: [0xb3,0xad,0x00,0x0f]
 275 #CHECK: clgdbr  %r0, 15, %f0, 0         # encoding: [0xb3,0xad,0xf0,0x00]
 276 #CHECK: clgdbr  %r4, 5, %f6, 7          # encoding: [0xb3,0xad,0x57,0x46]
 277 #CHECK: clgdbr  %r15, 0, %f0, 0         # encoding: [0xb3,0xad,0x00,0xf0]
 278
 279         clgdbr  %r0, 0, %f0, 0
 280         clgdbr  %r0, 0, %f0, 15
 281         clgdbr  %r0, 0, %f15, 0
 282         clgdbr  %r0, 15, %f0, 0
 283         clgdbr  %r4, 5, %f6, 7
 284         clgdbr  %r15, 0, %f0, 0
 285
 286 #CHECK: clgebr  %r0, 0, %f0, 0          # encoding: [0xb3,0xac,0x00,0x00]
 287 #CHECK: clgebr  %r0, 0, %f0, 15         # encoding: [0xb3,0xac,0x0f,0x00]
 288 #CHECK: clgebr  %r0, 0, %f15, 0         # encoding: [0xb3,0xac,0x00,0x0f]
 289 #CHECK: clgebr  %r0, 15, %f0, 0         # encoding: [0xb3,0xac,0xf0,0x00]
 290 #CHECK: clgebr  %r4, 5, %f6, 7          # encoding: [0xb3,0xac,0x57,0x46]
 291 #CHECK: clgebr  %r15, 0, %f0, 0         # encoding: [0xb3,0xac,0x00,0xf0]
 292
 293         clgebr  %r0, 0, %f0, 0
 294         clgebr  %r0, 0, %f0, 15
 295         clgebr  %r0, 0, %f15, 0
 296         clgebr  %r0, 15, %f0, 0
 297         clgebr  %r4, 5, %f6, 7
 298         clgebr  %r15, 0, %f0, 0
 299
 300 #CHECK: clgxbr  %r0, 0, %f0, 0          # encoding: [0xb3,0xae,0x00,0x00]
 301 #CHECK: clgxbr  %r0, 0, %f0, 15         # encoding: [0xb3,0xae,0x0f,0x00]
 302 #CHECK: clgxbr  %r0, 0, %f13, 0         # encoding: [0xb3,0xae,0x00,0x0d]
 303 #CHECK: clgxbr  %r0, 15, %f0, 0         # encoding: [0xb3,0xae,0xf0,0x00]
 304 #CHECK: clgxbr  %r7, 5, %f8, 9          # encoding: [0xb3,0xae,0x59,0x78]
 305 #CHECK: clgxbr  %r15, 0, %f0, 0         # encoding: [0xb3,0xae,0x00,0xf0]
 306
 307         clgxbr  %r0, 0, %f0, 0
 308         clgxbr  %r0, 0, %f0, 15
 309         clgxbr  %r0, 0, %f13, 0
 310         clgxbr  %r0, 15, %f0, 0
 311         clgxbr  %r7, 5, %f8, 9
 312         clgxbr  %r15, 0, %f0, 0
 313
 314 #CHECK: clhf    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcf]
 315 #CHECK: clhf    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcf]
 316 #CHECK: clhf    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcf]
 317 #CHECK: clhf    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcf]
 318 #CHECK: clhf    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcf]
 319 #CHECK: clhf    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcf]
 320 #CHECK: clhf    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcf]
 321 #CHECK: clhf    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcf]
 322 #CHECK: clhf    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcf]
 323 #CHECK: clhf    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcf]
 324
 325         clhf    %r0, -524288
 326         clhf    %r0, -1
 327         clhf    %r0, 0
 328         clhf    %r0, 1
 329         clhf    %r0, 524287
 330         clhf    %r0, 0(%r1)
 331         clhf    %r0, 0(%r15)
 332         clhf    %r0, 524287(%r1,%r15)
 333         clhf    %r0, 524287(%r15,%r1)
 334         clhf    %r15, 0
 335
 336 #CHECK: clih    %r0, 0                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x00]
 337 #CHECK: clih    %r0, 1                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x01]
 338 #CHECK: clih    %r0, 4294967295         # encoding: [0xcc,0x0f,0xff,0xff,0xff,0xff]
 339 #CHECK: clih    %r15, 0                 # encoding: [0xcc,0xff,0x00,0x00,0x00,0x00]
 340
 341         clih    %r0, 0
 342         clih    %r0, 1
 343         clih    %r0, (1 << 32) - 1
 344         clih    %r15, 0
 345
 346 #CHECK: cxlfbr  %f0, 0, %r0, 0          # encoding: [0xb3,0x92,0x00,0x00]
 347 #CHECK: cxlfbr  %f0, 0, %r0, 15         # encoding: [0xb3,0x92,0x0f,0x00]
 348 #CHECK: cxlfbr  %f0, 0, %r15, 0         # encoding: [0xb3,0x92,0x00,0x0f]
 349 #CHECK: cxlfbr  %f0, 15, %r0, 0         # encoding: [0xb3,0x92,0xf0,0x00]
 350 #CHECK: cxlfbr  %f4, 5, %r9, 10         # encoding: [0xb3,0x92,0x5a,0x49]
 351 #CHECK: cxlfbr  %f13, 0, %r0, 0         # encoding: [0xb3,0x92,0x00,0xd0]
 352
 353         cxlfbr  %f0, 0, %r0, 0
 354         cxlfbr  %f0, 0, %r0, 15
 355         cxlfbr  %f0, 0, %r15, 0
 356         cxlfbr  %f0, 15, %r0, 0
 357         cxlfbr  %f4, 5, %r9, 10
 358         cxlfbr  %f13, 0, %r0, 0
 359
 360 #CHECK: cxlgbr  %f0, 0, %r0, 0          # encoding: [0xb3,0xa2,0x00,0x00]
 361 #CHECK: cxlgbr  %f0, 0, %r0, 15         # encoding: [0xb3,0xa2,0x0f,0x00]
 362 #CHECK: cxlgbr  %f0, 0, %r15, 0         # encoding: [0xb3,0xa2,0x00,0x0f]
 363 #CHECK: cxlgbr  %f0, 15, %r0, 0         # encoding: [0xb3,0xa2,0xf0,0x00]
 364 #CHECK: cxlgbr  %f4, 5, %r9, 10         # encoding: [0xb3,0xa2,0x5a,0x49]
 365 #CHECK: cxlgbr  %f13, 0, %r0, 0         # encoding: [0xb3,0xa2,0x00,0xd0]
 366
 367         cxlgbr  %f0, 0, %r0, 0
 368         cxlgbr  %f0, 0, %r0, 15
 369         cxlgbr  %f0, 0, %r15, 0
 370         cxlgbr  %f0, 15, %r0, 0
 371         cxlgbr  %f4, 5, %r9, 10
 372         cxlgbr  %f13, 0, %r0, 0
 373
 374 #CHECK: fidbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x5f,0x00,0x00]
 375 #CHECK: fidbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x5f,0x0f,0x00]
 376 #CHECK: fidbra  %f0, 0, %f15, 0         # encoding: [0xb3,0x5f,0x00,0x0f]
 377 #CHECK: fidbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x5f,0xf0,0x00]
 378 #CHECK: fidbra  %f4, 5, %f6, 7          # encoding: [0xb3,0x5f,0x57,0x46]
 379 #CHECK: fidbra  %f15, 0, %f0, 0         # encoding: [0xb3,0x5f,0x00,0xf0]
 380
 381         fidbra  %f0, 0, %f0, 0
 382         fidbra  %f0, 0, %f0, 15
 383         fidbra  %f0, 0, %f15, 0
 384         fidbra  %f0, 15, %f0, 0
 385         fidbra  %f4, 5, %f6, 7
 386         fidbra  %f15, 0, %f0, 0
 387
 388 #CHECK: fiebra  %f0, 0, %f0, 0          # encoding: [0xb3,0x57,0x00,0x00]
 389 #CHECK: fiebra  %f0, 0, %f0, 15         # encoding: [0xb3,0x57,0x0f,0x00]
 390 #CHECK: fiebra  %f0, 0, %f15, 0         # encoding: [0xb3,0x57,0x00,0x0f]
 391 #CHECK: fiebra  %f0, 15, %f0, 0         # encoding: [0xb3,0x57,0xf0,0x00]
 392 #CHECK: fiebra  %f4, 5, %f6, 7          # encoding: [0xb3,0x57,0x57,0x46]
 393 #CHECK: fiebra  %f15, 0, %f0, 0         # encoding: [0xb3,0x57,0x00,0xf0]
 394
 395         fiebra  %f0, 0, %f0, 0
 396         fiebra  %f0, 0, %f0, 15
 397         fiebra  %f0, 0, %f15, 0
 398         fiebra  %f0, 15, %f0, 0
 399         fiebra  %f4, 5, %f6, 7
 400         fiebra  %f15, 0, %f0, 0
 401
 402 #CHECK: fixbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x47,0x00,0x00]
 403 #CHECK: fixbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x47,0x0f,0x00]
 404 #CHECK: fixbra  %f0, 0, %f13, 0         # encoding: [0xb3,0x47,0x00,0x0d]
 405 #CHECK: fixbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x47,0xf0,0x00]
 406 #CHECK: fixbra  %f4, 5, %f8, 9          # encoding: [0xb3,0x47,0x59,0x48]
 407 #CHECK: fixbra  %f13, 0, %f0, 0         # encoding: [0xb3,0x47,0x00,0xd0]
 408
 409         fixbra  %f0, 0, %f0, 0
 410         fixbra  %f0, 0, %f0, 15
 411         fixbra  %f0, 0, %f13, 0
 412         fixbra  %f0, 15, %f0, 0
 413         fixbra  %f4, 5, %f8, 9
 414         fixbra  %f13, 0, %f0, 0
 415
 416 #CHECK: laa     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf8]
 417 #CHECK: laa     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf8]
 418 #CHECK: laa     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf8]
 419 #CHECK: laa     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf8]
 420 #CHECK: laa     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf8]
 421 #CHECK: laa     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf8]
 422 #CHECK: laa     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf8]
 423 #CHECK: laa     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf8]
 424 #CHECK: laa     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf8]
 425 #CHECK: laa     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf8]
 426 #CHECK: laa     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf8]
 427
 428         laa     %r0, %r0, -524288
 429         laa     %r0, %r0, -1
 430         laa     %r0, %r0, 0
 431         laa     %r0, %r0, 1
 432         laa     %r0, %r0, 524287
 433         laa     %r0, %r0, 0(%r1)
 434         laa     %r0, %r0, 0(%r15)
 435         laa     %r0, %r0, 524287(%r1)
 436         laa     %r0, %r0, 524287(%r15)
 437         laa     %r0, %r15, 0
 438         laa     %r15, %r0, 0
 439
 440 #CHECK: laag    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe8]
 441 #CHECK: laag    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe8]
 442 #CHECK: laag    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe8]
 443 #CHECK: laag    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe8]
 444 #CHECK: laag    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe8]
 445 #CHECK: laag    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe8]
 446 #CHECK: laag    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe8]
 447 #CHECK: laag    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe8]
 448 #CHECK: laag    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe8]
 449 #CHECK: laag    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe8]
 450 #CHECK: laag    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe8]
 451
 452         laag    %r0, %r0, -524288
 453         laag    %r0, %r0, -1
 454         laag    %r0, %r0, 0
 455         laag    %r0, %r0, 1
 456         laag    %r0, %r0, 524287
 457         laag    %r0, %r0, 0(%r1)
 458         laag    %r0, %r0, 0(%r15)
 459         laag    %r0, %r0, 524287(%r1)
 460         laag    %r0, %r0, 524287(%r15)
 461         laag    %r0, %r15, 0
 462         laag    %r15, %r0, 0
 463
 464 #CHECK: laal    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xfa]
 465 #CHECK: laal    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xfa]
 466 #CHECK: laal    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xfa]
 467 #CHECK: laal    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xfa]
 468 #CHECK: laal    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xfa]
 469 #CHECK: laal    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xfa]
 470 #CHECK: laal    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xfa]
 471 #CHECK: laal    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xfa]
 472 #CHECK: laal    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xfa]
 473 #CHECK: laal    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xfa]
 474 #CHECK: laal    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xfa]
 475
 476         laal    %r0, %r0, -524288
 477         laal    %r0, %r0, -1
 478         laal    %r0, %r0, 0
 479         laal    %r0, %r0, 1
 480         laal    %r0, %r0, 524287
 481         laal    %r0, %r0, 0(%r1)
 482         laal    %r0, %r0, 0(%r15)
 483         laal    %r0, %r0, 524287(%r1)
 484         laal    %r0, %r0, 524287(%r15)
 485         laal    %r0, %r15, 0
 486         laal    %r15, %r0, 0
 487
 488 #CHECK: laalg   %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xea]
 489 #CHECK: laalg   %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xea]
 490 #CHECK: laalg   %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xea]
 491 #CHECK: laalg   %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xea]
 492 #CHECK: laalg   %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xea]
 493 #CHECK: laalg   %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xea]
 494 #CHECK: laalg   %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xea]
 495 #CHECK: laalg   %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xea]
 496 #CHECK: laalg   %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xea]
 497 #CHECK: laalg   %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xea]
 498 #CHECK: laalg   %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xea]
 499
 500         laalg   %r0, %r0, -524288
 501         laalg   %r0, %r0, -1
 502         laalg   %r0, %r0, 0
 503         laalg   %r0, %r0, 1
 504         laalg   %r0, %r0, 524287
 505         laalg   %r0, %r0, 0(%r1)
 506         laalg   %r0, %r0, 0(%r15)
 507         laalg   %r0, %r0, 524287(%r1)
 508         laalg   %r0, %r0, 524287(%r15)
 509         laalg   %r0, %r15, 0
 510         laalg   %r15, %r0, 0
 511
 512 #CHECK: lan     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf4]
 513 #CHECK: lan     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf4]
 514 #CHECK: lan     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf4]
 515 #CHECK: lan     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf4]
 516 #CHECK: lan     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf4]
 517 #CHECK: lan     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf4]
 518 #CHECK: lan     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf4]
 519 #CHECK: lan     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf4]
 520 #CHECK: lan     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf4]
 521 #CHECK: lan     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf4]
 522 #CHECK: lan     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf4]
 523
 524         lan     %r0, %r0, -524288
 525         lan     %r0, %r0, -1
 526         lan     %r0, %r0, 0
 527         lan     %r0, %r0, 1
 528         lan     %r0, %r0, 524287
 529         lan     %r0, %r0, 0(%r1)
 530         lan     %r0, %r0, 0(%r15)
 531         lan     %r0, %r0, 524287(%r1)
 532         lan     %r0, %r0, 524287(%r15)
 533         lan     %r0, %r15, 0
 534         lan     %r15, %r0, 0
 535
 536 #CHECK: lang    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe4]
 537 #CHECK: lang    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe4]
 538 #CHECK: lang    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe4]
 539 #CHECK: lang    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe4]
 540 #CHECK: lang    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe4]
 541 #CHECK: lang    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe4]
 542 #CHECK: lang    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe4]
 543 #CHECK: lang    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe4]
 544 #CHECK: lang    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe4]
 545 #CHECK: lang    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe4]
 546 #CHECK: lang    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe4]
 547
 548         lang    %r0, %r0, -524288
 549         lang    %r0, %r0, -1
 550         lang    %r0, %r0, 0
 551         lang    %r0, %r0, 1
 552         lang    %r0, %r0, 524287
 553         lang    %r0, %r0, 0(%r1)
 554         lang    %r0, %r0, 0(%r15)
 555         lang    %r0, %r0, 524287(%r1)
 556         lang    %r0, %r0, 524287(%r15)
 557         lang    %r0, %r15, 0
 558         lang    %r15, %r0, 0
 559
 560 #CHECK: lao     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf6]
 561 #CHECK: lao     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf6]
 562 #CHECK: lao     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf6]
 563 #CHECK: lao     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf6]
 564 #CHECK: lao     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf6]
 565 #CHECK: lao     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf6]
 566 #CHECK: lao     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf6]
 567 #CHECK: lao     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf6]
 568 #CHECK: lao     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf6]
 569 #CHECK: lao     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf6]
 570 #CHECK: lao     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf6]
 571
 572         lao     %r0, %r0, -524288
 573         lao     %r0, %r0, -1
 574         lao     %r0, %r0, 0
 575         lao     %r0, %r0, 1
 576         lao     %r0, %r0, 524287
 577         lao     %r0, %r0, 0(%r1)
 578         lao     %r0, %r0, 0(%r15)
 579         lao     %r0, %r0, 524287(%r1)
 580         lao     %r0, %r0, 524287(%r15)
 581         lao     %r0, %r15, 0
 582         lao     %r15, %r0, 0
 583
 584 #CHECK: laog    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe6]
 585 #CHECK: laog    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe6]
 586 #CHECK: laog    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe6]
 587 #CHECK: laog    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe6]
 588 #CHECK: laog    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe6]
 589 #CHECK: laog    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe6]
 590 #CHECK: laog    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe6]
 591 #CHECK: laog    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe6]
 592 #CHECK: laog    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe6]
 593 #CHECK: laog    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe6]
 594 #CHECK: laog    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe6]
 595
 596         laog    %r0, %r0, -524288
 597         laog    %r0, %r0, -1
 598         laog    %r0, %r0, 0
 599         laog    %r0, %r0, 1
 600         laog    %r0, %r0, 524287
 601         laog    %r0, %r0, 0(%r1)
 602         laog    %r0, %r0, 0(%r15)
 603         laog    %r0, %r0, 524287(%r1)
 604         laog    %r0, %r0, 524287(%r15)
 605         laog    %r0, %r15, 0
 606         laog    %r15, %r0, 0
 607
 608 #CHECK: lax     %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf7]
 609 #CHECK: lax     %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf7]
 610 #CHECK: lax     %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf7]
 611 #CHECK: lax     %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf7]
 612 #CHECK: lax     %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf7]
 613 #CHECK: lax     %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf7]
 614 #CHECK: lax     %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf7]
 615 #CHECK: lax     %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf7]
 616 #CHECK: lax     %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf7]
 617 #CHECK: lax     %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf7]
 618 #CHECK: lax     %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf7]
 619
 620         lax     %r0, %r0, -524288
 621         lax     %r0, %r0, -1
 622         lax     %r0, %r0, 0
 623         lax     %r0, %r0, 1
 624         lax     %r0, %r0, 524287
 625         lax     %r0, %r0, 0(%r1)
 626         lax     %r0, %r0, 0(%r15)
 627         lax     %r0, %r0, 524287(%r1)
 628         lax     %r0, %r0, 524287(%r15)
 629         lax     %r0, %r15, 0
 630         lax     %r15, %r0, 0
 631
 632 #CHECK: laxg    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe7]
 633 #CHECK: laxg    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe7]
 634 #CHECK: laxg    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe7]
 635 #CHECK: laxg    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe7]
 636 #CHECK: laxg    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe7]
 637 #CHECK: laxg    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe7]
 638 #CHECK: laxg    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe7]
 639 #CHECK: laxg    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe7]
 640 #CHECK: laxg    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe7]
 641 #CHECK: laxg    %r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe7]
 642 #CHECK: laxg    %r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe7]
 643
 644         laxg    %r0, %r0, -524288
 645         laxg    %r0, %r0, -1
 646         laxg    %r0, %r0, 0
 647         laxg    %r0, %r0, 1
 648         laxg    %r0, %r0, 524287
 649         laxg    %r0, %r0, 0(%r1)
 650         laxg    %r0, %r0, 0(%r15)
 651         laxg    %r0, %r0, 524287(%r1)
 652         laxg    %r0, %r0, 524287(%r15)
 653         laxg    %r0, %r15, 0
 654         laxg    %r15, %r0, 0
 655
 656 #CHECK: lbh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc0]
 657 #CHECK: lbh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc0]
 658 #CHECK: lbh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc0]
 659 #CHECK: lbh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc0]
 660 #CHECK: lbh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc0]
 661 #CHECK: lbh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc0]
 662 #CHECK: lbh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc0]
 663 #CHECK: lbh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc0]
 664 #CHECK: lbh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc0]
 665 #CHECK: lbh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc0]
 666
 667         lbh     %r0, -524288
 668         lbh     %r0, -1
 669         lbh     %r0, 0
 670         lbh     %r0, 1
 671         lbh     %r0, 524287
 672         lbh     %r0, 0(%r1)
 673         lbh     %r0, 0(%r15)
 674         lbh     %r0, 524287(%r1,%r15)
 675         lbh     %r0, 524287(%r15,%r1)
 676         lbh     %r15, 0
 677
 678 #CHECK: lfh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xca]
 679 #CHECK: lfh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xca]
 680 #CHECK: lfh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xca]
 681 #CHECK: lfh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xca]
 682 #CHECK: lfh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xca]
 683 #CHECK: lfh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xca]
 684 #CHECK: lfh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xca]
 685 #CHECK: lfh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xca]
 686 #CHECK: lfh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xca]
 687 #CHECK: lfh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xca]
 688
 689         lfh     %r0, -524288
 690         lfh     %r0, -1
 691         lfh     %r0, 0
 692         lfh     %r0, 1
 693         lfh     %r0, 524287
 694         lfh     %r0, 0(%r1)
 695         lfh     %r0, 0(%r15)
 696         lfh     %r0, 524287(%r1,%r15)
 697         lfh     %r0, 524287(%r15,%r1)
 698         lfh     %r15, 0
 699
 700 #CHECK: lhh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc4]
 701 #CHECK: lhh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc4]
 702 #CHECK: lhh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc4]
 703 #CHECK: lhh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc4]
 704 #CHECK: lhh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc4]
 705 #CHECK: lhh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc4]
 706 #CHECK: lhh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc4]
 707 #CHECK: lhh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc4]
 708 #CHECK: lhh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc4]
 709 #CHECK: lhh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc4]
 710
 711         lhh     %r0, -524288
 712         lhh     %r0, -1
 713         lhh     %r0, 0
 714         lhh     %r0, 1
 715         lhh     %r0, 524287
 716         lhh     %r0, 0(%r1)
 717         lhh     %r0, 0(%r15)
 718         lhh     %r0, 524287(%r1,%r15)
 719         lhh     %r0, 524287(%r15,%r1)
 720         lhh     %r15, 0
 721
 722 #CHECK: llch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc2]
 723 #CHECK: llch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc2]
 724 #CHECK: llch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc2]
 725 #CHECK: llch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc2]
 726 #CHECK: llch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc2]
 727 #CHECK: llch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc2]
 728 #CHECK: llch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc2]
 729 #CHECK: llch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc2]
 730 #CHECK: llch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc2]
 731 #CHECK: llch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc2]
 732
 733         llch    %r0, -524288
 734         llch    %r0, -1
 735         llch    %r0, 0
 736         llch    %r0, 1
 737         llch    %r0, 524287
 738         llch    %r0, 0(%r1)
 739         llch    %r0, 0(%r15)
 740         llch    %r0, 524287(%r1,%r15)
 741         llch    %r0, 524287(%r15,%r1)
 742         llch    %r15, 0
 743
 744 #CHECK: llhh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc6]
 745 #CHECK: llhh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc6]
 746 #CHECK: llhh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc6]
 747 #CHECK: llhh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc6]
 748 #CHECK: llhh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc6]
 749 #CHECK: llhh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc6]
 750 #CHECK: llhh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc6]
 751 #CHECK: llhh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc6]
 752 #CHECK: llhh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc6]
 753 #CHECK: llhh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc6]
 754
 755         llhh    %r0, -524288
 756         llhh    %r0, -1
 757         llhh    %r0, 0
 758         llhh    %r0, 1
 759         llhh    %r0, 524287
 760         llhh    %r0, 0(%r1)
 761         llhh    %r0, 0(%r15)
 762         llhh    %r0, 524287(%r1,%r15)
 763         llhh    %r0, 524287(%r15,%r1)
 764         llhh    %r15, 0
 765
 766 #CHECK: loc     %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf2]
 767 #CHECK: loc     %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf2]
 768 #CHECK: loc     %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf2]
 769 #CHECK: loc     %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf2]
 770 #CHECK: loc     %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf2]
 771 #CHECK: loc     %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf2]
 772 #CHECK: loc     %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf2]
 773 #CHECK: loc     %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf2]
 774
 775         loc     %r0,0,0
 776         loc     %r0,0,15
 777         loc     %r0,-524288,0
 778         loc     %r0,524287,0
 779         loc     %r0,0(%r1),0
 780         loc     %r0,0(%r15),0
 781         loc     %r15,0,0
 782         loc     %r1,4095(%r2),3
 783
 784 #CHECK: loco   %r1, 2(%r3)              # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf2]
 785 #CHECK: loch   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
 786 #CHECK: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
 787 #CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
 788 #CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
 789 #CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
 790 #CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
 791 #CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
 792 #CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
 793 #CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
 794 #CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
 795 #CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
 796 #CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
 797 #CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
 798
 799         loco   %r1,2(%r3)
 800         loch   %r1,2(%r3)
 801         locnle %r1,2(%r3)
 802         locl   %r1,2(%r3)
 803         locnhe %r1,2(%r3)
 804         loclh  %r1,2(%r3)
 805         locne  %r1,2(%r3)
 806         loce   %r1,2(%r3)
 807         locnlh %r1,2(%r3)
 808         loche  %r1,2(%r3)
 809         locnl  %r1,2(%r3)
 810         locle  %r1,2(%r3)
 811         locnh  %r1,2(%r3)
 812         locno  %r1,2(%r3)
 813
 814 #CHECK: locg    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
 815 #CHECK: locg    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
 816 #CHECK: locg    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
 817 #CHECK: locg    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
 818 #CHECK: locg    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
 819 #CHECK: locg    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
 820 #CHECK: locg    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
 821 #CHECK: locg    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
 822
 823         locg    %r0,0,0
 824         locg    %r0,0,15
 825         locg    %r0,-524288,0
 826         locg    %r0,524287,0
 827         locg    %r0,0(%r1),0
 828         locg    %r0,0(%r15),0
 829         locg    %r15,0,0
 830         locg    %r1,4095(%r2),3
 831
 832 #CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
 833 #CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
 834 #CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
 835 #CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
 836 #CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
 837 #CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
 838 #CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
 839 #CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
 840 #CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
 841 #CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
 842 #CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
 843 #CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
 844 #CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
 845 #CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
 846
 847         locgo   %r1,2(%r3)
 848         locgh   %r1,2(%r3)
 849         locgnle %r1,2(%r3)
 850         locgl   %r1,2(%r3)
 851         locgnhe %r1,2(%r3)
 852         locglh  %r1,2(%r3)
 853         locgne  %r1,2(%r3)
 854         locge   %r1,2(%r3)
 855         locgnlh %r1,2(%r3)
 856         locghe  %r1,2(%r3)
 857         locgnl  %r1,2(%r3)
 858         locgle  %r1,2(%r3)
 859         locgnh  %r1,2(%r3)
 860         locgno  %r1,2(%r3)
 861
 862 #CHECK: locgr   %r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
 863 #CHECK: locgr   %r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
 864
 865         locgr   %r1,%r2,0
 866         locgr   %r1,%r2,15
 867
 868 #CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
 869 #CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
 870 #CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
 871 #CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
 872 #CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
 873 #CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
 874 #CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
 875 #CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
 876 #CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
 877 #CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
 878 #CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
 879 #CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
 880 #CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
 881 #CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
 882
 883         locgro   %r1,%r3
 884         locgrh   %r1,%r3
 885         locgrnle %r1,%r3
 886         locgrl   %r1,%r3
 887         locgrnhe %r1,%r3
 888         locgrlh  %r1,%r3
 889         locgrne  %r1,%r3
 890         locgre   %r1,%r3
 891         locgrnlh %r1,%r3
 892         locgrhe  %r1,%r3
 893         locgrnl  %r1,%r3
 894         locgrle  %r1,%r3
 895         locgrnh  %r1,%r3
 896         locgrno  %r1,%r3
 897
 898 #CHECK: locr    %r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
 899 #CHECK: locr    %r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
 900
 901         locr    %r1,%r2,0
 902         locr    %r1,%r2,15
 903
 904 #CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
 905 #CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
 906 #CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
 907 #CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
 908 #CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
 909 #CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
 910 #CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
 911 #CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
 912 #CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
 913 #CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
 914 #CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
 915 #CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
 916 #CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
 917 #CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
 918
 919         locro   %r1,%r3
 920         locrh   %r1,%r3
 921         locrnle %r1,%r3
 922         locrl   %r1,%r3
 923         locrnhe %r1,%r3
 924         locrlh  %r1,%r3
 925         locrne  %r1,%r3
 926         locre   %r1,%r3
 927         locrnlh %r1,%r3
 928         locrhe  %r1,%r3
 929         locrnl  %r1,%r3
 930         locrle  %r1,%r3
 931         locrnh  %r1,%r3
 932         locrno  %r1,%r3
 933
 934 #CHECK: ngrk    %r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
 935 #CHECK: ngrk    %r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
 936 #CHECK: ngrk    %r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
 937 #CHECK: ngrk    %r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
 938 #CHECK: ngrk    %r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
 939
 940         ngrk    %r0,%r0,%r0
 941         ngrk    %r0,%r0,%r15
 942         ngrk    %r0,%r15,%r0
 943         ngrk    %r15,%r0,%r0
 944         ngrk    %r7,%r8,%r9
 945
 946 #CHECK: nrk     %r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
 947 #CHECK: nrk     %r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
 948 #CHECK: nrk     %r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
 949 #CHECK: nrk     %r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
 950 #CHECK: nrk     %r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
 951
 952         nrk     %r0,%r0,%r0
 953         nrk     %r0,%r0,%r15
 954         nrk     %r0,%r15,%r0
 955         nrk     %r15,%r0,%r0
 956         nrk     %r7,%r8,%r9
 957
 958 #CHECK: ogrk    %r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
 959 #CHECK: ogrk    %r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
 960 #CHECK: ogrk    %r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
 961 #CHECK: ogrk    %r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
 962 #CHECK: ogrk    %r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
 963
 964         ogrk    %r0,%r0,%r0
 965         ogrk    %r0,%r0,%r15
 966         ogrk    %r0,%r15,%r0
 967         ogrk    %r15,%r0,%r0
 968         ogrk    %r7,%r8,%r9
 969
 970 #CHECK: ork     %r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
 971 #CHECK: ork     %r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
 972 #CHECK: ork     %r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
 973 #CHECK: ork     %r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
 974 #CHECK: ork     %r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
 975
 976         ork     %r0,%r0,%r0
 977         ork     %r0,%r0,%r15
 978         ork     %r0,%r15,%r0
 979         ork     %r15,%r0,%r0
 980         ork     %r7,%r8,%r9
 981
 982 #CHECK: risbhg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
 983 #CHECK: risbhg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
 984 #CHECK: risbhg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
 985 #CHECK: risbhg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
 986 #CHECK: risbhg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
 987 #CHECK: risbhg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
 988 #CHECK: risbhg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
 989
 990         risbhg  %r0,%r0,0,0,0
 991         risbhg  %r0,%r0,0,0,63
 992         risbhg  %r0,%r0,0,255,0
 993         risbhg  %r0,%r0,255,0,0
 994         risbhg  %r0,%r15,0,0,0
 995         risbhg  %r15,%r0,0,0,0
 996         risbhg  %r4,%r5,6,7,8
 997
 998 #CHECK: risblg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
 999 #CHECK: risblg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
1000 #CHECK: risblg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
1001 #CHECK: risblg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
1002 #CHECK: risblg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
1003 #CHECK: risblg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
1004 #CHECK: risblg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
1005
1006         risblg  %r0,%r0,0,0,0
1007         risblg  %r0,%r0,0,0,63
1008         risblg  %r0,%r0,0,255,0
1009         risblg  %r0,%r0,255,0,0
1010         risblg  %r0,%r15,0,0,0
1011         risblg  %r15,%r0,0,0,0
1012         risblg  %r4,%r5,6,7,8
1013
1014 #CHECK: sgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
1015 #CHECK: sgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
1016 #CHECK: sgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
1017 #CHECK: sgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
1018 #CHECK: sgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
1019
1020         sgrk    %r0,%r0,%r0
1021         sgrk    %r0,%r0,%r15
1022         sgrk    %r0,%r15,%r0
1023         sgrk    %r15,%r0,%r0
1024         sgrk    %r7,%r8,%r9
1025
1026 #CHECK: slgrk   %r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
1027 #CHECK: slgrk   %r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
1028 #CHECK: slgrk   %r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
1029 #CHECK: slgrk   %r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
1030 #CHECK: slgrk   %r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
1031
1032         slgrk   %r0,%r0,%r0
1033         slgrk   %r0,%r0,%r15
1034         slgrk   %r0,%r15,%r0
1035         slgrk   %r15,%r0,%r0
1036         slgrk   %r7,%r8,%r9
1037
1038 #CHECK: slrk    %r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
1039 #CHECK: slrk    %r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
1040 #CHECK: slrk    %r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
1041 #CHECK: slrk    %r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
1042 #CHECK: slrk    %r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
1043
1044         slrk    %r0,%r0,%r0
1045         slrk    %r0,%r0,%r15
1046         slrk    %r0,%r15,%r0
1047         slrk    %r15,%r0,%r0
1048         slrk    %r7,%r8,%r9
1049
1050 #CHECK: sllk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
1051 #CHECK: sllk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
1052 #CHECK: sllk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
1053 #CHECK: sllk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
1054 #CHECK: sllk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
1055 #CHECK: sllk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
1056 #CHECK: sllk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
1057 #CHECK: sllk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
1058 #CHECK: sllk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
1059 #CHECK: sllk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
1060 #CHECK: sllk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
1061 #CHECK: sllk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
1062
1063         sllk    %r0,%r0,0
1064         sllk    %r15,%r1,0
1065         sllk    %r1,%r15,0
1066         sllk    %r15,%r15,0
1067         sllk    %r0,%r0,-524288
1068         sllk    %r0,%r0,-1
1069         sllk    %r0,%r0,1
1070         sllk    %r0,%r0,524287
1071         sllk    %r0,%r0,0(%r1)
1072         sllk    %r0,%r0,0(%r15)
1073         sllk    %r0,%r0,524287(%r1)
1074         sllk    %r0,%r0,524287(%r15)
1075
1076 #CHECK: srak    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
1077 #CHECK: srak    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
1078 #CHECK: srak    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
1079 #CHECK: srak    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
1080 #CHECK: srak    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
1081 #CHECK: srak    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
1082 #CHECK: srak    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
1083 #CHECK: srak    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
1084 #CHECK: srak    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
1085 #CHECK: srak    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
1086 #CHECK: srak    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
1087 #CHECK: srak    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
1088
1089         srak    %r0,%r0,0
1090         srak    %r15,%r1,0
1091         srak    %r1,%r15,0
1092         srak    %r15,%r15,0
1093         srak    %r0,%r0,-524288
1094         srak    %r0,%r0,-1
1095         srak    %r0,%r0,1
1096         srak    %r0,%r0,524287
1097         srak    %r0,%r0,0(%r1)
1098         srak    %r0,%r0,0(%r15)
1099         srak    %r0,%r0,524287(%r1)
1100         srak    %r0,%r0,524287(%r15)
1101
1102 #CHECK: srk     %r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
1103 #CHECK: srk     %r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
1104 #CHECK: srk     %r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
1105 #CHECK: srk     %r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
1106 #CHECK: srk     %r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
1107
1108         srk     %r0,%r0,%r0
1109         srk     %r0,%r0,%r15
1110         srk     %r0,%r15,%r0
1111         srk     %r15,%r0,%r0
1112         srk     %r7,%r8,%r9
1113
1114 #CHECK: srlk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
1115 #CHECK: srlk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
1116 #CHECK: srlk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
1117 #CHECK: srlk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
1118 #CHECK: srlk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
1119 #CHECK: srlk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
1120 #CHECK: srlk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
1121 #CHECK: srlk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
1122 #CHECK: srlk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
1123 #CHECK: srlk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
1124 #CHECK: srlk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
1125 #CHECK: srlk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
1126
1127         srlk    %r0,%r0,0
1128         srlk    %r15,%r1,0
1129         srlk    %r1,%r15,0
1130         srlk    %r15,%r15,0
1131         srlk    %r0,%r0,-524288
1132         srlk    %r0,%r0,-1
1133         srlk    %r0,%r0,1
1134         srlk    %r0,%r0,524287
1135         srlk    %r0,%r0,0(%r1)
1136         srlk    %r0,%r0,0(%r15)
1137         srlk    %r0,%r0,524287(%r1)
1138         srlk    %r0,%r0,524287(%r15)
1139
1140 #CHECK: stch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc3]
1141 #CHECK: stch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc3]
1142 #CHECK: stch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc3]
1143 #CHECK: stch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc3]
1144 #CHECK: stch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc3]
1145 #CHECK: stch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc3]
1146 #CHECK: stch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc3]
1147 #CHECK: stch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc3]
1148 #CHECK: stch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc3]
1149 #CHECK: stch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc3]
1150
1151         stch    %r0, -524288
1152         stch    %r0, -1
1153         stch    %r0, 0
1154         stch    %r0, 1
1155         stch    %r0, 524287
1156         stch    %r0, 0(%r1)
1157         stch    %r0, 0(%r15)
1158         stch    %r0, 524287(%r1,%r15)
1159         stch    %r0, 524287(%r15,%r1)
1160         stch    %r15, 0
1161
1162 #CHECK: sthh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc7]
1163 #CHECK: sthh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc7]
1164 #CHECK: sthh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc7]
1165 #CHECK: sthh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc7]
1166 #CHECK: sthh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc7]
1167 #CHECK: sthh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc7]
1168 #CHECK: sthh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc7]
1169 #CHECK: sthh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc7]
1170 #CHECK: sthh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc7]
1171 #CHECK: sthh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc7]
1172
1173         sthh    %r0, -524288
1174         sthh    %r0, -1
1175         sthh    %r0, 0
1176         sthh    %r0, 1
1177         sthh    %r0, 524287
1178         sthh    %r0, 0(%r1)
1179         sthh    %r0, 0(%r15)
1180         sthh    %r0, 524287(%r1,%r15)
1181         sthh    %r0, 524287(%r15,%r1)
1182         sthh    %r15, 0
1183
1184 #CHECK: stfh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcb]
1185 #CHECK: stfh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcb]
1186 #CHECK: stfh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcb]
1187 #CHECK: stfh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcb]
1188 #CHECK: stfh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcb]
1189 #CHECK: stfh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcb]
1190 #CHECK: stfh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcb]
1191 #CHECK: stfh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcb]
1192 #CHECK: stfh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcb]
1193 #CHECK: stfh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcb]
1194
1195         stfh    %r0, -524288
1196         stfh    %r0, -1
1197         stfh    %r0, 0
1198         stfh    %r0, 1
1199         stfh    %r0, 524287
1200         stfh    %r0, 0(%r1)
1201         stfh    %r0, 0(%r15)
1202         stfh    %r0, 524287(%r1,%r15)
1203         stfh    %r0, 524287(%r15,%r1)
1204         stfh    %r15, 0
1205
1206 #CHECK: stoc    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
1207 #CHECK: stoc    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
1208 #CHECK: stoc    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
1209 #CHECK: stoc    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
1210 #CHECK: stoc    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
1211 #CHECK: stoc    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
1212 #CHECK: stoc    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
1213 #CHECK: stoc    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
1214
1215         stoc    %r0,0,0
1216         stoc    %r0,0,15
1217         stoc    %r0,-524288,0
1218         stoc    %r0,524287,0
1219         stoc    %r0,0(%r1),0
1220         stoc    %r0,0(%r15),0
1221         stoc    %r15,0,0
1222         stoc    %r1,4095(%r2),3
1223
1224 #CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
1225 #CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
1226 #CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
1227 #CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
1228 #CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
1229 #CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
1230 #CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
1231 #CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
1232 #CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
1233 #CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
1234 #CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
1235 #CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
1236 #CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
1237 #CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
1238
1239         stoco   %r1,2(%r3)
1240         stoch   %r1,2(%r3)
1241         stocnle %r1,2(%r3)
1242         stocl   %r1,2(%r3)
1243         stocnhe %r1,2(%r3)
1244         stoclh  %r1,2(%r3)
1245         stocne  %r1,2(%r3)
1246         stoce   %r1,2(%r3)
1247         stocnlh %r1,2(%r3)
1248         stoche  %r1,2(%r3)
1249         stocnl  %r1,2(%r3)
1250         stocle  %r1,2(%r3)
1251         stocnh  %r1,2(%r3)
1252         stocno  %r1,2(%r3)
1253
1254 #CHECK: stocg   %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
1255 #CHECK: stocg   %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
1256 #CHECK: stocg   %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
1257 #CHECK: stocg   %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
1258 #CHECK: stocg   %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
1259 #CHECK: stocg   %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
1260 #CHECK: stocg   %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
1261 #CHECK: stocg   %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
1262
1263         stocg   %r0,0,0
1264         stocg   %r0,0,15
1265         stocg   %r0,-524288,0
1266         stocg   %r0,524287,0
1267         stocg   %r0,0(%r1),0
1268         stocg   %r0,0(%r15),0
1269         stocg   %r15,0,0
1270         stocg   %r1,4095(%r2),3
1271
1272 #CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
1273 #CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
1274 #CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
1275 #CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
1276 #CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
1277 #CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
1278 #CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
1279 #CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
1280 #CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
1281 #CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
1282 #CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
1283 #CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
1284 #CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
1285 #CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
1286
1287         stocgo   %r1,2(%r3)
1288         stocgh   %r1,2(%r3)
1289         stocgnle %r1,2(%r3)
1290         stocgl   %r1,2(%r3)
1291         stocgnhe %r1,2(%r3)
1292         stocglh  %r1,2(%r3)
1293         stocgne  %r1,2(%r3)
1294         stocge   %r1,2(%r3)
1295         stocgnlh %r1,2(%r3)
1296         stocghe  %r1,2(%r3)
1297         stocgnl  %r1,2(%r3)
1298         stocgle  %r1,2(%r3)
1299         stocgnh  %r1,2(%r3)
1300         stocgno  %r1,2(%r3)
1301
1302 #CHECK: xgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
1303 #CHECK: xgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
1304 #CHECK: xgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
1305 #CHECK: xgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
1306 #CHECK: xgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
1307
1308         xgrk    %r0,%r0,%r0
1309         xgrk    %r0,%r0,%r15
1310         xgrk    %r0,%r15,%r0
1311         xgrk    %r15,%r0,%r0
1312         xgrk    %r7,%r8,%r9
1313
1314 #CHECK: xrk     %r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
1315 #CHECK: xrk     %r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
1316 #CHECK: xrk     %r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
1317 #CHECK: xrk     %r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
1318 #CHECK: xrk     %r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
1319
1320         xrk     %r0,%r0,%r0
1321         xrk     %r0,%r0,%r15
1322         xrk     %r0,%r15,%r0
1323         xrk     %r15,%r0,%r0
1324         xrk     %r7,%r8,%r9