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