[0/1] RISC-V: Support CORE-V XCVBITMANIP extension

Message ID 20240208221534.637556-1-mary.bennett682@gmail.com
Headers
Series RISC-V: Support CORE-V XCVBITMANIP extension |

Message

mary.bennett682@gmail.com Feb. 8, 2024, 10:15 p.m. UTC
  Thank you for reviewing this patch. I do not have merge permissions. If
all looks good, please merge on my behalf.

This patch series presents the comprehensive implementation of the
BITMANIP extension for CORE-V.

Tested with riscv-gnu-toolchain on binutils, ld, gas and gcc testsuites to
ensure its correctness and compatibility with the existing codebase.
However, your input, reviews, and suggestions are invaluable in making this
extension even more robust.

The CORE-V instructions are described in the specification [1] and work can be
found in the OpenHW group's Github repository [2].

[1] docs.openhwgroup.org/projects/cv32e40p-user-manual/en/latest/instruction_set_extensions.html

[2] github.com/openhwgroup/corev-binutils-gdb

Contributors:
  Mary Bennett <mary.bennett@embecosm.com>
  Nandni Jamnadas <nandni.jamnadas@embecosm.com>
  Pietra Ferreira <pietra.ferreira@embecosm.com>
  Charlie Keaney
  Jessica Mills
  Craig Blackmore <craig.blackmore@embecosm.com>
  Simon Cook <simon.cook@embecosm.com>
  Jeremy Bennett <jeremy.bennett@embecosm.com>
  Helene Chelin <helene.chelin@embecosm.com>

RISC-V: Add support for XCVbitmanip extension in CV32E40Pv2

 bfd/elfxx-riscv.c                             |  5 +++
 gas/config/tc-riscv.c                         | 41 ++++++++++++++++++-
 gas/doc/c-riscv.texi                          |  5 +++
 .../gas/riscv/cv-bitmanip-bclr-fail.d         |  3 ++
 .../gas/riscv/cv-bitmanip-bclr-fail.l         |  7 ++++
 .../gas/riscv/cv-bitmanip-bclr-fail.s         |  9 ++++
 .../gas/riscv/cv-bitmanip-bclr-pass.d         | 19 +++++++++
 .../gas/riscv/cv-bitmanip-bclr-pass.s         | 11 +++++
 .../gas/riscv/cv-bitmanip-bclrr-fail.d        |  3 ++
 .../gas/riscv/cv-bitmanip-bclrr-fail.l        |  3 ++
 .../gas/riscv/cv-bitmanip-bclrr-fail.s        |  4 ++
 .../gas/riscv/cv-bitmanip-bclrr-pass.d        | 16 ++++++++
 .../gas/riscv/cv-bitmanip-bclrr-pass.s        |  8 ++++
 .../gas/riscv/cv-bitmanip-bitrev-fail.d       |  3 ++
 .../gas/riscv/cv-bitmanip-bitrev-fail.l       |  7 ++++
 .../gas/riscv/cv-bitmanip-bitrev-fail.s       |  9 ++++
 .../gas/riscv/cv-bitmanip-bitrev-pass.d       | 18 ++++++++
 .../gas/riscv/cv-bitmanip-bitrev-pass.s       | 11 +++++
 .../gas/riscv/cv-bitmanip-bset-fail.d         |  3 ++
 .../gas/riscv/cv-bitmanip-bset-fail.l         |  7 ++++
 .../gas/riscv/cv-bitmanip-bset-fail.s         |  9 ++++
 .../gas/riscv/cv-bitmanip-bset-pass.d         | 19 +++++++++
 .../gas/riscv/cv-bitmanip-bset-pass.s         | 11 +++++
 .../gas/riscv/cv-bitmanip-bsetr-fail.d        |  3 ++
 .../gas/riscv/cv-bitmanip-bsetr-fail.l        |  3 ++
 .../gas/riscv/cv-bitmanip-bsetr-fail.s        |  4 ++
 .../gas/riscv/cv-bitmanip-bsetr-pass.d        | 16 ++++++++
 .../gas/riscv/cv-bitmanip-bsetr-pass.s        |  8 ++++
 .../gas/riscv/cv-bitmanip-clb-fail.d          |  3 ++
 .../gas/riscv/cv-bitmanip-clb-fail.l          |  3 ++
 .../gas/riscv/cv-bitmanip-clb-fail.s          |  4 ++
 .../gas/riscv/cv-bitmanip-clb-pass.d          | 16 ++++++++
 .../gas/riscv/cv-bitmanip-clb-pass.s          |  8 ++++
 .../gas/riscv/cv-bitmanip-cnt-fail.d          |  3 ++
 .../gas/riscv/cv-bitmanip-cnt-fail.l          |  3 ++
 .../gas/riscv/cv-bitmanip-cnt-fail.s          |  4 ++
 .../gas/riscv/cv-bitmanip-cnt-pass.d          | 16 ++++++++
 .../gas/riscv/cv-bitmanip-cnt-pass.s          |  8 ++++
 .../gas/riscv/cv-bitmanip-extract-fail.d      |  3 ++
 .../gas/riscv/cv-bitmanip-extract-fail.l      |  7 ++++
 .../gas/riscv/cv-bitmanip-extract-fail.s      |  9 ++++
 .../gas/riscv/cv-bitmanip-extract-pass.d      | 19 +++++++++
 .../gas/riscv/cv-bitmanip-extract-pass.s      | 11 +++++
 .../gas/riscv/cv-bitmanip-extractr-fail.d     |  3 ++
 .../gas/riscv/cv-bitmanip-extractr-fail.l     |  3 ++
 .../gas/riscv/cv-bitmanip-extractr-fail.s     |  4 ++
 .../gas/riscv/cv-bitmanip-extractr-pass.d     | 16 ++++++++
 .../gas/riscv/cv-bitmanip-extractr-pass.s     |  8 ++++
 .../gas/riscv/cv-bitmanip-extractu-fail.d     |  3 ++
 .../gas/riscv/cv-bitmanip-extractu-fail.l     |  7 ++++
 .../gas/riscv/cv-bitmanip-extractu-fail.s     |  9 ++++
 .../gas/riscv/cv-bitmanip-extractu-pass.d     | 19 +++++++++
 .../gas/riscv/cv-bitmanip-extractu-pass.s     | 11 +++++
 .../gas/riscv/cv-bitmanip-extractur-fail.d    |  3 ++
 .../gas/riscv/cv-bitmanip-extractur-fail.l    |  3 ++
 .../gas/riscv/cv-bitmanip-extractur-fail.s    |  4 ++
 .../gas/riscv/cv-bitmanip-extractur-pass.d    | 16 ++++++++
 .../gas/riscv/cv-bitmanip-extractur-pass.s    |  8 ++++
 .../gas/riscv/cv-bitmanip-ff1-fail.d          |  3 ++
 .../gas/riscv/cv-bitmanip-ff1-fail.l          |  3 ++
 .../gas/riscv/cv-bitmanip-ff1-fail.s          |  4 ++
 .../gas/riscv/cv-bitmanip-ff1-pass.d          | 16 ++++++++
 .../gas/riscv/cv-bitmanip-ff1-pass.s          |  8 ++++
 .../gas/riscv/cv-bitmanip-fl1-fail.d          |  3 ++
 .../gas/riscv/cv-bitmanip-fl1-fail.l          |  3 ++
 .../gas/riscv/cv-bitmanip-fl1-fail.s          |  4 ++
 .../gas/riscv/cv-bitmanip-fl1-pass.d          | 16 ++++++++
 .../gas/riscv/cv-bitmanip-fl1-pass.s          |  8 ++++
 .../gas/riscv/cv-bitmanip-insert-fail.d       |  3 ++
 .../gas/riscv/cv-bitmanip-insert-fail.l       |  7 ++++
 .../gas/riscv/cv-bitmanip-insert-fail.s       |  9 ++++
 .../gas/riscv/cv-bitmanip-insert-pass.d       | 19 +++++++++
 .../gas/riscv/cv-bitmanip-insert-pass.s       | 11 +++++
 .../gas/riscv/cv-bitmanip-insertr-fail.d      |  3 ++
 .../gas/riscv/cv-bitmanip-insertr-fail.l      |  3 ++
 .../gas/riscv/cv-bitmanip-insertr-fail.s      |  4 ++
 .../gas/riscv/cv-bitmanip-insertr-pass.d      | 16 ++++++++
 .../gas/riscv/cv-bitmanip-insertr-pass.s      |  8 ++++
 .../gas/riscv/cv-bitmanip-march-xcvbitmanip.d | 26 ++++++++++++
 .../gas/riscv/cv-bitmanip-march-xcvbitmanip.s | 17 ++++++++
 .../gas/riscv/cv-bitmanip-ror-fail.d          |  3 ++
 .../gas/riscv/cv-bitmanip-ror-fail.l          |  3 ++
 .../gas/riscv/cv-bitmanip-ror-fail.s          |  4 ++
 .../gas/riscv/cv-bitmanip-ror-pass.d          | 16 ++++++++
 .../gas/riscv/cv-bitmanip-ror-pass.s          |  8 ++++
 include/opcode/riscv-opc.h                    | 33 +++++++++++++++
 include/opcode/riscv.h                        |  9 ++++
 opcodes/riscv-dis.c                           | 15 +++++++
 opcodes/riscv-opc.c                           | 19 +++++++++
 89 files changed, 802 insertions(+), 1 deletion(-)
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclr-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclr-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclr-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclr-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclr-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclrr-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclrr-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclrr-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclrr-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bclrr-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bitrev-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bitrev-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bitrev-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bitrev-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bitrev-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bset-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bset-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bset-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bset-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bset-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bsetr-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bsetr-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bsetr-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bsetr-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-bsetr-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-clb-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-clb-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-clb-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-clb-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-clb-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-cnt-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-cnt-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-cnt-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-cnt-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-cnt-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extract-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extract-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extract-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extract-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extract-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractr-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractr-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractr-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractr-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractr-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractu-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractu-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractu-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractu-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractu-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractur-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractur-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractur-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractur-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-extractur-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ff1-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ff1-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ff1-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ff1-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ff1-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-fl1-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-fl1-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-fl1-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-fl1-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-fl1-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insert-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insert-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insert-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insert-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insert-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insertr-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insertr-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insertr-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insertr-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-insertr-pass.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-march-xcvbitmanip.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-march-xcvbitmanip.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ror-fail.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ror-fail.l
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ror-fail.s
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ror-pass.d
 create mode 100644 gas/testsuite/gas/riscv/cv-bitmanip-ror-pass.s