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

   1 # For zEC12 and above.
   2 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=zEC12 -show-encoding %s | FileCheck %s
   3 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=arch10 -show-encoding %s | FileCheck %s
   4
   5 #CHECK: bpp     0, .[[LAB:L.*]]-65536, 0   # encoding: [0xc7,0x00,0x00,0x00,A,A]
   6 #CHECK: fixup A - offset: 4, value: (.[[LAB]]-65536)+4, kind: FK_390_PC16DBL
   7         bpp     0, -0x10000, 0
   8 #CHECK: bpp     0, .[[LAB:L.*]]-2, 0       # encoding: [0xc7,0x00,0x00,0x00,A,A]
   9 #CHECK: fixup A - offset: 4, value: (.[[LAB]]-2)+4, kind: FK_390_PC16DBL
  10         bpp     0, -2, 0
  11 #CHECK: bpp     0, .[[LAB:L.*]], 0         # encoding: [0xc7,0x00,0x00,0x00,A,A]
  12 #CHECK: fixup A - offset: 4, value: .[[LAB]]+4, kind: FK_390_PC16DBL
  13         bpp    0, 0, 0
  14 #CHECK: bpp     0, .[[LAB:L.*]]+65534, 0   # encoding: [0xc7,0x00,0x00,0x00,A,A]
  15 #CHECK: fixup A - offset: 4, value: (.[[LAB]]+65534)+4, kind: FK_390_PC16DBL
  16         bpp     0, 0xfffe, 0
  17
  18 #CHECK: bpp     0, foo, 4095(%r3)          # encoding: [0xc7,0x00,0x3f,0xff,A,A]
  19 #CHECK: fixup A - offset: 4, value: foo+4, kind: FK_390_PC16DBL
  20 #CHECK: bpp     15, foo, 1(%r11)           # encoding: [0xc7,0xf0,0xb0,0x01,A,A]
  21 #CHECK: fixup A - offset: 4, value: foo+4, kind: FK_390_PC16DBL
  22
  23         bpp     0, foo, 4095(%r3)
  24         bpp     15, foo, 1(%r11)
  25
  26 #CHECK: bpp     3, bar+100, 4095           # encoding: [0xc7,0x30,0x0f,0xff,A,A]
  27 #CHECK: fixup A - offset: 4, value: (bar+100)+4, kind: FK_390_PC16DBL
  28 #CHECK: bpp     4, bar+100, 1              # encoding: [0xc7,0x40,0x00,0x01,A,A]
  29 #CHECK: fixup A - offset: 4, value: (bar+100)+4, kind: FK_390_PC16DBL
  30
  31         bpp     3, bar+100, 4095
  32         bpp     4, bar+100, 1
  33
  34 #CHECK: bpp     7, frob@PLT, 0              # encoding: [0xc7,0x70,0x00,0x00,A,A]
  35 #CHECK: fixup A - offset: 4, value: frob@PLT+4, kind: FK_390_PC16DBL
  36 #CHECK: bpp     8, frob@PLT, 0              # encoding: [0xc7,0x80,0x00,0x00,A,A]
  37 #CHECK: fixup A - offset: 4, value: frob@PLT+4, kind: FK_390_PC16DBL
  38
  39         bpp     7, frob@PLT, 0
  40         bpp     8, frob@PLT, 0
  41
  42 #CHECK: bprp    0, .[[LABA:L.*]]-4096, .[[LABB:L.*]]      # encoding: [0xc5,0b0000AAAA,A,B,B,B]
  43 #CHECK: fixup A - offset: 1, value: (.[[LABA]]-4096)+1, kind: FK_390_PC12DBL
  44 #CHECK: fixup B - offset: 3, value: .[[LABB]]+3, kind: FK_390_PC24DBL
  45         bprp    0, -0x1000, 0
  46 #CHECK: bprp    0, .[[LABA:L.*]]-2, .[[LABB:L.*]]         # encoding: [0xc5,0b0000AAAA,A,B,B,B]
  47 #CHECK: fixup A - offset: 1, value: (.[[LABA]]-2)+1, kind: FK_390_PC12DBL
  48 #CHECK: fixup B - offset: 3, value: .[[LABB]]+3, kind: FK_390_PC24DBL
  49         bprp    0, -2, 0
  50 #CHECK: bprp    0, .[[LABA:L.*]], .[[LABB:L.*]]           # encoding: [0xc5,0b0000AAAA,A,B,B,B]
  51 #CHECK: fixup A - offset: 1, value: .[[LABA]]+1, kind: FK_390_PC12DBL
  52 #CHECK: fixup B - offset: 3, value: .[[LABB]]+3, kind: FK_390_PC24DBL
  53         bprp    0, 0, 0
  54 #CHECK: bprp    0, .[[LABA:L.*]]+4094, .[[LABB:L.*]]      # encoding: [0xc5,0b0000AAAA,A,B,B,B]
  55 #CHECK: fixup A - offset: 1, value: (.[[LABA]]+4094)+1, kind: FK_390_PC12DBL
  56 #CHECK: fixup B - offset: 3, value: .[[LABB]]+3, kind: FK_390_PC24DBL
  57         bprp    0, 0xffe, 0
  58 #CHECK: bprp    15, .[[LABA:L.*]], .[[LABB:L.*]]-16777216 # encoding: [0xc5,0b1111AAAA,A,B,B,B]
  59 #CHECK: fixup A - offset: 1, value: .[[LABA]]+1, kind: FK_390_PC12DBL
  60 #CHECK: fixup B - offset: 3, value: (.[[LABB]]-16777216)+3, kind: FK_390_PC24DBL
  61         bprp    15, 0, -0x1000000
  62 #CHECK: bprp    15, .[[LABA:L.*]], .[[LABB:L.*]]-2        # encoding: [0xc5,0b1111AAAA,A,B,B,B]
  63 #CHECK: fixup A - offset: 1, value: .[[LABA]]+1, kind: FK_390_PC12DBL
  64 #CHECK: fixup B - offset: 3, value: (.[[LABB]]-2)+3, kind: FK_390_PC24DBL
  65         bprp    15, 0, -2
  66 #CHECK: bprp    15, .[[LABA:L.*]], .[[LABB:L.*]]          # encoding: [0xc5,0b1111AAAA,A,B,B,B]
  67 #CHECK: fixup A - offset: 1, value: .[[LABA]]+1, kind: FK_390_PC12DBL
  68 #CHECK: fixup B - offset: 3, value: .[[LABB]]+3, kind: FK_390_PC24DBL
  69         bprp    15, 0, 0
  70 #CHECK: bprp    15, .[[LABA:L.*]], .[[LABB:L.*]]+16777214 # encoding: [0xc5,0b1111AAAA,A,B,B,B]
  71 #CHECK: fixup A - offset: 1, value: .[[LABA]]+1, kind: FK_390_PC12DBL
  72 #CHECK: fixup B - offset: 3, value: (.[[LABB]]+16777214)+3, kind: FK_390_PC24DBL
  73         bprp    15, 0, 0xfffffe
  74
  75 #CHECK: bprp    1, branch, target           # encoding: [0xc5,0b0001AAAA,A,B,B,B]
  76 #CHECK: fixup A - offset: 1, value: branch+1, kind: FK_390_PC12DBL
  77 #CHECK: fixup B - offset: 3, value: target+3, kind: FK_390_PC24DBL
  78 #CHECK: bprp    2, branch, target           # encoding: [0xc5,0b0010AAAA,A,B,B,B]
  79 #CHECK: fixup A - offset: 1, value: branch+1, kind: FK_390_PC12DBL
  80 #CHECK: fixup B - offset: 3, value: target+3, kind: FK_390_PC24DBL
  81 #CHECK: bprp    3, branch, target           # encoding: [0xc5,0b0011AAAA,A,B,B,B]
  82 #CHECK: fixup A - offset: 1, value: branch+1, kind: FK_390_PC12DBL
  83 #CHECK: fixup B - offset: 3, value: target+3, kind: FK_390_PC24DBL
  84
  85         bprp    1, branch, target
  86         bprp    2, branch, target
  87         bprp    3, branch, target
  88
  89 #CHECK: bprp    4, branch+100, target       # encoding: [0xc5,0b0100AAAA,A,B,B,B]
  90 #CHECK: fixup A - offset: 1, value: (branch+100)+1, kind: FK_390_PC12DBL
  91 #CHECK: fixup B - offset: 3, value: target+3, kind: FK_390_PC24DBL
  92 #CHECK: bprp    5, branch, target+100       # encoding: [0xc5,0b0101AAAA,A,B,B,B]
  93 #CHECK: fixup A - offset: 1, value: branch+1, kind: FK_390_PC12DBL
  94 #CHECK: fixup B - offset: 3, value: (target+100)+3, kind: FK_390_PC24DBL
  95 #CHECK: bprp    6, branch+100, target+100   # encoding: [0xc5,0b0110AAAA,A,B,B,B]
  96 #CHECK: fixup A - offset: 1, value: (branch+100)+1, kind: FK_390_PC12DBL
  97 #CHECK: fixup B - offset: 3, value: (target+100)+3, kind: FK_390_PC24DBL
  98
  99         bprp    4, branch+100, target
 100         bprp    5, branch, target+100
 101         bprp    6, branch+100, target+100
 102
 103 #CHECK: bprp    7, branch@PLT, target       # encoding: [0xc5,0b0111AAAA,A,B,B,B]
 104 #CHECK: fixup A - offset: 1, value: branch@PLT+1, kind: FK_390_PC12DBL
 105 #CHECK: fixup B - offset: 3, value: target+3, kind: FK_390_PC24DBL
 106 #CHECK: bprp    8, branch, target@PLT       # encoding: [0xc5,0b1000AAAA,A,B,B,B]
 107 #CHECK: fixup A - offset: 1, value: branch+1, kind: FK_390_PC12DBL
 108 #CHECK: fixup B - offset: 3, value: target@PLT+3, kind: FK_390_PC24DBL
 109 #CHECK: bprp    9, branch@PLT, target@PLT   # encoding: [0xc5,0b1001AAAA,A,B,B,B]
 110 #CHECK: fixup A - offset: 1, value: branch@PLT+1, kind: FK_390_PC12DBL
 111 #CHECK: fixup B - offset: 3, value: target@PLT+3, kind: FK_390_PC24DBL
 112
 113         bprp    7, branch@plt, target
 114         bprp    8, branch, target@plt
 115         bprp    9, branch@plt, target@plt
 116
 117 #CHECK: cdzt    %f0, 0(1), 0                # encoding: [0xed,0x00,0x00,0x00,0x00,0xaa]
 118 #CHECK: cdzt    %f15, 0(1), 0               # encoding: [0xed,0x00,0x00,0x00,0xf0,0xaa]
 119 #CHECK: cdzt    %f0, 0(1), 15               # encoding: [0xed,0x00,0x00,0x00,0x0f,0xaa]
 120 #CHECK: cdzt    %f0, 0(1,%r1), 0            # encoding: [0xed,0x00,0x10,0x00,0x00,0xaa]
 121 #CHECK: cdzt    %f0, 0(1,%r15), 0           # encoding: [0xed,0x00,0xf0,0x00,0x00,0xaa]
 122 #CHECK: cdzt    %f0, 4095(1,%r1), 0         # encoding: [0xed,0x00,0x1f,0xff,0x00,0xaa]
 123 #CHECK: cdzt    %f0, 4095(1,%r15), 0        # encoding: [0xed,0x00,0xff,0xff,0x00,0xaa]
 124 #CHECK: cdzt    %f0, 0(256,%r1), 0          # encoding: [0xed,0xff,0x10,0x00,0x00,0xaa]
 125 #CHECK: cdzt    %f0, 0(256,%r15), 0         # encoding: [0xed,0xff,0xf0,0x00,0x00,0xaa]
 126
 127         cdzt    %f0, 0(1), 0
 128         cdzt    %f15, 0(1), 0
 129         cdzt    %f0, 0(1), 15
 130         cdzt    %f0, 0(1,%r1), 0
 131         cdzt    %f0, 0(1,%r15), 0
 132         cdzt    %f0, 4095(1,%r1), 0
 133         cdzt    %f0, 4095(1,%r15), 0
 134         cdzt    %f0, 0(256,%r1), 0
 135         cdzt    %f0, 0(256,%r15), 0
 136
 137 #CHECK: clt     %r0, 12, -524288            # encoding: [0xeb,0x0c,0x00,0x00,0x80,0x23]
 138 #CHECK: clt     %r0, 12, -1                 # encoding: [0xeb,0x0c,0x0f,0xff,0xff,0x23]
 139 #CHECK: clt     %r0, 12, 0                  # encoding: [0xeb,0x0c,0x00,0x00,0x00,0x23]
 140 #CHECK: clt     %r0, 12, 1                  # encoding: [0xeb,0x0c,0x00,0x01,0x00,0x23]
 141 #CHECK: clt     %r0, 12, 524287             # encoding: [0xeb,0x0c,0x0f,0xff,0x7f,0x23]
 142 #CHECK: clt     %r0, 12, 0(%r1)             # encoding: [0xeb,0x0c,0x10,0x00,0x00,0x23]
 143 #CHECK: clt     %r0, 12, 0(%r15)            # encoding: [0xeb,0x0c,0xf0,0x00,0x00,0x23]
 144 #CHECK: clt     %r0, 12, 12345(%r6)         # encoding: [0xeb,0x0c,0x60,0x39,0x03,0x23]
 145 #CHECK: clt     %r15, 12, 0                 # encoding: [0xeb,0xfc,0x00,0x00,0x00,0x23]
 146 #CHECK: clth    %r0, 0(%r15)                # encoding: [0xeb,0x02,0xf0,0x00,0x00,0x23]
 147 #CHECK: cltl    %r0, 0(%r15)                # encoding: [0xeb,0x04,0xf0,0x00,0x00,0x23]
 148 #CHECK: clte    %r0, 0(%r15)                # encoding: [0xeb,0x08,0xf0,0x00,0x00,0x23]
 149 #CHECK: cltne   %r0, 0(%r15)                # encoding: [0xeb,0x06,0xf0,0x00,0x00,0x23]
 150 #CHECK: cltnl   %r0, 0(%r15)                # encoding: [0xeb,0x0a,0xf0,0x00,0x00,0x23]
 151 #CHECK: cltnh   %r0, 0(%r15)                # encoding: [0xeb,0x0c,0xf0,0x00,0x00,0x23]
 152 #CHECK: cltnle  %r0, 0(%r15)                # encoding: [0xeb,0x02,0xf0,0x00,0x00,0x23]
 153 #CHECK: cltnhe  %r0, 0(%r15)                # encoding: [0xeb,0x04,0xf0,0x00,0x00,0x23]
 154 #CHECK: cltnlh  %r0, 0(%r15)                # encoding: [0xeb,0x08,0xf0,0x00,0x00,0x23]
 155 #CHECK: cltlh   %r0, 0(%r15)                # encoding: [0xeb,0x06,0xf0,0x00,0x00,0x23]
 156 #CHECK: clthe   %r0, 0(%r15)                # encoding: [0xeb,0x0a,0xf0,0x00,0x00,0x23]
 157 #CHECK: cltle   %r0, 0(%r15)                # encoding: [0xeb,0x0c,0xf0,0x00,0x00,0x23]
 158
 159         clt     %r0, 12, -524288
 160         clt     %r0, 12, -1
 161         clt     %r0, 12, 0
 162         clt     %r0, 12, 1
 163         clt     %r0, 12, 524287
 164         clt     %r0, 12, 0(%r1)
 165         clt     %r0, 12, 0(%r15)
 166         clt     %r0, 12, 12345(%r6)
 167         clt     %r15, 12, 0
 168         clth    %r0, 0(%r15)
 169         cltl    %r0, 0(%r15)
 170         clte    %r0, 0(%r15)
 171         cltne   %r0, 0(%r15)
 172         cltnl   %r0, 0(%r15)
 173         cltnh   %r0, 0(%r15)
 174         cltnle  %r0, 0(%r15)
 175         cltnhe  %r0, 0(%r15)
 176         cltnlh  %r0, 0(%r15)
 177         cltlh   %r0, 0(%r15)
 178         clthe   %r0, 0(%r15)
 179         cltle   %r0, 0(%r15)
 180
 181 #CHECK: clgt    %r0, 12, -524288            # encoding: [0xeb,0x0c,0x00,0x00,0x80,0x2b]
 182 #CHECK: clgt    %r0, 12, -1                 # encoding: [0xeb,0x0c,0x0f,0xff,0xff,0x2b]
 183 #CHECK: clgt    %r0, 12, 0                  # encoding: [0xeb,0x0c,0x00,0x00,0x00,0x2b]
 184 #CHECK: clgt    %r0, 12, 1                  # encoding: [0xeb,0x0c,0x00,0x01,0x00,0x2b]
 185 #CHECK: clgt    %r0, 12, 524287             # encoding: [0xeb,0x0c,0x0f,0xff,0x7f,0x2b]
 186 #CHECK: clgt    %r0, 12, 0(%r1)             # encoding: [0xeb,0x0c,0x10,0x00,0x00,0x2b]
 187 #CHECK: clgt    %r0, 12, 0(%r15)            # encoding: [0xeb,0x0c,0xf0,0x00,0x00,0x2b]
 188 #CHECK: clgt    %r0, 12, 12345(%r6)         # encoding: [0xeb,0x0c,0x60,0x39,0x03,0x2b]
 189 #CHECK: clgt    %r15, 12, 0                 # encoding: [0xeb,0xfc,0x00,0x00,0x00,0x2b]
 190 #CHECK: clgth   %r0, 0(%r15)                # encoding: [0xeb,0x02,0xf0,0x00,0x00,0x2b]
 191 #CHECK: clgtl   %r0, 0(%r15)                # encoding: [0xeb,0x04,0xf0,0x00,0x00,0x2b]
 192 #CHECK: clgte   %r0, 0(%r15)                # encoding: [0xeb,0x08,0xf0,0x00,0x00,0x2b]
 193 #CHECK: clgtne  %r0, 0(%r15)                # encoding: [0xeb,0x06,0xf0,0x00,0x00,0x2b]
 194 #CHECK: clgtnl  %r0, 0(%r15)                # encoding: [0xeb,0x0a,0xf0,0x00,0x00,0x2b]
 195 #CHECK: clgtnh  %r0, 0(%r15)                # encoding: [0xeb,0x0c,0xf0,0x00,0x00,0x2b]
 196 #CHECK: clgtnle %r0, 0(%r15)                # encoding: [0xeb,0x02,0xf0,0x00,0x00,0x2b]
 197 #CHECK: clgtnhe %r0, 0(%r15)                # encoding: [0xeb,0x04,0xf0,0x00,0x00,0x2b]
 198 #CHECK: clgtnlh %r0, 0(%r15)                # encoding: [0xeb,0x08,0xf0,0x00,0x00,0x2b]
 199 #CHECK: clgtlh  %r0, 0(%r15)                # encoding: [0xeb,0x06,0xf0,0x00,0x00,0x2b]
 200 #CHECK: clgthe  %r0, 0(%r15)                # encoding: [0xeb,0x0a,0xf0,0x00,0x00,0x2b]
 201 #CHECK: clgtle  %r0, 0(%r15)                # encoding: [0xeb,0x0c,0xf0,0x00,0x00,0x2b]
 202
 203         clgt    %r0, 12, -524288
 204         clgt    %r0, 12, -1
 205         clgt    %r0, 12, 0
 206         clgt    %r0, 12, 1
 207         clgt    %r0, 12, 524287
 208         clgt    %r0, 12, 0(%r1)
 209         clgt    %r0, 12, 0(%r15)
 210         clgt    %r0, 12, 12345(%r6)
 211         clgt    %r15, 12, 0
 212         clgth   %r0, 0(%r15)
 213         clgtl   %r0, 0(%r15)
 214         clgte   %r0, 0(%r15)
 215         clgtne  %r0, 0(%r15)
 216         clgtnl  %r0, 0(%r15)
 217         clgtnh  %r0, 0(%r15)
 218         clgtnle %r0, 0(%r15)
 219         clgtnhe %r0, 0(%r15)
 220         clgtnlh %r0, 0(%r15)
 221         clgtlh  %r0, 0(%r15)
 222         clgthe  %r0, 0(%r15)
 223         clgtle  %r0, 0(%r15)
 224
 225 #CHECK: crdte   %r0, %r0, %r0               # encoding: [0xb9,0x8f,0x00,0x00]
 226 #CHECK: crdte   %r0, %r0, %r14              # encoding: [0xb9,0x8f,0x00,0x0e]
 227 #CHECK: crdte   %r0, %r15, %r0              # encoding: [0xb9,0x8f,0xf0,0x00]
 228 #CHECK: crdte   %r14, %r0, %r0              # encoding: [0xb9,0x8f,0x00,0xe0]
 229 #CHECK: crdte   %r0, %r0, %r0, 15           # encoding: [0xb9,0x8f,0x0f,0x00]
 230 #CHECK: crdte   %r4, %r5, %r6, 7            # encoding: [0xb9,0x8f,0x57,0x46]
 231
 232         crdte   %r0, %r0, %r0
 233         crdte   %r0, %r0, %r14
 234         crdte   %r0, %r15, %r0
 235         crdte   %r14, %r0, %r0
 236         crdte   %r0, %r0, %r0, 15
 237         crdte   %r4, %r5, %r6, 7
 238
 239 #CHECK: cxzt    %f0, 0(1), 0                # encoding: [0xed,0x00,0x00,0x00,0x00,0xab]
 240 #CHECK: cxzt    %f13, 0(1), 0               # encoding: [0xed,0x00,0x00,0x00,0xd0,0xab]
 241 #CHECK: cxzt    %f0, 0(1), 15               # encoding: [0xed,0x00,0x00,0x00,0x0f,0xab]
 242 #CHECK: cxzt    %f0, 0(1,%r1), 0            # encoding: [0xed,0x00,0x10,0x00,0x00,0xab]
 243 #CHECK: cxzt    %f0, 0(1,%r15), 0           # encoding: [0xed,0x00,0xf0,0x00,0x00,0xab]
 244 #CHECK: cxzt    %f0, 4095(1,%r1), 0         # encoding: [0xed,0x00,0x1f,0xff,0x00,0xab]
 245 #CHECK: cxzt    %f0, 4095(1,%r15), 0        # encoding: [0xed,0x00,0xff,0xff,0x00,0xab]
 246 #CHECK: cxzt    %f0, 0(256,%r1), 0          # encoding: [0xed,0xff,0x10,0x00,0x00,0xab]
 247 #CHECK: cxzt    %f0, 0(256,%r15), 0         # encoding: [0xed,0xff,0xf0,0x00,0x00,0xab]
 248
 249         cxzt    %f0, 0(1), 0
 250         cxzt    %f13, 0(1), 0
 251         cxzt    %f0, 0(1), 15
 252         cxzt    %f0, 0(1,%r1), 0
 253         cxzt    %f0, 0(1,%r15), 0
 254         cxzt    %f0, 4095(1,%r1), 0
 255         cxzt    %f0, 4095(1,%r15), 0
 256         cxzt    %f0, 0(256,%r1), 0
 257         cxzt    %f0, 0(256,%r15), 0
 258
 259 #CHECK: czdt    %f0, 0(1), 0                # encoding: [0xed,0x00,0x00,0x00,0x00,0xa8]
 260 #CHECK: czdt    %f15, 0(1), 0               # encoding: [0xed,0x00,0x00,0x00,0xf0,0xa8]
 261 #CHECK: czdt    %f0, 0(1), 15               # encoding: [0xed,0x00,0x00,0x00,0x0f,0xa8]
 262 #CHECK: czdt    %f0, 0(1,%r1), 0            # encoding: [0xed,0x00,0x10,0x00,0x00,0xa8]
 263 #CHECK: czdt    %f0, 0(1,%r15), 0           # encoding: [0xed,0x00,0xf0,0x00,0x00,0xa8]
 264 #CHECK: czdt    %f0, 4095(1,%r1), 0         # encoding: [0xed,0x00,0x1f,0xff,0x00,0xa8]
 265 #CHECK: czdt    %f0, 4095(1,%r15), 0        # encoding: [0xed,0x00,0xff,0xff,0x00,0xa8]
 266 #CHECK: czdt    %f0, 0(256,%r1), 0          # encoding: [0xed,0xff,0x10,0x00,0x00,0xa8]
 267 #CHECK: czdt    %f0, 0(256,%r15), 0         # encoding: [0xed,0xff,0xf0,0x00,0x00,0xa8]
 268
 269         czdt    %f0, 0(1), 0
 270         czdt    %f15, 0(1), 0
 271         czdt    %f0, 0(1), 15
 272         czdt    %f0, 0(1,%r1), 0
 273         czdt    %f0, 0(1,%r15), 0
 274         czdt    %f0, 4095(1,%r1), 0
 275         czdt    %f0, 4095(1,%r15), 0
 276         czdt    %f0, 0(256,%r1), 0
 277         czdt    %f0, 0(256,%r15), 0
 278
 279 #CHECK: czxt    %f0, 0(1), 0                # encoding: [0xed,0x00,0x00,0x00,0x00,0xa9]
 280 #CHECK: czxt    %f13, 0(1), 0               # encoding: [0xed,0x00,0x00,0x00,0xd0,0xa9]
 281 #CHECK: czxt    %f0, 0(1), 15               # encoding: [0xed,0x00,0x00,0x00,0x0f,0xa9]
 282 #CHECK: czxt    %f0, 0(1,%r1), 0            # encoding: [0xed,0x00,0x10,0x00,0x00,0xa9]
 283 #CHECK: czxt    %f0, 0(1,%r15), 0           # encoding: [0xed,0x00,0xf0,0x00,0x00,0xa9]
 284 #CHECK: czxt    %f0, 4095(1,%r1), 0         # encoding: [0xed,0x00,0x1f,0xff,0x00,0xa9]
 285 #CHECK: czxt    %f0, 4095(1,%r15), 0        # encoding: [0xed,0x00,0xff,0xff,0x00,0xa9]
 286 #CHECK: czxt    %f0, 0(256,%r1), 0          # encoding: [0xed,0xff,0x10,0x00,0x00,0xa9]
 287 #CHECK: czxt    %f0, 0(256,%r15), 0         # encoding: [0xed,0xff,0xf0,0x00,0x00,0xa9]
 288
 289         czxt    %f0, 0(1), 0
 290         czxt    %f13, 0(1), 0
 291         czxt    %f0, 0(1), 15
 292         czxt    %f0, 0(1,%r1), 0
 293         czxt    %f0, 0(1,%r15), 0
 294         czxt    %f0, 4095(1,%r1), 0
 295         czxt    %f0, 4095(1,%r15), 0
 296         czxt    %f0, 0(256,%r1), 0
 297         czxt    %f0, 0(256,%r15), 0
 298
 299 #CHECK: etnd    %r0                     # encoding: [0xb2,0xec,0x00,0x00]
 300 #CHECK: etnd    %r15                    # encoding: [0xb2,0xec,0x00,0xf0]
 301 #CHECK: etnd    %r7                     # encoding: [0xb2,0xec,0x00,0x70]
 302
 303         etnd    %r0
 304         etnd    %r15
 305         etnd    %r7
 306
 307 #CHECK: lat     %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0x9f]
 308 #CHECK: lat     %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x9f]
 309 #CHECK: lat     %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0x9f]
 310 #CHECK: lat     %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0x9f]
 311 #CHECK: lat     %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x9f]
 312 #CHECK: lat     %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0x9f]
 313 #CHECK: lat     %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x9f]
 314 #CHECK: lat     %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x9f]
 315 #CHECK: lat     %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x9f]
 316 #CHECK: lat     %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x9f]
 317
 318         lat     %r0, -524288
 319         lat     %r0, -1
 320         lat     %r0, 0
 321         lat     %r0, 1
 322         lat     %r0, 524287
 323         lat     %r0, 0(%r1)
 324         lat     %r0, 0(%r15)
 325         lat     %r0, 524287(%r1,%r15)
 326         lat     %r0, 524287(%r15,%r1)
 327         lat     %r15, 0
 328
 329 #CHECK: lfhat   %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc8]
 330 #CHECK: lfhat   %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc8]
 331 #CHECK: lfhat   %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc8]
 332 #CHECK: lfhat   %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc8]
 333 #CHECK: lfhat   %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc8]
 334 #CHECK: lfhat   %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc8]
 335 #CHECK: lfhat   %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc8]
 336 #CHECK: lfhat   %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc8]
 337 #CHECK: lfhat   %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc8]
 338 #CHECK: lfhat   %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc8]
 339
 340         lfhat   %r0, -524288
 341         lfhat   %r0, -1
 342         lfhat   %r0, 0
 343         lfhat   %r0, 1
 344         lfhat   %r0, 524287
 345         lfhat   %r0, 0(%r1)
 346         lfhat   %r0, 0(%r15)
 347         lfhat   %r0, 524287(%r1,%r15)
 348         lfhat   %r0, 524287(%r15,%r1)
 349         lfhat   %r15, 0
 350
 351 #CHECK: lgat    %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0x85]
 352 #CHECK: lgat    %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x85]
 353 #CHECK: lgat    %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0x85]
 354 #CHECK: lgat    %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0x85]
 355 #CHECK: lgat    %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x85]
 356 #CHECK: lgat    %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0x85]
 357 #CHECK: lgat    %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x85]
 358 #CHECK: lgat    %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x85]
 359 #CHECK: lgat    %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x85]
 360 #CHECK: lgat    %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x85]
 361
 362         lgat    %r0, -524288
 363         lgat    %r0, -1
 364         lgat    %r0, 0
 365         lgat    %r0, 1
 366         lgat    %r0, 524287
 367         lgat    %r0, 0(%r1)
 368         lgat    %r0, 0(%r15)
 369         lgat    %r0, 524287(%r1,%r15)
 370         lgat    %r0, 524287(%r15,%r1)
 371         lgat    %r15, 0
 372
 373 #CHECK: llgfat  %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0x9d]
 374 #CHECK: llgfat  %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x9d]
 375 #CHECK: llgfat  %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0x9d]
 376 #CHECK: llgfat  %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0x9d]
 377 #CHECK: llgfat  %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x9d]
 378 #CHECK: llgfat  %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0x9d]
 379 #CHECK: llgfat  %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x9d]
 380 #CHECK: llgfat  %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x9d]
 381 #CHECK: llgfat  %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x9d]
 382 #CHECK: llgfat  %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x9d]
 383
 384         llgfat  %r0, -524288
 385         llgfat  %r0, -1
 386         llgfat  %r0, 0
 387         llgfat  %r0, 1
 388         llgfat  %r0, 524287
 389         llgfat  %r0, 0(%r1)
 390         llgfat  %r0, 0(%r15)
 391         llgfat  %r0, 524287(%r1,%r15)
 392         llgfat  %r0, 524287(%r15,%r1)
 393         llgfat  %r15, 0
 394
 395 #CHECK: llgtat  %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0x9c]
 396 #CHECK: llgtat  %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x9c]
 397 #CHECK: llgtat  %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0x9c]
 398 #CHECK: llgtat  %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0x9c]
 399 #CHECK: llgtat  %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x9c]
 400 #CHECK: llgtat  %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0x9c]
 401 #CHECK: llgtat  %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x9c]
 402 #CHECK: llgtat  %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x9c]
 403 #CHECK: llgtat  %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x9c]
 404 #CHECK: llgtat  %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x9c]
 405
 406         llgtat  %r0, -524288
 407         llgtat  %r0, -1
 408         llgtat  %r0, 0
 409         llgtat  %r0, 1
 410         llgtat  %r0, 524287
 411         llgtat  %r0, 0(%r1)
 412         llgtat  %r0, 0(%r15)
 413         llgtat  %r0, 524287(%r1,%r15)
 414         llgtat  %r0, 524287(%r15,%r1)
 415         llgtat  %r15, 0
 416
 417 #CHECK: niai    0, 0                    # encoding: [0xb2,0xfa,0x00,0x00]
 418 #CHECK: niai    15, 0                   # encoding: [0xb2,0xfa,0x00,0xf0]
 419 #CHECK: niai    0, 15                   # encoding: [0xb2,0xfa,0x00,0x0f]
 420 #CHECK: niai    15, 15                  # encoding: [0xb2,0xfa,0x00,0xff]
 421
 422         niai    0, 0
 423         niai    15, 0
 424         niai    0, 15
 425         niai    15, 15
 426
 427 #CHECK: ntstg   %r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0x25]
 428 #CHECK: ntstg   %r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x25]
 429 #CHECK: ntstg   %r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0x25]
 430 #CHECK: ntstg   %r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0x25]
 431 #CHECK: ntstg   %r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x25]
 432 #CHECK: ntstg   %r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0x25]
 433 #CHECK: ntstg   %r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x25]
 434 #CHECK: ntstg   %r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x25]
 435 #CHECK: ntstg   %r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x25]
 436 #CHECK: ntstg   %r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x25]
 437
 438         ntstg   %r0, -524288
 439         ntstg   %r0, -1
 440         ntstg   %r0, 0
 441         ntstg   %r0, 1
 442         ntstg   %r0, 524287
 443         ntstg   %r0, 0(%r1)
 444         ntstg   %r0, 0(%r15)
 445         ntstg   %r0, 524287(%r1,%r15)
 446         ntstg   %r0, 524287(%r15,%r1)
 447         ntstg   %r15, 0
 448
 449 #CHECK: ppa     %r0, %r0, 0             # encoding: [0xb2,0xe8,0x00,0x00]
 450 #CHECK: ppa     %r0, %r0, 15            # encoding: [0xb2,0xe8,0xf0,0x00]
 451 #CHECK: ppa     %r0, %r15, 0            # encoding: [0xb2,0xe8,0x00,0x0f]
 452 #CHECK: ppa     %r4, %r6, 7             # encoding: [0xb2,0xe8,0x70,0x46]
 453 #CHECK: ppa     %r15, %r0, 0            # encoding: [0xb2,0xe8,0x00,0xf0]
 454
 455         ppa     %r0, %r0, 0
 456         ppa     %r0, %r0, 15
 457         ppa     %r0, %r15, 0
 458         ppa     %r4, %r6, 7
 459         ppa     %r15, %r0, 0
 460
 461 #CHECK: risbgn  %r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x59]
 462 #CHECK: risbgn  %r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x59]
 463 #CHECK: risbgn  %r0, %r0, 0, 0, 64      # encoding: [0xec,0x00,0x00,0x00,0x40,0x59]
 464 #CHECK: risbgn  %r0, %r0, 0, 0, 255     # encoding: [0xec,0x00,0x00,0x00,0xff,0x59]
 465 #CHECK: risbgnz %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x59]
 466 #CHECK: risbgn  %r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x59]
 467 #CHECK: risbgn  %r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x59]
 468 #CHECK: risbgn  %r0, %r0, 0, 0, 127     # encoding: [0xec,0x00,0x00,0x00,0x7f,0x59]
 469 #CHECK: risbgnz %r0, %r0, 0, 127, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x59]
 470 #CHECK: risbgn  %r0, %r0, 0, 127, 0     # encoding: [0xec,0x00,0x00,0x7f,0x00,0x59]
 471 #CHECK: risbgn  %r0, %r0, 127, 0, 0     # encoding: [0xec,0x00,0x7f,0x00,0x00,0x59]
 472 #CHECK: risbgn  %r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x59]
 473 #CHECK: risbgn  %r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x59]
 474 #CHECK: risbgn  %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x59]
 475 #CHECK: risbgnz %r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x87,0x08,0x59]
 476
 477         risbgn  %r0,%r0,0,0,0
 478         risbgn  %r0,%r0,0,0,63
 479         risbgn  %r0,%r0,0,0,64
 480         risbgn  %r0,%r0,0,0,255
 481         risbgnz %r0,%r0,0,255,0
 482         risbgn  %r0,%r0,0,255,0
 483         risbgn  %r0,%r0,255,0,0
 484         risbgn  %r0,%r0,0,0,127
 485         risbgnz %r0,%r0,0,127,0
 486         risbgn  %r0,%r0,0,127,0
 487         risbgn  %r0,%r0,127,0,0
 488         risbgn  %r0,%r15,0,0,0
 489         risbgn  %r15,%r0,0,0,0
 490         risbgn  %r4,%r5,6,7,8
 491         risbgnz %r4,%r5,6,7,8
 492
 493 #CHECK: tabort  0                       # encoding: [0xb2,0xfc,0x00,0x00]
 494 #CHECK: tabort  0(%r1)                  # encoding: [0xb2,0xfc,0x10,0x00]
 495 #CHECK: tabort  0(%r15)                 # encoding: [0xb2,0xfc,0xf0,0x00]
 496 #CHECK: tabort  4095                    # encoding: [0xb2,0xfc,0x0f,0xff]
 497 #CHECK: tabort  4095(%r1)               # encoding: [0xb2,0xfc,0x1f,0xff]
 498 #CHECK: tabort  4095(%r15)              # encoding: [0xb2,0xfc,0xff,0xff]
 499
 500         tabort  0
 501         tabort  0(%r1)
 502         tabort  0(%r15)
 503         tabort  4095
 504         tabort  4095(%r1)
 505         tabort  4095(%r15)
 506
 507 #CHECK: tbegin  0, 0                    # encoding: [0xe5,0x60,0x00,0x00,0x00,0x00]
 508 #CHECK: tbegin  4095, 0                 # encoding: [0xe5,0x60,0x0f,0xff,0x00,0x00]
 509 #CHECK: tbegin  0, 0                    # encoding: [0xe5,0x60,0x00,0x00,0x00,0x00]
 510 #CHECK: tbegin  0, 1                    # encoding: [0xe5,0x60,0x00,0x00,0x00,0x01]
 511 #CHECK: tbegin  0, 32767                # encoding: [0xe5,0x60,0x00,0x00,0x7f,0xff]
 512 #CHECK: tbegin  0, 32768                # encoding: [0xe5,0x60,0x00,0x00,0x80,0x00]
 513 #CHECK: tbegin  0, 65535                # encoding: [0xe5,0x60,0x00,0x00,0xff,0xff]
 514 #CHECK: tbegin  0(%r1), 42              # encoding: [0xe5,0x60,0x10,0x00,0x00,0x2a]
 515 #CHECK: tbegin  0(%r15), 42             # encoding: [0xe5,0x60,0xf0,0x00,0x00,0x2a]
 516 #CHECK: tbegin  4095(%r1), 42           # encoding: [0xe5,0x60,0x1f,0xff,0x00,0x2a]
 517 #CHECK: tbegin  4095(%r15), 42          # encoding: [0xe5,0x60,0xff,0xff,0x00,0x2a]
 518
 519         tbegin  0, 0
 520         tbegin  4095, 0
 521         tbegin  0, 0
 522         tbegin  0, 1
 523         tbegin  0, 32767
 524         tbegin  0, 32768
 525         tbegin  0, 65535
 526         tbegin  0(%r1), 42
 527         tbegin  0(%r15), 42
 528         tbegin  4095(%r1), 42
 529         tbegin  4095(%r15), 42
 530
 531 #CHECK: tbeginc 0, 0                    # encoding: [0xe5,0x61,0x00,0x00,0x00,0x00]
 532 #CHECK: tbeginc 4095, 0                 # encoding: [0xe5,0x61,0x0f,0xff,0x00,0x00]
 533 #CHECK: tbeginc 0, 0                    # encoding: [0xe5,0x61,0x00,0x00,0x00,0x00]
 534 #CHECK: tbeginc 0, 1                    # encoding: [0xe5,0x61,0x00,0x00,0x00,0x01]
 535 #CHECK: tbeginc 0, 32767                # encoding: [0xe5,0x61,0x00,0x00,0x7f,0xff]
 536 #CHECK: tbeginc 0, 32768                # encoding: [0xe5,0x61,0x00,0x00,0x80,0x00]
 537 #CHECK: tbeginc 0, 65535                # encoding: [0xe5,0x61,0x00,0x00,0xff,0xff]
 538 #CHECK: tbeginc 0(%r1), 42              # encoding: [0xe5,0x61,0x10,0x00,0x00,0x2a]
 539 #CHECK: tbeginc 0(%r15), 42             # encoding: [0xe5,0x61,0xf0,0x00,0x00,0x2a]
 540 #CHECK: tbeginc 4095(%r1), 42           # encoding: [0xe5,0x61,0x1f,0xff,0x00,0x2a]
 541 #CHECK: tbeginc 4095(%r15), 42          # encoding: [0xe5,0x61,0xff,0xff,0x00,0x2a]
 542
 543         tbeginc 0, 0
 544         tbeginc 4095, 0
 545         tbeginc 0, 0
 546         tbeginc 0, 1
 547         tbeginc 0, 32767
 548         tbeginc 0, 32768
 549         tbeginc 0, 65535
 550         tbeginc 0(%r1), 42
 551         tbeginc 0(%r15), 42
 552         tbeginc 4095(%r1), 42
 553         tbeginc 4095(%r15), 42
 554
 555 #CHECK: tend                            # encoding: [0xb2,0xf8,0x00,0x00]
 556
 557         tend