[llvm] e4777dc - Revert "[RISCV] Add support for XCVbi extension in CV32E40P"
via llvm-commits
llvm-commits at lists.llvm.org
Fri Jul 28 04:29:08 PDT 2023
Author: melonedo
Date: 2023-07-28T19:28:20+08:00
New Revision: e4777dc4b9cb371971523cc603e1b8a5c7255e7e
URL: https://github.com/llvm/llvm-project/commit/e4777dc4b9cb371971523cc603e1b8a5c7255e7e
DIFF: https://github.com/llvm/llvm-project/commit/e4777dc4b9cb371971523cc603e1b8a5c7255e7e.diff
LOG: Revert "[RISCV] Add support for XCVbi extension in CV32E40P"
This reverts commit bf2ad26b4ff856aab9a62ad168e6bdefeedc374f as it
checked in merge conflict markers.
Added:
Modified:
llvm/docs/RISCVUsage.rst
llvm/lib/Support/RISCVISAInfo.cpp
llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp
llvm/lib/Target/RISCV/RISCVFeatures.td
llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
llvm/test/CodeGen/RISCV/attributes.ll
llvm/test/MC/RISCV/attribute-arch.s
Removed:
llvm/test/MC/RISCV/corev/XCVbi-invalid.s
llvm/test/MC/RISCV/corev/XCVbi.s
################################################################################
diff --git a/llvm/docs/RISCVUsage.rst b/llvm/docs/RISCVUsage.rst
index 1c181d32511057..e2e7929e5f79e1 100644
--- a/llvm/docs/RISCVUsage.rst
+++ b/llvm/docs/RISCVUsage.rst
@@ -277,8 +277,5 @@ The current vendor extensions supported are:
``XCVsimd``
LLVM implements `version 1.0.0 of the CORE-V SIMD custom instructions specification <https://github.com/openhwgroup/cv32e40p/blob/cv32e40p_v1.3.2/docs/source/instruction_set_extensions.rst>`_ by OpenHW Group. All instructions are prefixed with `cv.` as described in the specification.
-``XCVbi``
- LLVM implements `version 1.0.0 of the CORE-V immediate branching custom instructions specification <https://github.com/openhwgroup/cv32e40p/blob/cv32e40p_v1.3.2/docs/source/instruction_set_extensions.rst>`_ by OpenHW Group. All instructions are prefixed with `cv.` as described in the specification. These instructions are only available for riscv32 at this time.
-
``XSfcie``
LLVM implements `version 1.0.0 of the SiFive Custom Instruction Extension (CIE) Software Specification <https://sifive.cdn.prismic.io/sifive/767804da-53b2-4893-97d5-b7c030ae0a94_s76mc_core_complex_manual_21G3.pdf>`_ by SiFive. All custom instruction are added as described in the specification, and the riscv-toolchain-convention document linked above. These instructions are only available for S76 processor at this time.
diff --git a/llvm/lib/Support/RISCVISAInfo.cpp b/llvm/lib/Support/RISCVISAInfo.cpp
index e6d6797f8c88ed..49f83832e210b4 100644
--- a/llvm/lib/Support/RISCVISAInfo.cpp
+++ b/llvm/lib/Support/RISCVISAInfo.cpp
@@ -67,7 +67,6 @@ static const RISCVSupportedExtension SupportedExtensions[] = {
// vendor-defined ('X') extensions
{"xcvalu", RISCVExtensionVersion{1, 0}},
- {"xcvbi", RISCVExtensionVersion{1, 0}},
{"xcvbitmanip", RISCVExtensionVersion{1, 0}},
{"xcvmac", RISCVExtensionVersion{1, 0}},
{"xcvsimd", RISCVExtensionVersion{1, 0}},
diff --git a/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp b/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp
index c02c4b1b42b30d..fc5f2712dbebdf 100644
--- a/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp
+++ b/llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp
@@ -569,8 +569,6 @@ DecodeStatus RISCVDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
"CORE-V ALU custom opcode table");
TRY_TO_DECODE_FEATURE(RISCV::FeatureVendorXCVsimd, DecoderTableCoreVSIMD32,
"CORE-V SIMD extensions custom opcode table");
- TRY_TO_DECODE_FEATURE(RISCV::FeatureVendorXCVbi, DecoderTableXCVbi32,
- "CORE-V Immediate Branching custom opcode table");
TRY_TO_DECODE(true, DecoderTable32, "RISCV32 table");
return MCDisassembler::Fail;
diff --git a/llvm/lib/Target/RISCV/RISCVFeatures.td b/llvm/lib/Target/RISCV/RISCVFeatures.td
index aaa0cb605c177f..f5edfae8bf3fbb 100644
--- a/llvm/lib/Target/RISCV/RISCVFeatures.td
+++ b/llvm/lib/Target/RISCV/RISCVFeatures.td
@@ -816,13 +816,6 @@ def HasVendorXCVsimd
AssemblerPredicate<(any_of FeatureVendorXCVsimd),
"'XCVsimd' (CORE-V SIMD ALU)">;
-def FeatureVendorXCVbi
- : SubtargetFeature<"xcvbi", "HasVendorXCVbi", "true",
- "'XCVbi' (CORE-V Immediate Branching)">;
-def HasVendorXCVbi : Predicate<"Subtarget->hasVendorXCVbi()">,
- AssemblerPredicate<(all_of FeatureVendorXCVbi),
- "'XCVbi' (CORE-V Immediate Branching)">;
-
//===----------------------------------------------------------------------===//
// LLVM specific features and extensions
//===----------------------------------------------------------------------===//
diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td b/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
index c6b780e2774405..8903febf1064d6 100644
--- a/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
+++ b/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
@@ -519,22 +519,3 @@ let Predicates = [HasVendorXCVsimd, IsRV32],
def CV_SUB_DIV4 : CVSIMDRR<0b01110, 1, 0, 0b100, "cv.sub.div4">;
def CV_SUB_DIV8 : CVSIMDRR<0b01110, 1, 0, 0b110, "cv.sub.div8">;
}
-
-class CVInstImmBranch<bits<3> funct3, dag outs, dag ins,
- string opcodestr, string argstr>
- : RVInstB<funct3, OPC_CUSTOM_0, outs, ins, opcodestr, argstr> {
- bits<5> imm5;
- let rs2 = imm5;
- let DecoderNamespace = "XCVbi";
-}
-
-let Predicates = [HasVendorXCVbi, IsRV32], hasSideEffects = 0, mayLoad = 0,
- mayStore = 0, isBranch = 1, isTerminator = 1 in {
- // Immediate branching operations
- def CV_BEQIMM : CVInstImmBranch<0b110, (outs),
- (ins GPR:$rs1, simm5:$imm5, simm13_lsb0:$imm12),
- "cv.beqimm", "$rs1, $imm5, $imm12">, Sched<[]>;
- def CV_BNEIMM : CVInstImmBranch<0b111, (outs),
- (ins GPR:$rs1, simm5:$imm5, simm13_lsb0:$imm12),
- "cv.bneimm", "$rs1, $imm5, $imm12">, Sched<[]>;
-}
diff --git a/llvm/test/CodeGen/RISCV/attributes.ll b/llvm/test/CodeGen/RISCV/attributes.ll
index eb619d112d704c..52d2d5957c8727 100644
--- a/llvm/test/CodeGen/RISCV/attributes.ll
+++ b/llvm/test/CodeGen/RISCV/attributes.ll
@@ -44,11 +44,7 @@
; RUN: llc -mtriple=riscv32 -mattr=+xcvalu %s -o - | FileCheck --check-prefix=RV32XCVALU %s
; RUN: llc -mtriple=riscv32 -mattr=+xcvbitmanip %s -o - | FileCheck --check-prefix=RV32XCVBITMANIP %s
; RUN: llc -mtriple=riscv32 -mattr=+xcvmac %s -o - | FileCheck --check-prefix=RV32XCVMAC %s
-<<<<<<< HEAD
; RUN: llc -mtriple=riscv32 -mattr=+xcvsimd %s -o - | FileCheck --check-prefix=RV32XCVSIMD %s
-=======
-; RUN: llc -mtriple=riscv32 -mattr=+xcvbi %s -o - | FileCheck --check-prefix=RV32XCVBI %s
->>>>>>> 0d564dd452ae ([RISCV] Add support for XCVbi extension in CV32E40P)
; RUN: llc -mtriple=riscv32 -mattr=+xtheadcmo %s -o - | FileCheck --check-prefix=RV32XTHEADCMO %s
; RUN: llc -mtriple=riscv32 -mattr=+xtheadcondmov %s -o - | FileCheck --check-prefix=RV32XTHEADCONDMOV %s
; RUN: llc -mtriple=riscv32 -mattr=+xtheadfmemidx %s -o - | FileCheck --check-prefix=RV32XTHEADFMEMIDX %s
@@ -224,7 +220,6 @@
; RV32XCVBITMANIP: .attribute 5, "rv32i2p1_xcvbitmanip1p0"
; RV32XCVMAC: .attribute 5, "rv32i2p1_xcvmac1p0"
; RV32XCVSIMD: .attribute 5, "rv32i2p1_xcvsimd1p0"
-; RV32XCVBI: .attribute 5, "rv32i2p1_xcvbi1p0"
; RV32XTHEADCMO: .attribute 5, "rv32i2p1_xtheadcmo1p0"
; RV32XTHEADCONDMOV: .attribute 5, "rv32i2p1_xtheadcondmov1p0"
; RV32XTHEADFMEMIDX: .attribute 5, "rv32i2p1_f2p2_zicsr2p0_xtheadfmemidx1p0"
diff --git a/llvm/test/MC/RISCV/attribute-arch.s b/llvm/test/MC/RISCV/attribute-arch.s
index 9dcaf03f516d7f..d791df142a7b6a 100644
--- a/llvm/test/MC/RISCV/attribute-arch.s
+++ b/llvm/test/MC/RISCV/attribute-arch.s
@@ -296,6 +296,3 @@
.attribute arch, "rv32i_xcvsimd"
# CHECK: attribute 5, "rv32i2p1_xcvsimd1p0"
-
-.attribute arch, "rv32i_xcvbi"
-# CHECK: attribute 5, "rv32i2p1_xcvbi1p0"
diff --git a/llvm/test/MC/RISCV/corev/XCVbi-invalid.s b/llvm/test/MC/RISCV/corev/XCVbi-invalid.s
deleted file mode 100644
index 336fef62a41b14..00000000000000
--- a/llvm/test/MC/RISCV/corev/XCVbi-invalid.s
+++ /dev/null
@@ -1,58 +0,0 @@
-# RUN: not llvm-mc -triple=riscv32 --mattr=+xcvbi %s 2>&1 \
-# RUN: | FileCheck %s --check-prefixes=CHECK-ERROR
-
-//===----------------------------------------------------------------------===//
-// cv.beqimm
-//===----------------------------------------------------------------------===//
-
-cv.beqimm 0, 0, 0
-# CHECK-ERROR: invalid operand for instruction
-
-cv.beqimm t0, t1, 0
-# CHECK-ERROR: immediate must be an integer in the range [-16, 15]
-
-cv.beqimm t0, 0, t1
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-cv.beqimm t0, 16, 0
-# CHECK-ERROR: immediate must be an integer in the range [-16, 15]
-
-cv.beqimm t0, -17, 0
-# CHECK-ERROR: immediate must be an integer in the range [-16, 15]
-
-cv.beqimm t0, 0, 1
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-cv.beqimm t0, 0, 4096
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-cv.beqimm t0, 0, -4098
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-//===----------------------------------------------------------------------===//
-// cv.bneimm
-//===----------------------------------------------------------------------===//
-
-cv.bneimm 0, 0, 0
-# CHECK-ERROR: invalid operand for instruction
-
-cv.bneimm t0, t1, 0
-# CHECK-ERROR: immediate must be an integer in the range [-16, 15]
-
-cv.bneimm t0, 0, t1
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-cv.bneimm t0, 16, 0
-# CHECK-ERROR: immediate must be an integer in the range [-16, 15]
-
-cv.bneimm t0, -17, 0
-# CHECK-ERROR: immediate must be an integer in the range [-16, 15]
-
-cv.bneimm t0, 0, 1
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-cv.bneimm t0, 0, 4096
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
-
-cv.bneimm t0, 0, -4098
-# CHECK-ERROR: immediate must be a multiple of 2 bytes in the range [-4096, 4094]
\ No newline at end of file
diff --git a/llvm/test/MC/RISCV/corev/XCVbi.s b/llvm/test/MC/RISCV/corev/XCVbi.s
deleted file mode 100644
index 96e6e491f8a07e..00000000000000
--- a/llvm/test/MC/RISCV/corev/XCVbi.s
+++ /dev/null
@@ -1,57 +0,0 @@
-# RUN: llvm-mc -triple=riscv32 --mattr=+xcvbi -show-encoding %s \
-# RUN: | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INSTR
-# RUN: llvm-mc -filetype=obj -triple=riscv32 -mattr=+xcvbi < %s \
-# RUN: | llvm-objdump --mattr=+xcvbi -M no-aliases -d -r - \
-# RUN: | FileCheck --check-prefix=CHECK-OBJDUMP %s
-# RUN: not llvm-mc -triple riscv32 %s 2>&1 \
-# RUN: | FileCheck -check-prefix=CHECK-NO-EXT %s
-
-//===----------------------------------------------------------------------===//
-// cv.beqimm
-//===----------------------------------------------------------------------===//
-
-label1:
-
-cv.beqimm t0, 0, 0
-# CHECK-INSTR: cv.beqimm t0, 0, 0
-# CHECK-OBJDUMP: cv.beqimm t0, 0, 0x0 <label1>
-# CHECK-ENCODING: [0x0b,0xe0,0x02,0x00]
-# CHECK-NO-EXT: instruction requires the following: 'XCVbi' (CORE-V Immediate Branching){{$}}
-
-cv.beqimm a0, 5, 42
-# CHECK-INSTR: cv.beqimm a0, 5, 42
-# CHECK-OBJDUMP: cv.beqimm a0, 5, 0x2e <label2+0x22>
-# CHECK-ENCODING: [0x0b,0x65,0x55,0x02]
-# CHECK-NO-EXT: instruction requires the following: 'XCVbi' (CORE-V Immediate Branching){{$}}
-
-cv.beqimm a0, -5, label1
-# CHECK-INSTR: cv.beqimm a0, -5, label1
-# CHECK-OBJDUMP: cv.beqimm a0, -5, 0x0 <label1>
-# CHECK-ENCODING: [0x0b'A',0x60'A',0xb5'A',0x01'A']
-# CHECK-ENCODING: fixup A - offset: 0, value: label1, kind: fixup_riscv_branch
-# CHECK-NO-EXT: instruction requires the following: 'XCVbi' (CORE-V Immediate Branching){{$}}
-
-//===----------------------------------------------------------------------===//
-// cv.bneimm
-//===----------------------------------------------------------------------===//
-
-label2:
-
-cv.bneimm t0, 0, 0
-# CHECK-INSTR: cv.bneimm t0, 0, 0
-# CHECK-OBJDUMP: cv.bneimm t0, 0, 0xc <label2>
-# CHECK-ENCODING: [0x0b,0xf0,0x02,0x00]
-# CHECK-NO-EXT: instruction requires the following: 'XCVbi' (CORE-V Immediate Branching){{$}}
-
-cv.bneimm a0, 5, 42
-# CHECK-INSTR: cv.bneimm a0, 5, 42
-# CHECK-OBJDUMP: cv.bneimm a0, 5, 0x3a <label2+0x2e>
-# CHECK-ENCODING: [0x0b,0x75,0x55,0x02]
-# CHECK-NO-EXT: instruction requires the following: 'XCVbi' (CORE-V Immediate Branching){{$}}
-
-cv.bneimm a0, -5, label2
-# CHECK-INSTR: cv.bneimm a0, -5, label2
-# CHECK-OBJDUMP: cv.bneimm a0, -5, 0xc <label2>
-# CHECK-ENCODING: [0x0b'A',0x70'A',0xb5'A',0x01'A']
-# CHECK-ENCODING: fixup A - offset: 0, value: label2, kind: fixup_riscv_branch
-# CHECK-NO-EXT: instruction requires the following: 'XCVbi' (CORE-V Immediate Branching){{$}}
More information about the llvm-commits
mailing list