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: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
    829 #CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
    830 #CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
    831 #CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
    832 #CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
    833 #CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
    834 #CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
    835 #CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
    836 #CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
    837 #CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
    838 #CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
    839 #CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
    840 
    841 	loco   %r1,2(%r3)
    842 	loch   %r1,2(%r3)
    843 	locnle %r1,2(%r3)
    844 	locl   %r1,2(%r3)
    845 	locnhe %r1,2(%r3)
    846 	loclh  %r1,2(%r3)
    847 	locne  %r1,2(%r3)
    848 	loce   %r1,2(%r3)
    849 	locnlh %r1,2(%r3)
    850 	loche  %r1,2(%r3)
    851 	locnl  %r1,2(%r3)
    852 	locle  %r1,2(%r3)
    853 	locnh  %r1,2(%r3)
    854 	locno  %r1,2(%r3)
    855 
    856 #CHECK: locg	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
    857 #CHECK: locg	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
    858 #CHECK: locg	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
    859 #CHECK: locg	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
    860 #CHECK: locg	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
    861 #CHECK: locg	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
    862 #CHECK: locg	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
    863 #CHECK: locg	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
    864 
    865 	locg	%r0,0,0
    866 	locg	%r0,0,15
    867 	locg	%r0,-524288,0
    868 	locg	%r0,524287,0
    869 	locg	%r0,0(%r1),0
    870 	locg	%r0,0(%r15),0
    871 	locg	%r15,0,0
    872 	locg	%r1,4095(%r2),3
    873 
    874 #CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
    875 #CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
    876 #CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
    877 #CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
    878 #CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
    879 #CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
    880 #CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
    881 #CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
    882 #CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
    883 #CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
    884 #CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
    885 #CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
    886 #CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
    887 #CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
    888 
    889 	locgo   %r1,2(%r3)
    890 	locgh   %r1,2(%r3)
    891 	locgnle %r1,2(%r3)
    892 	locgl   %r1,2(%r3)
    893 	locgnhe %r1,2(%r3)
    894 	locglh  %r1,2(%r3)
    895 	locgne  %r1,2(%r3)
    896 	locge   %r1,2(%r3)
    897 	locgnlh %r1,2(%r3)
    898 	locghe  %r1,2(%r3)
    899 	locgnl  %r1,2(%r3)
    900 	locgle  %r1,2(%r3)
    901 	locgnh  %r1,2(%r3)
    902 	locgno  %r1,2(%r3)
    903 
    904 #CHECK: locgr	%r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
    905 #CHECK: locgr	%r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
    906 
    907 	locgr	%r1,%r2,0
    908 	locgr	%r1,%r2,15
    909 
    910 #CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
    911 #CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
    912 #CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
    913 #CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
    914 #CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
    915 #CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
    916 #CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
    917 #CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
    918 #CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
    919 #CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
    920 #CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
    921 #CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
    922 #CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
    923 #CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
    924 
    925 	locgro   %r1,%r3
    926 	locgrh   %r1,%r3
    927 	locgrnle %r1,%r3
    928 	locgrl   %r1,%r3
    929 	locgrnhe %r1,%r3
    930 	locgrlh  %r1,%r3
    931 	locgrne  %r1,%r3
    932 	locgre   %r1,%r3
    933 	locgrnlh %r1,%r3
    934 	locgrhe  %r1,%r3
    935 	locgrnl  %r1,%r3
    936 	locgrle  %r1,%r3
    937 	locgrnh  %r1,%r3
    938 	locgrno  %r1,%r3
    939 
    940 #CHECK: locr	%r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
    941 #CHECK: locr	%r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
    942 
    943 	locr	%r1,%r2,0
    944 	locr	%r1,%r2,15
    945 
    946 #CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
    947 #CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
    948 #CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
    949 #CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
    950 #CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
    951 #CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
    952 #CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
    953 #CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
    954 #CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
    955 #CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
    956 #CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
    957 #CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
    958 #CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
    959 #CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
    960 
    961 	locro   %r1,%r3
    962 	locrh   %r1,%r3
    963 	locrnle %r1,%r3
    964 	locrl   %r1,%r3
    965 	locrnhe %r1,%r3
    966 	locrlh  %r1,%r3
    967 	locrne  %r1,%r3
    968 	locre   %r1,%r3
    969 	locrnlh %r1,%r3
    970 	locrhe  %r1,%r3
    971 	locrnl  %r1,%r3
    972 	locrle  %r1,%r3
    973 	locrnh  %r1,%r3
    974 	locrno  %r1,%r3
    975 
    976 #CHECK: ngrk	%r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
    977 #CHECK: ngrk	%r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
    978 #CHECK: ngrk	%r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
    979 #CHECK: ngrk	%r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
    980 #CHECK: ngrk	%r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
    981 
    982 	ngrk	%r0,%r0,%r0
    983 	ngrk	%r0,%r0,%r15
    984 	ngrk	%r0,%r15,%r0
    985 	ngrk	%r15,%r0,%r0
    986 	ngrk	%r7,%r8,%r9
    987 
    988 #CHECK: nrk	%r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
    989 #CHECK: nrk	%r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
    990 #CHECK: nrk	%r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
    991 #CHECK: nrk	%r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
    992 #CHECK: nrk	%r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
    993 
    994 	nrk	%r0,%r0,%r0
    995 	nrk	%r0,%r0,%r15
    996 	nrk	%r0,%r15,%r0
    997 	nrk	%r15,%r0,%r0
    998 	nrk	%r7,%r8,%r9
    999 
   1000 #CHECK: ogrk	%r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
   1001 #CHECK: ogrk	%r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
   1002 #CHECK: ogrk	%r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
   1003 #CHECK: ogrk	%r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
   1004 #CHECK: ogrk	%r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
   1005 
   1006 	ogrk	%r0,%r0,%r0
   1007 	ogrk	%r0,%r0,%r15
   1008 	ogrk	%r0,%r15,%r0
   1009 	ogrk	%r15,%r0,%r0
   1010 	ogrk	%r7,%r8,%r9
   1011 
   1012 #CHECK: ork	%r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
   1013 #CHECK: ork	%r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
   1014 #CHECK: ork	%r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
   1015 #CHECK: ork	%r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
   1016 #CHECK: ork	%r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
   1017 
   1018 	ork	%r0,%r0,%r0
   1019 	ork	%r0,%r0,%r15
   1020 	ork	%r0,%r15,%r0
   1021 	ork	%r15,%r0,%r0
   1022 	ork	%r7,%r8,%r9
   1023 
   1024 #CHECK: popcnt	%r0, %r0                # encoding: [0xb9,0xe1,0x00,0x00]
   1025 #CHECK: popcnt	%r0, %r15               # encoding: [0xb9,0xe1,0x00,0x0f]
   1026 #CHECK: popcnt	%r15, %r0               # encoding: [0xb9,0xe1,0x00,0xf0]
   1027 #CHECK: popcnt	%r7, %r8                # encoding: [0xb9,0xe1,0x00,0x78]
   1028 
   1029 	popcnt	%r0,%r0
   1030 	popcnt	%r0,%r15
   1031 	popcnt	%r15,%r0
   1032 	popcnt	%r7,%r8
   1033 
   1034 #CHECK: risbhg	%r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
   1035 #CHECK: risbhg	%r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
   1036 #CHECK: risbhg	%r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
   1037 #CHECK: risbhg	%r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
   1038 #CHECK: risbhg	%r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
   1039 #CHECK: risbhg	%r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
   1040 #CHECK: risbhg	%r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
   1041 
   1042 	risbhg	%r0,%r0,0,0,0
   1043 	risbhg	%r0,%r0,0,0,63
   1044 	risbhg	%r0,%r0,0,255,0
   1045 	risbhg	%r0,%r0,255,0,0
   1046 	risbhg	%r0,%r15,0,0,0
   1047 	risbhg	%r15,%r0,0,0,0
   1048 	risbhg	%r4,%r5,6,7,8
   1049 
   1050 #CHECK: risblg	%r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
   1051 #CHECK: risblg	%r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
   1052 #CHECK: risblg	%r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
   1053 #CHECK: risblg	%r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
   1054 #CHECK: risblg	%r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
   1055 #CHECK: risblg	%r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
   1056 #CHECK: risblg	%r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
   1057 
   1058 	risblg	%r0,%r0,0,0,0
   1059 	risblg	%r0,%r0,0,0,63
   1060 	risblg	%r0,%r0,0,255,0
   1061 	risblg	%r0,%r0,255,0,0
   1062 	risblg	%r0,%r15,0,0,0
   1063 	risblg	%r15,%r0,0,0,0
   1064 	risblg	%r4,%r5,6,7,8
   1065 
   1066 #CHECK: sgrk	%r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
   1067 #CHECK: sgrk	%r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
   1068 #CHECK: sgrk	%r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
   1069 #CHECK: sgrk	%r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
   1070 #CHECK: sgrk	%r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
   1071 
   1072 	sgrk	%r0,%r0,%r0
   1073 	sgrk	%r0,%r0,%r15
   1074 	sgrk	%r0,%r15,%r0
   1075 	sgrk	%r15,%r0,%r0
   1076 	sgrk	%r7,%r8,%r9
   1077 
   1078 #CHECK: slgrk	%r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
   1079 #CHECK: slgrk	%r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
   1080 #CHECK: slgrk	%r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
   1081 #CHECK: slgrk	%r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
   1082 #CHECK: slgrk	%r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
   1083 
   1084 	slgrk	%r0,%r0,%r0
   1085 	slgrk	%r0,%r0,%r15
   1086 	slgrk	%r0,%r15,%r0
   1087 	slgrk	%r15,%r0,%r0
   1088 	slgrk	%r7,%r8,%r9
   1089 
   1090 #CHECK: slrk	%r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
   1091 #CHECK: slrk	%r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
   1092 #CHECK: slrk	%r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
   1093 #CHECK: slrk	%r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
   1094 #CHECK: slrk	%r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
   1095 
   1096 	slrk	%r0,%r0,%r0
   1097 	slrk	%r0,%r0,%r15
   1098 	slrk	%r0,%r15,%r0
   1099 	slrk	%r15,%r0,%r0
   1100 	slrk	%r7,%r8,%r9
   1101 
   1102 #CHECK: sllk	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
   1103 #CHECK: sllk	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
   1104 #CHECK: sllk	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
   1105 #CHECK: sllk	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
   1106 #CHECK: sllk	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
   1107 #CHECK: sllk	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
   1108 #CHECK: sllk	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
   1109 #CHECK: sllk	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
   1110 #CHECK: sllk	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
   1111 #CHECK: sllk	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
   1112 #CHECK: sllk	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
   1113 #CHECK: sllk	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
   1114 
   1115 	sllk	%r0,%r0,0
   1116 	sllk	%r15,%r1,0
   1117 	sllk	%r1,%r15,0
   1118 	sllk	%r15,%r15,0
   1119 	sllk	%r0,%r0,-524288
   1120 	sllk	%r0,%r0,-1
   1121 	sllk	%r0,%r0,1
   1122 	sllk	%r0,%r0,524287
   1123 	sllk	%r0,%r0,0(%r1)
   1124 	sllk	%r0,%r0,0(%r15)
   1125 	sllk	%r0,%r0,524287(%r1)
   1126 	sllk	%r0,%r0,524287(%r15)
   1127 
   1128 #CHECK: srak	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
   1129 #CHECK: srak	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
   1130 #CHECK: srak	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
   1131 #CHECK: srak	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
   1132 #CHECK: srak	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
   1133 #CHECK: srak	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
   1134 #CHECK: srak	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
   1135 #CHECK: srak	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
   1136 #CHECK: srak	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
   1137 #CHECK: srak	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
   1138 #CHECK: srak	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
   1139 #CHECK: srak	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
   1140 
   1141 	srak	%r0,%r0,0
   1142 	srak	%r15,%r1,0
   1143 	srak	%r1,%r15,0
   1144 	srak	%r15,%r15,0
   1145 	srak	%r0,%r0,-524288
   1146 	srak	%r0,%r0,-1
   1147 	srak	%r0,%r0,1
   1148 	srak	%r0,%r0,524287
   1149 	srak	%r0,%r0,0(%r1)
   1150 	srak	%r0,%r0,0(%r15)
   1151 	srak	%r0,%r0,524287(%r1)
   1152 	srak	%r0,%r0,524287(%r15)
   1153 
   1154 #CHECK: srk	%r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
   1155 #CHECK: srk	%r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
   1156 #CHECK: srk	%r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
   1157 #CHECK: srk	%r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
   1158 #CHECK: srk	%r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
   1159 
   1160 	srk	%r0,%r0,%r0
   1161 	srk	%r0,%r0,%r15
   1162 	srk	%r0,%r15,%r0
   1163 	srk	%r15,%r0,%r0
   1164 	srk	%r7,%r8,%r9
   1165 
   1166 #CHECK: srlk	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
   1167 #CHECK: srlk	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
   1168 #CHECK: srlk	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
   1169 #CHECK: srlk	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
   1170 #CHECK: srlk	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
   1171 #CHECK: srlk	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
   1172 #CHECK: srlk	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
   1173 #CHECK: srlk	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
   1174 #CHECK: srlk	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
   1175 #CHECK: srlk	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
   1176 #CHECK: srlk	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
   1177 #CHECK: srlk	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
   1178 
   1179 	srlk	%r0,%r0,0
   1180 	srlk	%r15,%r1,0
   1181 	srlk	%r1,%r15,0
   1182 	srlk	%r15,%r15,0
   1183 	srlk	%r0,%r0,-524288
   1184 	srlk	%r0,%r0,-1
   1185 	srlk	%r0,%r0,1
   1186 	srlk	%r0,%r0,524287
   1187 	srlk	%r0,%r0,0(%r1)
   1188 	srlk	%r0,%r0,0(%r15)
   1189 	srlk	%r0,%r0,524287(%r1)
   1190 	srlk	%r0,%r0,524287(%r15)
   1191 
   1192 #CHECK: stch	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc3]
   1193 #CHECK: stch	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc3]
   1194 #CHECK: stch	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc3]
   1195 #CHECK: stch	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc3]
   1196 #CHECK: stch	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc3]
   1197 #CHECK: stch	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc3]
   1198 #CHECK: stch	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc3]
   1199 #CHECK: stch	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc3]
   1200 #CHECK: stch	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc3]
   1201 #CHECK: stch	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc3]
   1202 
   1203 	stch	%r0, -524288
   1204 	stch	%r0, -1
   1205 	stch	%r0, 0
   1206 	stch	%r0, 1
   1207 	stch	%r0, 524287
   1208 	stch	%r0, 0(%r1)
   1209 	stch	%r0, 0(%r15)
   1210 	stch	%r0, 524287(%r1,%r15)
   1211 	stch	%r0, 524287(%r15,%r1)
   1212 	stch	%r15, 0
   1213 
   1214 #CHECK: sthh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc7]
   1215 #CHECK: sthh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc7]
   1216 #CHECK: sthh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc7]
   1217 #CHECK: sthh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc7]
   1218 #CHECK: sthh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc7]
   1219 #CHECK: sthh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc7]
   1220 #CHECK: sthh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc7]
   1221 #CHECK: sthh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc7]
   1222 #CHECK: sthh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc7]
   1223 #CHECK: sthh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc7]
   1224 
   1225 	sthh	%r0, -524288
   1226 	sthh	%r0, -1
   1227 	sthh	%r0, 0
   1228 	sthh	%r0, 1
   1229 	sthh	%r0, 524287
   1230 	sthh	%r0, 0(%r1)
   1231 	sthh	%r0, 0(%r15)
   1232 	sthh	%r0, 524287(%r1,%r15)
   1233 	sthh	%r0, 524287(%r15,%r1)
   1234 	sthh	%r15, 0
   1235 
   1236 #CHECK: stfh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcb]
   1237 #CHECK: stfh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcb]
   1238 #CHECK: stfh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcb]
   1239 #CHECK: stfh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcb]
   1240 #CHECK: stfh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcb]
   1241 #CHECK: stfh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcb]
   1242 #CHECK: stfh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcb]
   1243 #CHECK: stfh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcb]
   1244 #CHECK: stfh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcb]
   1245 #CHECK: stfh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcb]
   1246 
   1247 	stfh	%r0, -524288
   1248 	stfh	%r0, -1
   1249 	stfh	%r0, 0
   1250 	stfh	%r0, 1
   1251 	stfh	%r0, 524287
   1252 	stfh	%r0, 0(%r1)
   1253 	stfh	%r0, 0(%r15)
   1254 	stfh	%r0, 524287(%r1,%r15)
   1255 	stfh	%r0, 524287(%r15,%r1)
   1256 	stfh	%r15, 0
   1257 
   1258 #CHECK: stoc	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
   1259 #CHECK: stoc	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
   1260 #CHECK: stoc	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
   1261 #CHECK: stoc	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
   1262 #CHECK: stoc	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
   1263 #CHECK: stoc	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
   1264 #CHECK: stoc	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
   1265 #CHECK: stoc	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
   1266 
   1267 	stoc	%r0,0,0
   1268 	stoc	%r0,0,15
   1269 	stoc	%r0,-524288,0
   1270 	stoc	%r0,524287,0
   1271 	stoc	%r0,0(%r1),0
   1272 	stoc	%r0,0(%r15),0
   1273 	stoc	%r15,0,0
   1274 	stoc	%r1,4095(%r2),3
   1275 
   1276 #CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
   1277 #CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
   1278 #CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
   1279 #CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
   1280 #CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
   1281 #CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
   1282 #CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
   1283 #CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
   1284 #CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
   1285 #CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
   1286 #CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
   1287 #CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
   1288 #CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
   1289 #CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
   1290 
   1291 	stoco   %r1,2(%r3)
   1292 	stoch   %r1,2(%r3)
   1293 	stocnle %r1,2(%r3)
   1294 	stocl   %r1,2(%r3)
   1295 	stocnhe %r1,2(%r3)
   1296 	stoclh  %r1,2(%r3)
   1297 	stocne  %r1,2(%r3)
   1298 	stoce   %r1,2(%r3)
   1299 	stocnlh %r1,2(%r3)
   1300 	stoche  %r1,2(%r3)
   1301 	stocnl  %r1,2(%r3)
   1302 	stocle  %r1,2(%r3)
   1303 	stocnh  %r1,2(%r3)
   1304 	stocno  %r1,2(%r3)
   1305 
   1306 #CHECK: stocg	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
   1307 #CHECK: stocg	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
   1308 #CHECK: stocg	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
   1309 #CHECK: stocg	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
   1310 #CHECK: stocg	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
   1311 #CHECK: stocg	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
   1312 #CHECK: stocg	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
   1313 #CHECK: stocg	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
   1314 
   1315 	stocg	%r0,0,0
   1316 	stocg	%r0,0,15
   1317 	stocg	%r0,-524288,0
   1318 	stocg	%r0,524287,0
   1319 	stocg	%r0,0(%r1),0
   1320 	stocg	%r0,0(%r15),0
   1321 	stocg	%r15,0,0
   1322 	stocg	%r1,4095(%r2),3
   1323 
   1324 #CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
   1325 #CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
   1326 #CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
   1327 #CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
   1328 #CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
   1329 #CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
   1330 #CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
   1331 #CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
   1332 #CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
   1333 #CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
   1334 #CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
   1335 #CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
   1336 #CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
   1337 #CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
   1338 
   1339 	stocgo   %r1,2(%r3)
   1340 	stocgh   %r1,2(%r3)
   1341 	stocgnle %r1,2(%r3)
   1342 	stocgl   %r1,2(%r3)
   1343 	stocgnhe %r1,2(%r3)
   1344 	stocglh  %r1,2(%r3)
   1345 	stocgne  %r1,2(%r3)
   1346 	stocge   %r1,2(%r3)
   1347 	stocgnlh %r1,2(%r3)
   1348 	stocghe  %r1,2(%r3)
   1349 	stocgnl  %r1,2(%r3)
   1350 	stocgle  %r1,2(%r3)
   1351 	stocgnh  %r1,2(%r3)
   1352 	stocgno  %r1,2(%r3)
   1353 
   1354 #CHECK: xgrk	%r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
   1355 #CHECK: xgrk	%r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
   1356 #CHECK: xgrk	%r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
   1357 #CHECK: xgrk	%r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
   1358 #CHECK: xgrk	%r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
   1359 
   1360 	xgrk	%r0,%r0,%r0
   1361 	xgrk	%r0,%r0,%r15
   1362 	xgrk	%r0,%r15,%r0
   1363 	xgrk	%r15,%r0,%r0
   1364 	xgrk	%r7,%r8,%r9
   1365 
   1366 #CHECK: xrk	%r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
   1367 #CHECK: xrk	%r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
   1368 #CHECK: xrk	%r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
   1369 #CHECK: xrk	%r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
   1370 #CHECK: xrk	%r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
   1371 
   1372 	xrk	%r0,%r0,%r0
   1373 	xrk	%r0,%r0,%r15
   1374 	xrk	%r0,%r15,%r0
   1375 	xrk	%r15,%r0,%r0
   1376 	xrk	%r7,%r8,%r9
   1377