diff options
author | Srinath Parvathaneni <srinath.parvathaneni@arm.com> | 2024-06-25 13:00:03 +0100 |
---|---|---|
committer | Srinath Parvathaneni <srinath.parvathaneni@arm.com> | 2024-06-25 13:38:48 +0100 |
commit | f3eefcc18bb6f1cc98831b063a58aa5a9ee0b811 (patch) | |
tree | b2453b3a2eea55d833334e5734f6e7f2d3260d89 | |
parent | 4f2cb9d129f8a5eba81379b70322d013b670045c (diff) | |
download | binutils-f3eefcc18bb6f1cc98831b063a58aa5a9ee0b811.zip binutils-f3eefcc18bb6f1cc98831b063a58aa5a9ee0b811.tar.gz binutils-f3eefcc18bb6f1cc98831b063a58aa5a9ee0b811.tar.bz2 |
arch64: Fix the wrong constraint used for sve2p1 instructions.
The current implementation for the following SVE2p1 instructions add a
constraint in aarch64_opcode_table[] array, so that these instruction
might be immediately preceded in program order by a MOVPRFX instruction.
As per the spec these instruction does not immediately preceded in
program order by a MOVPRFX instruction and to fix this issue, SVE2p1_INSNC
macro is replaced with SVE2p1_INSN macro for the entries of these
instructions in aarch64_opcode_table[] array.
List of instructions updated: addqv, andqv, smaxqv, sminqv, umaxqv, uminqv,
eorqv, faddqv, fmaxnmqv, fmaxqv, fminnmqv and fminqv.
-rw-r--r-- | gas/testsuite/gas/aarch64/sve2p1-1-invalid.d | 4 | ||||
-rw-r--r-- | gas/testsuite/gas/aarch64/sve2p1-1-invalid.l | 101 | ||||
-rw-r--r-- | gas/testsuite/gas/aarch64/sve2p1-1-invalid.s | 26 | ||||
-rw-r--r-- | opcodes/aarch64-tbl.h | 25 |
4 files changed, 143 insertions, 13 deletions
diff --git a/gas/testsuite/gas/aarch64/sve2p1-1-invalid.d b/gas/testsuite/gas/aarch64/sve2p1-1-invalid.d new file mode 100644 index 0000000..91066f7 --- /dev/null +++ b/gas/testsuite/gas/aarch64/sve2p1-1-invalid.d @@ -0,0 +1,4 @@ +#name: Illegal test of SVE2.1 min max instructions with movprfx. +#as: -march=armv9.4-a +#source: sve2p1-1-invalid.s +#warning_output: sve2p1-1-invalid.l diff --git a/gas/testsuite/gas/aarch64/sve2p1-1-invalid.l b/gas/testsuite/gas/aarch64/sve2p1-1-invalid.l new file mode 100644 index 0000000..ecece13 --- /dev/null +++ b/gas/testsuite/gas/aarch64/sve2p1-1-invalid.l @@ -0,0 +1,101 @@ +.*: Assembler messages: +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.16b,p0,z0.b' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `faddqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `faddqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `faddqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxnmqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxnmqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxnmqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminnmqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminnmqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminnmqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `addqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `andqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `smaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `sminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `umaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `uminqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `eorqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `faddqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `faddqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `faddqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxnmqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxnmqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxnmqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fmaxqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminnmqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminnmqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminnmqv v0.2d,p0,z0.d' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminqv v0.8h,p0,z0.h' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminqv v0.4s,p0,z0.s' +.*: Warning: SVE `movprfx' compatible instruction expected -- `fminqv v0.2d,p0,z0.d' diff --git a/gas/testsuite/gas/aarch64/sve2p1-1-invalid.s b/gas/testsuite/gas/aarch64/sve2p1-1-invalid.s new file mode 100644 index 0000000..1808027 --- /dev/null +++ b/gas/testsuite/gas/aarch64/sve2p1-1-invalid.s @@ -0,0 +1,26 @@ + .irp op1 addqv, andqv, smaxqv, sminqv, umaxqv, uminqv, eorqv + movprfx z3, z5 + \op1 v0.16b, p0, z0.b + movprfx z3, z5 + \op1 v0.8h, p0, z0.h + movprfx z3, z5 + \op1 v0.4s, p0, z0.s + movprfx z3, z5 + \op1 v0.2d, p0, z0.d + .endr + .irp op1 addqv, andqv, smaxqv, sminqv, umaxqv, uminqv, eorqv, faddqv, fmaxnmqv, fmaxqv, fminnmqv, fminqv + movprfx z0.d, p0/m, z31.d + \op1 v0.8h, p0, z0.h + movprfx z0.d, p0/m, z31.d + \op1 v0.4s, p0, z0.s + movprfx z0.d, p0/m, z31.d + \op1 v0.2d, p0, z0.d + .endr + .irp op1 addqv, andqv, smaxqv, sminqv, umaxqv, uminqv, eorqv, faddqv, fmaxnmqv, fmaxqv, fminnmqv, fminqv + movprfx z0.d, p0/z, z31.d + \op1 v0.8h, p0, z0.h + movprfx z0.d, p0/z, z31.d + \op1 v0.4s, p0, z0.s + movprfx z0.d, p0/z, z31.d + \op1 v0.2d, p0, z0.d + .endr diff --git a/opcodes/aarch64-tbl.h b/opcodes/aarch64-tbl.h index 8246de5..437e4a7 100644 --- a/opcodes/aarch64-tbl.h +++ b/opcodes/aarch64-tbl.h @@ -6626,19 +6626,18 @@ const struct aarch64_opcode aarch64_opcode_table[] = SME2p1_INSN ("movaz", 0xc0c60200, 0xffff1f01, sme2_movaz, 0, OP2 (SME_Zdnx2, SME_ZA_array_vrsd_1), OP_SVE_DD, 0, 0), /* SVE2p1 Instructions. */ - SVE2p1_INSNC("addqv",0x04052000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("andqv",0x041e2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("smaxqv",0x040c2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("sminqv",0x040e2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("umaxqv",0x040d2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("uminqv",0x040f2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("eorqv",0x041d2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - - SVE2p1_INSNC("faddqv",0x6410a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("fmaxnmqv",0x6414a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("fmaxqv",0x6416a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("fminnmqv",0x6415a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), - SVE2p1_INSNC("fminqv",0x6417a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, C_SCAN_MOVPRFX, 0), + SVE2p1_INSN("addqv",0x04052000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("andqv",0x041e2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("smaxqv",0x040c2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("sminqv",0x040e2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("umaxqv",0x040d2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("uminqv",0x040f2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("eorqv",0x041d2000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_BHSD_BHSD, F_OPD_SIZE, 0), + SVE2p1_INSN("faddqv",0x6410a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, 0), + SVE2p1_INSN("fmaxnmqv",0x6414a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, 0), + SVE2p1_INSN("fmaxqv",0x6416a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, 0), + SVE2p1_INSN("fminnmqv",0x6415a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, 0), + SVE2p1_INSN("fminqv",0x6417a000, 0xff3fe000, sve2_urqvs, 0, OP3 (Vd, SVE_Pg3, SVE_Zn), OP_SVE_vUS_HSD_HSD, F_OPD_SIZE, 0), SVE2p1_INSN("dupq",0x05202400, 0xffe0fc00, sve_index, 0, OP2 (SVE_Zd, SVE_Zn_5_INDEX), OP_SVE_VV_BHSD, 0, 0), SVE2p1_INSNC("extq",0x05602400, 0xfff0fc00, sve_misc, 0, OP4 (SVE_Zd, SVE_Zd, SVE_Zm_5, SVE_UIMM4), OP_SVE_BBBU, 0, C_SCAN_MOVPRFX, 1), |