test/MC/SystemZ/directive-insn.s

   1 # RUN: llvm-mc -triple s390x-linux-gnu -filetype=obj %s | \
   2 # RUN: llvm-objdump -mcpu=zEC12 -disassemble - | FileCheck %s
   3
   4 # Test the .insn directive which provides a way of encoding an instruction
   5 # directly. It takes a format, encoding, and operands based on the format.
   6
   7 #CHECK: 01 01                 pr
   8   .insn e,0x0101
   9
  10 #CHECK: a7 18 12 34           lhi %r1, 4660
  11   .insn ri,0xa7080000,%r1,0x1234
  12
  13 # GAS considers this instruction's immediate operand to be PC relative.
  14 #CHECK: ec 12 00 06 00 76     crj %r1, %r2, 0, 0x12
  15   .insn rie,0xec0000000076,%r1,%r2,12
  16 #CHECK: ec 12 00 03 00 64     cgrj %r1, %r2, 0, 0x12
  17   .insn rie,0xec0000000064,%r1,%r2,label.rie
  18 #CHECK: label.rie:
  19 label.rie:
  20
  21 # GAS considers this instruction's immediate operand to be PC relative.
  22 #CHECK: c6 1d 00 00 00 06     crl %r1, 0x1e
  23   .insn ril,0xc60d00000000,%r1,12
  24 #CHECK: c6 18 00 00 00 03     cgrl %r1, 0x1e
  25   .insn ril,0xc60800000000,%r1,label.ril
  26 #CHECK: label.ril:
  27 label.ril:
  28
  29 #CHECK: c2 2b 80 00 00 00     alfi %r2, 2147483648
  30   .insn rilu,0xc20b00000000,%r2,0x80000000
  31
  32 #CHECK: ec 1c f0 a0 34 fc     cgible %r1, 52, 160(%r15)
  33   .insn ris,0xec00000000fc,%r1,0x34,0xc,160(%r15)
  34
  35 # Test using an integer in place of a register.
  36 #CHECK: 18 23                 lr %r2, %r3
  37   .insn rr,0x1800,2,3
  38
  39 #CHECK: b9 14 00 45           lgfr %r4, %r5
  40   .insn rre,0xb9140000,%r4,%r5
  41
  42 # Test FP and GR registers in a single directive.
  43 #CHECK: b3 c1 00 fe           ldgr %f15, %r14
  44   .insn rre,0xb3c10000,%f15,%r14
  45
  46 # Test using an integer in place of a register.
  47 #CHECK: b3 44 34 12           ledbra %f1, 3, %f2, 4
  48   .insn rrf,0xb3440000,%f1,2,%f3,4
  49
  50 #CHECK: ec 34 f0 b4 a0 e4     cgrbhe %r3, %r4, 180(%r15)
  51   .insn rrs,0xec00000000e4,%r3,%r4,0xa,180(%r15)
  52
  53 #CHECK: ba 01 f0 a0           cs %r0, %r1, 160(%r15)
  54   .insn rs,0xba000000,%r0,%r1,160(%r15)
  55
  56 # GAS considers this instruction's immediate operand to be PC relative.
  57 #CHECK: 84 13 00 04           brxh %r1, %r3, 0x4a
  58   .insn rsi,0x84000000,%r1,%r3,8
  59 #CHECK: 84 13 00 02           brxh %r1, %r3, 0x4a
  60   .insn rsi,0x84000000,%r1,%r3,label.rsi
  61 #CHECK: label.rsi:
  62 label.rsi:
  63
  64 # RSE formats are short displacement versions of the RSY formats.
  65 #CHECK: eb 12 f0 a0 00 f8     laa %r1, %r2, 160(%r15)
  66   .insn rse,0xeb00000000f8,%r1,%r2,160(%r15)
  67
  68 #CHECK: eb 12 f3 45 12 30     csg %r1, %r2, 74565(%r15)
  69   .insn rsy,0xeb0000000030,%r1,%r2,74565(%r15)
  70
  71 #CHECK: 59 13 f0 a0           c %r1, 160(%r3,%r15)
  72   .insn rx,0x59000000,%r1,160(%r3,%r15)
  73
  74 #CHECK: ed 13 f0 a0 00 19     cdb %f1, 160(%r3,%r15)
  75   .insn rxe,0xed0000000019,%f1,160(%r3,%r15)
  76
  77 #CHECK: ed 23 f0 a0 10 1e     madb %f1, %f2, 160(%r3,%r15)
  78   .insn rxf,0xed000000001e,%f1,%f2,160(%r3,%r15)
  79
  80 #CHECK: ed 12 f1 23 90 65     ldy %f1, -458461(%r2,%r15)
  81   .insn rxy,0xed0000000065,%f1,-458461(%r2,%r15)
  82
  83 #CHECK: b2 fc f0 a0           tabort 160(%r15)
  84   .insn s,0xb2fc0000,160(%r15)
  85
  86 #CHECK: 91 34 f0 a0           tm 160(%r15), 52
  87   .insn si,0x91000000,160(%r15),52
  88
  89 #CHECK: eb f0 fc de ab 51     tmy -344866(%r15), 240
  90   .insn siy,0xeb0000000051,-344866(%r15),240
  91
  92 #CHECK: e5 60 f0 a0 12 34     tbegin 160(%r15), 4660
  93   .insn sil,0xe56000000000,160(%r15),0x1234
  94
  95 #CHECK: d9 13 f1 23 e4 56     mvck 291(%r1,%r15), 1110(%r14), %r3
  96   .insn ss,0xd90000000000,291(%r1,%r15),1110(%r14),%r3
  97
  98 #CHECK: e5 02 10 a0 21 23     strag 160(%r1), 291(%r2)
  99   .insn sse,0xe50200000000,160(%r1),291(%r2)
 100
 101 #CHECK: c8 31 f0 a0 e2 34     ectg 160(%r15), 564(%r14), %r3
 102   .insn ssf,0xc80100000000,160(%r15),564(%r14),%r3