llvm/test/MC/SystemZ/insn-good-z16.s

   1 # For z16 and above.
   2 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z16 -show-encoding %s \
   3 # RUN:   | FileCheck %s
   4
   5 #CHECK: lbear   0                       # encoding: [0xb2,0x00,0x00,0x00]
   6 #CHECK: lbear   0(%r1)                  # encoding: [0xb2,0x00,0x10,0x00]
   7 #CHECK: lbear   0(%r15)                 # encoding: [0xb2,0x00,0xf0,0x00]
   8 #CHECK: lbear   4095                    # encoding: [0xb2,0x00,0x0f,0xff]
   9 #CHECK: lbear   4095(%r1)               # encoding: [0xb2,0x00,0x1f,0xff]
  10 #CHECK: lbear   4095(%r15)              # encoding: [0xb2,0x00,0xff,0xff]
  11
  12         lbear   0
  13         lbear   0(%r1)
  14         lbear   0(%r15)
  15         lbear   4095
  16         lbear   4095(%r1)
  17         lbear   4095(%r15)
  18
  19 #CHECK: lpswey  -524288                 # encoding: [0xeb,0x00,0x00,0x00,0x80,0x71]
  20 #CHECK: lpswey  -1                      # encoding: [0xeb,0x00,0x0f,0xff,0xff,0x71]
  21 #CHECK: lpswey  0                       # encoding: [0xeb,0x00,0x00,0x00,0x00,0x71]
  22 #CHECK: lpswey  1                       # encoding: [0xeb,0x00,0x00,0x01,0x00,0x71]
  23 #CHECK: lpswey  524287                  # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0x71]
  24 #CHECK: lpswey  0(%r1)                  # encoding: [0xeb,0x00,0x10,0x00,0x00,0x71]
  25 #CHECK: lpswey  0(%r15)                 # encoding: [0xeb,0x00,0xf0,0x00,0x00,0x71]
  26 #CHECK: lpswey  524287(%r1)             # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0x71]
  27 #CHECK: lpswey  524287(%r15)            # encoding: [0xeb,0x00,0xff,0xff,0x7f,0x71]
  28
  29         lpswey  -524288
  30         lpswey  -1
  31         lpswey  0
  32         lpswey  1
  33         lpswey  524287
  34         lpswey  0(%r1)
  35         lpswey  0(%r15)
  36         lpswey  524287(%r1)
  37         lpswey  524287(%r15)
  38
  39 #CHECK: nnpa                            # encoding: [0xb9,0x3b,0x00,0x00]
  40
  41         nnpa
  42
  43 #CHECK: qpaci   0                       # encoding: [0xb2,0x8f,0x00,0x00]
  44 #CHECK: qpaci   0(%r1)                  # encoding: [0xb2,0x8f,0x10,0x00]
  45 #CHECK: qpaci   0(%r15)                 # encoding: [0xb2,0x8f,0xf0,0x00]
  46 #CHECK: qpaci   4095                    # encoding: [0xb2,0x8f,0x0f,0xff]
  47 #CHECK: qpaci   4095(%r1)               # encoding: [0xb2,0x8f,0x1f,0xff]
  48 #CHECK: qpaci   4095(%r15)              # encoding: [0xb2,0x8f,0xff,0xff]
  49
  50         qpaci   0
  51         qpaci   0(%r1)
  52         qpaci   0(%r15)
  53         qpaci   4095
  54         qpaci   4095(%r1)
  55         qpaci   4095(%r15)
  56
  57 #CHECK: rdp     %r0, %r0, %r0           # encoding: [0xb9,0x8b,0x00,0x00]
  58 #CHECK: rdp     %r0, %r0, %r15          # encoding: [0xb9,0x8b,0x00,0x0f]
  59 #CHECK: rdp     %r0, %r15, %r0          # encoding: [0xb9,0x8b,0xf0,0x00]
  60 #CHECK: rdp     %r15, %r0, %r0          # encoding: [0xb9,0x8b,0x00,0xf0]
  61 #CHECK: rdp     %r0, %r0, %r0, 15       # encoding: [0xb9,0x8b,0x0f,0x00]
  62 #CHECK: rdp     %r4, %r5, %r6, 7        # encoding: [0xb9,0x8b,0x57,0x46]
  63
  64         rdp     %r0, %r0, %r0
  65         rdp     %r0, %r0, %r15
  66         rdp     %r0, %r15, %r0
  67         rdp     %r15, %r0, %r0
  68         rdp     %r0, %r0, %r0, 15
  69         rdp     %r4, %r5, %r6, 7
  70
  71 #CHECK: stbear  0                       # encoding: [0xb2,0x01,0x00,0x00]
  72 #CHECK: stbear  0(%r1)                  # encoding: [0xb2,0x01,0x10,0x00]
  73 #CHECK: stbear  0(%r15)                 # encoding: [0xb2,0x01,0xf0,0x00]
  74 #CHECK: stbear  4095                    # encoding: [0xb2,0x01,0x0f,0xff]
  75 #CHECK: stbear  4095(%r1)               # encoding: [0xb2,0x01,0x1f,0xff]
  76 #CHECK: stbear  4095(%r15)              # encoding: [0xb2,0x01,0xff,0xff]
  77
  78         stbear  0
  79         stbear  0(%r1)
  80         stbear  0(%r15)
  81         stbear  4095
  82         stbear  4095(%r1)
  83         stbear  4095(%r15)
  84
  85 #CHECK: vcfn    %v0, %v0, 0, 0          # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5d]
  86 #CHECK: vcfn    %v0, %v0, 15, 0         # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x5d]
  87 #CHECK: vcfn    %v0, %v0, 0, 15         # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x5d]
  88 #CHECK: vcfn    %v0, %v15, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5d]
  89 #CHECK: vcfn    %v0, %v31, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5d]
  90 #CHECK: vcfn    %v15, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5d]
  91 #CHECK: vcfn    %v31, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5d]
  92 #CHECK: vcfn    %v14, %v17, 11, 9       # encoding: [0xe6,0xe1,0x00,0x09,0xb4,0x5d]
  93
  94         vcfn    %v0, %v0, 0, 0
  95         vcfn    %v0, %v0, 15, 0
  96         vcfn    %v0, %v0, 0, 15
  97         vcfn    %v0, %v15, 0, 0
  98         vcfn    %v0, %v31, 0, 0
  99         vcfn    %v15, %v0, 0, 0
 100         vcfn    %v31, %v0, 0, 0
 101         vcfn    %v14, %v17, 11, 9
 102
 103 #CHECK: vclfnl  %v0, %v0, 0, 0          # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5e]
 104 #CHECK: vclfnl  %v0, %v0, 15, 0         # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x5e]
 105 #CHECK: vclfnl  %v0, %v0, 0, 15         # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x5e]
 106 #CHECK: vclfnl  %v0, %v15, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5e]
 107 #CHECK: vclfnl  %v0, %v31, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5e]
 108 #CHECK: vclfnl  %v15, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5e]
 109 #CHECK: vclfnl  %v31, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5e]
 110 #CHECK: vclfnl  %v14, %v17, 11, 9       # encoding: [0xe6,0xe1,0x00,0x09,0xb4,0x5e]
 111
 112         vclfnl  %v0, %v0, 0, 0
 113         vclfnl  %v0, %v0, 15, 0
 114         vclfnl  %v0, %v0, 0, 15
 115         vclfnl  %v0, %v15, 0, 0
 116         vclfnl  %v0, %v31, 0, 0
 117         vclfnl  %v15, %v0, 0, 0
 118         vclfnl  %v31, %v0, 0, 0
 119         vclfnl  %v14, %v17, 11, 9
 120
 121 #CHECK: vclfnh  %v0, %v0, 0, 0          # encoding: [0xe6,0x00,0x00,0x00,0x00,0x56]
 122 #CHECK: vclfnh  %v0, %v0, 15, 0         # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x56]
 123 #CHECK: vclfnh  %v0, %v0, 0, 15         # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x56]
 124 #CHECK: vclfnh  %v0, %v15, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x56]
 125 #CHECK: vclfnh  %v0, %v31, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x56]
 126 #CHECK: vclfnh  %v15, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x56]
 127 #CHECK: vclfnh  %v31, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x56]
 128 #CHECK: vclfnh  %v14, %v17, 11, 9       # encoding: [0xe6,0xe1,0x00,0x09,0xb4,0x56]
 129
 130         vclfnh  %v0, %v0, 0, 0
 131         vclfnh  %v0, %v0, 15, 0
 132         vclfnh  %v0, %v0, 0, 15
 133         vclfnh  %v0, %v15, 0, 0
 134         vclfnh  %v0, %v31, 0, 0
 135         vclfnh  %v15, %v0, 0, 0
 136         vclfnh  %v31, %v0, 0, 0
 137         vclfnh  %v14, %v17, 11, 9
 138
 139 #CHECK: vcnf    %v0, %v0, 0, 0          # encoding: [0xe6,0x00,0x00,0x00,0x00,0x55]
 140 #CHECK: vcnf    %v0, %v0, 15, 0         # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x55]
 141 #CHECK: vcnf    %v0, %v0, 0, 15         # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x55]
 142 #CHECK: vcnf    %v0, %v15, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x55]
 143 #CHECK: vcnf    %v0, %v31, 0, 0         # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x55]
 144 #CHECK: vcnf    %v15, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x55]
 145 #CHECK: vcnf    %v31, %v0, 0, 0         # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x55]
 146 #CHECK: vcnf    %v14, %v17, 11, 9       # encoding: [0xe6,0xe1,0x00,0x09,0xb4,0x55]
 147
 148         vcnf    %v0, %v0, 0, 0
 149         vcnf    %v0, %v0, 15, 0
 150         vcnf    %v0, %v0, 0, 15
 151         vcnf    %v0, %v15, 0, 0
 152         vcnf    %v0, %v31, 0, 0
 153         vcnf    %v15, %v0, 0, 0
 154         vcnf    %v31, %v0, 0, 0
 155         vcnf    %v14, %v17, 11, 9
 156
 157 #CHECK: vcrnf   %v0, %v0, %v0, 0, 0     # encoding: [0xe6,0x00,0x00,0x00,0x00,0x75]
 158 #CHECK: vcrnf   %v0, %v0, %v0, 15, 0    # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x75]
 159 #CHECK: vcrnf   %v0, %v0, %v0, 0, 15    # encoding: [0xe6,0x00,0x00,0x0f,0x00,0x75]
 160 #CHECK: vcrnf   %v0, %v0, %v31, 0, 0    # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x75]
 161 #CHECK: vcrnf   %v0, %v31, %v0, 0, 0    # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x75]
 162 #CHECK: vcrnf   %v31, %v0, %v0, 0, 0    # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x75]
 163 #CHECK: vcrnf   %v18, %v3, %v20, 11, 9  # encoding: [0xe6,0x23,0x40,0x09,0xba,0x75]
 164
 165         vcrnf   %v0, %v0, %v0, 0, 0
 166         vcrnf   %v0, %v0, %v0, 15, 0
 167         vcrnf   %v0, %v0, %v0, 0, 15
 168         vcrnf   %v0, %v0, %v31, 0, 0
 169         vcrnf   %v0, %v31, %v0, 0, 0
 170         vcrnf   %v31, %v0, %v0, 0, 0
 171         vcrnf   %v18, %v3, %v20, 11, 9
 172
 173 #CHECK: vclzdp  %v0, %v0, 0             # encoding: [0xe6,0x00,0x00,0x00,0x00,0x51]
 174 #CHECK: vclzdp  %v0, %v0, 15            # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x51]
 175 #CHECK: vclzdp  %v0, %v15, 0            # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x51]
 176 #CHECK: vclzdp  %v0, %v31, 0            # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x51]
 177 #CHECK: vclzdp  %v15, %v0, 0            # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x51]
 178 #CHECK: vclzdp  %v31, %v0, 0            # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x51]
 179 #CHECK: vclzdp  %v18, %v3, 12           # encoding: [0xe6,0x23,0x00,0xc0,0x08,0x51]
 180
 181         vclzdp  %v0, %v0, 0
 182         vclzdp  %v0, %v0, 15
 183         vclzdp  %v0, %v15, 0
 184         vclzdp  %v0, %v31, 0
 185         vclzdp  %v15, %v0, 0
 186         vclzdp  %v31, %v0, 0
 187         vclzdp  %v18, %v3, 12
 188
 189 #CHECK: vcsph   %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7d]
 190 #CHECK: vcsph   %v0, %v0, %v0, 15       # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7d]
 191 #CHECK: vcsph   %v0, %v0, %v15, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x7d]
 192 #CHECK: vcsph   %v0, %v0, %v31, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7d]
 193 #CHECK: vcsph   %v0, %v15, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x7d]
 194 #CHECK: vcsph   %v0, %v31, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7d]
 195 #CHECK: vcsph   %v15, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x7d]
 196 #CHECK: vcsph   %v31, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7d]
 197 #CHECK: vcsph   %v18, %v3, %v20, 12     # encoding: [0xe6,0x23,0x40,0xc0,0x0a,0x7d]
 198
 199         vcsph   %v0, %v0, %v0, 0
 200         vcsph   %v0, %v0, %v0, 15
 201         vcsph   %v0, %v0, %v15, 0
 202         vcsph   %v0, %v0, %v31, 0
 203         vcsph   %v0, %v15, %v0, 0
 204         vcsph   %v0, %v31, %v0, 0
 205         vcsph   %v15, %v0, %v0, 0
 206         vcsph   %v31, %v0, %v0, 0
 207         vcsph   %v18, %v3, %v20, 12
 208
 209 #CHECK: vpkzr   %v0, %v0, %v0, 0, 0     # encoding: [0xe6,0x00,0x00,0x00,0x00,0x70]
 210 #CHECK: vpkzr   %v0, %v0, %v0, 0, 15    # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x70]
 211 #CHECK: vpkzr   %v0, %v0, %v0, 255, 0   # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x70]
 212 #CHECK: vpkzr   %v0, %v0, %v31, 0, 0    # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x70]
 213 #CHECK: vpkzr   %v0, %v31, %v0, 0, 0    # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x70]
 214 #CHECK: vpkzr   %v31, %v0, %v0, 0, 0    # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x70]
 215 #CHECK: vpkzr   %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x70]
 216
 217         vpkzr   %v0, %v0, %v0, 0, 0
 218         vpkzr   %v0, %v0, %v0, 0, 15
 219         vpkzr   %v0, %v0, %v0, 255, 0
 220         vpkzr   %v0, %v0, %v31, 0, 0
 221         vpkzr   %v0, %v31, %v0, 0, 0
 222         vpkzr   %v31, %v0, %v0, 0, 0
 223         vpkzr   %v13, %v17, %v21, 0x79, 11
 224
 225 #CHECK: vschp   %v0, %v0, %v0, 0, 0     # encoding: [0xe6,0x00,0x00,0x00,0x00,0x74]
 226 #CHECK: vschp   %v0, %v0, %v0, 15, 0    # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x74]
 227 #CHECK: vschp   %v0, %v0, %v0, 0, 0     # encoding: [0xe6,0x00,0x00,0x00,0x00,0x74]
 228 #CHECK: vschp   %v0, %v0, %v0, 15, 0    # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x74]
 229 #CHECK: vschp   %v0, %v0, %v0, 0, 12    # encoding: [0xe6,0x00,0x00,0xc0,0x00,0x74]
 230 #CHECK: vschp   %v0, %v0, %v15, 0, 0    # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x74]
 231 #CHECK: vschp   %v0, %v0, %v31, 0, 0    # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x74]
 232 #CHECK: vschp   %v0, %v15, %v0, 0, 0    # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x74]
 233 #CHECK: vschp   %v0, %v31, %v0, 0, 0    # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x74]
 234 #CHECK: vschp   %v15, %v0, %v0, 0, 0    # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x74]
 235 #CHECK: vschp   %v31, %v0, %v0, 0, 0    # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x74]
 236 #CHECK: vschp   %v18, %v3, %v20, 11, 4  # encoding: [0xe6,0x23,0x40,0x40,0xba,0x74]
 237 #CHECK: vschp   %v18, %v3, %v20, 0, 15  # encoding: [0xe6,0x23,0x40,0xf0,0x0a,0x74]
 238
 239         vschp   %v0, %v0, %v0, 0, 0
 240         vschp   %v0, %v0, %v0, 15, 0
 241         vschp   %v0, %v0, %v0, 0, 0
 242         vschp   %v0, %v0, %v0, 15, 0
 243         vschp   %v0, %v0, %v0, 0, 12
 244         vschp   %v0, %v0, %v15, 0, 0
 245         vschp   %v0, %v0, %v31, 0, 0
 246         vschp   %v0, %v15, %v0, 0, 0
 247         vschp   %v0, %v31, %v0, 0, 0
 248         vschp   %v15, %v0, %v0, 0, 0
 249         vschp   %v31, %v0, %v0, 0, 0
 250         vschp   %v18, %v3, %v20, 11, 4
 251         vschp   %v18, %v3, %v20, 0, 15
 252
 253 #CHECK: vschsp  %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x20,0x74]
 254 #CHECK: vschsp  %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x20,0x74]
 255 #CHECK: vschsp  %v0, %v0, %v0, 12       # encoding: [0xe6,0x00,0x00,0xc0,0x20,0x74]
 256 #CHECK: vschsp  %v0, %v0, %v15, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x20,0x74]
 257 #CHECK: vschsp  %v0, %v0, %v31, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x22,0x74]
 258 #CHECK: vschsp  %v0, %v15, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x20,0x74]
 259 #CHECK: vschsp  %v0, %v31, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x24,0x74]
 260 #CHECK: vschsp  %v15, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x20,0x74]
 261 #CHECK: vschsp  %v31, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x28,0x74]
 262 #CHECK: vschsp  %v18, %v3, %v20, 0      # encoding: [0xe6,0x23,0x40,0x00,0x2a,0x74]
 263
 264         vschsp  %v0, %v0, %v0, 0
 265         vschsp  %v0, %v0, %v0, 0
 266         vschsp  %v0, %v0, %v0, 12
 267         vschsp  %v0, %v0, %v15, 0
 268         vschsp  %v0, %v0, %v31, 0
 269         vschsp  %v0, %v15, %v0, 0
 270         vschsp  %v0, %v31, %v0, 0
 271         vschsp  %v15, %v0, %v0, 0
 272         vschsp  %v31, %v0, %v0, 0
 273         vschsp  %v18, %v3, %v20, 0
 274
 275 #CHECK: vschdp  %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x30,0x74]
 276 #CHECK: vschdp  %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x30,0x74]
 277 #CHECK: vschdp  %v0, %v0, %v0, 12       # encoding: [0xe6,0x00,0x00,0xc0,0x30,0x74]
 278 #CHECK: vschdp  %v0, %v0, %v15, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x30,0x74]
 279 #CHECK: vschdp  %v0, %v0, %v31, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x32,0x74]
 280 #CHECK: vschdp  %v0, %v15, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x30,0x74]
 281 #CHECK: vschdp  %v0, %v31, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x34,0x74]
 282 #CHECK: vschdp  %v15, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x30,0x74]
 283 #CHECK: vschdp  %v31, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x38,0x74]
 284 #CHECK: vschdp  %v18, %v3, %v20, 0      # encoding: [0xe6,0x23,0x40,0x00,0x3a,0x74]
 285
 286         vschdp  %v0, %v0, %v0, 0
 287         vschdp  %v0, %v0, %v0, 0
 288         vschdp  %v0, %v0, %v0, 12
 289         vschdp  %v0, %v0, %v15, 0
 290         vschdp  %v0, %v0, %v31, 0
 291         vschdp  %v0, %v15, %v0, 0
 292         vschdp  %v0, %v31, %v0, 0
 293         vschdp  %v15, %v0, %v0, 0
 294         vschdp  %v31, %v0, %v0, 0
 295         vschdp  %v18, %v3, %v20, 0
 296
 297 #CHECK: vschxp  %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x40,0x74]
 298 #CHECK: vschxp  %v0, %v0, %v0, 0        # encoding: [0xe6,0x00,0x00,0x00,0x40,0x74]
 299 #CHECK: vschxp  %v0, %v0, %v0, 12       # encoding: [0xe6,0x00,0x00,0xc0,0x40,0x74]
 300 #CHECK: vschxp  %v0, %v0, %v15, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x40,0x74]
 301 #CHECK: vschxp  %v0, %v0, %v31, 0       # encoding: [0xe6,0x00,0xf0,0x00,0x42,0x74]
 302 #CHECK: vschxp  %v0, %v15, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x40,0x74]
 303 #CHECK: vschxp  %v0, %v31, %v0, 0       # encoding: [0xe6,0x0f,0x00,0x00,0x44,0x74]
 304 #CHECK: vschxp  %v15, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x40,0x74]
 305 #CHECK: vschxp  %v31, %v0, %v0, 0       # encoding: [0xe6,0xf0,0x00,0x00,0x48,0x74]
 306 #CHECK: vschxp  %v18, %v3, %v20, 0      # encoding: [0xe6,0x23,0x40,0x00,0x4a,0x74]
 307
 308         vschxp  %v0, %v0, %v0, 0
 309         vschxp  %v0, %v0, %v0, 0
 310         vschxp  %v0, %v0, %v0, 12
 311         vschxp  %v0, %v0, %v15, 0
 312         vschxp  %v0, %v0, %v31, 0
 313         vschxp  %v0, %v15, %v0, 0
 314         vschxp  %v0, %v31, %v0, 0
 315         vschxp  %v15, %v0, %v0, 0
 316         vschxp  %v31, %v0, %v0, 0
 317         vschxp  %v18, %v3, %v20, 0
 318
 319 #CHECK: vscshp  %v0, %v0, %v0           # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7c]
 320 #CHECK: vscshp  %v0, %v0, %v31          # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7c]
 321 #CHECK: vscshp  %v0, %v31, %v0          # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7c]
 322 #CHECK: vscshp  %v31, %v0, %v0          # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7c]
 323 #CHECK: vscshp  %v18, %v3, %v20         # encoding: [0xe6,0x23,0x40,0x00,0x0a,0x7c]
 324
 325         vscshp  %v0, %v0, %v0
 326         vscshp  %v0, %v0, %v31
 327         vscshp  %v0, %v31, %v0
 328         vscshp  %v31, %v0, %v0
 329         vscshp  %v18, %v3, %v20
 330
 331 #CHECK: vsrpr   %v0, %v0, %v0, 0, 0     # encoding: [0xe6,0x00,0x00,0x00,0x00,0x72]
 332 #CHECK: vsrpr   %v0, %v0, %v0, 0, 15    # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x72]
 333 #CHECK: vsrpr   %v0, %v0, %v0, 255, 0   # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x72]
 334 #CHECK: vsrpr   %v0, %v0, %v31, 0, 0    # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x72]
 335 #CHECK: vsrpr   %v0, %v31, %v0, 0, 0    # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x72]
 336 #CHECK: vsrpr   %v31, %v0, %v0, 0, 0    # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x72]
 337 #CHECK: vsrpr   %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x72]
 338
 339         vsrpr   %v0, %v0, %v0, 0, 0
 340         vsrpr   %v0, %v0, %v0, 0, 15
 341         vsrpr   %v0, %v0, %v0, 255, 0
 342         vsrpr   %v0, %v0, %v31, 0, 0
 343         vsrpr   %v0, %v31, %v0, 0, 0
 344         vsrpr   %v31, %v0, %v0, 0, 0
 345         vsrpr   %v13, %v17, %v21, 0x79, 11
 346
 347 #CHECK: vupkzh  %v0, %v0, 0             # encoding: [0xe6,0x00,0x00,0x00,0x00,0x54]
 348 #CHECK: vupkzh  %v0, %v0, 15            # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x54]
 349 #CHECK: vupkzh  %v0, %v15, 0            # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x54]
 350 #CHECK: vupkzh  %v0, %v31, 0            # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x54]
 351 #CHECK: vupkzh  %v15, %v0, 0            # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x54]
 352 #CHECK: vupkzh  %v31, %v0, 0            # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x54]
 353 #CHECK: vupkzh  %v18, %v3, 12           # encoding: [0xe6,0x23,0x00,0xc0,0x08,0x54]
 354
 355         vupkzh  %v0, %v0, 0
 356         vupkzh  %v0, %v0, 15
 357         vupkzh  %v0, %v15, 0
 358         vupkzh  %v0, %v31, 0
 359         vupkzh  %v15, %v0, 0
 360         vupkzh  %v31, %v0, 0
 361         vupkzh  %v18, %v3, 12
 362
 363 #CHECK: vupkzl  %v0, %v0, 0             # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5c]
 364 #CHECK: vupkzl  %v0, %v0, 15            # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5c]
 365 #CHECK: vupkzl  %v0, %v15, 0            # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5c]
 366 #CHECK: vupkzl  %v0, %v31, 0            # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5c]
 367 #CHECK: vupkzl  %v15, %v0, 0            # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5c]
 368 #CHECK: vupkzl  %v31, %v0, 0            # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5c]
 369 #CHECK: vupkzl  %v18, %v3, 12           # encoding: [0xe6,0x23,0x00,0xc0,0x08,0x5c]
 370
 371         vupkzl  %v0, %v0, 0
 372         vupkzl  %v0, %v0, 15
 373         vupkzl  %v0, %v15, 0
 374         vupkzl  %v0, %v31, 0
 375         vupkzl  %v15, %v0, 0
 376         vupkzl  %v31, %v0, 0
 377         vupkzl  %v18, %v3, 12