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: alghsik %r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xdb]
  53 #CHECK: alghsik %r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xdb]
  54 #CHECK: alghsik %r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xdb]
  55 #CHECK: alghsik %r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xdb]
  56 #CHECK: alghsik %r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xdb]
  57 #CHECK: alghsik %r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xdb]
  58 #CHECK: alghsik %r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xdb]
  59 #CHECK: alghsik %r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xdb]
  60
  61         alghsik %r0, %r0, -32768
  62         alghsik %r0, %r0, -1
  63         alghsik %r0, %r0, 0
  64         alghsik %r0, %r0, 1
  65         alghsik %r0, %r0, 32767
  66         alghsik %r0, %r15, 0
  67         alghsik %r15, %r0, 0
  68         alghsik %r7, %r8, -16
  69
  70 #CHECK: algrk   %r0, %r0, %r0           # encoding: [0xb9,0xea,0x00,0x00]
  71 #CHECK: algrk   %r0, %r0, %r15          # encoding: [0xb9,0xea,0xf0,0x00]
  72 #CHECK: algrk   %r0, %r15, %r0          # encoding: [0xb9,0xea,0x00,0x0f]
  73 #CHECK: algrk   %r15, %r0, %r0          # encoding: [0xb9,0xea,0x00,0xf0]
  74 #CHECK: algrk   %r7, %r8, %r9           # encoding: [0xb9,0xea,0x90,0x78]
  75
  76         algrk   %r0,%r0,%r0
  77         algrk   %r0,%r0,%r15
  78         algrk   %r0,%r15,%r0
  79         algrk   %r15,%r0,%r0
  80         algrk   %r7,%r8,%r9
  81
  82 #CHECK: alhsik  %r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xda]
  83 #CHECK: alhsik  %r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xda]
  84 #CHECK: alhsik  %r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xda]
  85 #CHECK: alhsik  %r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xda]
  86 #CHECK: alhsik  %r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xda]
  87 #CHECK: alhsik  %r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xda]
  88 #CHECK: alhsik  %r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xda]
  89 #CHECK: alhsik  %r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xda]
  90
  91         alhsik  %r0, %r0, -32768
  92         alhsik  %r0, %r0, -1
  93         alhsik  %r0, %r0, 0
  94         alhsik  %r0, %r0, 1
  95         alhsik  %r0, %r0, 32767
  96         alhsik  %r0, %r15, 0
  97         alhsik  %r15, %r0, 0
  98         alhsik  %r7, %r8, -16
  99
 100 #CHECK: alrk    %r0, %r0, %r0           # encoding: [0xb9,0xfa,0x00,0x00]
 101 #CHECK: alrk    %r0, %r0, %r15          # encoding: [0xb9,0xfa,0xf0,0x00]
 102 #CHECK: alrk    %r0, %r15, %r0          # encoding: [0xb9,0xfa,0x00,0x0f]
 103 #CHECK: alrk    %r15, %r0, %r0          # encoding: [0xb9,0xfa,0x00,0xf0]
 104 #CHECK: alrk    %r7, %r8, %r9           # encoding: [0xb9,0xfa,0x90,0x78]
 105
 106         alrk    %r0,%r0,%r0
 107         alrk    %r0,%r0,%r15
 108         alrk    %r0,%r15,%r0
 109         alrk    %r15,%r0,%r0
 110         alrk    %r7,%r8,%r9
 111
 112 #CHECK: ark     %r0, %r0, %r0           # encoding: [0xb9,0xf8,0x00,0x00]
 113 #CHECK: ark     %r0, %r0, %r15          # encoding: [0xb9,0xf8,0xf0,0x00]
 114 #CHECK: ark     %r0, %r15, %r0          # encoding: [0xb9,0xf8,0x00,0x0f]
 115 #CHECK: ark     %r15, %r0, %r0          # encoding: [0xb9,0xf8,0x00,0xf0]
 116 #CHECK: ark     %r7, %r8, %r9           # encoding: [0xb9,0xf8,0x90,0x78]
 117
 118         ark     %r0,%r0,%r0
 119         ark     %r0,%r0,%r15
 120         ark     %r0,%r15,%r0
 121         ark     %r15,%r0,%r0
 122         ark     %r7,%r8,%r9
 123
 124 #CHECK: fidbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x5f,0x00,0x00]
 125 #CHECK: fidbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x5f,0x0f,0x00]
 126 #CHECK: fidbra  %f0, 0, %f15, 0         # encoding: [0xb3,0x5f,0x00,0x0f]
 127 #CHECK: fidbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x5f,0xf0,0x00]
 128 #CHECK: fidbra  %f4, 5, %f6, 7          # encoding: [0xb3,0x5f,0x57,0x46]
 129 #CHECK: fidbra  %f15, 0, %f0, 0         # encoding: [0xb3,0x5f,0x00,0xf0]
 130
 131         fidbra  %f0, 0, %f0, 0
 132         fidbra  %f0, 0, %f0, 15
 133         fidbra  %f0, 0, %f15, 0
 134         fidbra  %f0, 15, %f0, 0
 135         fidbra  %f4, 5, %f6, 7
 136         fidbra  %f15, 0, %f0, 0
 137
 138 #CHECK: fiebra  %f0, 0, %f0, 0          # encoding: [0xb3,0x57,0x00,0x00]
 139 #CHECK: fiebra  %f0, 0, %f0, 15         # encoding: [0xb3,0x57,0x0f,0x00]
 140 #CHECK: fiebra  %f0, 0, %f15, 0         # encoding: [0xb3,0x57,0x00,0x0f]
 141 #CHECK: fiebra  %f0, 15, %f0, 0         # encoding: [0xb3,0x57,0xf0,0x00]
 142 #CHECK: fiebra  %f4, 5, %f6, 7          # encoding: [0xb3,0x57,0x57,0x46]
 143 #CHECK: fiebra  %f15, 0, %f0, 0         # encoding: [0xb3,0x57,0x00,0xf0]
 144
 145         fiebra  %f0, 0, %f0, 0
 146         fiebra  %f0, 0, %f0, 15
 147         fiebra  %f0, 0, %f15, 0
 148         fiebra  %f0, 15, %f0, 0
 149         fiebra  %f4, 5, %f6, 7
 150         fiebra  %f15, 0, %f0, 0
 151
 152 #CHECK: fixbra  %f0, 0, %f0, 0          # encoding: [0xb3,0x47,0x00,0x00]
 153 #CHECK: fixbra  %f0, 0, %f0, 15         # encoding: [0xb3,0x47,0x0f,0x00]
 154 #CHECK: fixbra  %f0, 0, %f13, 0         # encoding: [0xb3,0x47,0x00,0x0d]
 155 #CHECK: fixbra  %f0, 15, %f0, 0         # encoding: [0xb3,0x47,0xf0,0x00]
 156 #CHECK: fixbra  %f4, 5, %f8, 9          # encoding: [0xb3,0x47,0x59,0x48]
 157 #CHECK: fixbra  %f13, 0, %f0, 0         # encoding: [0xb3,0x47,0x00,0xd0]
 158
 159         fixbra  %f0, 0, %f0, 0
 160         fixbra  %f0, 0, %f0, 15
 161         fixbra  %f0, 0, %f13, 0
 162         fixbra  %f0, 15, %f0, 0
 163         fixbra  %f4, 5, %f8, 9
 164         fixbra  %f13, 0, %f0, 0
 165
 166 #CHECK: loc     %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf2]
 167 #CHECK: loc     %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf2]
 168 #CHECK: loc     %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf2]
 169 #CHECK: loc     %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf2]
 170 #CHECK: loc     %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf2]
 171 #CHECK: loc     %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf2]
 172 #CHECK: loc     %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf2]
 173 #CHECK: loc     %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf2]
 174
 175         loc     %r0,0,0
 176         loc     %r0,0,15
 177         loc     %r0,-524288,0
 178         loc     %r0,524287,0
 179         loc     %r0,0(%r1),0
 180         loc     %r0,0(%r15),0
 181         loc     %r15,0,0
 182         loc     %r1,4095(%r2),3
 183
 184 #CHECK: loco   %r1, 2(%r3)              # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf2]
 185 #CHECK: loch   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
 186 #CHECK: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
 187 #CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
 188 #CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
 189 #CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
 190 #CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
 191 #CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
 192 #CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
 193 #CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
 194 #CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
 195 #CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
 196 #CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
 197 #CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
 198
 199         loco   %r1,2(%r3)
 200         loch   %r1,2(%r3)
 201         locnle %r1,2(%r3)
 202         locl   %r1,2(%r3)
 203         locnhe %r1,2(%r3)
 204         loclh  %r1,2(%r3)
 205         locne  %r1,2(%r3)
 206         loce   %r1,2(%r3)
 207         locnlh %r1,2(%r3)
 208         loche  %r1,2(%r3)
 209         locnl  %r1,2(%r3)
 210         locle  %r1,2(%r3)
 211         locnh  %r1,2(%r3)
 212         locno  %r1,2(%r3)
 213
 214 #CHECK: locg    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
 215 #CHECK: locg    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
 216 #CHECK: locg    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
 217 #CHECK: locg    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
 218 #CHECK: locg    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
 219 #CHECK: locg    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
 220 #CHECK: locg    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
 221 #CHECK: locg    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
 222
 223         locg    %r0,0,0
 224         locg    %r0,0,15
 225         locg    %r0,-524288,0
 226         locg    %r0,524287,0
 227         locg    %r0,0(%r1),0
 228         locg    %r0,0(%r15),0
 229         locg    %r15,0,0
 230         locg    %r1,4095(%r2),3
 231
 232 #CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
 233 #CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
 234 #CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
 235 #CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
 236 #CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
 237 #CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
 238 #CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
 239 #CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
 240 #CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
 241 #CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
 242 #CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
 243 #CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
 244 #CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
 245 #CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
 246
 247         locgo   %r1,2(%r3)
 248         locgh   %r1,2(%r3)
 249         locgnle %r1,2(%r3)
 250         locgl   %r1,2(%r3)
 251         locgnhe %r1,2(%r3)
 252         locglh  %r1,2(%r3)
 253         locgne  %r1,2(%r3)
 254         locge   %r1,2(%r3)
 255         locgnlh %r1,2(%r3)
 256         locghe  %r1,2(%r3)
 257         locgnl  %r1,2(%r3)
 258         locgle  %r1,2(%r3)
 259         locgnh  %r1,2(%r3)
 260         locgno  %r1,2(%r3)
 261
 262 #CHECK: locgr   %r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
 263 #CHECK: locgr   %r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
 264
 265         locgr   %r1,%r2,0
 266         locgr   %r1,%r2,15
 267
 268 #CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
 269 #CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
 270 #CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
 271 #CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
 272 #CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
 273 #CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
 274 #CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
 275 #CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
 276 #CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
 277 #CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
 278 #CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
 279 #CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
 280 #CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
 281 #CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
 282
 283         locgro   %r1,%r3
 284         locgrh   %r1,%r3
 285         locgrnle %r1,%r3
 286         locgrl   %r1,%r3
 287         locgrnhe %r1,%r3
 288         locgrlh  %r1,%r3
 289         locgrne  %r1,%r3
 290         locgre   %r1,%r3
 291         locgrnlh %r1,%r3
 292         locgrhe  %r1,%r3
 293         locgrnl  %r1,%r3
 294         locgrle  %r1,%r3
 295         locgrnh  %r1,%r3
 296         locgrno  %r1,%r3
 297
 298 #CHECK: locr    %r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
 299 #CHECK: locr    %r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
 300
 301         locr    %r1,%r2,0
 302         locr    %r1,%r2,15
 303
 304 #CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
 305 #CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
 306 #CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
 307 #CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
 308 #CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
 309 #CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
 310 #CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
 311 #CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
 312 #CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
 313 #CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
 314 #CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
 315 #CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
 316 #CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
 317 #CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
 318
 319         locro   %r1,%r3
 320         locrh   %r1,%r3
 321         locrnle %r1,%r3
 322         locrl   %r1,%r3
 323         locrnhe %r1,%r3
 324         locrlh  %r1,%r3
 325         locrne  %r1,%r3
 326         locre   %r1,%r3
 327         locrnlh %r1,%r3
 328         locrhe  %r1,%r3
 329         locrnl  %r1,%r3
 330         locrle  %r1,%r3
 331         locrnh  %r1,%r3
 332         locrno  %r1,%r3
 333
 334 #CHECK: ngrk    %r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
 335 #CHECK: ngrk    %r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
 336 #CHECK: ngrk    %r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
 337 #CHECK: ngrk    %r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
 338 #CHECK: ngrk    %r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
 339
 340         ngrk    %r0,%r0,%r0
 341         ngrk    %r0,%r0,%r15
 342         ngrk    %r0,%r15,%r0
 343         ngrk    %r15,%r0,%r0
 344         ngrk    %r7,%r8,%r9
 345
 346 #CHECK: nrk     %r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
 347 #CHECK: nrk     %r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
 348 #CHECK: nrk     %r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
 349 #CHECK: nrk     %r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
 350 #CHECK: nrk     %r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
 351
 352         nrk     %r0,%r0,%r0
 353         nrk     %r0,%r0,%r15
 354         nrk     %r0,%r15,%r0
 355         nrk     %r15,%r0,%r0
 356         nrk     %r7,%r8,%r9
 357
 358 #CHECK: ogrk    %r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
 359 #CHECK: ogrk    %r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
 360 #CHECK: ogrk    %r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
 361 #CHECK: ogrk    %r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
 362 #CHECK: ogrk    %r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
 363
 364         ogrk    %r0,%r0,%r0
 365         ogrk    %r0,%r0,%r15
 366         ogrk    %r0,%r15,%r0
 367         ogrk    %r15,%r0,%r0
 368         ogrk    %r7,%r8,%r9
 369
 370 #CHECK: ork     %r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
 371 #CHECK: ork     %r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
 372 #CHECK: ork     %r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
 373 #CHECK: ork     %r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
 374 #CHECK: ork     %r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
 375
 376         ork     %r0,%r0,%r0
 377         ork     %r0,%r0,%r15
 378         ork     %r0,%r15,%r0
 379         ork     %r15,%r0,%r0
 380         ork     %r7,%r8,%r9
 381
 382 #CHECK: risbhg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
 383 #CHECK: risbhg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
 384 #CHECK: risbhg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
 385 #CHECK: risbhg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
 386 #CHECK: risbhg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
 387 #CHECK: risbhg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
 388 #CHECK: risbhg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
 389
 390         risbhg  %r0,%r0,0,0,0
 391         risbhg  %r0,%r0,0,0,63
 392         risbhg  %r0,%r0,0,255,0
 393         risbhg  %r0,%r0,255,0,0
 394         risbhg  %r0,%r15,0,0,0
 395         risbhg  %r15,%r0,0,0,0
 396         risbhg  %r4,%r5,6,7,8
 397
 398 #CHECK: risblg  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
 399 #CHECK: risblg  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
 400 #CHECK: risblg  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
 401 #CHECK: risblg  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
 402 #CHECK: risblg  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
 403 #CHECK: risblg  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
 404 #CHECK: risblg  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
 405
 406         risblg  %r0,%r0,0,0,0
 407         risblg  %r0,%r0,0,0,63
 408         risblg  %r0,%r0,0,255,0
 409         risblg  %r0,%r0,255,0,0
 410         risblg  %r0,%r15,0,0,0
 411         risblg  %r15,%r0,0,0,0
 412         risblg  %r4,%r5,6,7,8
 413
 414 #CHECK: sgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
 415 #CHECK: sgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
 416 #CHECK: sgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
 417 #CHECK: sgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
 418 #CHECK: sgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
 419
 420         sgrk    %r0,%r0,%r0
 421         sgrk    %r0,%r0,%r15
 422         sgrk    %r0,%r15,%r0
 423         sgrk    %r15,%r0,%r0
 424         sgrk    %r7,%r8,%r9
 425
 426 #CHECK: slgrk   %r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
 427 #CHECK: slgrk   %r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
 428 #CHECK: slgrk   %r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
 429 #CHECK: slgrk   %r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
 430 #CHECK: slgrk   %r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
 431
 432         slgrk   %r0,%r0,%r0
 433         slgrk   %r0,%r0,%r15
 434         slgrk   %r0,%r15,%r0
 435         slgrk   %r15,%r0,%r0
 436         slgrk   %r7,%r8,%r9
 437
 438 #CHECK: slrk    %r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
 439 #CHECK: slrk    %r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
 440 #CHECK: slrk    %r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
 441 #CHECK: slrk    %r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
 442 #CHECK: slrk    %r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
 443
 444         slrk    %r0,%r0,%r0
 445         slrk    %r0,%r0,%r15
 446         slrk    %r0,%r15,%r0
 447         slrk    %r15,%r0,%r0
 448         slrk    %r7,%r8,%r9
 449
 450 #CHECK: sllk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
 451 #CHECK: sllk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
 452 #CHECK: sllk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
 453 #CHECK: sllk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
 454 #CHECK: sllk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
 455 #CHECK: sllk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
 456 #CHECK: sllk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
 457 #CHECK: sllk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
 458 #CHECK: sllk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
 459 #CHECK: sllk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
 460 #CHECK: sllk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
 461 #CHECK: sllk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
 462
 463         sllk    %r0,%r0,0
 464         sllk    %r15,%r1,0
 465         sllk    %r1,%r15,0
 466         sllk    %r15,%r15,0
 467         sllk    %r0,%r0,-524288
 468         sllk    %r0,%r0,-1
 469         sllk    %r0,%r0,1
 470         sllk    %r0,%r0,524287
 471         sllk    %r0,%r0,0(%r1)
 472         sllk    %r0,%r0,0(%r15)
 473         sllk    %r0,%r0,524287(%r1)
 474         sllk    %r0,%r0,524287(%r15)
 475
 476 #CHECK: srak    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
 477 #CHECK: srak    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
 478 #CHECK: srak    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
 479 #CHECK: srak    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
 480 #CHECK: srak    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
 481 #CHECK: srak    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
 482 #CHECK: srak    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
 483 #CHECK: srak    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
 484 #CHECK: srak    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
 485 #CHECK: srak    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
 486 #CHECK: srak    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
 487 #CHECK: srak    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
 488
 489         srak    %r0,%r0,0
 490         srak    %r15,%r1,0
 491         srak    %r1,%r15,0
 492         srak    %r15,%r15,0
 493         srak    %r0,%r0,-524288
 494         srak    %r0,%r0,-1
 495         srak    %r0,%r0,1
 496         srak    %r0,%r0,524287
 497         srak    %r0,%r0,0(%r1)
 498         srak    %r0,%r0,0(%r15)
 499         srak    %r0,%r0,524287(%r1)
 500         srak    %r0,%r0,524287(%r15)
 501
 502 #CHECK: srk     %r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
 503 #CHECK: srk     %r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
 504 #CHECK: srk     %r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
 505 #CHECK: srk     %r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
 506 #CHECK: srk     %r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
 507
 508         srk     %r0,%r0,%r0
 509         srk     %r0,%r0,%r15
 510         srk     %r0,%r15,%r0
 511         srk     %r15,%r0,%r0
 512         srk     %r7,%r8,%r9
 513
 514 #CHECK: srlk    %r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
 515 #CHECK: srlk    %r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
 516 #CHECK: srlk    %r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
 517 #CHECK: srlk    %r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
 518 #CHECK: srlk    %r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
 519 #CHECK: srlk    %r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
 520 #CHECK: srlk    %r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
 521 #CHECK: srlk    %r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
 522 #CHECK: srlk    %r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
 523 #CHECK: srlk    %r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
 524 #CHECK: srlk    %r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
 525 #CHECK: srlk    %r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
 526
 527         srlk    %r0,%r0,0
 528         srlk    %r15,%r1,0
 529         srlk    %r1,%r15,0
 530         srlk    %r15,%r15,0
 531         srlk    %r0,%r0,-524288
 532         srlk    %r0,%r0,-1
 533         srlk    %r0,%r0,1
 534         srlk    %r0,%r0,524287
 535         srlk    %r0,%r0,0(%r1)
 536         srlk    %r0,%r0,0(%r15)
 537         srlk    %r0,%r0,524287(%r1)
 538         srlk    %r0,%r0,524287(%r15)
 539
 540 #CHECK: stoc    %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
 541 #CHECK: stoc    %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
 542 #CHECK: stoc    %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
 543 #CHECK: stoc    %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
 544 #CHECK: stoc    %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
 545 #CHECK: stoc    %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
 546 #CHECK: stoc    %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
 547 #CHECK: stoc    %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
 548
 549         stoc    %r0,0,0
 550         stoc    %r0,0,15
 551         stoc    %r0,-524288,0
 552         stoc    %r0,524287,0
 553         stoc    %r0,0(%r1),0
 554         stoc    %r0,0(%r15),0
 555         stoc    %r15,0,0
 556         stoc    %r1,4095(%r2),3
 557
 558 #CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
 559 #CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
 560 #CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
 561 #CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
 562 #CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
 563 #CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
 564 #CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
 565 #CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
 566 #CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
 567 #CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
 568 #CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
 569 #CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
 570 #CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
 571 #CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
 572
 573         stoco   %r1,2(%r3)
 574         stoch   %r1,2(%r3)
 575         stocnle %r1,2(%r3)
 576         stocl   %r1,2(%r3)
 577         stocnhe %r1,2(%r3)
 578         stoclh  %r1,2(%r3)
 579         stocne  %r1,2(%r3)
 580         stoce   %r1,2(%r3)
 581         stocnlh %r1,2(%r3)
 582         stoche  %r1,2(%r3)
 583         stocnl  %r1,2(%r3)
 584         stocle  %r1,2(%r3)
 585         stocnh  %r1,2(%r3)
 586         stocno  %r1,2(%r3)
 587
 588 #CHECK: stocg   %r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
 589 #CHECK: stocg   %r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
 590 #CHECK: stocg   %r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
 591 #CHECK: stocg   %r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
 592 #CHECK: stocg   %r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
 593 #CHECK: stocg   %r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
 594 #CHECK: stocg   %r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
 595 #CHECK: stocg   %r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
 596
 597         stocg   %r0,0,0
 598         stocg   %r0,0,15
 599         stocg   %r0,-524288,0
 600         stocg   %r0,524287,0
 601         stocg   %r0,0(%r1),0
 602         stocg   %r0,0(%r15),0
 603         stocg   %r15,0,0
 604         stocg   %r1,4095(%r2),3
 605
 606 #CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
 607 #CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
 608 #CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
 609 #CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
 610 #CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
 611 #CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
 612 #CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
 613 #CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
 614 #CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
 615 #CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
 616 #CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
 617 #CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
 618 #CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
 619 #CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
 620
 621         stocgo   %r1,2(%r3)
 622         stocgh   %r1,2(%r3)
 623         stocgnle %r1,2(%r3)
 624         stocgl   %r1,2(%r3)
 625         stocgnhe %r1,2(%r3)
 626         stocglh  %r1,2(%r3)
 627         stocgne  %r1,2(%r3)
 628         stocge   %r1,2(%r3)
 629         stocgnlh %r1,2(%r3)
 630         stocghe  %r1,2(%r3)
 631         stocgnl  %r1,2(%r3)
 632         stocgle  %r1,2(%r3)
 633         stocgnh  %r1,2(%r3)
 634         stocgno  %r1,2(%r3)
 635
 636 #CHECK: xgrk    %r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
 637 #CHECK: xgrk    %r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
 638 #CHECK: xgrk    %r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
 639 #CHECK: xgrk    %r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
 640 #CHECK: xgrk    %r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
 641
 642         xgrk    %r0,%r0,%r0
 643         xgrk    %r0,%r0,%r15
 644         xgrk    %r0,%r15,%r0
 645         xgrk    %r15,%r0,%r0
 646         xgrk    %r7,%r8,%r9
 647
 648 #CHECK: xrk     %r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
 649 #CHECK: xrk     %r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
 650 #CHECK: xrk     %r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
 651 #CHECK: xrk     %r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
 652 #CHECK: xrk     %r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
 653
 654         xrk     %r0,%r0,%r0
 655         xrk     %r0,%r0,%r15
 656         xrk     %r0,%r15,%r0
 657         xrk     %r15,%r0,%r0
 658         xrk     %r7,%r8,%r9