From 780c53984449e14f50e2418de993bbf560f54bfc Mon Sep 17 00:00:00 2001 From: Philip Reames Date: Mon, 14 Nov 2022 08:29:55 -0800 Subject: [PATCH] [RISCV] Implement assembler support for XVentanaCondOps This change provides an implementation of the XVentanaCondOps vendor extension. This extension is defined in version 1.0.0 of the VTx-family custom instructions specification (https://github.com/ventanamicro/ventana-custom-extensions/releases/download/v1.0.0/ventana-custom-extensions-v1.0.0.pdf) by Ventana Micro Systems. In addition to the technical contribution, this change is intended to be a test case for our vendor extension policy. Once this lands, I plan to use this extension to prototype selection lowering to conditional moves. There's an RVI proposal in flight, and the expectation is that lowering to these and the new RVI instructions is likely to be substantially similar. Differential Revision: https://reviews.llvm.org/D137350 --- clang/test/Preprocessor/riscv-target-features.c | 5 ++++ llvm/docs/RISCVUsage.rst | 9 ++++--- llvm/lib/Support/RISCVISAInfo.cpp | 1 + .../RISCV/Disassembler/RISCVDisassembler.cpp | 10 ++++++++ llvm/lib/Target/RISCV/RISCV.td | 15 +++++++++++ llvm/lib/Target/RISCV/RISCVInstrInfo.td | 6 +++++ llvm/lib/Target/RISCV/RISCVInstrInfoXVentana.td | 29 ++++++++++++++++++++++ llvm/lib/Target/RISCV/RISCVSubtarget.h | 2 ++ llvm/test/CodeGen/RISCV/attributes.ll | 2 ++ llvm/test/MC/RISCV/XVentanaCondOps-valid.s | 22 ++++++++++++++++ 10 files changed, 98 insertions(+), 3 deletions(-) create mode 100644 llvm/lib/Target/RISCV/RISCVInstrInfoXVentana.td create mode 100644 llvm/test/MC/RISCV/XVentanaCondOps-valid.s diff --git a/clang/test/Preprocessor/riscv-target-features.c b/clang/test/Preprocessor/riscv-target-features.c index 2d4aed2..5d43b3f 100644 --- a/clang/test/Preprocessor/riscv-target-features.c +++ b/clang/test/Preprocessor/riscv-target-features.c @@ -41,6 +41,7 @@ // CHECK-NOT: __riscv_zicboz // CHECK-NOT: __riscv_svnapot // CHECK-NOT: __riscv_svinval +// CHECK-NOT: __riscv_xventanacondops // RUN: %clang -target riscv32-unknown-linux-gnu -march=rv32im -x c -E -dM %s \ // RUN: -o - | FileCheck --check-prefix=CHECK-M-EXT %s @@ -432,3 +433,7 @@ // RUN: %clang -target riscv64 -march=rv64isvinval -x c -E -dM %s \ // RUN: -o - | FileCheck --check-prefix=CHECK-SVINVAL-EXT %s // CHECK-SVINVAL-EXT: __riscv_svinval 1000000{{$}} + +// RUN: %clang -target riscv64 -march=rv64ixventanacondops -x c -E -dM %s \ +// RUN: -o - | FileCheck --check-prefix=CHECK-XVENTANACONDOPS-EXT %s +// CHECK-XVENTANACONDOPS-EXT: __riscv_xventanacondops 1000000{{$}} diff --git a/llvm/docs/RISCVUsage.rst b/llvm/docs/RISCVUsage.rst index 6506d75..aa39935 100644 --- a/llvm/docs/RISCVUsage.rst +++ b/llvm/docs/RISCVUsage.rst @@ -149,14 +149,17 @@ To use an experimental extension from `clang`, you must add `-menable-experiment Vendor Extensions ================= -Vendor extensions are extensions which are not standardized by RISC-V International, and are instead defined by a hardware vendor. At the moment, LLVM does not support any vendor extensions for RISC-V, but we expect this to change in the future. - -The term vendor extension roughly parallels the definition of a `non-standard` extension from Section 1.3 of the Volume I: RISC-V Unprivileged ISA specification. In particular, we expect to eventually accept both `custom` extensions and `non-conforming` extensions. +Vendor extensions are extensions which are not standardized by RISC-V International, and are instead defined by a hardware vendor. The term vendor extension roughly parallels the definition of a `non-standard` extension from Section 1.3 of the Volume I: RISC-V Unprivileged ISA specification. In particular, we expect to eventually accept both `custom` extensions and `non-conforming` extensions. Inclusion of a vendor extension will be considered on a case by case basis. All proposals should be brought to the bi-weekly RISCV sync calls for discussion. For a general idea of the factors likely to be considered, please see the `Clang documentation `_. It is our intention to follow the naming conventions described in `riscv-non-isa/riscv-toolchain-conventions `_. Exceptions to this naming will need to be strongly motivated. +The current vendor extensions supported are: + +``XVentanaCondOps`` + LLVM implements `version 1.0.0 of the VTx-family custom instructions specification `_ by Ventana Micro Systems. All instructions are prefixed with `vt.` as described in the specification, and the riscv-toolchai-convention document linked above. These instructions are only available for riscv64 at this time. + Specification Documents ======================= diff --git a/llvm/lib/Support/RISCVISAInfo.cpp b/llvm/lib/Support/RISCVISAInfo.cpp index cf773da..0d93249 100644 --- a/llvm/lib/Support/RISCVISAInfo.cpp +++ b/llvm/lib/Support/RISCVISAInfo.cpp @@ -104,6 +104,7 @@ static const RISCVSupportedExtension SupportedExtensions[] = { {"svnapot", RISCVExtensionVersion{1, 0}}, {"svinval", RISCVExtensionVersion{1, 0}}, + {"xventanacondops", RISCVExtensionVersion{1, 0}}, }; static const RISCVSupportedExtension SupportedExperimentalExtensions[] = { diff --git a/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp b/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp index 1c732a1..4a00e50 100644 --- a/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp +++ b/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp @@ -465,6 +465,16 @@ DecodeStatus RISCVDisassembler::getInstruction(MCInst &MI, uint64_t &Size, return Result; } } + if (STI.getFeatureBits()[RISCV::FeatureVendorXVentanaCondOps]) { + LLVM_DEBUG(dbgs() << "Trying Ventana custom opcode table:\n"); + Result = decodeInstruction(DecoderTableVentana32, MI, Insn, Address, this, + STI); + if (Result != MCDisassembler::Fail) { + Size = 4; + return Result; + } + } + LLVM_DEBUG(dbgs() << "Trying RISCV32 table :\n"); Result = decodeInstruction(DecoderTable32, MI, Insn, Address, this, STI); Size = 4; diff --git a/llvm/lib/Target/RISCV/RISCV.td b/llvm/lib/Target/RISCV/RISCV.td index d54384c..3742eb0 100644 --- a/llvm/lib/Target/RISCV/RISCV.td +++ b/llvm/lib/Target/RISCV/RISCV.td @@ -413,6 +413,21 @@ def HasStdExtZawrs : Predicate<"Subtarget->hasStdExtZawrs()">, AssemblerPredicate<(all_of FeatureStdExtZawrs), "'Zawrs' (Wait on Reservation Set)">; +//===----------------------------------------------------------------------===// +// Vendor extensions +//===----------------------------------------------------------------------===// + +def FeatureVendorXVentanaCondOps + : SubtargetFeature<"xventanacondops", "HasVendorXVentanaCondOps", "true", + "'XVentanaCondOps' (Ventana Conditional Ops)">; +def HasVendorXVentanaCondOps : Predicate<"Subtarget->hasVendorXVentanaCondOps()">, + AssemblerPredicate<(all_of FeatureVendorXVentanaCondOps), + "'XVentanaCondOps' (Ventana Conditional Ops)">; + +//===----------------------------------------------------------------------===// +// LLVM specific features and extensions +//===----------------------------------------------------------------------===// + // Feature32Bit exists to mark CPUs that support RV32 to distinquish them from // tuning CPU names. def Feature32Bit diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfo.td b/llvm/lib/Target/RISCV/RISCVInstrInfo.td index 0089ccb..ea89033 100644 --- a/llvm/lib/Target/RISCV/RISCVInstrInfo.td +++ b/llvm/lib/Target/RISCV/RISCVInstrInfo.td @@ -1782,3 +1782,9 @@ include "RISCVInstrInfoZk.td" include "RISCVInstrInfoV.td" include "RISCVInstrInfoZfh.td" include "RISCVInstrInfoZicbo.td" + +//===----------------------------------------------------------------------===// +// Vendor extensions +//===----------------------------------------------------------------------===// + +include "RISCVInstrInfoXVentana.td" diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoXVentana.td b/llvm/lib/Target/RISCV/RISCVInstrInfoXVentana.td new file mode 100644 index 0000000..c9de697 --- /dev/null +++ b/llvm/lib/Target/RISCV/RISCVInstrInfoXVentana.td @@ -0,0 +1,29 @@ +//===-- RISCVInstrInfoXVentana.td --------------------------*- tablegen -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// +// +// This file describes the vendor extensions defined by Ventana Micro Systems. +// +//===----------------------------------------------------------------------===// + +//===----------------------------------------------------------------------===// +// XVentanaCondOps +//===----------------------------------------------------------------------===// + +let Predicates = [IsRV64, HasVendorXVentanaCondOps], hasSideEffects = 0, + mayLoad = 0, mayStore = 0, isCodeGenOnly = 0, DecoderNamespace = "Ventana" in +class VTMaskedMove funct3, string opcodestr> + : RVInstR<0b0000000, funct3, OPC_CUSTOM_3, (outs GPR:$rd), + (ins GPR:$rs1, GPR:$rs2), opcodestr, + "$rd, $rs1, $rs2"> { +} + +def VT_MASKC : VTMaskedMove<0b110, "vt.maskc">, + Sched<[WriteIALU, ReadIALU, ReadIALU]>; + +def VT_MASKCN : VTMaskedMove<0b111, "vt.maskcn">, + Sched<[WriteIALU, ReadIALU, ReadIALU]>; diff --git a/llvm/lib/Target/RISCV/RISCVSubtarget.h b/llvm/lib/Target/RISCV/RISCVSubtarget.h index f79f9b4..418c878 100644 --- a/llvm/lib/Target/RISCV/RISCVSubtarget.h +++ b/llvm/lib/Target/RISCV/RISCVSubtarget.h @@ -90,6 +90,7 @@ private: bool HasStdExtZmmul = false; bool HasStdExtZawrs = false; bool HasStdExtZtso = false; + bool HasVendorXVentanaCondOps = false; bool HasRV32 = false; bool HasRV64 = false; bool IsRV32E = false; @@ -190,6 +191,7 @@ public: bool hasStdExtZawrs() const { return HasStdExtZawrs; } bool hasStdExtZmmul() const { return HasStdExtZmmul; } bool hasStdExtZtso() const { return HasStdExtZtso; } + bool hasVendorXVentanaCondOps() const { return HasVendorXVentanaCondOps; } bool is64Bit() const { return HasRV64; } bool isRV32E() const { return IsRV32E; } bool enableLinkerRelax() const { return EnableLinkerRelax; } diff --git a/llvm/test/CodeGen/RISCV/attributes.ll b/llvm/test/CodeGen/RISCV/attributes.ll index e0964e6..867d12b 100644 --- a/llvm/test/CodeGen/RISCV/attributes.ll +++ b/llvm/test/CodeGen/RISCV/attributes.ll @@ -76,6 +76,7 @@ ; RUN: llc -mtriple=riscv64 -mattr=+zicbop %s -o - | FileCheck --check-prefix=RV64ZICBOP %s ; RUN: llc -mtriple=riscv64 -mattr=+svnapot %s -o - | FileCheck --check-prefix=RV64SVNAPOT %s ; RUN: llc -mtriple=riscv64 -mattr=+svinval %s -o - | FileCheck --check-prefix=RV64SVINVAL %s +; RUN: llc -mtriple=riscv64 -mattr=+xventanacondops %s -o - | FileCheck --check-prefix=RV64XVENTANACONDOPS %s ; RUN: llc -mtriple=riscv64 -mattr=+experimental-zawrs %s -o - | FileCheck --check-prefix=RV64ZAWRS %s ; RUN: llc -mtriple=riscv64 -mattr=+experimental-ztso %s -o - | FileCheck --check-prefix=RV64ZTSO %s @@ -157,6 +158,7 @@ ; RV64ZICBOP: .attribute 5, "rv64i2p0_zicbop1p0" ; RV64SVNAPOT: .attribute 5, "rv64i2p0_svnapot1p0" ; RV64SVINVAL: .attribute 5, "rv64i2p0_svinval1p0" +; RV64XVENTANACONDOPS: .attribute 5, "rv64i2p0_xventanacondops1p0" ; RV64ZTSO: .attribute 5, "rv64i2p0_ztso0p1" define i32 @addi(i32 %a) { diff --git a/llvm/test/MC/RISCV/XVentanaCondOps-valid.s b/llvm/test/MC/RISCV/XVentanaCondOps-valid.s new file mode 100644 index 0000000..8f4eba5 --- /dev/null +++ b/llvm/test/MC/RISCV/XVentanaCondOps-valid.s @@ -0,0 +1,22 @@ +# RUN: llvm-mc %s -triple=riscv64 -mattr=+xventanacondops -riscv-no-aliases -show-encoding \ +# RUN: | FileCheck -check-prefixes=CHECK-ASM,CHECK-ASM-AND-OBJ %s +# RUN: llvm-mc -filetype=obj -triple=riscv64 -mattr=+xventanacondops < %s \ +# RUN: | llvm-objdump --mattr=+xventanacondops -M no-aliases -d -r - \ +# RUN: | FileCheck --check-prefix=CHECK-ASM-AND-OBJ %s + +# CHECK-ASM-AND-OBJ: vt.maskc zero, zero, zero +# CHECK-ASM: encoding: [0x7b,0x60,0x00,0x00] +vt.maskc x0, x0, x0 + +# CHECK-ASM-AND-OBJ: vt.maskcn zero, zero, zero +# CHECK-ASM: encoding: [0x7b,0x70,0x00,0x00] +vt.maskcn x0, x0, x0 + +# CHECK-ASM-AND-OBJ: vt.maskc ra, sp, gp +# CHECK-ASM: encoding: [0xfb,0x60,0x31,0x00] +vt.maskc x1, x2, x3 + +# CHECK-ASM-AND-OBJ: vt.maskcn ra, sp, gp +# CHECK-ASM: encoding: [0xfb,0x70,0x31,0x00] +vt.maskcn x1, x2, x3 + -- 2.7.4