test/MC/ARM/fp-armv8-m.s

   1 @ RUN: llvm-mc -triple thumbv8.1m.main -mattr=+mve.fp -mattr=+fp64 -show-encoding < %s \
   2 @ RUN:     | FileCheck --check-prefix=CHECK-V81M %s
   3 @ RUN: llvm-mc -triple thumbv8.1m.main -mattr=+fp-armv8 -mattr=+fp64 -show-encoding < %s \
   4 @ RUN:     | FileCheck --check-prefix=CHECK-V81M %s
   5
   6 @ VCVT{B,T}
   7
   8   vcvtt.f64.f16 d3, s1
   9 @ CHECK-V81M: vcvtt.f64.f16 d3, s1      @ encoding: [0xb2,0xee,0xe0,0x3b]
  10   vcvtt.f16.f64 s5, d12
  11 @ CHECK-V81M: vcvtt.f16.f64 s5, d12     @ encoding: [0xf3,0xee,0xcc,0x2b]
  12
  13   vcvtb.f64.f16 d3, s1
  14 @ CHECK-V81M: vcvtb.f64.f16 d3, s1     @ encoding: [0xb2,0xee,0x60,0x3b]
  15   vcvtb.f16.f64 s4, d1
  16 @ CHECK-V81M: vcvtb.f16.f64 s4, d1     @ encoding: [0xb3,0xee,0x41,0x2b]
  17
  18   it ge
  19   vcvttge.f64.f16 d3, s1
  20 @ CHECK-V81M: vcvttge.f64.f16 d3, s1      @ encoding: [0xb2,0xee,0xe0,0x3b]
  21   it gt
  22   vcvttgt.f16.f64 s5, d12
  23 @ CHECK-V81M: vcvttgt.f16.f64 s5, d12     @ encoding: [0xf3,0xee,0xcc,0x2b]
  24
  25   it eq
  26   vcvtbeq.f64.f16 d3, s1
  27 @ CHECK-V81M: vcvtbeq.f64.f16 d3, s1     @ encoding: [0xb2,0xee,0x60,0x3b]
  28   it lt
  29   vcvtblt.f16.f64 s4, d1
  30 @ CHECK-V81M: vcvtblt.f16.f64 s4, d1     @ encoding: [0xb3,0xee,0x41,0x2b]
  31
  32
  33 @ VCVT{A,N,P,M}
  34
  35   vcvta.s32.f32 s2, s3
  36 @ CHECK-V81M: vcvta.s32.f32 s2, s3     @ encoding: [0xbc,0xfe,0xe1,0x1a]
  37   vcvta.s32.f64 s2, d3
  38 @ CHECK-V81M: vcvta.s32.f64 s2, d3     @ encoding: [0xbc,0xfe,0xc3,0x1b]
  39   vcvtn.s32.f32 s6, s23
  40 @ CHECK-V81M: vcvtn.s32.f32 s6, s23     @ encoding: [0xbd,0xfe,0xeb,0x3a]
  41   vcvtn.s32.f64 s6, d7
  42 @ CHECK-V81M: vcvtn.s32.f64 s6, d7     @ encoding: [0xbd,0xfe,0xc7,0x3b]
  43   vcvtp.s32.f32 s0, s4
  44 @ CHECK-V81M: vcvtp.s32.f32 s0, s4     @ encoding: [0xbe,0xfe,0xc2,0x0a]
  45   vcvtp.s32.f64 s0, d4
  46 @ CHECK-V81M: vcvtp.s32.f64 s0, d4     @ encoding: [0xbe,0xfe,0xc4,0x0b]
  47   vcvtm.s32.f32 s17, s8
  48 @ CHECK-V81M: vcvtm.s32.f32 s17, s8     @ encoding: [0xff,0xfe,0xc4,0x8a]
  49   vcvtm.s32.f64 s17, d8
  50 @ CHECK-V81M: vcvtm.s32.f64 s17, d8     @ encoding: [0xff,0xfe,0xc8,0x8b]
  51
  52   vcvta.u32.f32 s2, s3
  53 @ CHECK-V81M: vcvta.u32.f32 s2, s3     @ encoding: [0xbc,0xfe,0x61,0x1a]
  54   vcvta.u32.f64 s2, d3
  55 @ CHECK-V81M: vcvta.u32.f64 s2, d3     @ encoding: [0xbc,0xfe,0x43,0x1b]
  56   vcvtn.u32.f32 s6, s23
  57 @ CHECK-V81M: vcvtn.u32.f32 s6, s23     @ encoding: [0xbd,0xfe,0x6b,0x3a]
  58   vcvtn.u32.f64 s6, d7
  59 @ CHECK-V81M: vcvtn.u32.f64 s6, d7     @ encoding: [0xbd,0xfe,0x47,0x3b]
  60   vcvtp.u32.f32 s0, s4
  61 @ CHECK-V81M: vcvtp.u32.f32 s0, s4     @ encoding: [0xbe,0xfe,0x42,0x0a]
  62   vcvtp.u32.f64 s0, d4
  63 @ CHECK-V81M: vcvtp.u32.f64 s0, d4     @ encoding: [0xbe,0xfe,0x44,0x0b]
  64   vcvtm.u32.f32 s17, s8
  65 @ CHECK-V81M: vcvtm.u32.f32 s17, s8     @ encoding: [0xff,0xfe,0x44,0x8a]
  66   vcvtm.u32.f64 s17, d8
  67 @ CHECK-V81M: vcvtm.u32.f64 s17, d8     @ encoding: [0xff,0xfe,0x48,0x8b]
  68
  69
  70 @ VSEL
  71   vselge.f32 s4, s1, s23
  72 @ CHECK-V81M: vselge.f32 s4, s1, s23    @ encoding: [0x20,0xfe,0xab,0x2a]
  73   vselge.f64 d0, d1, d3
  74 @ CHECK-V81M: vselge.f64 d0, d1, d3  @ encoding: [0x21,0xfe,0x03,0x0b]
  75   vselgt.f32 s0, s1, s0
  76 @ CHECK-V81M: vselgt.f32 s0, s1, s0    @ encoding: [0x30,0xfe,0x80,0x0a]
  77   vselgt.f64 d5, d10, d11
  78 @ CHECK-V81M: vselgt.f64 d5, d10, d11  @ encoding: [0x3a,0xfe,0x0b,0x5b]
  79   vseleq.f32 s30, s28, s23
  80 @ CHECK-V81M: vseleq.f32 s30, s28, s23 @ encoding: [0x0e,0xfe,0x2b,0xfa]
  81   vseleq.f64 d2, d4, d8
  82 @ CHECK-V81M: vseleq.f64 d2, d4, d8    @ encoding: [0x04,0xfe,0x08,0x2b]
  83   vselvs.f32 s21, s16, s14
  84 @ CHECK-V81M: vselvs.f32 s21, s16, s14 @ encoding: [0x58,0xfe,0x07,0xaa]
  85   vselvs.f64 d0, d1, d15
  86 @ CHECK-V81M: vselvs.f64 d0, d1, d15   @ encoding: [0x11,0xfe,0x0f,0x0b]
  87
  88
  89 @ VMAXNM / VMINNM
  90   vmaxnm.f32 s5, s12, s0
  91 @ CHECK-V81M: vmaxnm.f32 s5, s12, s0    @ encoding: [0xc6,0xfe,0x00,0x2a]
  92   vmaxnm.f64 d5, d14, d15
  93 @ CHECK-V81M: vmaxnm.f64 d5, d14, d15   @ encoding: [0x8e,0xfe,0x0f,0x5b]
  94   vminnm.f32 s0, s0, s12
  95 @ CHECK-V81M: vminnm.f32 s0, s0, s12    @ encoding: [0x80,0xfe,0x46,0x0a]
  96   vminnm.f64 d4, d6, d9
  97 @ CHECK-V81M: vminnm.f64 d4, d6, d9     @ encoding: [0x86,0xfe,0x49,0x4b]
  98
  99 @ VRINT{Z,R,X}
 100
 101   it ge
 102   vrintzge.f64 d3, d12
 103 @ CHECK-V81M: vrintzge.f64 d3, d12   @ encoding: [0xb6,0xee,0xcc,0x3b]
 104   vrintz.f32 s3, s24
 105 @ CHECK-V81M: vrintz.f32 s3, s24     @ encoding: [0xf6,0xee,0xcc,0x1a]
 106   it lt
 107   vrintrlt.f64 d5, d0
 108 @ CHECK-V81M: vrintrlt.f64 d5, d0    @ encoding: [0xb6,0xee,0x40,0x5b]
 109   vrintr.f32 s0, s9
 110 @ CHECK-V81M: vrintr.f32 s0, s9      @ encoding: [0xb6,0xee,0x64,0x0a]
 111   it eq
 112   vrintxeq.f64 d14, d15
 113 @ CHECK-V81M: vrintxeq.f64 d14, d15  @ encoding: [0xb7,0xee,0x4f,0xeb]
 114   it vs
 115   vrintxvs.f32 s10, s14
 116 @ CHECK-V81M: vrintxvs.f32 s10, s14  @ encoding: [0xb7,0xee,0x47,0x5a]
 117
 118 @ VRINT{A,N,P,M}
 119
 120   vrinta.f64 d3, d4
 121 @ CHECK-V81M: vrinta.f64 d3, d4     @ encoding: [0xb8,0xfe,0x44,0x3b]
 122   vrinta.f32 s12, s1
 123 @ CHECK-V81M: vrinta.f32 s12, s1    @ encoding: [0xb8,0xfe,0x60,0x6a]
 124   vrintn.f64 d3, d4
 125 @ CHECK-V81M: vrintn.f64 d3, d4     @ encoding: [0xb9,0xfe,0x44,0x3b]
 126   vrintn.f32 s12, s1
 127 @ CHECK-V81M: vrintn.f32 s12, s1    @ encoding: [0xb9,0xfe,0x60,0x6a]
 128   vrintp.f64 d3, d4
 129 @ CHECK-V81M: vrintp.f64 d3, d4     @ encoding: [0xba,0xfe,0x44,0x3b]
 130   vrintp.f32 s12, s1
 131 @ CHECK-V81M: vrintp.f32 s12, s1    @ encoding: [0xba,0xfe,0x60,0x6a]
 132   vrintm.f64 d3, d4
 133 @ CHECK-V81M: vrintm.f64 d3, d4     @ encoding: [0xbb,0xfe,0x44,0x3b]
 134   vrintm.f32 s12, s1
 135 @ CHECK-V81M: vrintm.f32 s12, s1    @ encoding: [0xbb,0xfe,0x60,0x6a]
 136
 137 @ MVFR2
 138
 139   vmrs sp, mvfr2
 140 @ CHECK-V81M: vmrs sp, mvfr2        @ encoding: [0xf5,0xee,0x10,0xda]