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: ldxbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x45,0x00,0x00]
 679 #CHECK: ldxbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x45,0x0f,0x00]
 680 #CHECK: ldxbra  %f0, 0, %f13, 0         # encoding: [0xb3,0x45,0x00,0x0d]
 681 #CHECK: ldxbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x45,0xf0,0x00]
 682 #CHECK: ldxbra  %f4, 5, %f8, 9          # encoding: [0xb3,0x45,0x59,0x48]
 683 #CHECK: ldxbra  %f13, 0, %f0, 0         # encoding: [0xb3,0x45,0x00,0xd0]
 684
 685         ldxbra  %f0, 0, %f0, 0
 686         ldxbra  %f0, 0, %f0, 15
 687         ldxbra  %f0, 0, %f13, 0
 688         ldxbra  %f0, 15, %f0, 0
 689         ldxbra  %f4, 5, %f8, 9
 690         ldxbra  %f13, 0, %f0, 0
 691
 692 #CHECK: ledbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x44,0x00,0x00]
 693 #CHECK: ledbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x44,0x0f,0x00]
 694 #CHECK: ledbra  %f0, 0, %f15, 0         # encoding: [0xb3,0x44,0x00,0x0f]
 695 #CHECK: ledbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x44,0xf0,0x00]
 696 #CHECK: ledbra  %f4, 5, %f6, 7          # encoding: [0xb3,0x44,0x57,0x46]
 697 #CHECK: ledbra  %f15, 0, %f0, 0         # encoding: [0xb3,0x44,0x00,0xf0]
 698
 699         ledbra  %f0, 0, %f0, 0
 700         ledbra  %f0, 0, %f0, 15
 701         ledbra  %f0, 0, %f15, 0
 702         ledbra  %f0, 15, %f0, 0
 703         ledbra  %f4, 5, %f6, 7
 704         ledbra  %f15, 0, %f0, 0
 705
 706 #CHECK: lexbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x46,0x00,0x00]
 707 #CHECK: lexbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x46,0x0f,0x00]
 708 #CHECK: lexbra  %f0, 0, %f13, 0         # encoding: [0xb3,0x46,0x00,0x0d]
 709 #CHECK: lexbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x46,0xf0,0x00]
 710 #CHECK: lexbra  %f4, 5, %f8, 9          # encoding: [0xb3,0x46,0x59,0x48]
 711 #CHECK: lexbra  %f13, 0, %f0, 0         # encoding: [0xb3,0x46,0x00,0xd0]
 712
 713         lexbra  %f0, 0, %f0, 0
 714         lexbra  %f0, 0, %f0, 15
 715         lexbra  %f0, 0, %f13, 0
 716         lexbra  %f0, 15, %f0, 0
 717         lexbra  %f4, 5, %f8, 9
 718         lexbra  %f13, 0, %f0, 0
 719
 720 #CHECK: lfh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xca]
 721 #CHECK: lfh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xca]
 722 #CHECK: lfh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xca]
 723 #CHECK: lfh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xca]
 724 #CHECK: lfh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xca]
 725 #CHECK: lfh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xca]
 726 #CHECK: lfh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xca]
 727 #CHECK: lfh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xca]
 728 #CHECK: lfh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xca]
 729 #CHECK: lfh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xca]
 730
 731         lfh     %r0, -524288
 732         lfh     %r0, -1
 733         lfh     %r0, 0
 734         lfh     %r0, 1
 735         lfh     %r0, 524287
 736         lfh     %r0, 0(%r1)
 737         lfh     %r0, 0(%r15)
 738         lfh     %r0, 524287(%r1,%r15)
 739         lfh     %r0, 524287(%r15,%r1)
 740         lfh     %r15, 0
 741
 742 #CHECK: lhh     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc4]
 743 #CHECK: lhh     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc4]
 744 #CHECK: lhh     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc4]
 745 #CHECK: lhh     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc4]
 746 #CHECK: lhh     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc4]
 747 #CHECK: lhh     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc4]
 748 #CHECK: lhh     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc4]
 749 #CHECK: lhh     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc4]
 750 #CHECK: lhh     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc4]
 751 #CHECK: lhh     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc4]
 752
 753         lhh     %r0, -524288
 754         lhh     %r0, -1
 755         lhh     %r0, 0
 756         lhh     %r0, 1
 757         lhh     %r0, 524287
 758         lhh     %r0, 0(%r1)
 759         lhh     %r0, 0(%r15)
 760         lhh     %r0, 524287(%r1,%r15)
 761         lhh     %r0, 524287(%r15,%r1)
 762         lhh     %r15, 0
 763
 764 #CHECK: llch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc2]
 765 #CHECK: llch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc2]
 766 #CHECK: llch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc2]
 767 #CHECK: llch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc2]
 768 #CHECK: llch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc2]
 769 #CHECK: llch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc2]
 770 #CHECK: llch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc2]
 771 #CHECK: llch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc2]
 772 #CHECK: llch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc2]
 773 #CHECK: llch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc2]
 774
 775         llch    %r0, -524288
 776         llch    %r0, -1
 777         llch    %r0, 0
 778         llch    %r0, 1
 779         llch    %r0, 524287
 780         llch    %r0, 0(%r1)
 781         llch    %r0, 0(%r15)
 782         llch    %r0, 524287(%r1,%r15)
 783         llch    %r0, 524287(%r15,%r1)
 784         llch    %r15, 0
 785
 786 #CHECK: llhh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc6]
 787 #CHECK: llhh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc6]
 788 #CHECK: llhh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc6]
 789 #CHECK: llhh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc6]
 790 #CHECK: llhh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc6]
 791 #CHECK: llhh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc6]
 792 #CHECK: llhh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc6]
 793 #CHECK: llhh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc6]
 794 #CHECK: llhh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc6]
 795 #CHECK: llhh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc6]
 796
 797         llhh    %r0, -524288
 798         llhh    %r0, -1
 799         llhh    %r0, 0
 800         llhh    %r0, 1
 801         llhh    %r0, 524287
 802         llhh    %r0, 0(%r1)
 803         llhh    %r0, 0(%r15)
 804         llhh    %r0, 524287(%r1,%r15)
 805         llhh    %r0, 524287(%r15,%r1)
 806         llhh    %r15, 0
 807
 808 #CHECK: loc     %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf2]
 809 #CHECK: loc     %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf2]
 810 #CHECK: loc     %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf2]
 811 #CHECK: loc     %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf2]
 812 #CHECK: loc     %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf2]
 813 #CHECK: loc     %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf2]
 814 #CHECK: loc     %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf2]
 815 #CHECK: loc     %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf2]
 816
 817         loc     %r0,0,0
 818         loc     %r0,0,15
 819         loc     %r0,-524288,0
 820         loc     %r0,524287,0
 821         loc     %r0,0(%r1),0
 822         loc     %r0,0(%r15),0
 823         loc     %r15,0,0
 824         loc     %r1,4095(%r2),3
 825
 826 #CHECK: loco   %r1, 2(%r3)              # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf2]
 827 #CHECK: loch   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
 828 #CHECK: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
 829 #CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
 830 #CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
 831 #CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
 832 #CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
 833 #CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
 834 #CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
 835 #CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
 836 #CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
 837 #CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
 838 #CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
 839 #CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
 840
 841         loco   %r1,2(%r3)
 842         loch   %r1,2(%r3)
 843         locnle %r1,2(%r3)
 844         locl   %r1,2(%r3)
 845         locnhe %r1,2(%r3)
 846         loclh  %r1,2(%r3)
 847         locne  %r1,2(%r3)
 848         loce   %r1,2(%r3)
 849         locnlh %r1,2(%r3)
 850         loche  %r1,2(%r3)
 851         locnl  %r1,2(%r3)
 852         locle  %r1,2(%r3)
 853         locnh  %r1,2(%r3)
 854         locno  %r1,2(%r3)
 855
 856 #CHECK: locg    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
 857 #CHECK: locg    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
 858 #CHECK: locg    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
 859 #CHECK: locg    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
 860 #CHECK: locg    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
 861 #CHECK: locg    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
 862 #CHECK: locg    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
 863 #CHECK: locg    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
 864
 865         locg    %r0,0,0
 866         locg    %r0,0,15
 867         locg    %r0,-524288,0
 868         locg    %r0,524287,0
 869         locg    %r0,0(%r1),0
 870         locg    %r0,0(%r15),0
 871         locg    %r15,0,0
 872         locg    %r1,4095(%r2),3
 873
 874 #CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
 875 #CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
 876 #CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
 877 #CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
 878 #CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
 879 #CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
 880 #CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
 881 #CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
 882 #CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
 883 #CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
 884 #CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
 885 #CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
 886 #CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
 887 #CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
 888
 889         locgo   %r1,2(%r3)
 890         locgh   %r1,2(%r3)
 891         locgnle %r1,2(%r3)
 892         locgl   %r1,2(%r3)
 893         locgnhe %r1,2(%r3)
 894         locglh  %r1,2(%r3)
 895         locgne  %r1,2(%r3)
 896         locge   %r1,2(%r3)
 897         locgnlh %r1,2(%r3)
 898         locghe  %r1,2(%r3)
 899         locgnl  %r1,2(%r3)
 900         locgle  %r1,2(%r3)
 901         locgnh  %r1,2(%r3)
 902         locgno  %r1,2(%r3)
 903
 904 #CHECK: locgr   %r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
 905 #CHECK: locgr   %r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
 906
 907         locgr   %r1,%r2,0
 908         locgr   %r1,%r2,15
 909
 910 #CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
 911 #CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
 912 #CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
 913 #CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
 914 #CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
 915 #CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
 916 #CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
 917 #CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
 918 #CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
 919 #CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
 920 #CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
 921 #CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
 922 #CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
 923 #CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
 924
 925         locgro   %r1,%r3
 926         locgrh   %r1,%r3
 927         locgrnle %r1,%r3
 928         locgrl   %r1,%r3
 929         locgrnhe %r1,%r3
 930         locgrlh  %r1,%r3
 931         locgrne  %r1,%r3
 932         locgre   %r1,%r3
 933         locgrnlh %r1,%r3
 934         locgrhe  %r1,%r3
 935         locgrnl  %r1,%r3
 936         locgrle  %r1,%r3
 937         locgrnh  %r1,%r3
 938         locgrno  %r1,%r3
 939
 940 #CHECK: locr    %r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
 941 #CHECK: locr    %r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
 942
 943         locr    %r1,%r2,0
 944         locr    %r1,%r2,15
 945
 946 #CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
 947 #CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
 948 #CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
 949 #CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
 950 #CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
 951 #CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
 952 #CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
 953 #CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
 954 #CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
 955 #CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
 956 #CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
 957 #CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
 958 #CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
 959 #CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
 960
 961         locro   %r1,%r3
 962         locrh   %r1,%r3
 963         locrnle %r1,%r3
 964         locrl   %r1,%r3
 965         locrnhe %r1,%r3
 966         locrlh  %r1,%r3
 967         locrne  %r1,%r3
 968         locre   %r1,%r3
 969         locrnlh %r1,%r3
 970         locrhe  %r1,%r3
 971         locrnl  %r1,%r3
 972         locrle  %r1,%r3
 973         locrnh  %r1,%r3
 974         locrno  %r1,%r3
 975
 976 #CHECK: ngrk    %r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
 977 #CHECK: ngrk    %r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
 978 #CHECK: ngrk    %r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
 979 #CHECK: ngrk    %r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
 980 #CHECK: ngrk    %r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
 981
 982         ngrk    %r0,%r0,%r0
 983         ngrk    %r0,%r0,%r15
 984         ngrk    %r0,%r15,%r0
 985         ngrk    %r15,%r0,%r0
 986         ngrk    %r7,%r8,%r9
 987
 988 #CHECK: nrk     %r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
 989 #CHECK: nrk     %r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
 990 #CHECK: nrk     %r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
 991 #CHECK: nrk     %r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
 992 #CHECK: nrk     %r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
 993
 994         nrk     %r0,%r0,%r0
 995         nrk     %r0,%r0,%r15
 996         nrk     %r0,%r15,%r0
 997         nrk     %r15,%r0,%r0
 998         nrk     %r7,%r8,%r9
 999
1000 #CHECK: ogrk    %r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
1001 #CHECK: ogrk    %r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
1002 #CHECK: ogrk    %r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
1003 #CHECK: ogrk    %r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
1004 #CHECK: ogrk    %r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
1005
1006         ogrk    %r0,%r0,%r0
1007         ogrk    %r0,%r0,%r15
1008         ogrk    %r0,%r15,%r0
1009         ogrk    %r15,%r0,%r0
1010         ogrk    %r7,%r8,%r9
1011
1012 #CHECK: ork     %r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
1013 #CHECK: ork     %r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
1014 #CHECK: ork     %r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
1015 #CHECK: ork     %r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
1016 #CHECK: ork     %r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
1017
1018         ork     %r0,%r0,%r0
1019         ork     %r0,%r0,%r15
1020         ork     %r0,%r15,%r0
1021         ork     %r15,%r0,%r0
1022         ork     %r7,%r8,%r9
1023
1024 #CHECK: risbhg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
1025 #CHECK: risbhg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
1026 #CHECK: risbhg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
1027 #CHECK: risbhg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
1028 #CHECK: risbhg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
1029 #CHECK: risbhg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
1030 #CHECK: risbhg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
1031
1032         risbhg  %r0,%r0,0,0,0
1033         risbhg  %r0,%r0,0,0,63
1034         risbhg  %r0,%r0,0,255,0
1035         risbhg  %r0,%r0,255,0,0
1036         risbhg  %r0,%r15,0,0,0
1037         risbhg  %r15,%r0,0,0,0
1038         risbhg  %r4,%r5,6,7,8
1039
1040 #CHECK: risblg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
1041 #CHECK: risblg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
1042 #CHECK: risblg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
1043 #CHECK: risblg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
1044 #CHECK: risblg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
1045 #CHECK: risblg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
1046 #CHECK: risblg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
1047
1048         risblg  %r0,%r0,0,0,0
1049         risblg  %r0,%r0,0,0,63
1050         risblg  %r0,%r0,0,255,0
1051         risblg  %r0,%r0,255,0,0
1052         risblg  %r0,%r15,0,0,0
1053         risblg  %r15,%r0,0,0,0
1054         risblg  %r4,%r5,6,7,8
1055
1056 #CHECK: sgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
1057 #CHECK: sgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
1058 #CHECK: sgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
1059 #CHECK: sgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
1060 #CHECK: sgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
1061
1062         sgrk    %r0,%r0,%r0
1063         sgrk    %r0,%r0,%r15
1064         sgrk    %r0,%r15,%r0
1065         sgrk    %r15,%r0,%r0
1066         sgrk    %r7,%r8,%r9
1067
1068 #CHECK: slgrk   %r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
1069 #CHECK: slgrk   %r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
1070 #CHECK: slgrk   %r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
1071 #CHECK: slgrk   %r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
1072 #CHECK: slgrk   %r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
1073
1074         slgrk   %r0,%r0,%r0
1075         slgrk   %r0,%r0,%r15
1076         slgrk   %r0,%r15,%r0
1077         slgrk   %r15,%r0,%r0
1078         slgrk   %r7,%r8,%r9
1079
1080 #CHECK: slrk    %r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
1081 #CHECK: slrk    %r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
1082 #CHECK: slrk    %r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
1083 #CHECK: slrk    %r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
1084 #CHECK: slrk    %r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
1085
1086         slrk    %r0,%r0,%r0
1087         slrk    %r0,%r0,%r15
1088         slrk    %r0,%r15,%r0
1089         slrk    %r15,%r0,%r0
1090         slrk    %r7,%r8,%r9
1091
1092 #CHECK: sllk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
1093 #CHECK: sllk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
1094 #CHECK: sllk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
1095 #CHECK: sllk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
1096 #CHECK: sllk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
1097 #CHECK: sllk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
1098 #CHECK: sllk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
1099 #CHECK: sllk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
1100 #CHECK: sllk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
1101 #CHECK: sllk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
1102 #CHECK: sllk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
1103 #CHECK: sllk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
1104
1105         sllk    %r0,%r0,0
1106         sllk    %r15,%r1,0
1107         sllk    %r1,%r15,0
1108         sllk    %r15,%r15,0
1109         sllk    %r0,%r0,-524288
1110         sllk    %r0,%r0,-1
1111         sllk    %r0,%r0,1
1112         sllk    %r0,%r0,524287
1113         sllk    %r0,%r0,0(%r1)
1114         sllk    %r0,%r0,0(%r15)
1115         sllk    %r0,%r0,524287(%r1)
1116         sllk    %r0,%r0,524287(%r15)
1117
1118 #CHECK: srak    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
1119 #CHECK: srak    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
1120 #CHECK: srak    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
1121 #CHECK: srak    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
1122 #CHECK: srak    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
1123 #CHECK: srak    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
1124 #CHECK: srak    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
1125 #CHECK: srak    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
1126 #CHECK: srak    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
1127 #CHECK: srak    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
1128 #CHECK: srak    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
1129 #CHECK: srak    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
1130
1131         srak    %r0,%r0,0
1132         srak    %r15,%r1,0
1133         srak    %r1,%r15,0
1134         srak    %r15,%r15,0
1135         srak    %r0,%r0,-524288
1136         srak    %r0,%r0,-1
1137         srak    %r0,%r0,1
1138         srak    %r0,%r0,524287
1139         srak    %r0,%r0,0(%r1)
1140         srak    %r0,%r0,0(%r15)
1141         srak    %r0,%r0,524287(%r1)
1142         srak    %r0,%r0,524287(%r15)
1143
1144 #CHECK: srk     %r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
1145 #CHECK: srk     %r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
1146 #CHECK: srk     %r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
1147 #CHECK: srk     %r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
1148 #CHECK: srk     %r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
1149
1150         srk     %r0,%r0,%r0
1151         srk     %r0,%r0,%r15
1152         srk     %r0,%r15,%r0
1153         srk     %r15,%r0,%r0
1154         srk     %r7,%r8,%r9
1155
1156 #CHECK: srlk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
1157 #CHECK: srlk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
1158 #CHECK: srlk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
1159 #CHECK: srlk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
1160 #CHECK: srlk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
1161 #CHECK: srlk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
1162 #CHECK: srlk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
1163 #CHECK: srlk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
1164 #CHECK: srlk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
1165 #CHECK: srlk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
1166 #CHECK: srlk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
1167 #CHECK: srlk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
1168
1169         srlk    %r0,%r0,0
1170         srlk    %r15,%r1,0
1171         srlk    %r1,%r15,0
1172         srlk    %r15,%r15,0
1173         srlk    %r0,%r0,-524288
1174         srlk    %r0,%r0,-1
1175         srlk    %r0,%r0,1
1176         srlk    %r0,%r0,524287
1177         srlk    %r0,%r0,0(%r1)
1178         srlk    %r0,%r0,0(%r15)
1179         srlk    %r0,%r0,524287(%r1)
1180         srlk    %r0,%r0,524287(%r15)
1181
1182 #CHECK: stch    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc3]
1183 #CHECK: stch    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc3]
1184 #CHECK: stch    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc3]
1185 #CHECK: stch    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc3]
1186 #CHECK: stch    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc3]
1187 #CHECK: stch    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc3]
1188 #CHECK: stch    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc3]
1189 #CHECK: stch    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc3]
1190 #CHECK: stch    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc3]
1191 #CHECK: stch    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc3]
1192
1193         stch    %r0, -524288
1194         stch    %r0, -1
1195         stch    %r0, 0
1196         stch    %r0, 1
1197         stch    %r0, 524287
1198         stch    %r0, 0(%r1)
1199         stch    %r0, 0(%r15)
1200         stch    %r0, 524287(%r1,%r15)
1201         stch    %r0, 524287(%r15,%r1)
1202         stch    %r15, 0
1203
1204 #CHECK: sthh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc7]
1205 #CHECK: sthh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc7]
1206 #CHECK: sthh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc7]
1207 #CHECK: sthh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc7]
1208 #CHECK: sthh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc7]
1209 #CHECK: sthh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc7]
1210 #CHECK: sthh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc7]
1211 #CHECK: sthh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc7]
1212 #CHECK: sthh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc7]
1213 #CHECK: sthh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc7]
1214
1215         sthh    %r0, -524288
1216         sthh    %r0, -1
1217         sthh    %r0, 0
1218         sthh    %r0, 1
1219         sthh    %r0, 524287
1220         sthh    %r0, 0(%r1)
1221         sthh    %r0, 0(%r15)
1222         sthh    %r0, 524287(%r1,%r15)
1223         sthh    %r0, 524287(%r15,%r1)
1224         sthh    %r15, 0
1225
1226 #CHECK: stfh    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcb]
1227 #CHECK: stfh    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcb]
1228 #CHECK: stfh    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcb]
1229 #CHECK: stfh    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcb]
1230 #CHECK: stfh    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcb]
1231 #CHECK: stfh    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcb]
1232 #CHECK: stfh    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcb]
1233 #CHECK: stfh    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcb]
1234 #CHECK: stfh    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcb]
1235 #CHECK: stfh    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcb]
1236
1237         stfh    %r0, -524288
1238         stfh    %r0, -1
1239         stfh    %r0, 0
1240         stfh    %r0, 1
1241         stfh    %r0, 524287
1242         stfh    %r0, 0(%r1)
1243         stfh    %r0, 0(%r15)
1244         stfh    %r0, 524287(%r1,%r15)
1245         stfh    %r0, 524287(%r15,%r1)
1246         stfh    %r15, 0
1247
1248 #CHECK: stoc    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
1249 #CHECK: stoc    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
1250 #CHECK: stoc    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
1251 #CHECK: stoc    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
1252 #CHECK: stoc    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
1253 #CHECK: stoc    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
1254 #CHECK: stoc    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
1255 #CHECK: stoc    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
1256
1257         stoc    %r0,0,0
1258         stoc    %r0,0,15
1259         stoc    %r0,-524288,0
1260         stoc    %r0,524287,0
1261         stoc    %r0,0(%r1),0
1262         stoc    %r0,0(%r15),0
1263         stoc    %r15,0,0
1264         stoc    %r1,4095(%r2),3
1265
1266 #CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
1267 #CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
1268 #CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
1269 #CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
1270 #CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
1271 #CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
1272 #CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
1273 #CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
1274 #CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
1275 #CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
1276 #CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
1277 #CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
1278 #CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
1279 #CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
1280
1281         stoco   %r1,2(%r3)
1282         stoch   %r1,2(%r3)
1283         stocnle %r1,2(%r3)
1284         stocl   %r1,2(%r3)
1285         stocnhe %r1,2(%r3)
1286         stoclh  %r1,2(%r3)
1287         stocne  %r1,2(%r3)
1288         stoce   %r1,2(%r3)
1289         stocnlh %r1,2(%r3)
1290         stoche  %r1,2(%r3)
1291         stocnl  %r1,2(%r3)
1292         stocle  %r1,2(%r3)
1293         stocnh  %r1,2(%r3)
1294         stocno  %r1,2(%r3)
1295
1296 #CHECK: stocg   %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
1297 #CHECK: stocg   %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
1298 #CHECK: stocg   %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
1299 #CHECK: stocg   %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
1300 #CHECK: stocg   %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
1301 #CHECK: stocg   %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
1302 #CHECK: stocg   %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
1303 #CHECK: stocg   %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
1304
1305         stocg   %r0,0,0
1306         stocg   %r0,0,15
1307         stocg   %r0,-524288,0
1308         stocg   %r0,524287,0
1309         stocg   %r0,0(%r1),0
1310         stocg   %r0,0(%r15),0
1311         stocg   %r15,0,0
1312         stocg   %r1,4095(%r2),3
1313
1314 #CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
1315 #CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
1316 #CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
1317 #CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
1318 #CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
1319 #CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
1320 #CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
1321 #CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
1322 #CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
1323 #CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
1324 #CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
1325 #CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
1326 #CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
1327 #CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
1328
1329         stocgo   %r1,2(%r3)
1330         stocgh   %r1,2(%r3)
1331         stocgnle %r1,2(%r3)
1332         stocgl   %r1,2(%r3)
1333         stocgnhe %r1,2(%r3)
1334         stocglh  %r1,2(%r3)
1335         stocgne  %r1,2(%r3)
1336         stocge   %r1,2(%r3)
1337         stocgnlh %r1,2(%r3)
1338         stocghe  %r1,2(%r3)
1339         stocgnl  %r1,2(%r3)
1340         stocgle  %r1,2(%r3)
1341         stocgnh  %r1,2(%r3)
1342         stocgno  %r1,2(%r3)
1343
1344 #CHECK: xgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
1345 #CHECK: xgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
1346 #CHECK: xgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
1347 #CHECK: xgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
1348 #CHECK: xgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
1349
1350         xgrk    %r0,%r0,%r0
1351         xgrk    %r0,%r0,%r15
1352         xgrk    %r0,%r15,%r0
1353         xgrk    %r15,%r0,%r0
1354         xgrk    %r7,%r8,%r9
1355
1356 #CHECK: xrk     %r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
1357 #CHECK: xrk     %r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
1358 #CHECK: xrk     %r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
1359 #CHECK: xrk     %r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
1360 #CHECK: xrk     %r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
1361
1362         xrk     %r0,%r0,%r0
1363         xrk     %r0,%r0,%r15
1364         xrk     %r0,%r15,%r0
1365         xrk     %r15,%r0,%r0
1366         xrk     %r7,%r8,%r9