From a8465a06e0986374f501d0e286a5f351af2aa878 Mon Sep 17 00:00:00 2001 From: Andre Vieira Date: Thu, 16 May 2019 11:46:48 +0100 Subject: [PATCH] [PATCH 23/57][Arm][GAS] Add support for MVE instructions: vmla, vmul, vqadd and vqsub gas/ChangeLog: 2019-05-16 Andre Vieira * config/tc-arm.c (enum operand_parse_code): New operand. (parse_operands): Handle new operand. (mve_encode_qqr): Handle new instructions. (do_neon_dyadic_i64_su): Accept MVE variants. (neon_dyadic_misc): Likewise. (do_neon_mac_maybe_scalar): Likewise. (do_neon_mul): Likewise. (insns): Change to accept MVE variants. * testsuite/gas/arm/mve-vmla-bad.d: New test. * testsuite/gas/arm/mve-vmla-bad.l: New test. * testsuite/gas/arm/mve-vmla-bad.s: New test. * testsuite/gas/arm/mve-vmul-bad-1.d: New test. * testsuite/gas/arm/mve-vmul-bad-1.l: New test. * testsuite/gas/arm/mve-vmul-bad-1.s: New test. * testsuite/gas/arm/mve-vmul-bad-2.d: New test. * testsuite/gas/arm/mve-vmul-bad-2.l: New test. * testsuite/gas/arm/mve-vmul-bad-2.s: New test. * testsuite/gas/arm/mve-vqaddsub-bad.d: New test. * testsuite/gas/arm/mve-vqaddsub-bad.l: New test. * testsuite/gas/arm/mve-vqaddsub-bad.s: New test. --- gas/ChangeLog | 23 ++++++ gas/config/tc-arm.c | 93 ++++++++++++++++++++---- gas/testsuite/gas/arm/mve-vmla-bad.d | 5 ++ gas/testsuite/gas/arm/mve-vmla-bad.l | 17 +++++ gas/testsuite/gas/arm/mve-vmla-bad.s | 23 ++++++ gas/testsuite/gas/arm/mve-vmul-bad-1.d | 5 ++ gas/testsuite/gas/arm/mve-vmul-bad-1.l | 31 ++++++++ gas/testsuite/gas/arm/mve-vmul-bad-1.s | 35 +++++++++ gas/testsuite/gas/arm/mve-vmul-bad-2.d | 5 ++ gas/testsuite/gas/arm/mve-vmul-bad-2.l | 47 ++++++++++++ gas/testsuite/gas/arm/mve-vmul-bad-2.s | 41 +++++++++++ gas/testsuite/gas/arm/mve-vqaddsub-bad.d | 5 ++ gas/testsuite/gas/arm/mve-vqaddsub-bad.l | 57 +++++++++++++++ gas/testsuite/gas/arm/mve-vqaddsub-bad.s | 57 +++++++++++++++ 14 files changed, 431 insertions(+), 13 deletions(-) create mode 100644 gas/testsuite/gas/arm/mve-vmla-bad.d create mode 100644 gas/testsuite/gas/arm/mve-vmla-bad.l create mode 100644 gas/testsuite/gas/arm/mve-vmla-bad.s create mode 100644 gas/testsuite/gas/arm/mve-vmul-bad-1.d create mode 100644 gas/testsuite/gas/arm/mve-vmul-bad-1.l create mode 100644 gas/testsuite/gas/arm/mve-vmul-bad-1.s create mode 100644 gas/testsuite/gas/arm/mve-vmul-bad-2.d create mode 100644 gas/testsuite/gas/arm/mve-vmul-bad-2.l create mode 100644 gas/testsuite/gas/arm/mve-vmul-bad-2.s create mode 100644 gas/testsuite/gas/arm/mve-vqaddsub-bad.d create mode 100644 gas/testsuite/gas/arm/mve-vqaddsub-bad.l create mode 100644 gas/testsuite/gas/arm/mve-vqaddsub-bad.s diff --git a/gas/ChangeLog b/gas/ChangeLog index 533c162ea3..931126eb31 100644 --- a/gas/ChangeLog +++ b/gas/ChangeLog @@ -1,3 +1,26 @@ +2019-05-16 Andre Vieira + + * config/tc-arm.c (enum operand_parse_code): New operand. + (parse_operands): Handle new operand. + (mve_encode_qqr): Handle new instructions. + (do_neon_dyadic_i64_su): Accept MVE variants. + (neon_dyadic_misc): Likewise. + (do_neon_mac_maybe_scalar): Likewise. + (do_neon_mul): Likewise. + (insns): Change to accept MVE variants. + * testsuite/gas/arm/mve-vmla-bad.d: New test. + * testsuite/gas/arm/mve-vmla-bad.l: New test. + * testsuite/gas/arm/mve-vmla-bad.s: New test. + * testsuite/gas/arm/mve-vmul-bad-1.d: New test. + * testsuite/gas/arm/mve-vmul-bad-1.l: New test. + * testsuite/gas/arm/mve-vmul-bad-1.s: New test. + * testsuite/gas/arm/mve-vmul-bad-2.d: New test. + * testsuite/gas/arm/mve-vmul-bad-2.l: New test. + * testsuite/gas/arm/mve-vmul-bad-2.s: New test. + * testsuite/gas/arm/mve-vqaddsub-bad.d: New test. + * testsuite/gas/arm/mve-vqaddsub-bad.l: New test. + * testsuite/gas/arm/mve-vqaddsub-bad.s: New test. + 2019-05-16 Andre Vieira * config/tc-arm.c (M_MNEM_vmlaldav, M_MNEM_vmlaldava, diff --git a/gas/config/tc-arm.c b/gas/config/tc-arm.c index f6872864dc..63d5af175c 100644 --- a/gas/config/tc-arm.c +++ b/gas/config/tc-arm.c @@ -6951,6 +6951,8 @@ enum operand_parse_code OP_RNSDQ_RNSC, /* Vector S, D or Q reg, or Neon scalar. */ OP_RNSDQ_RNSC_MQ, /* Vector S, D or Q reg, Neon scalar or MVE vector register. */ + OP_RNSDQ_RNSC_MQ_RR, /* Vector S, D or Q reg, or MVE vector reg , or Neon + scalar, or ARM register. */ OP_RNDQ_RNSC, /* Neon D or Q reg, or Neon scalar. */ OP_RNDQMQ_RNSC, /* Neon D, Q or MVE vector reg, or Neon scalar. */ OP_RND_RNSC, /* Neon D reg, or Neon scalar. */ @@ -7325,6 +7327,10 @@ parse_operands (char *str, const unsigned int *pattern, bfd_boolean thumb) } break; + case OP_RNSDQ_RNSC_MQ_RR: + po_reg_or_goto (REG_TYPE_RN, try_rnsdq_rnsc_mq); + break; + try_rnsdq_rnsc_mq: case OP_RNSDQ_RNSC_MQ: po_reg_or_goto (REG_TYPE_MQ, try_rnsdq_rnsc); break; @@ -15899,6 +15905,9 @@ mve_encode_qqr (int size, int U, int fp) /* vsub. */ else if (((unsigned)inst.instruction) == 0x200d00) inst.instruction = 0xee301f40; + /* vmul. */ + else if (((unsigned)inst.instruction) == 0x1000d10) + inst.instruction = 0xee310e60; /* Setting size which is 1 for F16 and 0 for F32. */ inst.instruction |= (size == 16) << 28; @@ -15917,6 +15926,18 @@ mve_encode_qqr (int size, int U, int fp) /* vhsub. */ else if (((unsigned)inst.instruction) == 0x200) inst.instruction = 0xee001f40; + /* vmla. */ + else if (((unsigned)inst.instruction) == 0x900) + inst.instruction = 0xee010e40; + /* vmul. */ + else if (((unsigned)inst.instruction) == 0x910) + inst.instruction = 0xee011e60; + /* vqadd. */ + else if (((unsigned)inst.instruction) == 0x10) + inst.instruction = 0xee000f60; + /* vqsub. */ + else if (((unsigned)inst.instruction) == 0x210) + inst.instruction = 0xee001f60; /* Set U-bit. */ inst.instruction |= U << 28; @@ -16145,10 +16166,24 @@ do_neon_dyadic_i_su (void) static void do_neon_dyadic_i64_su (void) { - enum neon_shape rs = neon_select_shape (NS_DDD, NS_QQQ, NS_NULL); - struct neon_type_el et = neon_check_type (3, rs, - N_EQK, N_EQK, N_SU_ALL | N_KEY); - neon_three_same (neon_quad (rs), et.type == NT_unsigned, et.size); + if (check_simd_pred_availability (0, NEON_CHECK_CC | NEON_CHECK_ARCH)) + return; + enum neon_shape rs; + struct neon_type_el et; + if (ARM_CPU_HAS_FEATURE (cpu_variant, mve_ext)) + { + rs = neon_select_shape (NS_QQR, NS_QQQ, NS_NULL); + et = neon_check_type (3, rs, N_EQK, N_EQK, N_SU_MVE | N_KEY); + } + else + { + rs = neon_select_shape (NS_DDD, NS_QQQ, NS_NULL); + et = neon_check_type (3, rs, N_EQK, N_EQK, N_SU_ALL | N_KEY); + } + if (rs == NS_QQR) + mve_encode_qqr (et.size, et.type == NT_unsigned, 0); + else + neon_three_same (neon_quad (rs), et.type == NT_unsigned, et.size); } static void @@ -16442,7 +16477,7 @@ neon_dyadic_misc (enum neon_el_type ubit_meaning, unsigned types, { NEON_ENCODE (INTEGER, inst); if (rs == NS_QQR) - mve_encode_qqr (et.size, 0, 0); + mve_encode_qqr (et.size, et.type == ubit_meaning, 0); else neon_three_same (neon_quad (rs), et.type == ubit_meaning, et.size); } @@ -16967,19 +17002,30 @@ do_neon_mac_maybe_scalar (void) if (try_vfp_nsyn (3, do_vfp_nsyn_mla_mls) == SUCCESS) return; - if (vfp_or_neon_is_neon (NEON_CHECK_CC | NEON_CHECK_ARCH) == FAIL) + if (check_simd_pred_availability (0, NEON_CHECK_CC | NEON_CHECK_ARCH)) return; if (inst.operands[2].isscalar) { + constraint (ARM_CPU_HAS_FEATURE (cpu_variant, mve_ext), BAD_FPU); enum neon_shape rs = neon_select_shape (NS_DDS, NS_QQS, NS_NULL); struct neon_type_el et = neon_check_type (3, rs, N_EQK, N_EQK, N_I16 | N_I32 | N_F_16_32 | N_KEY); NEON_ENCODE (SCALAR, inst); neon_mul_mac (et, neon_quad (rs)); } + else if (!inst.operands[2].isvec) + { + constraint (!ARM_CPU_HAS_FEATURE (cpu_variant, mve_ext), BAD_FPU); + + enum neon_shape rs = neon_select_shape (NS_QQR, NS_NULL); + neon_check_type (3, rs, N_EQK, N_EQK, N_SU_MVE | N_KEY); + + neon_dyadic_misc (NT_unsigned, N_SU_MVE, 0); + } else { + constraint (ARM_CPU_HAS_FEATURE (cpu_variant, mve_ext), BAD_FPU); /* The "untyped" case can't happen. Do this to stop the "U" bit being affected if we specify unsigned args. */ neon_dyadic_misc (NT_untyped, N_IF_32, 0); @@ -17047,13 +17093,34 @@ do_neon_mul (void) if (try_vfp_nsyn (3, do_vfp_nsyn_mul) == SUCCESS) return; - if (vfp_or_neon_is_neon (NEON_CHECK_CC | NEON_CHECK_ARCH) == FAIL) + if (check_simd_pred_availability (0, NEON_CHECK_CC | NEON_CHECK_ARCH)) return; if (inst.operands[2].isscalar) - do_neon_mac_maybe_scalar (); + { + constraint (ARM_CPU_HAS_FEATURE (cpu_variant, mve_ext), BAD_FPU); + do_neon_mac_maybe_scalar (); + } else - neon_dyadic_misc (NT_poly, N_I8 | N_I16 | N_I32 | N_F16 | N_F32 | N_P8, 0); + { + if (ARM_CPU_HAS_FEATURE (cpu_variant, mve_ext)) + { + enum neon_shape rs = neon_select_shape (NS_QQR, NS_QQQ, NS_NULL); + struct neon_type_el et + = neon_check_type (3, rs, N_EQK, N_EQK, N_I_MVE | N_F_MVE | N_KEY); + if (et.type == NT_float) + constraint (!ARM_CPU_HAS_FEATURE (cpu_variant, mve_fp_ext), + BAD_FPU); + + neon_dyadic_misc (NT_float, N_I_MVE | N_F_MVE, 0); + } + else + { + constraint (!inst.operands[2].isvec, BAD_FPU); + neon_dyadic_misc (NT_poly, + N_I8 | N_I16 | N_I32 | N_F16 | N_F32 | N_P8, 0); + } + } } static void @@ -23776,8 +23843,6 @@ static const struct asm_opcode insns[] = NCE(vcvtz, 0, 2, (RVSD, RVSD), vfp_nsyn_cvtz), /* Mnemonics shared by Neon and VFP. */ - nCEF(vmul, _vmul, 3, (RNSDQ, oRNSDQ, RNSDQ_RNSC), neon_mul), - nCEF(vmla, _vmla, 3, (RNSDQ, oRNSDQ, RNSDQ_RNSC), neon_mac_maybe_scalar), nCEF(vmls, _vmls, 3, (RNSDQ, oRNSDQ, RNSDQ_RNSC), neon_mac_maybe_scalar), NCE(vldm, c900b00, 2, (RRnpctw, VRSDLST), neon_ldm_stm), @@ -23831,9 +23896,7 @@ static const struct asm_opcode insns[] = NUF(vrhaddq, 0000100, 3, (RNQ, oRNQ, RNQ), neon_dyadic_i_su), NUF(vhsubq, 0000200, 3, (RNQ, oRNQ, RNQ), neon_dyadic_i_su), /* integer ops, valid types S8 S16 S32 S64 U8 U16 U32 U64. */ - NUF(vqadd, 0000010, 3, (RNDQ, oRNDQ, RNDQ), neon_dyadic_i64_su), NUF(vqaddq, 0000010, 3, (RNQ, oRNQ, RNQ), neon_dyadic_i64_su), - NUF(vqsub, 0000210, 3, (RNDQ, oRNDQ, RNDQ), neon_dyadic_i64_su), NUF(vqsubq, 0000210, 3, (RNQ, oRNQ, RNQ), neon_dyadic_i64_su), NUF(vrshl, 0000500, 3, (RNDQ, oRNDQ, RNDQ), neon_rshl), NUF(vrshlq, 0000500, 3, (RNQ, oRNQ, RNQ), neon_rshl), @@ -24601,6 +24664,8 @@ static const struct asm_opcode insns[] = #define ARM_VARIANT & fpu_vfp_ext_v1 #undef THUMB_VARIANT #define THUMB_VARIANT & arm_ext_v6t2 + mnCEF(vmla, _vmla, 3, (RNSDQMQ, oRNSDQMQ, RNSDQ_RNSC_MQ_RR), neon_mac_maybe_scalar), + mnCEF(vmul, _vmul, 3, (RNSDQMQ, oRNSDQMQ, RNSDQ_RNSC_MQ_RR), neon_mul), mcCE(fcpyd, eb00b40, 2, (RVD, RVD), vfp_dp_rd_rm), @@ -24661,6 +24726,8 @@ static const struct asm_opcode insns[] = MNUF(vhsub, 00000200, 3, (RNDQMQ, oRNDQMQ, RNDQMQR), neon_dyadic_i_su), mnUF(vmin, _vmin, 3, (RNDQMQ, oRNDQMQ, RNDQMQ), neon_dyadic_if_su), mnUF(vmax, _vmax, 3, (RNDQMQ, oRNDQMQ, RNDQMQ), neon_dyadic_if_su), + MNUF(vqadd, 0000010, 3, (RNDQMQ, oRNDQMQ, RNDQMQR), neon_dyadic_i64_su), + MNUF(vqsub, 0000210, 3, (RNDQMQ, oRNDQMQ, RNDQMQR), neon_dyadic_i64_su), #undef ARM_VARIANT #define ARM_VARIANT & arm_ext_v8_3 diff --git a/gas/testsuite/gas/arm/mve-vmla-bad.d b/gas/testsuite/gas/arm/mve-vmla-bad.d new file mode 100644 index 0000000000..a5bc0634cf --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmla-bad.d @@ -0,0 +1,5 @@ +#name: Bad MVE VMLA instructions +#as: -march=armv8.1-m.main+mve.fp +#error_output: mve-vmla-bad.l + +.*: +file format .*arm.* diff --git a/gas/testsuite/gas/arm/mve-vmla-bad.l b/gas/testsuite/gas/arm/mve-vmla-bad.l new file mode 100644 index 0000000000..12ed8f17ab --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmla-bad.l @@ -0,0 +1,17 @@ +[^:]*: Assembler messages: +[^:]*:10: Error: bad type in SIMD instruction -- `vmla.f16 q0,q1,r2' +[^:]*:11: Error: bad type in SIMD instruction -- `vmla.s64 q0,q1,r2' +[^:]*:12: Error: selected FPU does not support instruction -- `vmla.s32 q0,q1,q2' +[^:]*:13: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:14: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:15: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:15: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:15: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:15: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:15: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:15: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:17: Error: syntax error -- `vmlaeq.u16 q0,q1,r2' +[^:]*:18: Error: syntax error -- `vmlaeq.u16 q0,q1,r2' +[^:]*:20: Error: syntax error -- `vmlaeq.u16 q0,q1,r2' +[^:]*:21: Error: vector predicated instruction should be in VPT/VPST block -- `vmlat.u16 q0,q1,r2' +[^:]*:23: Error: instruction missing MVE vector predication code -- `vmla.u16 q0,q1,r2' diff --git a/gas/testsuite/gas/arm/mve-vmla-bad.s b/gas/testsuite/gas/arm/mve-vmla-bad.s new file mode 100644 index 0000000000..65de902fea --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmla-bad.s @@ -0,0 +1,23 @@ +.macro cond +.irp cond, eq, ne, gt, ge, lt, le +it \cond +vmla.s16 q0, q1, r2 +.endr +.endm + +.syntax unified +.thumb +vmla.f16 q0, q1, r2 +vmla.s64 q0, q1, r2 +vmla.s32 q0, q1, q2 +vmla.s32 q0, q1, sp +vmla.s32 q0, q1, pc +cond +it eq +vmlaeq.u16 q0, q1, r2 +vmlaeq.u16 q0, q1, r2 +vpst +vmlaeq.u16 q0, q1, r2 +vmlat.u16 q0, q1, r2 +vpst +vmla.u16 q0, q1, r2 diff --git a/gas/testsuite/gas/arm/mve-vmul-bad-1.d b/gas/testsuite/gas/arm/mve-vmul-bad-1.d new file mode 100644 index 0000000000..1e3dc46b86 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmul-bad-1.d @@ -0,0 +1,5 @@ +#name: bad MVE VMUL instructions +#as: -march=armv8.1-m.main+mve +#error_output: mve-vmul-bad-1.l + +.*: +file format .*arm.* diff --git a/gas/testsuite/gas/arm/mve-vmul-bad-1.l b/gas/testsuite/gas/arm/mve-vmul-bad-1.l new file mode 100644 index 0000000000..88a86caf45 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmul-bad-1.l @@ -0,0 +1,31 @@ +[^:]*: Assembler messages: +[^:]*:10: Error: selected FPU does not support instruction -- `vmul.f16 q0,q1,q2' +[^:]*:11: Error: selected FPU does not support instruction -- `vmul.f16 q0,q1,r2' +[^:]*:12: Error: selected FPU does not support instruction -- `vmul.f32 q0,q1,q2' +[^:]*:13: Error: selected FPU does not support instruction -- `vmul.f32 q0,q1,r2' +[^:]*:14: Error: bad type in SIMD instruction -- `vmul.i64 q0,q1,q2' +[^:]*:15: Error: bad type in SIMD instruction -- `vmul.i64 q0,q1,r2' +[^:]*:16: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:17: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:18: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:18: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:18: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:18: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:18: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:18: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:19: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:19: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:19: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:19: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:19: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:19: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:21: Error: syntax error -- `vmuleq.i32 q0,q1,q2' +[^:]*:22: Error: syntax error -- `vmuleq.i32 q0,q1,q2' +[^:]*:24: Error: syntax error -- `vmuleq.i32 q0,q1,q2' +[^:]*:25: Error: vector predicated instruction should be in VPT/VPST block -- `vmult.i32 q0,q1,q2' +[^:]*:27: Error: instruction missing MVE vector predication code -- `vmul.i32 q0,q1,q2' +[^:]*:29: Error: syntax error -- `vmuleq.i32 q0,q1,r2' +[^:]*:30: Error: syntax error -- `vmuleq.i32 q0,q1,r2' +[^:]*:32: Error: syntax error -- `vmuleq.i32 q0,q1,r2' +[^:]*:33: Error: vector predicated instruction should be in VPT/VPST block -- `vmult.i32 q0,q1,r2' +[^:]*:35: Error: instruction missing MVE vector predication code -- `vmul.i32 q0,q1,r2' diff --git a/gas/testsuite/gas/arm/mve-vmul-bad-1.s b/gas/testsuite/gas/arm/mve-vmul-bad-1.s new file mode 100644 index 0000000000..7897a1ab10 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmul-bad-1.s @@ -0,0 +1,35 @@ +.macro cond lastreg +.irp cond, eq, ne, gt, ge, lt, le +it \cond +vmul.i16 q0, q1, \lastreg +.endr +.endm + +.syntax unified +.thumb +vmul.f16 q0, q1, q2 +vmul.f16 q0, q1, r2 +vmul.f32 q0, q1, q2 +vmul.f32 q0, q1, r2 +vmul.i64 q0, q1, q2 +vmul.i64 q0, q1, r2 +vmul.i8 q0, q1, pc +vmul.i8 q0, q1, sp +cond q2 +cond r2 +it eq +vmuleq.i32 q0, q1, q2 +vmuleq.i32 q0, q1, q2 +vpst +vmuleq.i32 q0, q1, q2 +vmult.i32 q0, q1, q2 +vpst +vmul.i32 q0, q1, q2 +it eq +vmuleq.i32 q0, q1, r2 +vmuleq.i32 q0, q1, r2 +vpst +vmuleq.i32 q0, q1, r2 +vmult.i32 q0, q1, r2 +vpst +vmul.i32 q0, q1, r2 diff --git a/gas/testsuite/gas/arm/mve-vmul-bad-2.d b/gas/testsuite/gas/arm/mve-vmul-bad-2.d new file mode 100644 index 0000000000..27e639956e --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmul-bad-2.d @@ -0,0 +1,5 @@ +#name: bad MVE FP VMUL instructions +#as: -march=armv8.1-m.main+mve.fp +#error_output: mve-vmul-bad-2.l + +.*: +file format .*arm.* diff --git a/gas/testsuite/gas/arm/mve-vmul-bad-2.l b/gas/testsuite/gas/arm/mve-vmul-bad-2.l new file mode 100644 index 0000000000..a804da8be2 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmul-bad-2.l @@ -0,0 +1,47 @@ +[^:]*: Assembler messages: +[^:]*:10: Error: bad type in SIMD instruction -- `vmul.f64 q0,q1,q2' +[^:]*:11: Error: bad type in SIMD instruction -- `vmul.f64 q0,q1,r2' +[^:]*:12: Error: bad type in SIMD instruction -- `vmul.i64 q0,q1,q2' +[^:]*:13: Error: bad type in SIMD instruction -- `vmul.i64 q0,q1,r2' +[^:]*:14: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:15: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:16: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:17: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:18: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:19: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:20: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:21: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:27: Error: syntax error -- `vmuleq.f16 q0,q1,q2' +[^:]*:28: Error: syntax error -- `vmuleq.f16 q0,q1,q2' +[^:]*:30: Error: syntax error -- `vmuleq.f16 q0,q1,q2' +[^:]*:31: Error: vector predicated instruction should be in VPT/VPST block -- `vmult.f16 q0,q1,q2' +[^:]*:33: Error: instruction missing MVE vector predication code -- `vmul.f16 q0,q1,q2' +[^:]*:35: Error: syntax error -- `vmuleq.f32 q0,q1,r2' +[^:]*:36: Error: syntax error -- `vmuleq.f32 q0,q1,r2' +[^:]*:38: Error: syntax error -- `vmuleq.f32 q0,q1,r2' +[^:]*:39: Error: vector predicated instruction should be in VPT/VPST block -- `vmult.f32 q0,q1,r2' +[^:]*:41: Error: instruction missing MVE vector predication code -- `vmul.f32 q0,q1,r2' diff --git a/gas/testsuite/gas/arm/mve-vmul-bad-2.s b/gas/testsuite/gas/arm/mve-vmul-bad-2.s new file mode 100644 index 0000000000..b5ed4ebff0 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vmul-bad-2.s @@ -0,0 +1,41 @@ +.macro cond size, lastreg +.irp cond, eq, ne, gt, ge, lt, le +it \cond +vmul.\size q0, q1, \lastreg +.endr +.endm + +.syntax unified +.thumb +vmul.f64 q0, q1, q2 +vmul.f64 q0, q1, r2 +vmul.i64 q0, q1, q2 +vmul.i64 q0, q1, r2 +vmul.f16 q0, q1, pc +vmul.f16 q0, q1, pc +vmul.f16 q0, q1, sp +vmul.f16 q0, q1, sp +vmul.i32 q0, q1, pc +vmul.i32 q0, q1, pc +vmul.i32 q0, q1, sp +vmul.i32 q0, q1, sp +cond i8 q2 +cond i16 r2 +cond f16 q2 +cond f32 r2 +it eq +vmuleq.f16 q0, q1, q2 +vmuleq.f16 q0, q1, q2 +vpst +vmuleq.f16 q0, q1, q2 +vmult.f16 q0, q1, q2 +vpst +vmul.f16 q0, q1, q2 +it eq +vmuleq.f32 q0, q1, r2 +vmuleq.f32 q0, q1, r2 +vpst +vmuleq.f32 q0, q1, r2 +vmult.f32 q0, q1, r2 +vpst +vmul.f32 q0, q1, r2 diff --git a/gas/testsuite/gas/arm/mve-vqaddsub-bad.d b/gas/testsuite/gas/arm/mve-vqaddsub-bad.d new file mode 100644 index 0000000000..f37595e490 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vqaddsub-bad.d @@ -0,0 +1,5 @@ +#name: bad MVE VQADD and VQSUB instructions +#as: -march=armv8.1-m.main+mve.fp +#error_output: mve-vqaddsub-bad.l + +.*: +file format .*arm.* diff --git a/gas/testsuite/gas/arm/mve-vqaddsub-bad.l b/gas/testsuite/gas/arm/mve-vqaddsub-bad.l new file mode 100644 index 0000000000..1869371c0c --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vqaddsub-bad.l @@ -0,0 +1,57 @@ +[^:]*: Assembler messages: +[^:]*:10: Error: bad type in SIMD instruction -- `vqadd.s64 q0,q1,q2' +[^:]*:11: Error: bad type in SIMD instruction -- `vqsub.u64 q0,q1,q2' +[^:]*:12: Error: bad type in SIMD instruction -- `vqadd.s64 q0,q1,r2' +[^:]*:13: Error: bad type in SIMD instruction -- `vqsub.s64 q0,q1,r2' +[^:]*:14: Error: bad type in SIMD instruction -- `vqadd.f32 q0,q1,q2' +[^:]*:15: Error: bad type in SIMD instruction -- `vqsub.f32 q0,q1,q2' +[^:]*:16: Error: bad type in SIMD instruction -- `vqadd.f32 q0,q1,r2' +[^:]*:17: Error: bad type in SIMD instruction -- `vqsub.f32 q0,q1,r2' +[^:]*:18: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:19: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:20: Warning: instruction is UNPREDICTABLE with SP operand +[^:]*:21: Warning: instruction is UNPREDICTABLE with PC operand +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:22: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:23: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:24: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:25: Warning: instruction is UNPREDICTABLE in an IT block +[^:]*:27: Error: syntax error -- `vqaddeq.s32 q0,q1,q2' +[^:]*:28: Error: syntax error -- `vqaddeq.s32 q0,q1,q2' +[^:]*:30: Error: syntax error -- `vqaddeq.s32 q0,q1,q2' +[^:]*:31: Error: vector predicated instruction should be in VPT/VPST block -- `vqaddt.s32 q0,q1,q2' +[^:]*:33: Error: instruction missing MVE vector predication code -- `vqadd.s32 q0,q1,q2' +[^:]*:35: Error: syntax error -- `vqsubeq.s32 q0,q1,q2' +[^:]*:36: Error: syntax error -- `vqsubeq.s32 q0,q1,q2' +[^:]*:38: Error: syntax error -- `vqsubeq.s32 q0,q1,q2' +[^:]*:39: Error: vector predicated instruction should be in VPT/VPST block -- `vqsubt.s32 q0,q1,q2' +[^:]*:41: Error: instruction missing MVE vector predication code -- `vqsub.s32 q0,q1,q2' +[^:]*:43: Error: syntax error -- `vqaddeq.s32 q0,q1,r2' +[^:]*:44: Error: syntax error -- `vqaddeq.s32 q0,q1,r2' +[^:]*:46: Error: syntax error -- `vqaddeq.s32 q0,q1,r2' +[^:]*:47: Error: vector predicated instruction should be in VPT/VPST block -- `vqaddt.s32 q0,q1,r2' +[^:]*:49: Error: instruction missing MVE vector predication code -- `vqadd.s32 q0,q1,r2' +[^:]*:51: Error: syntax error -- `vqsubeq.s32 q0,q1,r2' +[^:]*:52: Error: syntax error -- `vqsubeq.s32 q0,q1,r2' +[^:]*:54: Error: syntax error -- `vqsubeq.s32 q0,q1,r2' +[^:]*:55: Error: vector predicated instruction should be in VPT/VPST block -- `vqsubt.s32 q0,q1,r2' +[^:]*:57: Error: instruction missing MVE vector predication code -- `vqsub.s32 q0,q1,r2' diff --git a/gas/testsuite/gas/arm/mve-vqaddsub-bad.s b/gas/testsuite/gas/arm/mve-vqaddsub-bad.s new file mode 100644 index 0000000000..d5303173c6 --- /dev/null +++ b/gas/testsuite/gas/arm/mve-vqaddsub-bad.s @@ -0,0 +1,57 @@ +.macro cond op, lastop +.irp cond, eq, ne, gt, ge, lt, le +it \cond +\op\().s16 q0, q1, \lastop +.endr +.endm + +.syntax unified +.thumb +vqadd.s64 q0, q1, q2 +vqsub.u64 q0, q1, q2 +vqadd.s64 q0, q1, r2 +vqsub.s64 q0, q1, r2 +vqadd.f32 q0, q1, q2 +vqsub.f32 q0, q1, q2 +vqadd.f32 q0, q1, r2 +vqsub.f32 q0, q1, r2 +vqadd.s16 q0, q1, sp +vqadd.s16 q0, q1, pc +vqsub.s16 q0, q1, sp +vqsub.s16 q0, q1, pc +cond vqadd q2 +cond vqadd r2 +cond vqsub q2 +cond vqsub r2 +it eq +vqaddeq.s32 q0, q1, q2 +vqaddeq.s32 q0, q1, q2 +vpst +vqaddeq.s32 q0, q1, q2 +vqaddt.s32 q0, q1, q2 +vpst +vqadd.s32 q0, q1, q2 +it eq +vqsubeq.s32 q0, q1, q2 +vqsubeq.s32 q0, q1, q2 +vpst +vqsubeq.s32 q0, q1, q2 +vqsubt.s32 q0, q1, q2 +vpst +vqsub.s32 q0, q1, q2 +it eq +vqaddeq.s32 q0, q1, r2 +vqaddeq.s32 q0, q1, r2 +vpst +vqaddeq.s32 q0, q1, r2 +vqaddt.s32 q0, q1, r2 +vpst +vqadd.s32 q0, q1, r2 +it eq +vqsubeq.s32 q0, q1, r2 +vqsubeq.s32 q0, q1, r2 +vpst +vqsubeq.s32 q0, q1, r2 +vqsubt.s32 q0, q1, r2 +vpst +vqsub.s32 q0, q1, r2 -- 2.34.1