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

   1 # For z15 and above.
   2 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z15 -show-encoding %s \
   3 # RUN:   | FileCheck %s
   4 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=arch13 -show-encoding %s \
   5 # RUN:   | FileCheck %s
   6
   7 #CHECK: dfltcc  %r2, %r2, %r2           # encoding: [0xb9,0x39,0x20,0x22]
   8 #CHECK: dfltcc  %r2, %r8, %r15          # encoding: [0xb9,0x39,0xf0,0x28]
   9 #CHECK: dfltcc  %r14, %r8, %r2          # encoding: [0xb9,0x39,0x20,0xe8]
  10 #CHECK: dfltcc  %r6, %r8, %r10          # encoding: [0xb9,0x39,0xa0,0x68]
  11
  12         dfltcc  %r2, %r2, %r2
  13         dfltcc  %r2, %r8, %r15
  14         dfltcc  %r14, %r8, %r2
  15         dfltcc  %r6, %r8, %r10
  16
  17 #CHECK: kdsa    %r0, %r2                # encoding: [0xb9,0x3a,0x00,0x02]
  18 #CHECK: kdsa    %r0, %r14               # encoding: [0xb9,0x3a,0x00,0x0e]
  19 #CHECK: kdsa    %r15, %r2               # encoding: [0xb9,0x3a,0x00,0xf2]
  20 #CHECK: kdsa    %r7, %r10               # encoding: [0xb9,0x3a,0x00,0x7a]
  21
  22         kdsa    %r0, %r2
  23         kdsa    %r0, %r14
  24         kdsa    %r15, %r2
  25         kdsa    %r7, %r10
  26
  27 #CHECK: vllebrzg %v0, 0                 # encoding: [0xe6,0x00,0x00,0x00,0x30,0x04]
  28 #CHECK: vllebrzg %v0, 4095              # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x04]
  29 #CHECK: vllebrzg %v0, 0(%r15)           # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x04]
  30 #CHECK: vllebrzg %v0, 0(%r15,%r1)       # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x04]
  31 #CHECK: vllebrzg %v15, 0                # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x04]
  32 #CHECK: vllebrzg %v31, 0                # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x04]
  33 #CHECK: vllebrzg %v18, 1383(%r3,%r4)    # encoding: [0xe6,0x23,0x45,0x67,0x38,0x04]
  34
  35         ldrv    %f0, 0
  36         ldrv    %f0, 4095
  37         ldrv    %f0, 0(%r15)
  38         ldrv    %f0, 0(%r15,%r1)
  39         ldrv    %f15, 0
  40         ldrv    %v31, 0
  41         ldrv    %v18, 0x567(%r3,%r4)
  42
  43 #CHECK: vllebrze %v0, 0                 # encoding: [0xe6,0x00,0x00,0x00,0x60,0x04]
  44 #CHECK: vllebrze %v0, 4095              # encoding: [0xe6,0x00,0x0f,0xff,0x60,0x04]
  45 #CHECK: vllebrze %v0, 0(%r15)           # encoding: [0xe6,0x00,0xf0,0x00,0x60,0x04]
  46 #CHECK: vllebrze %v0, 0(%r15,%r1)       # encoding: [0xe6,0x0f,0x10,0x00,0x60,0x04]
  47 #CHECK: vllebrze %v15, 0                # encoding: [0xe6,0xf0,0x00,0x00,0x60,0x04]
  48 #CHECK: vllebrze %v31, 0                # encoding: [0xe6,0xf0,0x00,0x00,0x68,0x04]
  49 #CHECK: vllebrze %v18, 1383(%r3,%r4)    # encoding: [0xe6,0x23,0x45,0x67,0x68,0x04]
  50
  51         lerv    %f0, 0
  52         lerv    %f0, 4095
  53         lerv    %f0, 0(%r15)
  54         lerv    %f0, 0(%r15,%r1)
  55         lerv    %f15, 0
  56         lerv    %v31, 0
  57         lerv    %v18, 0x567(%r3,%r4)
  58
  59 #CHECK: mvcrl   0, 0                    # encoding: [0xe5,0x0a,0x00,0x00,0x00,0x00]
  60 #CHECK: mvcrl   0(%r1), 0(%r2)          # encoding: [0xe5,0x0a,0x10,0x00,0x20,0x00]
  61 #CHECK: mvcrl   160(%r1), 320(%r15)     # encoding: [0xe5,0x0a,0x10,0xa0,0xf1,0x40]
  62 #CHECK: mvcrl   0(%r1), 4095            # encoding: [0xe5,0x0a,0x10,0x00,0x0f,0xff]
  63 #CHECK: mvcrl   0(%r1), 4095(%r2)       # encoding: [0xe5,0x0a,0x10,0x00,0x2f,0xff]
  64 #CHECK: mvcrl   0(%r1), 4095(%r15)      # encoding: [0xe5,0x0a,0x10,0x00,0xff,0xff]
  65 #CHECK: mvcrl   0(%r1), 0               # encoding: [0xe5,0x0a,0x10,0x00,0x00,0x00]
  66 #CHECK: mvcrl   0(%r15), 0              # encoding: [0xe5,0x0a,0xf0,0x00,0x00,0x00]
  67 #CHECK: mvcrl   4095(%r1), 0            # encoding: [0xe5,0x0a,0x1f,0xff,0x00,0x00]
  68 #CHECK: mvcrl   4095(%r15), 0           # encoding: [0xe5,0x0a,0xff,0xff,0x00,0x00]
  69
  70         mvcrl   0, 0
  71         mvcrl   0(%r1), 0(%r2)
  72         mvcrl   160(%r1), 320(%r15)
  73         mvcrl   0(%r1), 4095
  74         mvcrl   0(%r1), 4095(%r2)
  75         mvcrl   0(%r1), 4095(%r15)
  76         mvcrl   0(%r1), 0
  77         mvcrl   0(%r15), 0
  78         mvcrl   4095(%r1), 0
  79         mvcrl   4095(%r15), 0
  80
  81 #CHECK: ncgrk   %r0, %r0, %r0           # encoding: [0xb9,0xe5,0x00,0x00]
  82 #CHECK: ncgrk   %r0, %r0, %r15          # encoding: [0xb9,0xe5,0xf0,0x00]
  83 #CHECK: ncgrk   %r0, %r15, %r0          # encoding: [0xb9,0xe5,0x00,0x0f]
  84 #CHECK: ncgrk   %r15, %r0, %r0          # encoding: [0xb9,0xe5,0x00,0xf0]
  85 #CHECK: ncgrk   %r7, %r8, %r9           # encoding: [0xb9,0xe5,0x90,0x78]
  86
  87         ncgrk   %r0,%r0,%r0
  88         ncgrk   %r0,%r0,%r15
  89         ncgrk   %r0,%r15,%r0
  90         ncgrk   %r15,%r0,%r0
  91         ncgrk   %r7,%r8,%r9
  92
  93 #CHECK: ncrk    %r0, %r0, %r0           # encoding: [0xb9,0xf5,0x00,0x00]
  94 #CHECK: ncrk    %r0, %r0, %r15          # encoding: [0xb9,0xf5,0xf0,0x00]
  95 #CHECK: ncrk    %r0, %r15, %r0          # encoding: [0xb9,0xf5,0x00,0x0f]
  96 #CHECK: ncrk    %r15, %r0, %r0          # encoding: [0xb9,0xf5,0x00,0xf0]
  97 #CHECK: ncrk    %r7, %r8, %r9           # encoding: [0xb9,0xf5,0x90,0x78]
  98
  99         ncrk    %r0,%r0,%r0
 100         ncrk    %r0,%r0,%r15
 101         ncrk    %r0,%r15,%r0
 102         ncrk    %r15,%r0,%r0
 103         ncrk    %r7,%r8,%r9
 104
 105 #CHECK: nngrk   %r0, %r0, %r0           # encoding: [0xb9,0x64,0x00,0x00]
 106 #CHECK: nngrk   %r0, %r0, %r15          # encoding: [0xb9,0x64,0xf0,0x00]
 107 #CHECK: nngrk   %r0, %r15, %r0          # encoding: [0xb9,0x64,0x00,0x0f]
 108 #CHECK: nngrk   %r15, %r0, %r0          # encoding: [0xb9,0x64,0x00,0xf0]
 109 #CHECK: nngrk   %r7, %r8, %r9           # encoding: [0xb9,0x64,0x90,0x78]
 110
 111         nngrk   %r0,%r0,%r0
 112         nngrk   %r0,%r0,%r15
 113         nngrk   %r0,%r15,%r0
 114         nngrk   %r15,%r0,%r0
 115         nngrk   %r7,%r8,%r9
 116
 117 #CHECK: nnrk    %r0, %r0, %r0           # encoding: [0xb9,0x74,0x00,0x00]
 118 #CHECK: nnrk    %r0, %r0, %r15          # encoding: [0xb9,0x74,0xf0,0x00]
 119 #CHECK: nnrk    %r0, %r15, %r0          # encoding: [0xb9,0x74,0x00,0x0f]
 120 #CHECK: nnrk    %r15, %r0, %r0          # encoding: [0xb9,0x74,0x00,0xf0]
 121 #CHECK: nnrk    %r7, %r8, %r9           # encoding: [0xb9,0x74,0x90,0x78]
 122
 123         nnrk    %r0,%r0,%r0
 124         nnrk    %r0,%r0,%r15
 125         nnrk    %r0,%r15,%r0
 126         nnrk    %r15,%r0,%r0
 127         nnrk    %r7,%r8,%r9
 128
 129 #CHECK: nogrk   %r0, %r0, %r0           # encoding: [0xb9,0x66,0x00,0x00]
 130 #CHECK: nogrk   %r0, %r0, %r15          # encoding: [0xb9,0x66,0xf0,0x00]
 131 #CHECK: nogrk   %r0, %r15, %r0          # encoding: [0xb9,0x66,0x00,0x0f]
 132 #CHECK: nogrk   %r15, %r0, %r0          # encoding: [0xb9,0x66,0x00,0xf0]
 133 #CHECK: nogrk   %r7, %r8, %r9           # encoding: [0xb9,0x66,0x90,0x78]
 134
 135         nogrk   %r0,%r0,%r0
 136         nogrk   %r0,%r0,%r15
 137         nogrk   %r0,%r15,%r0
 138         nogrk   %r15,%r0,%r0
 139         nogrk   %r7,%r8,%r9
 140
 141 #CHECK: nork    %r0, %r0, %r0           # encoding: [0xb9,0x76,0x00,0x00]
 142 #CHECK: nork    %r0, %r0, %r15          # encoding: [0xb9,0x76,0xf0,0x00]
 143 #CHECK: nork    %r0, %r15, %r0          # encoding: [0xb9,0x76,0x00,0x0f]
 144 #CHECK: nork    %r15, %r0, %r0          # encoding: [0xb9,0x76,0x00,0xf0]
 145 #CHECK: nork    %r7, %r8, %r9           # encoding: [0xb9,0x76,0x90,0x78]
 146
 147         nork    %r0,%r0,%r0
 148         nork    %r0,%r0,%r15
 149         nork    %r0,%r15,%r0
 150         nork    %r15,%r0,%r0
 151         nork    %r7,%r8,%r9
 152
 153 #CHECK: nxgrk   %r0, %r0, %r0           # encoding: [0xb9,0x67,0x00,0x00]
 154 #CHECK: nxgrk   %r0, %r0, %r15          # encoding: [0xb9,0x67,0xf0,0x00]
 155 #CHECK: nxgrk   %r0, %r15, %r0          # encoding: [0xb9,0x67,0x00,0x0f]
 156 #CHECK: nxgrk   %r15, %r0, %r0          # encoding: [0xb9,0x67,0x00,0xf0]
 157 #CHECK: nxgrk   %r7, %r8, %r9           # encoding: [0xb9,0x67,0x90,0x78]
 158
 159         nxgrk   %r0,%r0,%r0
 160         nxgrk   %r0,%r0,%r15
 161         nxgrk   %r0,%r15,%r0
 162         nxgrk   %r15,%r0,%r0
 163         nxgrk   %r7,%r8,%r9
 164
 165 #CHECK: nxrk    %r0, %r0, %r0           # encoding: [0xb9,0x77,0x00,0x00]
 166 #CHECK: nxrk    %r0, %r0, %r15          # encoding: [0xb9,0x77,0xf0,0x00]
 167 #CHECK: nxrk    %r0, %r15, %r0          # encoding: [0xb9,0x77,0x00,0x0f]
 168 #CHECK: nxrk    %r15, %r0, %r0          # encoding: [0xb9,0x77,0x00,0xf0]
 169 #CHECK: nxrk    %r7, %r8, %r9           # encoding: [0xb9,0x77,0x90,0x78]
 170
 171         nxrk    %r0,%r0,%r0
 172         nxrk    %r0,%r0,%r15
 173         nxrk    %r0,%r15,%r0
 174         nxrk    %r15,%r0,%r0
 175         nxrk    %r7,%r8,%r9
 176
 177 #CHECK: ocgrk   %r0, %r0, %r0           # encoding: [0xb9,0x65,0x00,0x00]
 178 #CHECK: ocgrk   %r0, %r0, %r15          # encoding: [0xb9,0x65,0xf0,0x00]
 179 #CHECK: ocgrk   %r0, %r15, %r0          # encoding: [0xb9,0x65,0x00,0x0f]
 180 #CHECK: ocgrk   %r15, %r0, %r0          # encoding: [0xb9,0x65,0x00,0xf0]
 181 #CHECK: ocgrk   %r7, %r8, %r9           # encoding: [0xb9,0x65,0x90,0x78]
 182
 183         ocgrk   %r0,%r0,%r0
 184         ocgrk   %r0,%r0,%r15
 185         ocgrk   %r0,%r15,%r0
 186         ocgrk   %r15,%r0,%r0
 187         ocgrk   %r7,%r8,%r9
 188
 189 #CHECK: ocrk    %r0, %r0, %r0           # encoding: [0xb9,0x75,0x00,0x00]
 190 #CHECK: ocrk    %r0, %r0, %r15          # encoding: [0xb9,0x75,0xf0,0x00]
 191 #CHECK: ocrk    %r0, %r15, %r0          # encoding: [0xb9,0x75,0x00,0x0f]
 192 #CHECK: ocrk    %r15, %r0, %r0          # encoding: [0xb9,0x75,0x00,0xf0]
 193 #CHECK: ocrk    %r7, %r8, %r9           # encoding: [0xb9,0x75,0x90,0x78]
 194
 195         ocrk    %r0,%r0,%r0
 196         ocrk    %r0,%r0,%r15
 197         ocrk    %r0,%r15,%r0
 198         ocrk    %r15,%r0,%r0
 199         ocrk    %r7,%r8,%r9
 200
 201 #CHECK: popcnt  %r0, %r0                # encoding: [0xb9,0xe1,0x00,0x00]
 202 #CHECK: popcnt  %r0, %r15               # encoding: [0xb9,0xe1,0x00,0x0f]
 203 #CHECK: popcnt  %r14, %r0               # encoding: [0xb9,0xe1,0x00,0xe0]
 204 #CHECK: popcnt  %r6, %r8                # encoding: [0xb9,0xe1,0x00,0x68]
 205 #CHECK: popcnt  %r4, %r13, 1            # encoding: [0xb9,0xe1,0x10,0x4d]
 206 #CHECK: popcnt  %r4, %r13, 15           # encoding: [0xb9,0xe1,0xf0,0x4d]
 207
 208         popcnt  %r0, %r0
 209         popcnt  %r0, %r15
 210         popcnt  %r14, %r0
 211         popcnt  %r6, %r8
 212         popcnt  %r4, %r13, 1
 213         popcnt  %r4, %r13, 15
 214
 215 #CHECK: selgr   %r0, %r0, %r0, 0        # encoding: [0xb9,0xe3,0x00,0x00]
 216 #CHECK: selgr   %r0, %r0, %r0, 15       # encoding: [0xb9,0xe3,0x0f,0x00]
 217 #CHECK: selgr   %r0, %r0, %r15, 0       # encoding: [0xb9,0xe3,0xf0,0x00]
 218 #CHECK: selgr   %r0, %r15, %r0, 0       # encoding: [0xb9,0xe3,0x00,0x0f]
 219 #CHECK: selgr   %r15, %r0, %r0, 0       # encoding: [0xb9,0xe3,0x00,0xf0]
 220 #CHECK: selgr   %r7, %r8, %r9, 10       # encoding: [0xb9,0xe3,0x9a,0x78]
 221
 222         selgr   %r0, %r0, %r0, 0
 223         selgr   %r0, %r0, %r0, 15
 224         selgr   %r0, %r0, %r15, 0
 225         selgr   %r0, %r15, %r0, 0
 226         selgr   %r15, %r0, %r0, 0
 227         selgr   %r7, %r8, %r9, 10
 228
 229 #CHECK: selgro   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x31,0x12]
 230 #CHECK: selgrh   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x32,0x12]
 231 #CHECK: selgrp   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x32,0x12]
 232 #CHECK: selgrnle %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x33,0x12]
 233 #CHECK: selgrl   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x34,0x12]
 234 #CHECK: selgrm   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x34,0x12]
 235 #CHECK: selgrnhe %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x35,0x12]
 236 #CHECK: selgrlh  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x36,0x12]
 237 #CHECK: selgrne  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x37,0x12]
 238 #CHECK: selgrnz  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x37,0x12]
 239 #CHECK: selgre   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x38,0x12]
 240 #CHECK: selgrz   %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x38,0x12]
 241 #CHECK: selgrnlh %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x39,0x12]
 242 #CHECK: selgrhe  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3a,0x12]
 243 #CHECK: selgrnl  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3b,0x12]
 244 #CHECK: selgrnm  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3b,0x12]
 245 #CHECK: selgrle  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3c,0x12]
 246 #CHECK: selgrnh  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3d,0x12]
 247 #CHECK: selgrnp  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3d,0x12]
 248 #CHECK: selgrno  %r1, %r2, %r3          # encoding: [0xb9,0xe3,0x3e,0x12]
 249
 250         selgro   %r1, %r2, %r3
 251         selgrh   %r1, %r2, %r3
 252         selgrp   %r1, %r2, %r3
 253         selgrnle %r1, %r2, %r3
 254         selgrl   %r1, %r2, %r3
 255         selgrm   %r1, %r2, %r3
 256         selgrnhe %r1, %r2, %r3
 257         selgrlh  %r1, %r2, %r3
 258         selgrne  %r1, %r2, %r3
 259         selgrnz  %r1, %r2, %r3
 260         selgre   %r1, %r2, %r3
 261         selgrz   %r1, %r2, %r3
 262         selgrnlh %r1, %r2, %r3
 263         selgrhe  %r1, %r2, %r3
 264         selgrnl  %r1, %r2, %r3
 265         selgrnm  %r1, %r2, %r3
 266         selgrle  %r1, %r2, %r3
 267         selgrnh  %r1, %r2, %r3
 268         selgrnp  %r1, %r2, %r3
 269         selgrno  %r1, %r2, %r3
 270
 271 #CHECK: selfhr  %r0, %r0, %r0, 0         # encoding: [0xb9,0xc0,0x00,0x00]
 272 #CHECK: selfhr  %r0, %r0, %r0, 15        # encoding: [0xb9,0xc0,0x0f,0x00]
 273 #CHECK: selfhr  %r0, %r0, %r15, 0        # encoding: [0xb9,0xc0,0xf0,0x00]
 274 #CHECK: selfhr  %r0, %r15, %r0, 0        # encoding: [0xb9,0xc0,0x00,0x0f]
 275 #CHECK: selfhr  %r15, %r0, %r0, 0        # encoding: [0xb9,0xc0,0x00,0xf0]
 276 #CHECK: selfhr  %r7, %r8, %r9, 10        # encoding: [0xb9,0xc0,0x9a,0x78]
 277
 278         selfhr  %r0, %r0, %r0, 0
 279         selfhr  %r0, %r0, %r0, 15
 280         selfhr  %r0, %r0, %r15, 0
 281         selfhr  %r0, %r15, %r0, 0
 282         selfhr  %r15, %r0, %r0, 0
 283         selfhr  %r7, %r8, %r9, 10
 284
 285 #CHECK: selfhro   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x31,0x12]
 286 #CHECK: selfhrh   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x32,0x12]
 287 #CHECK: selfhrp   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x32,0x12]
 288 #CHECK: selfhrnle %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x33,0x12]
 289 #CHECK: selfhrl   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x34,0x12]
 290 #CHECK: selfhrm   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x34,0x12]
 291 #CHECK: selfhrnhe %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x35,0x12]
 292 #CHECK: selfhrlh  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x36,0x12]
 293 #CHECK: selfhrne  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x37,0x12]
 294 #CHECK: selfhrnz  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x37,0x12]
 295 #CHECK: selfhre   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x38,0x12]
 296 #CHECK: selfhrz   %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x38,0x12]
 297 #CHECK: selfhrnlh %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x39,0x12]
 298 #CHECK: selfhrhe  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3a,0x12]
 299 #CHECK: selfhrnl  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3b,0x12]
 300 #CHECK: selfhrnm  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3b,0x12]
 301 #CHECK: selfhrle  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3c,0x12]
 302 #CHECK: selfhrnh  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3d,0x12]
 303 #CHECK: selfhrnp  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3d,0x12]
 304 #CHECK: selfhrno  %r1, %r2, %r3         # encoding: [0xb9,0xc0,0x3e,0x12]
 305
 306         selfhro   %r1, %r2, %r3
 307         selfhrh   %r1, %r2, %r3
 308         selfhrp   %r1, %r2, %r3
 309         selfhrnle %r1, %r2, %r3
 310         selfhrl   %r1, %r2, %r3
 311         selfhrm   %r1, %r2, %r3
 312         selfhrnhe %r1, %r2, %r3
 313         selfhrlh  %r1, %r2, %r3
 314         selfhrne  %r1, %r2, %r3
 315         selfhrnz  %r1, %r2, %r3
 316         selfhre   %r1, %r2, %r3
 317         selfhrz   %r1, %r2, %r3
 318         selfhrnlh %r1, %r2, %r3
 319         selfhrhe  %r1, %r2, %r3
 320         selfhrnl  %r1, %r2, %r3
 321         selfhrnm  %r1, %r2, %r3
 322         selfhrle  %r1, %r2, %r3
 323         selfhrnh  %r1, %r2, %r3
 324         selfhrnp  %r1, %r2, %r3
 325         selfhrno  %r1, %r2, %r3
 326
 327 #CHECK: selr    %r0, %r0, %r0, 0        # encoding: [0xb9,0xf0,0x00,0x00]
 328 #CHECK: selr    %r0, %r0, %r0, 15       # encoding: [0xb9,0xf0,0x0f,0x00]
 329 #CHECK: selr    %r0, %r0, %r15, 0       # encoding: [0xb9,0xf0,0xf0,0x00]
 330 #CHECK: selr    %r0, %r15, %r0, 0       # encoding: [0xb9,0xf0,0x00,0x0f]
 331 #CHECK: selr    %r15, %r0, %r0, 0       # encoding: [0xb9,0xf0,0x00,0xf0]
 332 #CHECK: selr    %r7, %r8, %r9, 10       # encoding: [0xb9,0xf0,0x9a,0x78]
 333
 334         selr    %r0, %r0, %r0, 0
 335         selr    %r0, %r0, %r0, 15
 336         selr    %r0, %r0, %r15, 0
 337         selr    %r0, %r15, %r0, 0
 338         selr    %r15, %r0, %r0, 0
 339         selr    %r7, %r8, %r9, 10
 340
 341 #CHECK: selro   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x31,0x12]
 342 #CHECK: selrh   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x32,0x12]
 343 #CHECK: selrp   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x32,0x12]
 344 #CHECK: selrnle %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x33,0x12]
 345 #CHECK: selrl   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x34,0x12]
 346 #CHECK: selrm   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x34,0x12]
 347 #CHECK: selrnhe %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x35,0x12]
 348 #CHECK: selrlh  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x36,0x12]
 349 #CHECK: selrne  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x37,0x12]
 350 #CHECK: selrnz  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x37,0x12]
 351 #CHECK: selre   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x38,0x12]
 352 #CHECK: selrz   %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x38,0x12]
 353 #CHECK: selrnlh %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x39,0x12]
 354 #CHECK: selrhe  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3a,0x12]
 355 #CHECK: selrnl  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3b,0x12]
 356 #CHECK: selrnm  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3b,0x12]
 357 #CHECK: selrle  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3c,0x12]
 358 #CHECK: selrnh  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3d,0x12]
 359 #CHECK: selrnp  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3d,0x12]
 360 #CHECK: selrno  %r1, %r2, %r3           # encoding: [0xb9,0xf0,0x3e,0x12]
 361
 362         selro   %r1, %r2, %r3
 363         selrh   %r1, %r2, %r3
 364         selrp   %r1, %r2, %r3
 365         selrnle %r1, %r2, %r3
 366         selrl   %r1, %r2, %r3
 367         selrm   %r1, %r2, %r3
 368         selrnhe %r1, %r2, %r3
 369         selrlh  %r1, %r2, %r3
 370         selrne  %r1, %r2, %r3
 371         selrnz  %r1, %r2, %r3
 372         selre   %r1, %r2, %r3
 373         selrz   %r1, %r2, %r3
 374         selrnlh %r1, %r2, %r3
 375         selrhe  %r1, %r2, %r3
 376         selrnl  %r1, %r2, %r3
 377         selrnm  %r1, %r2, %r3
 378         selrle  %r1, %r2, %r3
 379         selrnh  %r1, %r2, %r3
 380         selrnp  %r1, %r2, %r3
 381         selrno  %r1, %r2, %r3
 382
 383 #CHECK: sortl   %r2, %r2                # encoding: [0xb9,0x38,0x00,0x22]
 384 #CHECK: sortl   %r2, %r14               # encoding: [0xb9,0x38,0x00,0x2e]
 385 #CHECK: sortl   %r14, %r2               # encoding: [0xb9,0x38,0x00,0xe2]
 386 #CHECK: sortl   %r6, %r10               # encoding: [0xb9,0x38,0x00,0x6a]
 387
 388         sortl   %r2, %r2
 389         sortl   %r2, %r14
 390         sortl   %r14, %r2
 391         sortl   %r6, %r10
 392
 393 #CHECK: vstebrg %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x0a]
 394 #CHECK: vstebrg %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x0a]
 395 #CHECK: vstebrg %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x0a]
 396 #CHECK: vstebrg %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x0a]
 397 #CHECK: vstebrg %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x0a]
 398 #CHECK: vstebrg %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x0a]
 399 #CHECK: vstebrg %v18, 1383(%r3,%r4), 0  # encoding: [0xe6,0x23,0x45,0x67,0x08,0x0a]
 400
 401         stdrv   %f0, 0
 402         stdrv   %f0, 4095
 403         stdrv   %f0, 0(%r15)
 404         stdrv   %f0, 0(%r15,%r1)
 405         stdrv   %f15, 0
 406         stdrv   %v31, 0
 407         stdrv   %v18, 0x567(%r3,%r4)
 408
 409 #CHECK: vstebrf %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x0b]
 410 #CHECK: vstebrf %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x0b]
 411 #CHECK: vstebrf %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x0b]
 412 #CHECK: vstebrf %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x0b]
 413 #CHECK: vstebrf %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x0b]
 414 #CHECK: vstebrf %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x0b]
 415 #CHECK: vstebrf %v18, 1383(%r3,%r4), 0  # encoding: [0xe6,0x23,0x45,0x67,0x08,0x0b]
 416
 417         sterv   %f0, 0
 418         sterv   %f0, 4095
 419         sterv   %f0, 0(%r15)
 420         sterv   %f0, 0(%r15,%r1)
 421         sterv   %f15, 0
 422         sterv   %v31, 0
 423         sterv   %v18, 0x567(%r3,%r4)
 424
 425 #CHECK: vcefb   %v0, %v0, 0, 0          # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc3]
 426 #CHECK: vcefb   %v0, %v0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc3]
 427 #CHECK: vcefb   %v0, %v0, 4, 0          # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc3]
 428 #CHECK: vcefb   %v0, %v0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc3]
 429 #CHECK: vcefb   %v0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc3]
 430 #CHECK: vcefb   %v31, %v0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc3]
 431 #CHECK: vcefb   %v14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc3]
 432
 433         vcefb   %v0, %v0, 0, 0
 434         vcefb   %v0, %v0, 0, 15
 435         vcefb   %v0, %v0, 4, 0
 436         vcefb   %v0, %v0, 12, 0
 437         vcefb   %v0, %v31, 0, 0
 438         vcefb   %v31, %v0, 0, 0
 439         vcefb   %v14, %v17, 4, 10
 440
 441 #CHECK: vcelfb  %v0, %v0, 0, 0          # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc1]
 442 #CHECK: vcelfb  %v0, %v0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc1]
 443 #CHECK: vcelfb  %v0, %v0, 4, 0          # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc1]
 444 #CHECK: vcelfb  %v0, %v0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc1]
 445 #CHECK: vcelfb  %v0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc1]
 446 #CHECK: vcelfb  %v31, %v0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc1]
 447 #CHECK: vcelfb  %v14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc1]
 448
 449         vcelfb  %v0, %v0, 0, 0
 450         vcelfb  %v0, %v0, 0, 15
 451         vcelfb  %v0, %v0, 4, 0
 452         vcelfb  %v0, %v0, 12, 0
 453         vcelfb  %v0, %v31, 0, 0
 454         vcelfb  %v31, %v0, 0, 0
 455         vcelfb  %v14, %v17, 4, 10
 456
 457 #CHECK: vcfeb   %v0, %v0, 0, 0          # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc2]
 458 #CHECK: vcfeb   %v0, %v0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc2]
 459 #CHECK: vcfeb   %v0, %v0, 4, 0          # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc2]
 460 #CHECK: vcfeb   %v0, %v0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc2]
 461 #CHECK: vcfeb   %v0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc2]
 462 #CHECK: vcfeb   %v31, %v0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc2]
 463 #CHECK: vcfeb   %v14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc2]
 464
 465         vcfeb   %v0, %v0, 0, 0
 466         vcfeb   %v0, %v0, 0, 15
 467         vcfeb   %v0, %v0, 4, 0
 468         vcfeb   %v0, %v0, 12, 0
 469         vcfeb   %v0, %v31, 0, 0
 470         vcfeb   %v31, %v0, 0, 0
 471         vcfeb   %v14, %v17, 4, 10
 472
 473 #CHECK: vcfpl   %v0, %v0, 0, 0, 0       # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc1]
 474 #CHECK: vcfpl   %v0, %v0, 15, 0, 0      # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc1]
 475 #CHECK: vcfpl   %v0, %v0, 0, 0, 15      # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc1]
 476 #CHECK: vcfpl   %v0, %v0, 0, 4, 0       # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc1]
 477 #CHECK: vcfpl   %v0, %v0, 0, 12, 0      # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc1]
 478 #CHECK: vcfpl   %v0, %v31, 0, 0, 0      # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc1]
 479 #CHECK: vcfpl   %v31, %v0, 0, 0, 0      # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc1]
 480 #CHECK: vcfpl   %v14, %v17, 11, 4, 10   # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc1]
 481
 482         vcfpl   %v0, %v0, 0, 0, 0
 483         vcfpl   %v0, %v0, 15, 0, 0
 484         vcfpl   %v0, %v0, 0, 0, 15
 485         vcfpl   %v0, %v0, 0, 4, 0
 486         vcfpl   %v0, %v0, 0, 12, 0
 487         vcfpl   %v0, %v31, 0, 0, 0
 488         vcfpl   %v31, %v0, 0, 0, 0
 489         vcfpl   %v14, %v17, 11, 4, 10
 490
 491 #CHECK: vcfps   %v0, %v0, 0, 0, 0       # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc3]
 492 #CHECK: vcfps   %v0, %v0, 15, 0, 0      # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc3]
 493 #CHECK: vcfps   %v0, %v0, 0, 0, 15      # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc3]
 494 #CHECK: vcfps   %v0, %v0, 0, 4, 0       # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc3]
 495 #CHECK: vcfps   %v0, %v0, 0, 12, 0      # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc3]
 496 #CHECK: vcfps   %v0, %v31, 0, 0, 0      # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc3]
 497 #CHECK: vcfps   %v31, %v0, 0, 0, 0      # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc3]
 498 #CHECK: vcfps   %v14, %v17, 11, 4, 10   # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc3]
 499
 500         vcfps   %v0, %v0, 0, 0, 0
 501         vcfps   %v0, %v0, 15, 0, 0
 502         vcfps   %v0, %v0, 0, 0, 15
 503         vcfps   %v0, %v0, 0, 4, 0
 504         vcfps   %v0, %v0, 0, 12, 0
 505         vcfps   %v0, %v31, 0, 0, 0
 506         vcfps   %v31, %v0, 0, 0, 0
 507         vcfps   %v14, %v17, 11, 4, 10
 508
 509 #CHECK: vclfeb  %v0, %v0, 0, 0          # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc0]
 510 #CHECK: vclfeb  %v0, %v0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc0]
 511 #CHECK: vclfeb  %v0, %v0, 4, 0          # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc0]
 512 #CHECK: vclfeb  %v0, %v0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc0]
 513 #CHECK: vclfeb  %v0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc0]
 514 #CHECK: vclfeb  %v31, %v0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc0]
 515 #CHECK: vclfeb  %v14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc0]
 516
 517         vclfeb  %v0, %v0, 0, 0
 518         vclfeb  %v0, %v0, 0, 15
 519         vclfeb  %v0, %v0, 4, 0
 520         vclfeb  %v0, %v0, 12, 0
 521         vclfeb  %v0, %v31, 0, 0
 522         vclfeb  %v31, %v0, 0, 0
 523         vclfeb  %v14, %v17, 4, 10
 524
 525 #CHECK: vclfp   %v0, %v0, 0, 0, 0       # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc0]
 526 #CHECK: vclfp   %v0, %v0, 15, 0, 0      # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc0]
 527 #CHECK: vclfp   %v0, %v0, 0, 0, 15      # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc0]
 528 #CHECK: vclfp   %v0, %v0, 0, 4, 0       # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc0]
 529 #CHECK: vclfp   %v0, %v0, 0, 12, 0      # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc0]
 530 #CHECK: vclfp   %v0, %v31, 0, 0, 0      # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc0]
 531 #CHECK: vclfp   %v31, %v0, 0, 0, 0      # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc0]
 532 #CHECK: vclfp   %v14, %v17, 11, 4, 10   # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc0]
 533
 534         vclfp   %v0, %v0, 0, 0, 0
 535         vclfp   %v0, %v0, 15, 0, 0
 536         vclfp   %v0, %v0, 0, 0, 15
 537         vclfp   %v0, %v0, 0, 4, 0
 538         vclfp   %v0, %v0, 0, 12, 0
 539         vclfp   %v0, %v31, 0, 0, 0
 540         vclfp   %v31, %v0, 0, 0, 0
 541         vclfp   %v14, %v17, 11, 4, 10
 542
 543 #CHECK: vcsfp   %v0, %v0, 0, 0, 0       # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc2]
 544 #CHECK: vcsfp   %v0, %v0, 15, 0, 0      # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc2]
 545 #CHECK: vcsfp   %v0, %v0, 0, 0, 15      # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc2]
 546 #CHECK: vcsfp   %v0, %v0, 0, 4, 0       # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc2]
 547 #CHECK: vcsfp   %v0, %v0, 0, 12, 0      # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc2]
 548 #CHECK: vcsfp   %v0, %v31, 0, 0, 0      # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc2]
 549 #CHECK: vcsfp   %v31, %v0, 0, 0, 0      # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc2]
 550 #CHECK: vcsfp   %v14, %v17, 11, 4, 10   # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc2]
 551
 552         vcsfp   %v0, %v0, 0, 0, 0
 553         vcsfp   %v0, %v0, 15, 0, 0
 554         vcsfp   %v0, %v0, 0, 0, 15
 555         vcsfp   %v0, %v0, 0, 4, 0
 556         vcsfp   %v0, %v0, 0, 12, 0
 557         vcsfp   %v0, %v31, 0, 0, 0
 558         vcsfp   %v31, %v0, 0, 0, 0
 559         vcsfp   %v14, %v17, 11, 4, 10
 560
 561 #CHECK: vcvb    %r0, %v0, 0, 15        # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x50]
 562 #CHECK: vcvb    %r3, %v18, 4, 6        # encoding: [0xe6,0x32,0x00,0x46,0x04,0x50]
 563
 564         vcvb    %r0, %v0, 0, 15
 565         vcvb    %r3, %v18, 4, 6
 566
 567 #CHECK: vcvbg   %r0, %v0, 0, 15        # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x52]
 568 #CHECK: vcvbg   %r3, %v18, 4, 6        # encoding: [0xe6,0x32,0x00,0x46,0x04,0x52]
 569
 570         vcvbg   %r0, %v0, 0, 15
 571         vcvbg   %r3, %v18, 4, 6
 572
 573 #CHECK: vlbr   %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x06]
 574 #CHECK: vlbr   %v0, 0, 15              # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x06]
 575 #CHECK: vlbr   %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x06]
 576 #CHECK: vlbr   %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x06]
 577 #CHECK: vlbr   %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x06]
 578 #CHECK: vlbr   %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x06]
 579 #CHECK: vlbr   %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x06]
 580 #CHECK: vlbr   %v18, 1383(%r3,%r4), 11 # encoding: [0xe6,0x23,0x45,0x67,0xb8,0x06]
 581
 582         vlbr    %v0, 0, 0
 583         vlbr    %v0, 0, 15
 584         vlbr    %v0, 4095, 0
 585         vlbr    %v0, 0(%r15), 0
 586         vlbr    %v0, 0(%r15,%r1), 0
 587         vlbr    %v15, 0, 0
 588         vlbr    %v31, 0, 0
 589         vlbr    %v18, 0x567(%r3,%r4), 11
 590
 591 #CHECK: vlbrf  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x20,0x06]
 592 #CHECK: vlbrf  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x20,0x06]
 593 #CHECK: vlbrf  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x06]
 594 #CHECK: vlbrf  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x20,0x06]
 595 #CHECK: vlbrf  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x06]
 596 #CHECK: vlbrf  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x06]
 597 #CHECK: vlbrf  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x28,0x06]
 598
 599         vlbrf   %v0, 0
 600         vlbrf   %v0, 4095
 601         vlbrf   %v0, 0(%r15)
 602         vlbrf   %v0, 0(%r15,%r1)
 603         vlbrf   %v15, 0
 604         vlbrf   %v31, 0
 605         vlbrf   %v18, 0x567(%r3,%r4)
 606
 607 #CHECK: vlbrg  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x30,0x06]
 608 #CHECK: vlbrg  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x06]
 609 #CHECK: vlbrg  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x06]
 610 #CHECK: vlbrg  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x06]
 611 #CHECK: vlbrg  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x06]
 612 #CHECK: vlbrg  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x06]
 613 #CHECK: vlbrg  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x38,0x06]
 614
 615         vlbrg   %v0, 0
 616         vlbrg   %v0, 4095
 617         vlbrg   %v0, 0(%r15)
 618         vlbrg   %v0, 0(%r15,%r1)
 619         vlbrg   %v15, 0
 620         vlbrg   %v31, 0
 621         vlbrg   %v18, 0x567(%r3,%r4)
 622
 623 #CHECK: vlbrh  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x10,0x06]
 624 #CHECK: vlbrh  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x10,0x06]
 625 #CHECK: vlbrh  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x10,0x06]
 626 #CHECK: vlbrh  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x10,0x06]
 627 #CHECK: vlbrh  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x10,0x06]
 628 #CHECK: vlbrh  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x18,0x06]
 629 #CHECK: vlbrh  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x18,0x06]
 630
 631         vlbrh   %v0, 0
 632         vlbrh   %v0, 4095
 633         vlbrh   %v0, 0(%r15)
 634         vlbrh   %v0, 0(%r15,%r1)
 635         vlbrh   %v15, 0
 636         vlbrh   %v31, 0
 637         vlbrh   %v18, 0x567(%r3,%r4)
 638
 639 #CHECK: vlbrq  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x40,0x06]
 640 #CHECK: vlbrq  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x40,0x06]
 641 #CHECK: vlbrq  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x40,0x06]
 642 #CHECK: vlbrq  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x40,0x06]
 643 #CHECK: vlbrq  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x40,0x06]
 644 #CHECK: vlbrq  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x48,0x06]
 645 #CHECK: vlbrq  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x48,0x06]
 646
 647         vlbrq   %v0, 0
 648         vlbrq   %v0, 4095
 649         vlbrq   %v0, 0(%r15)
 650         vlbrq   %v0, 0(%r15,%r1)
 651         vlbrq   %v15, 0
 652         vlbrq   %v31, 0
 653         vlbrq   %v18, 0x567(%r3,%r4)
 654
 655 #CHECK: vlbrrep %v0, 0, 0              # encoding: [0xe6,0x00,0x00,0x00,0x00,0x05]
 656 #CHECK: vlbrrep %v0, 0, 15             # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x05]
 657 #CHECK: vlbrrep %v0, 4095, 0           # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x05]
 658 #CHECK: vlbrrep %v0, 0(%r15), 0        # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x05]
 659 #CHECK: vlbrrep %v0, 0(%r15,%r1), 0    # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x05]
 660 #CHECK: vlbrrep %v15, 0, 0             # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x05]
 661 #CHECK: vlbrrep %v31, 0, 0             # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x05]
 662 #CHECK: vlbrrep %v18, 1383(%r3,%r4), 11 # encoding: [0xe6,0x23,0x45,0x67,0xb8,0x05]
 663
 664         vlbrrep  %v0, 0, 0
 665         vlbrrep  %v0, 0, 15
 666         vlbrrep  %v0, 4095, 0
 667         vlbrrep  %v0, 0(%r15), 0
 668         vlbrrep  %v0, 0(%r15,%r1), 0
 669         vlbrrep  %v15, 0, 0
 670         vlbrrep  %v31, 0, 0
 671         vlbrrep  %v18, 0x567(%r3,%r4), 11
 672
 673 #CHECK: vlbrrepf %v0, 0                # encoding: [0xe6,0x00,0x00,0x00,0x20,0x05]
 674 #CHECK: vlbrrepf %v0, 4095             # encoding: [0xe6,0x00,0x0f,0xff,0x20,0x05]
 675 #CHECK: vlbrrepf %v0, 0(%r15)          # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x05]
 676 #CHECK: vlbrrepf %v0, 0(%r15,%r1)      # encoding: [0xe6,0x0f,0x10,0x00,0x20,0x05]
 677 #CHECK: vlbrrepf %v15, 0               # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x05]
 678 #CHECK: vlbrrepf %v31, 0               # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x05]
 679 #CHECK: vlbrrepf %v18, 1383(%r3,%r4)   # encoding: [0xe6,0x23,0x45,0x67,0x28,0x05]
 680
 681         vlbrrepf %v0, 0
 682         vlbrrepf %v0, 4095
 683         vlbrrepf %v0, 0(%r15)
 684         vlbrrepf %v0, 0(%r15,%r1)
 685         vlbrrepf %v15, 0
 686         vlbrrepf %v31, 0
 687         vlbrrepf %v18, 0x567(%r3,%r4)
 688
 689 #CHECK: vlbrrepg %v0, 0                # encoding: [0xe6,0x00,0x00,0x00,0x30,0x05]
 690 #CHECK: vlbrrepg %v0, 4095             # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x05]
 691 #CHECK: vlbrrepg %v0, 0(%r15)          # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x05]
 692 #CHECK: vlbrrepg %v0, 0(%r15,%r1)      # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x05]
 693 #CHECK: vlbrrepg %v15, 0               # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x05]
 694 #CHECK: vlbrrepg %v31, 0               # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x05]
 695 #CHECK: vlbrrepg %v18, 1383(%r3,%r4)   # encoding: [0xe6,0x23,0x45,0x67,0x38,0x05]
 696
 697         vlbrrepg %v0, 0
 698         vlbrrepg %v0, 4095
 699         vlbrrepg %v0, 0(%r15)
 700         vlbrrepg %v0, 0(%r15,%r1)
 701         vlbrrepg %v15, 0
 702         vlbrrepg %v31, 0
 703         vlbrrepg %v18, 0x567(%r3,%r4)
 704
 705 #CHECK: vlbrreph %v0, 0                # encoding: [0xe6,0x00,0x00,0x00,0x10,0x05]
 706 #CHECK: vlbrreph %v0, 4095             # encoding: [0xe6,0x00,0x0f,0xff,0x10,0x05]
 707 #CHECK: vlbrreph %v0, 0(%r15)          # encoding: [0xe6,0x00,0xf0,0x00,0x10,0x05]
 708 #CHECK: vlbrreph %v0, 0(%r15,%r1)      # encoding: [0xe6,0x0f,0x10,0x00,0x10,0x05]
 709 #CHECK: vlbrreph %v15, 0               # encoding: [0xe6,0xf0,0x00,0x00,0x10,0x05]
 710 #CHECK: vlbrreph %v31, 0               # encoding: [0xe6,0xf0,0x00,0x00,0x18,0x05]
 711 #CHECK: vlbrreph %v18, 1383(%r3,%r4)   # encoding: [0xe6,0x23,0x45,0x67,0x18,0x05]
 712
 713         vlbrreph %v0, 0
 714         vlbrreph %v0, 4095
 715         vlbrreph %v0, 0(%r15)
 716         vlbrreph %v0, 0(%r15,%r1)
 717         vlbrreph %v15, 0
 718         vlbrreph %v31, 0
 719         vlbrreph %v18, 0x567(%r3,%r4)
 720
 721 #CHECK: vlebrf  %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x03]
 722 #CHECK: vlebrf  %v0, 0, 3               # encoding: [0xe6,0x00,0x00,0x00,0x30,0x03]
 723 #CHECK: vlebrf  %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x03]
 724 #CHECK: vlebrf  %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x03]
 725 #CHECK: vlebrf  %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x03]
 726 #CHECK: vlebrf  %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x03]
 727 #CHECK: vlebrf  %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x03]
 728 #CHECK: vlebrf  %v18, 1383(%r3,%r4), 2  # encoding: [0xe6,0x23,0x45,0x67,0x28,0x03]
 729
 730         vlebrf  %v0, 0, 0
 731         vlebrf  %v0, 0, 3
 732         vlebrf  %v0, 4095, 0
 733         vlebrf  %v0, 0(%r15), 0
 734         vlebrf  %v0, 0(%r15,%r1), 0
 735         vlebrf  %v15, 0, 0
 736         vlebrf  %v31, 0, 0
 737         vlebrf  %v18, 1383(%r3,%r4), 2
 738
 739 #CHECK: vlebrg  %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x02]
 740 #CHECK: vlebrg  %v0, 0, 1               # encoding: [0xe6,0x00,0x00,0x00,0x10,0x02]
 741 #CHECK: vlebrg  %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x02]
 742 #CHECK: vlebrg  %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x02]
 743 #CHECK: vlebrg  %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x02]
 744 #CHECK: vlebrg  %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x02]
 745 #CHECK: vlebrg  %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x02]
 746 #CHECK: vlebrg  %v18, 1383(%r3,%r4), 1  # encoding: [0xe6,0x23,0x45,0x67,0x18,0x02]
 747
 748         vlebrg  %v0, 0, 0
 749         vlebrg  %v0, 0, 1
 750         vlebrg  %v0, 4095, 0
 751         vlebrg  %v0, 0(%r15), 0
 752         vlebrg  %v0, 0(%r15,%r1), 0
 753         vlebrg  %v15, 0, 0
 754         vlebrg  %v31, 0, 0
 755         vlebrg  %v18, 1383(%r3,%r4), 1
 756
 757 #CHECK: vlebrh  %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x01]
 758 #CHECK: vlebrh  %v0, 0, 7               # encoding: [0xe6,0x00,0x00,0x00,0x70,0x01]
 759 #CHECK: vlebrh  %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x01]
 760 #CHECK: vlebrh  %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x01]
 761 #CHECK: vlebrh  %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x01]
 762 #CHECK: vlebrh  %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x01]
 763 #CHECK: vlebrh  %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x01]
 764 #CHECK: vlebrh  %v18, 1383(%r3,%r4), 4  # encoding: [0xe6,0x23,0x45,0x67,0x48,0x01]
 765
 766         vlebrh  %v0, 0, 0
 767         vlebrh  %v0, 0, 7
 768         vlebrh  %v0, 4095, 0
 769         vlebrh  %v0, 0(%r15), 0
 770         vlebrh  %v0, 0(%r15,%r1), 0
 771         vlebrh  %v15, 0, 0
 772         vlebrh  %v31, 0, 0
 773         vlebrh  %v18, 1383(%r3,%r4), 4
 774
 775 #CHECK: vler   %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x07]
 776 #CHECK: vler   %v0, 0, 15              # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x07]
 777 #CHECK: vler   %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x07]
 778 #CHECK: vler   %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x07]
 779 #CHECK: vler   %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x07]
 780 #CHECK: vler   %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x07]
 781 #CHECK: vler   %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x07]
 782 #CHECK: vler   %v18, 1383(%r3,%r4), 11 # encoding: [0xe6,0x23,0x45,0x67,0xb8,0x07]
 783
 784         vler    %v0, 0, 0
 785         vler    %v0, 0, 15
 786         vler    %v0, 4095, 0
 787         vler    %v0, 0(%r15), 0
 788         vler    %v0, 0(%r15,%r1), 0
 789         vler    %v15, 0, 0
 790         vler    %v31, 0, 0
 791         vler    %v18, 0x567(%r3,%r4), 11
 792
 793 #CHECK: vlerf  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x20,0x07]
 794 #CHECK: vlerf  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x20,0x07]
 795 #CHECK: vlerf  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x07]
 796 #CHECK: vlerf  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x20,0x07]
 797 #CHECK: vlerf  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x07]
 798 #CHECK: vlerf  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x07]
 799 #CHECK: vlerf  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x28,0x07]
 800
 801         vlerf   %v0, 0
 802         vlerf   %v0, 4095
 803         vlerf   %v0, 0(%r15)
 804         vlerf   %v0, 0(%r15,%r1)
 805         vlerf   %v15, 0
 806         vlerf   %v31, 0
 807         vlerf   %v18, 0x567(%r3,%r4)
 808
 809 #CHECK: vlerg  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x30,0x07]
 810 #CHECK: vlerg  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x07]
 811 #CHECK: vlerg  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x07]
 812 #CHECK: vlerg  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x07]
 813 #CHECK: vlerg  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x07]
 814 #CHECK: vlerg  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x07]
 815 #CHECK: vlerg  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x38,0x07]
 816
 817         vlerg   %v0, 0
 818         vlerg   %v0, 4095
 819         vlerg   %v0, 0(%r15)
 820         vlerg   %v0, 0(%r15,%r1)
 821         vlerg   %v15, 0
 822         vlerg   %v31, 0
 823         vlerg   %v18, 0x567(%r3,%r4)
 824
 825 #CHECK: vlerh  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x10,0x07]
 826 #CHECK: vlerh  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x10,0x07]
 827 #CHECK: vlerh  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x10,0x07]
 828 #CHECK: vlerh  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x10,0x07]
 829 #CHECK: vlerh  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x10,0x07]
 830 #CHECK: vlerh  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x18,0x07]
 831 #CHECK: vlerh  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x18,0x07]
 832
 833         vlerh   %v0, 0
 834         vlerh   %v0, 4095
 835         vlerh   %v0, 0(%r15)
 836         vlerh   %v0, 0(%r15,%r1)
 837         vlerh   %v15, 0
 838         vlerh   %v31, 0
 839         vlerh   %v18, 0x567(%r3,%r4)
 840
 841 #CHECK: vllebrz   %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x04]
 842 #CHECK: vllebrz   %v0, 0, 15              # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x04]
 843 #CHECK: vllebrz   %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x04]
 844 #CHECK: vllebrz   %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x04]
 845 #CHECK: vllebrz   %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x04]
 846 #CHECK: vllebrz   %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x04]
 847 #CHECK: vllebrz   %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x04]
 848 #CHECK: vllebrz   %v18, 1383(%r3,%r4), 11 # encoding: [0xe6,0x23,0x45,0x67,0xb8,0x04]
 849
 850         vllebrz %v0, 0, 0
 851         vllebrz %v0, 0, 15
 852         vllebrz %v0, 4095, 0
 853         vllebrz %v0, 0(%r15), 0
 854         vllebrz %v0, 0(%r15,%r1), 0
 855         vllebrz %v15, 0, 0
 856         vllebrz %v31, 0, 0
 857         vllebrz %v18, 0x567(%r3,%r4), 11
 858
 859 #CHECK: vllebrze  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x60,0x04]
 860 #CHECK: vllebrze  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x60,0x04]
 861 #CHECK: vllebrze  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x60,0x04]
 862 #CHECK: vllebrze  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x60,0x04]
 863 #CHECK: vllebrze  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x60,0x04]
 864 #CHECK: vllebrze  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x68,0x04]
 865 #CHECK: vllebrze  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x68,0x04]
 866
 867         vllebrze        %v0, 0
 868         vllebrze        %v0, 4095
 869         vllebrze        %v0, 0(%r15)
 870         vllebrze        %v0, 0(%r15,%r1)
 871         vllebrze        %v15, 0
 872         vllebrze        %v31, 0
 873         vllebrze        %v18, 0x567(%r3,%r4)
 874
 875 #CHECK: vllebrzf  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x20,0x04]
 876 #CHECK: vllebrzf  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x20,0x04]
 877 #CHECK: vllebrzf  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x04]
 878 #CHECK: vllebrzf  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x20,0x04]
 879 #CHECK: vllebrzf  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x04]
 880 #CHECK: vllebrzf  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x04]
 881 #CHECK: vllebrzf  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x28,0x04]
 882
 883         vllebrzf        %v0, 0
 884         vllebrzf        %v0, 4095
 885         vllebrzf        %v0, 0(%r15)
 886         vllebrzf        %v0, 0(%r15,%r1)
 887         vllebrzf        %v15, 0
 888         vllebrzf        %v31, 0
 889         vllebrzf        %v18, 0x567(%r3,%r4)
 890
 891 #CHECK: vllebrzg  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x30,0x04]
 892 #CHECK: vllebrzg  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x04]
 893 #CHECK: vllebrzg  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x04]
 894 #CHECK: vllebrzg  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x04]
 895 #CHECK: vllebrzg  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x04]
 896 #CHECK: vllebrzg  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x04]
 897 #CHECK: vllebrzg  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x38,0x04]
 898
 899         vllebrzg        %v0, 0
 900         vllebrzg        %v0, 4095
 901         vllebrzg        %v0, 0(%r15)
 902         vllebrzg        %v0, 0(%r15,%r1)
 903         vllebrzg        %v15, 0
 904         vllebrzg        %v31, 0
 905         vllebrzg        %v18, 0x567(%r3,%r4)
 906
 907 #CHECK: vllebrzh  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x10,0x04]
 908 #CHECK: vllebrzh  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x10,0x04]
 909 #CHECK: vllebrzh  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x10,0x04]
 910 #CHECK: vllebrzh  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x10,0x04]
 911 #CHECK: vllebrzh  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x10,0x04]
 912 #CHECK: vllebrzh  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x18,0x04]
 913 #CHECK: vllebrzh  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x18,0x04]
 914
 915         vllebrzh        %v0, 0
 916         vllebrzh        %v0, 4095
 917         vllebrzh        %v0, 0(%r15)
 918         vllebrzh        %v0, 0(%r15,%r1)
 919         vllebrzh        %v15, 0
 920         vllebrzh        %v31, 0
 921         vllebrzh        %v18, 0x567(%r3,%r4)
 922
 923 #CHECK: vsld    %v0, %v0, %v0, 0        # encoding: [0xe7,0x00,0x00,0x00,0x00,0x86]
 924 #CHECK: vsld    %v0, %v0, %v0, 255      # encoding: [0xe7,0x00,0x00,0xff,0x00,0x86]
 925 #CHECK: vsld    %v0, %v0, %v31, 0       # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x86]
 926 #CHECK: vsld    %v0, %v31, %v0, 0       # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x86]
 927 #CHECK: vsld    %v31, %v0, %v0, 0       # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x86]
 928 #CHECK: vsld    %v13, %v17, %v21, 121   # encoding: [0xe7,0xd1,0x50,0x79,0x06,0x86]
 929
 930         vsld    %v0, %v0, %v0, 0
 931         vsld    %v0, %v0, %v0, 255
 932         vsld    %v0, %v0, %v31, 0
 933         vsld    %v0, %v31, %v0, 0
 934         vsld    %v31, %v0, %v0, 0
 935         vsld    %v13, %v17, %v21, 0x79
 936
 937 #CHECK: vsrd    %v0, %v0, %v0, 0        # encoding: [0xe7,0x00,0x00,0x00,0x00,0x87]
 938 #CHECK: vsrd    %v0, %v0, %v0, 255      # encoding: [0xe7,0x00,0x00,0xff,0x00,0x87]
 939 #CHECK: vsrd    %v0, %v0, %v31, 0       # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x87]
 940 #CHECK: vsrd    %v0, %v31, %v0, 0       # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x87]
 941 #CHECK: vsrd    %v31, %v0, %v0, 0       # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x87]
 942 #CHECK: vsrd    %v13, %v17, %v21, 121   # encoding: [0xe7,0xd1,0x50,0x79,0x06,0x87]
 943
 944         vsrd    %v0, %v0, %v0, 0
 945         vsrd    %v0, %v0, %v0, 255
 946         vsrd    %v0, %v0, %v31, 0
 947         vsrd    %v0, %v31, %v0, 0
 948         vsrd    %v31, %v0, %v0, 0
 949         vsrd    %v13, %v17, %v21, 0x79
 950
 951 #CHECK: vstbr   %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x0e]
 952 #CHECK: vstbr   %v0, 0, 15              # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x0e]
 953 #CHECK: vstbr   %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x0e]
 954 #CHECK: vstbr   %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x0e]
 955 #CHECK: vstbr   %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x0e]
 956 #CHECK: vstbr   %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x0e]
 957 #CHECK: vstbr   %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x0e]
 958 #CHECK: vstbr   %v18, 1383(%r3,%r4), 11 # encoding: [0xe6,0x23,0x45,0x67,0xb8,0x0e]
 959
 960         vstbr   %v0, 0, 0
 961         vstbr   %v0, 0, 15
 962         vstbr   %v0, 4095, 0
 963         vstbr   %v0, 0(%r15), 0
 964         vstbr   %v0, 0(%r15,%r1), 0
 965         vstbr   %v15, 0, 0
 966         vstbr   %v31, 0, 0
 967         vstbr   %v18, 0x567(%r3,%r4), 11
 968
 969 #CHECK: vstbrf  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x20,0x0e]
 970 #CHECK: vstbrf  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x20,0x0e]
 971 #CHECK: vstbrf  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x0e]
 972 #CHECK: vstbrf  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x20,0x0e]
 973 #CHECK: vstbrf  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x0e]
 974 #CHECK: vstbrf  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x0e]
 975 #CHECK: vstbrf  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x28,0x0e]
 976
 977         vstbrf  %v0, 0
 978         vstbrf  %v0, 4095
 979         vstbrf  %v0, 0(%r15)
 980         vstbrf  %v0, 0(%r15,%r1)
 981         vstbrf  %v15, 0
 982         vstbrf  %v31, 0
 983         vstbrf  %v18, 0x567(%r3,%r4)
 984
 985 #CHECK: vstbrg  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x30,0x0e]
 986 #CHECK: vstbrg  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x0e]
 987 #CHECK: vstbrg  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x0e]
 988 #CHECK: vstbrg  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x0e]
 989 #CHECK: vstbrg  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x0e]
 990 #CHECK: vstbrg  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x0e]
 991 #CHECK: vstbrg  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x38,0x0e]
 992
 993         vstbrg  %v0, 0
 994         vstbrg  %v0, 4095
 995         vstbrg  %v0, 0(%r15)
 996         vstbrg  %v0, 0(%r15,%r1)
 997         vstbrg  %v15, 0
 998         vstbrg  %v31, 0
 999         vstbrg  %v18, 0x567(%r3,%r4)
1000
1001 #CHECK: vstbrh  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x10,0x0e]
1002 #CHECK: vstbrh  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x10,0x0e]
1003 #CHECK: vstbrh  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x10,0x0e]
1004 #CHECK: vstbrh  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x10,0x0e]
1005 #CHECK: vstbrh  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x10,0x0e]
1006 #CHECK: vstbrh  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x18,0x0e]
1007 #CHECK: vstbrh  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x18,0x0e]
1008
1009         vstbrh  %v0, 0
1010         vstbrh  %v0, 4095
1011         vstbrh  %v0, 0(%r15)
1012         vstbrh  %v0, 0(%r15,%r1)
1013         vstbrh  %v15, 0
1014         vstbrh  %v31, 0
1015         vstbrh  %v18, 0x567(%r3,%r4)
1016
1017 #CHECK: vstbrq  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x40,0x0e]
1018 #CHECK: vstbrq  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x40,0x0e]
1019 #CHECK: vstbrq  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x40,0x0e]
1020 #CHECK: vstbrq  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x40,0x0e]
1021 #CHECK: vstbrq  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x40,0x0e]
1022 #CHECK: vstbrq  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x48,0x0e]
1023 #CHECK: vstbrq  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x48,0x0e]
1024
1025         vstbrq  %v0, 0
1026         vstbrq  %v0, 4095
1027         vstbrq  %v0, 0(%r15)
1028         vstbrq  %v0, 0(%r15,%r1)
1029         vstbrq  %v15, 0
1030         vstbrq  %v31, 0
1031         vstbrq  %v18, 0x567(%r3,%r4)
1032
1033 #CHECK: vstebrf  %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x0b]
1034 #CHECK: vstebrf  %v0, 0, 3               # encoding: [0xe6,0x00,0x00,0x00,0x30,0x0b]
1035 #CHECK: vstebrf  %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x0b]
1036 #CHECK: vstebrf  %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x0b]
1037 #CHECK: vstebrf  %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x0b]
1038 #CHECK: vstebrf  %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x0b]
1039 #CHECK: vstebrf  %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x0b]
1040 #CHECK: vstebrf  %v18, 1383(%r3,%r4), 2  # encoding: [0xe6,0x23,0x45,0x67,0x28,0x0b]
1041
1042         vstebrf %v0, 0, 0
1043         vstebrf %v0, 0, 3
1044         vstebrf %v0, 4095, 0
1045         vstebrf %v0, 0(%r15), 0
1046         vstebrf %v0, 0(%r15,%r1), 0
1047         vstebrf %v15, 0, 0
1048         vstebrf %v31, 0, 0
1049         vstebrf %v18, 1383(%r3,%r4), 2
1050
1051 #CHECK: vstebrg  %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x0a]
1052 #CHECK: vstebrg  %v0, 0, 1               # encoding: [0xe6,0x00,0x00,0x00,0x10,0x0a]
1053 #CHECK: vstebrg  %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x0a]
1054 #CHECK: vstebrg  %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x0a]
1055 #CHECK: vstebrg  %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x0a]
1056 #CHECK: vstebrg  %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x0a]
1057 #CHECK: vstebrg  %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x0a]
1058 #CHECK: vstebrg  %v18, 1383(%r3,%r4), 1  # encoding: [0xe6,0x23,0x45,0x67,0x18,0x0a]
1059
1060         vstebrg %v0, 0, 0
1061         vstebrg %v0, 0, 1
1062         vstebrg %v0, 4095, 0
1063         vstebrg %v0, 0(%r15), 0
1064         vstebrg %v0, 0(%r15,%r1), 0
1065         vstebrg %v15, 0, 0
1066         vstebrg %v31, 0, 0
1067         vstebrg %v18, 1383(%r3,%r4), 1
1068
1069 #CHECK: vstebrh  %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x09]
1070 #CHECK: vstebrh  %v0, 0, 7               # encoding: [0xe6,0x00,0x00,0x00,0x70,0x09]
1071 #CHECK: vstebrh  %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x09]
1072 #CHECK: vstebrh  %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x09]
1073 #CHECK: vstebrh  %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x09]
1074 #CHECK: vstebrh  %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x09]
1075 #CHECK: vstebrh  %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x09]
1076 #CHECK: vstebrh  %v18, 1383(%r3,%r4), 4  # encoding: [0xe6,0x23,0x45,0x67,0x48,0x09]
1077
1078         vstebrh %v0, 0, 0
1079         vstebrh %v0, 0, 7
1080         vstebrh %v0, 4095, 0
1081         vstebrh %v0, 0(%r15), 0
1082         vstebrh %v0, 0(%r15,%r1), 0
1083         vstebrh %v15, 0, 0
1084         vstebrh %v31, 0, 0
1085         vstebrh %v18, 1383(%r3,%r4), 4
1086
1087 #CHECK: vster   %v0, 0, 0               # encoding: [0xe6,0x00,0x00,0x00,0x00,0x0f]
1088 #CHECK: vster   %v0, 0, 15              # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x0f]
1089 #CHECK: vster   %v0, 4095, 0            # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x0f]
1090 #CHECK: vster   %v0, 0(%r15), 0         # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x0f]
1091 #CHECK: vster   %v0, 0(%r15,%r1), 0     # encoding: [0xe6,0x0f,0x10,0x00,0x00,0x0f]
1092 #CHECK: vster   %v15, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x0f]
1093 #CHECK: vster   %v31, 0, 0              # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x0f]
1094 #CHECK: vster   %v18, 1383(%r3,%r4), 11 # encoding: [0xe6,0x23,0x45,0x67,0xb8,0x0f]
1095
1096         vster   %v0, 0, 0
1097         vster   %v0, 0, 15
1098         vster   %v0, 4095, 0
1099         vster   %v0, 0(%r15), 0
1100         vster   %v0, 0(%r15,%r1), 0
1101         vster   %v15, 0, 0
1102         vster   %v31, 0, 0
1103         vster   %v18, 0x567(%r3,%r4), 11
1104
1105 #CHECK: vsterf  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x20,0x0f]
1106 #CHECK: vsterf  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x20,0x0f]
1107 #CHECK: vsterf  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x0f]
1108 #CHECK: vsterf  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x20,0x0f]
1109 #CHECK: vsterf  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x0f]
1110 #CHECK: vsterf  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x0f]
1111 #CHECK: vsterf  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x28,0x0f]
1112
1113         vsterf  %v0, 0
1114         vsterf  %v0, 4095
1115         vsterf  %v0, 0(%r15)
1116         vsterf  %v0, 0(%r15,%r1)
1117         vsterf  %v15, 0
1118         vsterf  %v31, 0
1119         vsterf  %v18, 0x567(%r3,%r4)
1120
1121 #CHECK: vsterg  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x30,0x0f]
1122 #CHECK: vsterg  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x30,0x0f]
1123 #CHECK: vsterg  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x0f]
1124 #CHECK: vsterg  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x30,0x0f]
1125 #CHECK: vsterg  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x0f]
1126 #CHECK: vsterg  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x0f]
1127 #CHECK: vsterg  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x38,0x0f]
1128
1129         vsterg  %v0, 0
1130         vsterg  %v0, 4095
1131         vsterg  %v0, 0(%r15)
1132         vsterg  %v0, 0(%r15,%r1)
1133         vsterg  %v15, 0
1134         vsterg  %v31, 0
1135         vsterg  %v18, 0x567(%r3,%r4)
1136
1137 #CHECK: vsterh  %v0, 0                  # encoding: [0xe6,0x00,0x00,0x00,0x10,0x0f]
1138 #CHECK: vsterh  %v0, 4095               # encoding: [0xe6,0x00,0x0f,0xff,0x10,0x0f]
1139 #CHECK: vsterh  %v0, 0(%r15)            # encoding: [0xe6,0x00,0xf0,0x00,0x10,0x0f]
1140 #CHECK: vsterh  %v0, 0(%r15,%r1)        # encoding: [0xe6,0x0f,0x10,0x00,0x10,0x0f]
1141 #CHECK: vsterh  %v15, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x10,0x0f]
1142 #CHECK: vsterh  %v31, 0                 # encoding: [0xe6,0xf0,0x00,0x00,0x18,0x0f]
1143 #CHECK: vsterh  %v18, 1383(%r3,%r4)     # encoding: [0xe6,0x23,0x45,0x67,0x18,0x0f]
1144
1145         vsterh  %v0, 0
1146         vsterh  %v0, 4095
1147         vsterh  %v0, 0(%r15)
1148         vsterh  %v0, 0(%r15,%r1)
1149         vsterh  %v15, 0
1150         vsterh  %v31, 0
1151         vsterh  %v18, 0x567(%r3,%r4)
1152
1153 #CHECK: vstrs    %v0, %v0, %v0, %v0, 0, 0    # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8b]
1154 #CHECK: vstrs    %v0, %v0, %v0, %v0, 15, 0   # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x8b]
1155 #CHECK: vstrs    %v0, %v0, %v0, %v0, 0, 0    # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8b]
1156 #CHECK: vstrs    %v0, %v0, %v0, %v0, 15, 0   # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x8b]
1157 #CHECK: vstrs    %v0, %v0, %v0, %v0, 0, 12   # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x8b]
1158 #CHECK: vstrs    %v0, %v0, %v0, %v15, 0, 0   # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x8b]
1159 #CHECK: vstrs    %v0, %v0, %v0, %v31, 0, 0   # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8b]
1160 #CHECK: vstrs    %v0, %v0, %v15, %v0, 0, 0   # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x8b]
1161 #CHECK: vstrs    %v0, %v0, %v31, %v0, 0, 0   # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8b]
1162 #CHECK: vstrs    %v0, %v15, %v0, %v0, 0, 0   # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x8b]
1163 #CHECK: vstrs    %v0, %v31, %v0, %v0, 0, 0   # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8b]
1164 #CHECK: vstrs    %v15, %v0, %v0, %v0, 0, 0   # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x8b]
1165 #CHECK: vstrs    %v31, %v0, %v0, %v0, 0, 0   # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8b]
1166 #CHECK: vstrs    %v18, %v3, %v20, %v5, 11, 4 # encoding: [0xe7,0x23,0x4b,0x40,0x5a,0x8b]
1167 #CHECK: vstrs    %v18, %v3, %v20, %v5, 0, 15 # encoding: [0xe7,0x23,0x40,0xf0,0x5a,0x8b]
1168
1169         vstrs    %v0, %v0, %v0, %v0, 0
1170         vstrs    %v0, %v0, %v0, %v0, 15
1171         vstrs    %v0, %v0, %v0, %v0, 0, 0
1172         vstrs    %v0, %v0, %v0, %v0, 15, 0
1173         vstrs    %v0, %v0, %v0, %v0, 0, 12
1174         vstrs    %v0, %v0, %v0, %v15, 0
1175         vstrs    %v0, %v0, %v0, %v31, 0
1176         vstrs    %v0, %v0, %v15, %v0, 0
1177         vstrs    %v0, %v0, %v31, %v0, 0
1178         vstrs    %v0, %v15, %v0, %v0, 0
1179         vstrs    %v0, %v31, %v0, %v0, 0
1180         vstrs    %v15, %v0, %v0, %v0, 0
1181         vstrs    %v31, %v0, %v0, %v0, 0
1182         vstrs    %v18, %v3, %v20, %v5, 11, 4
1183         vstrs    %v18, %v3, %v20, %v5, 0, 15
1184
1185 #CHECK: vstrsb   %v0, %v0, %v0, %v0, 0       # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8b]
1186 #CHECK: vstrsb   %v0, %v0, %v0, %v0, 0       # encoding: [0xe7,0x00,0x00,0x00,0x00,0x8b]
1187 #CHECK: vstrsb   %v0, %v0, %v0, %v0, 12      # encoding: [0xe7,0x00,0x00,0xc0,0x00,0x8b]
1188 #CHECK: vstrsb   %v0, %v0, %v0, %v15, 0      # encoding: [0xe7,0x00,0x00,0x00,0xf0,0x8b]
1189 #CHECK: vstrsb   %v0, %v0, %v0, %v31, 0      # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x8b]
1190 #CHECK: vstrsb   %v0, %v0, %v15, %v0, 0      # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x8b]
1191 #CHECK: vstrsb   %v0, %v0, %v31, %v0, 0      # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x8b]
1192 #CHECK: vstrsb   %v0, %v15, %v0, %v0, 0      # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x8b]
1193 #CHECK: vstrsb   %v0, %v31, %v0, %v0, 0      # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x8b]
1194 #CHECK: vstrsb   %v15, %v0, %v0, %v0, 0      # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x8b]
1195 #CHECK: vstrsb   %v31, %v0, %v0, %v0, 0      # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x8b]
1196 #CHECK: vstrsb   %v18, %v3, %v20, %v5, 4     # encoding: [0xe7,0x23,0x40,0x40,0x5a,0x8b]
1197 #CHECK: vstrsb   %v18, %v3, %v20, %v5, 15    # encoding: [0xe7,0x23,0x40,0xf0,0x5a,0x8b]
1198 #CHECK: vstrszb  %v18, %v3, %v20, %v5        # encoding: [0xe7,0x23,0x40,0x20,0x5a,0x8b]
1199
1200         vstrsb   %v0, %v0, %v0, %v0
1201         vstrsb   %v0, %v0, %v0, %v0, 0
1202         vstrsb   %v0, %v0, %v0, %v0, 12
1203         vstrsb   %v0, %v0, %v0, %v15
1204         vstrsb   %v0, %v0, %v0, %v31
1205         vstrsb   %v0, %v0, %v15, %v0
1206         vstrsb   %v0, %v0, %v31, %v0
1207         vstrsb   %v0, %v15, %v0, %v0
1208         vstrsb   %v0, %v31, %v0, %v0
1209         vstrsb   %v15, %v0, %v0, %v0
1210         vstrsb   %v31, %v0, %v0, %v0
1211         vstrsb   %v18, %v3, %v20, %v5, 4
1212         vstrsb   %v18, %v3, %v20, %v5, 15
1213         vstrszb  %v18, %v3, %v20, %v5
1214
1215 #CHECK: vstrsf   %v0, %v0, %v0, %v0, 0       # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8b]
1216 #CHECK: vstrsf   %v0, %v0, %v0, %v0, 0       # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8b]
1217 #CHECK: vstrsf   %v0, %v0, %v0, %v0, 12      # encoding: [0xe7,0x00,0x02,0xc0,0x00,0x8b]
1218 #CHECK: vstrsf   %v0, %v0, %v0, %v15, 0      # encoding: [0xe7,0x00,0x02,0x00,0xf0,0x8b]
1219 #CHECK: vstrsf   %v0, %v0, %v0, %v31, 0      # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8b]
1220 #CHECK: vstrsf   %v0, %v0, %v15, %v0, 0      # encoding: [0xe7,0x00,0xf2,0x00,0x00,0x8b]
1221 #CHECK: vstrsf   %v0, %v0, %v31, %v0, 0      # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8b]
1222 #CHECK: vstrsf   %v0, %v15, %v0, %v0, 0      # encoding: [0xe7,0x0f,0x02,0x00,0x00,0x8b]
1223 #CHECK: vstrsf   %v0, %v31, %v0, %v0, 0      # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8b]
1224 #CHECK: vstrsf   %v15, %v0, %v0, %v0, 0      # encoding: [0xe7,0xf0,0x02,0x00,0x00,0x8b]
1225 #CHECK: vstrsf   %v31, %v0, %v0, %v0, 0      # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8b]
1226 #CHECK: vstrsf   %v18, %v3, %v20, %v5, 4     # encoding: [0xe7,0x23,0x42,0x40,0x5a,0x8b]
1227 #CHECK: vstrsf   %v18, %v3, %v20, %v5, 15    # encoding: [0xe7,0x23,0x42,0xf0,0x5a,0x8b]
1228 #CHECK: vstrszf  %v18, %v3, %v20, %v5        # encoding: [0xe7,0x23,0x42,0x20,0x5a,0x8b]
1229
1230         vstrsf   %v0, %v0, %v0, %v0
1231         vstrsf   %v0, %v0, %v0, %v0, 0
1232         vstrsf   %v0, %v0, %v0, %v0, 12
1233         vstrsf   %v0, %v0, %v0, %v15
1234         vstrsf   %v0, %v0, %v0, %v31
1235         vstrsf   %v0, %v0, %v15, %v0
1236         vstrsf   %v0, %v0, %v31, %v0
1237         vstrsf   %v0, %v15, %v0, %v0
1238         vstrsf   %v0, %v31, %v0, %v0
1239         vstrsf   %v15, %v0, %v0, %v0
1240         vstrsf   %v31, %v0, %v0, %v0
1241         vstrsf   %v18, %v3, %v20, %v5, 4
1242         vstrsf   %v18, %v3, %v20, %v5, 15
1243         vstrszf  %v18, %v3, %v20, %v5
1244
1245 #CHECK: vstrsh   %v0, %v0, %v0, %v0, 0       # encoding: [0xe7,0x00,0x01,0x00,0x00,0x8b]
1246 #CHECK: vstrsh   %v0, %v0, %v0, %v0, 0       # encoding: [0xe7,0x00,0x01,0x00,0x00,0x8b]
1247 #CHECK: vstrsh   %v0, %v0, %v0, %v0, 12      # encoding: [0xe7,0x00,0x01,0xc0,0x00,0x8b]
1248 #CHECK: vstrsh   %v0, %v0, %v0, %v15, 0      # encoding: [0xe7,0x00,0x01,0x00,0xf0,0x8b]
1249 #CHECK: vstrsh   %v0, %v0, %v0, %v31, 0      # encoding: [0xe7,0x00,0x01,0x00,0xf1,0x8b]
1250 #CHECK: vstrsh   %v0, %v0, %v15, %v0, 0      # encoding: [0xe7,0x00,0xf1,0x00,0x00,0x8b]
1251 #CHECK: vstrsh   %v0, %v0, %v31, %v0, 0      # encoding: [0xe7,0x00,0xf1,0x00,0x02,0x8b]
1252 #CHECK: vstrsh   %v0, %v15, %v0, %v0, 0      # encoding: [0xe7,0x0f,0x01,0x00,0x00,0x8b]
1253 #CHECK: vstrsh   %v0, %v31, %v0, %v0, 0      # encoding: [0xe7,0x0f,0x01,0x00,0x04,0x8b]
1254 #CHECK: vstrsh   %v15, %v0, %v0, %v0, 0      # encoding: [0xe7,0xf0,0x01,0x00,0x00,0x8b]
1255 #CHECK: vstrsh   %v31, %v0, %v0, %v0, 0      # encoding: [0xe7,0xf0,0x01,0x00,0x08,0x8b]
1256 #CHECK: vstrsh   %v18, %v3, %v20, %v5, 4     # encoding: [0xe7,0x23,0x41,0x40,0x5a,0x8b]
1257 #CHECK: vstrsh   %v18, %v3, %v20, %v5, 15    # encoding: [0xe7,0x23,0x41,0xf0,0x5a,0x8b]
1258 #CHECK: vstrszh  %v18, %v3, %v20, %v5        # encoding: [0xe7,0x23,0x41,0x20,0x5a,0x8b]
1259
1260         vstrsh   %v0, %v0, %v0, %v0
1261         vstrsh   %v0, %v0, %v0, %v0, 0
1262         vstrsh   %v0, %v0, %v0, %v0, 12
1263         vstrsh   %v0, %v0, %v0, %v15
1264         vstrsh   %v0, %v0, %v0, %v31
1265         vstrsh   %v0, %v0, %v15, %v0
1266         vstrsh   %v0, %v0, %v31, %v0
1267         vstrsh   %v0, %v15, %v0, %v0
1268         vstrsh   %v0, %v31, %v0, %v0
1269         vstrsh   %v15, %v0, %v0, %v0
1270         vstrsh   %v31, %v0, %v0, %v0
1271         vstrsh   %v18, %v3, %v20, %v5, 4
1272         vstrsh   %v18, %v3, %v20, %v5, 15
1273         vstrszh  %v18, %v3, %v20, %v5
1274
1275 #CHECK: wcefb   %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc3]
1276 #CHECK: wcefb   %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc3]
1277 #CHECK: wcefb   %f0, %f0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc3]
1278 #CHECK: wcefb   %f0, %f0, 4, 0          # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc3]
1279 #CHECK: wcefb   %f0, %f0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc3]
1280 #CHECK: wcefb   %f0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc3]
1281 #CHECK: wcefb   %v31, %f0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc3]
1282 #CHECK: wcefb   %f14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc3]
1283
1284         wcefb   %v0, %v0, 0, 0
1285         wcefb   %f0, %f0, 0, 0
1286         wcefb   %v0, %v0, 0, 15
1287         wcefb   %v0, %v0, 4, 0
1288         wcefb   %v0, %v0, 12, 0
1289         wcefb   %v0, %v31, 0, 0
1290         wcefb   %v31, %v0, 0, 0
1291         wcefb   %v14, %v17, 4, 10
1292
1293 #CHECK: wcelfb  %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc1]
1294 #CHECK: wcelfb  %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc1]
1295 #CHECK: wcelfb  %f0, %f0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc1]
1296 #CHECK: wcelfb  %f0, %f0, 4, 0          # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc1]
1297 #CHECK: wcelfb  %f0, %f0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc1]
1298 #CHECK: wcelfb  %f0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc1]
1299 #CHECK: wcelfb  %v31, %f0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc1]
1300 #CHECK: wcelfb  %f14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc1]
1301
1302         wcelfb  %v0, %v0, 0, 0
1303         wcelfb  %f0, %f0, 0, 0
1304         wcelfb  %v0, %v0, 0, 15
1305         wcelfb  %v0, %v0, 4, 0
1306         wcelfb  %v0, %v0, 12, 0
1307         wcelfb  %v0, %v31, 0, 0
1308         wcelfb  %v31, %v0, 0, 0
1309         wcelfb  %v14, %v17, 4, 10
1310
1311 #CHECK: wcfeb   %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc2]
1312 #CHECK: wcfeb   %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc2]
1313 #CHECK: wcfeb   %f0, %f0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc2]
1314 #CHECK: wcfeb   %f0, %f0, 4, 0          # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc2]
1315 #CHECK: wcfeb   %f0, %f0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc2]
1316 #CHECK: wcfeb   %f0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc2]
1317 #CHECK: wcfeb   %v31, %f0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc2]
1318 #CHECK: wcfeb   %f14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc2]
1319
1320         wcfeb   %v0, %v0, 0, 0
1321         wcfeb   %f0, %f0, 0, 0
1322         wcfeb   %v0, %v0, 0, 15
1323         wcfeb   %v0, %v0, 4, 0
1324         wcfeb   %v0, %v0, 12, 0
1325         wcfeb   %v0, %v31, 0, 0
1326         wcfeb   %v31, %v0, 0, 0
1327         wcfeb   %v14, %v17, 4, 10
1328
1329 #CHECK: wclfeb  %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc0]
1330 #CHECK: wclfeb  %f0, %f0, 0, 0          # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc0]
1331 #CHECK: wclfeb  %f0, %f0, 0, 15         # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc0]
1332 #CHECK: wclfeb  %f0, %f0, 4, 0          # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc0]
1333 #CHECK: wclfeb  %f0, %f0, 12, 0         # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc0]
1334 #CHECK: wclfeb  %f0, %v31, 0, 0         # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc0]
1335 #CHECK: wclfeb  %v31, %f0, 0, 0         # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc0]
1336 #CHECK: wclfeb  %f14, %v17, 4, 10       # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc0]
1337
1338         wclfeb  %v0, %v0, 0, 0
1339         wclfeb  %f0, %f0, 0, 0
1340         wclfeb  %v0, %v0, 0, 15
1341         wclfeb  %v0, %v0, 4, 0
1342         wclfeb  %v0, %v0, 12, 0
1343         wclfeb  %v0, %v31, 0, 0
1344         wclfeb  %v31, %v0, 0, 0
1345         wclfeb  %v14, %v17, 4, 10
1346