Skip to content

Commit f103194

Browse files
committed
[RISCV] Add Qualcomm uC Xqcia (Arithmetic) extension
This extension adds 11 instructions that perform integer arithmetic. The current spec can be found at: https://github.com/quic/riscv-unified-db/releases/latest This patch adds assembler only support.
1 parent ef86a31 commit f103194

File tree

12 files changed

+393
-75
lines changed

12 files changed

+393
-75
lines changed

clang/test/Driver/print-supported-extensions-riscv.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -188,6 +188,7 @@
188188
// CHECK-NEXT: smctr 1.0 'Smctr' (Control Transfer Records Machine Level)
189189
// CHECK-NEXT: ssctr 1.0 'Ssctr' (Control Transfer Records Supervisor Level)
190190
// CHECK-NEXT: svukte 0.3 'Svukte' (Address-Independent Latency of User-Mode Faults to Supervisor Addresses)
191+
// CHECK-NEXT: xqcia 0.2 'Xqcia' (Qualcomm uC Arithmetic Extension)
191192
// CHECK-NEXT: xqcicsr 0.2 'Xqcicsr' (Qualcomm uC CSR Extension)
192193
// CHECK-NEXT: xqcisls 0.2 'Xqcisls' (Qualcomm uC Scaled Load Store Extension)
193194
// CHECK-EMPTY:

llvm/docs/ReleaseNotes.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -215,6 +215,8 @@ Changes to the RISC-V Backend
215215
extension.
216216
* Adds experimental assembler support for the Qualcomm uC 'Xqcisls` (Scaled Load Store)
217217
extension.
218+
* Adds experimental assembler support for the Qualcomm uC 'Xqcia` (Arithmetic)
219+
extension.
218220

219221
Changes to the WebAssembly Backend
220222
----------------------------------

llvm/lib/Target/RISCV/AsmParser/RISCVAsmParser.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -717,6 +717,7 @@ struct RISCVOperand final : public MCParsedAsmOperand {
717717
bool isUImm6() const { return IsUImm<6>(); }
718718
bool isUImm7() const { return IsUImm<7>(); }
719719
bool isUImm8() const { return IsUImm<8>(); }
720+
bool isUImm11() const { return IsUImm<11>(); }
720721
bool isUImm16() const { return IsUImm<16>(); }
721722
bool isUImm20() const { return IsUImm<20>(); }
722723
bool isUImm32() const { return IsUImm<32>(); }
@@ -1563,6 +1564,8 @@ bool RISCVAsmParser::matchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
15631564
return generateImmOutOfRangeError(
15641565
Operands, ErrorInfo, -(1 << 9), (1 << 9) - 16,
15651566
"immediate must be a multiple of 16 bytes and non-zero in the range");
1567+
case Match_InvalidUImm11:
1568+
return generateImmOutOfRangeError(Operands, ErrorInfo, 0, (1 << 11) - 1);
15661569
case Match_InvalidSImm12:
15671570
return generateImmOutOfRangeError(
15681571
Operands, ErrorInfo, -(1 << 11), (1 << 11) - 1,

llvm/lib/Target/RISCV/Disassembler/RISCVDisassembler.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -686,6 +686,8 @@ DecodeStatus RISCVDisassembler::getInstruction32(MCInst &MI, uint64_t &Size,
686686
"Qualcomm uC CSR custom opcode table");
687687
TRY_TO_DECODE_FEATURE(RISCV::FeatureVendorXqcisls, DecoderTableXqcisls32,
688688
"Qualcomm uC Scaled Load Store custom opcode table");
689+
TRY_TO_DECODE_FEATURE(RISCV::FeatureVendorXqcia, DecoderTableXqcia32,
690+
"Qualcomm uC Arithmetic custom opcode table");
689691
TRY_TO_DECODE(true, DecoderTable32, "RISCV32 table");
690692

691693
return MCDisassembler::Fail;

llvm/lib/Target/RISCV/MCTargetDesc/RISCVBaseInfo.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -312,6 +312,7 @@ enum OperandType : unsigned {
312312
OPERAND_UIMM8_GE32,
313313
OPERAND_UIMM9_LSB000,
314314
OPERAND_UIMM10_LSB00_NONZERO,
315+
OPERAND_UIMM11,
315316
OPERAND_UIMM12,
316317
OPERAND_UIMM16,
317318
OPERAND_UIMM32,

llvm/lib/Target/RISCV/RISCVFeatures.td

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1359,6 +1359,14 @@ def HasVendorXqcisls
13591359
AssemblerPredicate<(all_of FeatureVendorXqcisls),
13601360
"'Xqcisls' (Qualcomm uC Scaled Load Store Extension)">;
13611361

1362+
def FeatureVendorXqcia
1363+
: RISCVExperimentalExtension<"xqcia", 0, 2,
1364+
"'Xqcia' (Qualcomm uC Arithmetic Extension)">;
1365+
def HasVendorXqcia
1366+
: Predicate<"Subtarget->hasVendorXqcia()">,
1367+
AssemblerPredicate<(all_of FeatureVendorXqcia),
1368+
"'Xqcia' (Qualcomm uC Arithmetic Extension)">;
1369+
13621370
//===----------------------------------------------------------------------===//
13631371
// LLVM specific features and extensions
13641372
//===----------------------------------------------------------------------===//
Lines changed: 110 additions & 74 deletions
Original file line numberDiff line numberDiff line change
@@ -1,74 +1,110 @@
1-
//===---------------- RISCVInstrInfoXQci.td ----------------*- tablegen -*-===//
2-
//
3-
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4-
// See https://llvm.org/LICENSE.txt for license information.
5-
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6-
//
7-
//===----------------------------------------------------------------------===//
8-
//
9-
// This file describes the vendor extensions defined by QUALCOMM.
10-
//
11-
//===----------------------------------------------------------------------===//
12-
13-
//===----------------------------------------------------------------------===//
14-
// Operand and SDNode transformation definitions.
15-
//===----------------------------------------------------------------------===//
16-
17-
//===----------------------------------------------------------------------===//
18-
// Instruction Formats
19-
//===----------------------------------------------------------------------===//
20-
21-
//===----------------------------------------------------------------------===//
22-
// Instruction Class Templates
23-
//===----------------------------------------------------------------------===//
24-
25-
let hasSideEffects = 0, mayLoad = 1, mayStore = 0 in {
26-
class QCILoad_ScaleIdx<bits<4> func4, string opcodestr>
27-
: RVInstRBase<0b111, OPC_CUSTOM_0,
28-
(outs GPR:$rd), (ins GPRMem:$rs1, GPRNoX0:$rs2, uimm3:$shamt),
29-
opcodestr, "$rd, $rs1, $rs2, $shamt"> {
30-
bits<3> shamt;
31-
let Inst{31-28} = func4;
32-
let Inst{27-25} = shamt;
33-
}
34-
}
35-
36-
let hasSideEffects = 0, mayLoad = 0, mayStore = 1 in {
37-
// rd corresponds to the source for the store 'rs3' described in the spec.
38-
class QCIStore_ScaleIdx<bits<4> func4, string opcodestr>
39-
: RVInstRBase<0b110, OPC_CUSTOM_1, (outs),
40-
(ins GPR:$rd, GPRMem:$rs1, GPRNoX0:$rs2, uimm3:$shamt),
41-
opcodestr, "$rd, $rs1, $rs2, $shamt"> {
42-
bits<3> shamt;
43-
let Inst{31-28} = func4;
44-
let Inst{27-25} = shamt;
45-
}
46-
}
47-
48-
//===----------------------------------------------------------------------===//
49-
// Instructions
50-
//===----------------------------------------------------------------------===//
51-
52-
let Predicates = [HasVendorXqcicsr, IsRV32], DecoderNamespace = "Xqcicsr" in {
53-
let hasSideEffects = 1, mayLoad = 0, mayStore = 0 in {
54-
def QC_CSRRWR : RVInstR<0b1000110, 0b000, OPC_SYSTEM, (outs GPR:$rd),
55-
(ins GPR:$rs1, GPRNoX0:$rs2), "qc.csrrwr",
56-
"$rd, $rs1, $rs2">;
57-
58-
def QC_CSRRWRI : RVInstR<0b1000111, 0b000, OPC_SYSTEM, (outs GPR:$rd),
59-
(ins uimm5:$rs1, GPRNoX0:$rs2), "qc.csrrwri",
60-
"$rd, $rs1, $rs2">;
61-
} // hasSideEffects = 1, mayLoad = 0, mayStore = 0
62-
} // Predicates = [HasVendorXqcicsr, IsRV32], DecoderNamespace = "Xqcicsr"
63-
64-
let Predicates = [HasVendorXqcisls, IsRV32], DecoderNamespace = "Xqcisls" in {
65-
def QC_LRB : QCILoad_ScaleIdx<0b1000, "qc.lrb">;
66-
def QC_LRH : QCILoad_ScaleIdx<0b1001, "qc.lrh">;
67-
def QC_LRW : QCILoad_ScaleIdx<0b1010, "qc.lrw">;
68-
def QC_LRBU : QCILoad_ScaleIdx<0b1011, "qc.lrbu">;
69-
def QC_LRHU : QCILoad_ScaleIdx<0b1100, "qc.lrhu">;
70-
71-
def QC_SRB : QCIStore_ScaleIdx<0b1101, "qc.srb">;
72-
def QC_SRH : QCIStore_ScaleIdx<0b1110, "qc.srh">;
73-
def QC_SRW : QCIStore_ScaleIdx<0b1111, "qc.srw">;
74-
} // Predicates = [HasVendorXqcisls, IsRV32], DecoderNamespace = "Xqcisls"
1+
//===---------------- RISCVInstrInfoXQci.td ----------------*- tablegen -*-===//
2+
//
3+
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4+
// See https://llvm.org/LICENSE.txt for license information.
5+
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6+
//
7+
//===----------------------------------------------------------------------===//
8+
//
9+
// This file describes the vendor extensions defined by QUALCOMM.
10+
//
11+
//===----------------------------------------------------------------------===//
12+
13+
//===----------------------------------------------------------------------===//
14+
// Operand and SDNode transformation definitions.
15+
//===----------------------------------------------------------------------===//
16+
17+
def uimm11 : RISCVUImmLeafOp<11>;
18+
19+
//===----------------------------------------------------------------------===//
20+
// Instruction Formats
21+
//===----------------------------------------------------------------------===//
22+
23+
//===----------------------------------------------------------------------===//
24+
// Instruction Class Templates
25+
//===----------------------------------------------------------------------===//
26+
27+
let hasSideEffects = 0, mayLoad = 1, mayStore = 0 in {
28+
class QCILoad_ScaleIdx<bits<4> func4, string opcodestr>
29+
: RVInstRBase<0b111, OPC_CUSTOM_0,
30+
(outs GPR:$rd), (ins GPRMem:$rs1, GPRNoX0:$rs2, uimm3:$shamt),
31+
opcodestr, "$rd, $rs1, $rs2, $shamt"> {
32+
bits<3> shamt;
33+
let Inst{31-28} = func4;
34+
let Inst{27-25} = shamt;
35+
}
36+
}
37+
38+
let hasSideEffects = 0, mayLoad = 0, mayStore = 1 in {
39+
// rd corresponds to the source for the store 'rs3' described in the spec.
40+
class QCIStore_ScaleIdx<bits<4> func4, string opcodestr>
41+
: RVInstRBase<0b110, OPC_CUSTOM_1, (outs),
42+
(ins GPR:$rd, GPRMem:$rs1, GPRNoX0:$rs2, uimm3:$shamt),
43+
opcodestr, "$rd, $rs1, $rs2, $shamt"> {
44+
bits<3> shamt;
45+
let Inst{31-28} = func4;
46+
let Inst{27-25} = shamt;
47+
}
48+
}
49+
50+
class QCIRVInstR<bits<4> func4, string opcodestr>
51+
: RVInstR<{0b000, func4}, 0b011, OPC_CUSTOM_0, (outs GPRNoX0:$rd),
52+
(ins GPRNoX0:$rs1), opcodestr, "$rd, $rs1"> {
53+
let rs2 = 0;
54+
}
55+
56+
class QCIRVInstRR<bits<5> func5, DAGOperand InTyRs1, string opcodestr>
57+
: RVInstR<{0b00, func5}, 0b011, OPC_CUSTOM_0, (outs GPRNoX0:$rd),
58+
(ins InTyRs1:$rs1, GPRNoX0:$rs2), opcodestr, "$rd, $rs1, $rs2">;
59+
60+
//===----------------------------------------------------------------------===//
61+
// Instructions
62+
//===----------------------------------------------------------------------===//
63+
64+
let Predicates = [HasVendorXqcicsr, IsRV32], DecoderNamespace = "Xqcicsr" in {
65+
let hasSideEffects = 1, mayLoad = 0, mayStore = 0 in {
66+
def QC_CSRRWR : RVInstR<0b1000110, 0b000, OPC_SYSTEM, (outs GPR:$rd),
67+
(ins GPR:$rs1, GPRNoX0:$rs2), "qc.csrrwr",
68+
"$rd, $rs1, $rs2">;
69+
70+
def QC_CSRRWRI : RVInstR<0b1000111, 0b000, OPC_SYSTEM, (outs GPR:$rd),
71+
(ins uimm5:$rs1, GPRNoX0:$rs2), "qc.csrrwri",
72+
"$rd, $rs1, $rs2">;
73+
} // hasSideEffects = 1, mayLoad = 0, mayStore = 0
74+
} // Predicates = [HasVendorXqcicsr, IsRV32], DecoderNamespace = "Xqcicsr"
75+
76+
let Predicates = [HasVendorXqcisls, IsRV32], DecoderNamespace = "Xqcisls" in {
77+
def QC_LRB : QCILoad_ScaleIdx<0b1000, "qc.lrb">;
78+
def QC_LRH : QCILoad_ScaleIdx<0b1001, "qc.lrh">;
79+
def QC_LRW : QCILoad_ScaleIdx<0b1010, "qc.lrw">;
80+
def QC_LRBU : QCILoad_ScaleIdx<0b1011, "qc.lrbu">;
81+
def QC_LRHU : QCILoad_ScaleIdx<0b1100, "qc.lrhu">;
82+
83+
def QC_SRB : QCIStore_ScaleIdx<0b1101, "qc.srb">;
84+
def QC_SRH : QCIStore_ScaleIdx<0b1110, "qc.srh">;
85+
def QC_SRW : QCIStore_ScaleIdx<0b1111, "qc.srw">;
86+
} // Predicates = [HasVendorXqcisls, IsRV32], DecoderNamespace = "Xqcisls"
87+
88+
let Predicates = [HasVendorXqcia, IsRV32], DecoderNamespace = "Xqcia" in {
89+
let hasSideEffects = 0, mayLoad = 0, mayStore = 0 in {
90+
def QC_SLASAT : QCIRVInstRR<0b01010, GPRNoX0, "qc.slasat">;
91+
def QC_SLLSAT : QCIRVInstRR<0b01100, GPRNoX0, "qc.sllsat">;
92+
def QC_ADDSAT : QCIRVInstRR<0b01110, GPRNoX0, "qc.addsat">;
93+
def QC_ADDUSAT : QCIRVInstRR<0b01111, GPRNoX0, "qc.addusat">;
94+
def QC_SUBSAT : QCIRVInstRR<0b10000, GPRNoX0, "qc.subsat">;
95+
def QC_SUBUSAT : QCIRVInstRR<0b10001, GPRNoX0, "qc.subusat">;
96+
97+
def QC_WRAP : QCIRVInstRR<0b10010, GPR, "qc.wrap">;
98+
def QC_WRAPI : RVInstI<0b000, OPC_CUSTOM_0, (outs GPRNoX0:$rd),
99+
(ins GPRNoX0:$rs1, uimm11:$imm11), "qc.wrapi",
100+
"$rd, $rs1, $imm11"> {
101+
bits<11> imm11;
102+
103+
let imm12 = {0b0, imm11};
104+
}
105+
106+
def QC_NORM : QCIRVInstR<0b0111, "qc.norm">;
107+
def QC_NORMU : QCIRVInstR<0b1000, "qc.normu">;
108+
def QC_NORMEU : QCIRVInstR<0b1001, "qc.normeu">;
109+
} // hasSideEffects = 0, mayLoad = 0, mayStore = 0
110+
} // Predicates = [HasVendorXqcia, IsRV32], DecoderNamespace = "Xqcia"

llvm/lib/TargetParser/RISCVISAInfo.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -741,7 +741,8 @@ Error RISCVISAInfo::checkDependency() {
741741
bool HasVector = Exts.count("zve32x") != 0;
742742
bool HasZvl = MinVLen != 0;
743743
bool HasZcmt = Exts.count("zcmt") != 0;
744-
static constexpr StringLiteral XqciExts[] = {{"xqcicsr"}, {"xqcisls"}};
744+
static constexpr StringLiteral XqciExts[] = {
745+
{"xqcia"}, {"xqcicsr"}, {"xqcisls"}};
745746

746747
if (HasI && HasE)
747748
return getIncompatibleError("i", "e");

llvm/test/CodeGen/RISCV/attributes.ll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,7 @@
8181
; RUN: llc -mtriple=riscv32 -mattr=+xtheadmempair %s -o - | FileCheck --check-prefix=RV32XTHEADMEMPAIR %s
8282
; RUN: llc -mtriple=riscv32 -mattr=+xtheadsync %s -o - | FileCheck --check-prefix=RV32XTHEADSYNC %s
8383
; RUN: llc -mtriple=riscv32 -mattr=+xwchc %s -o - | FileCheck --check-prefix=RV32XWCHC %s
84+
; RUN: llc -mtriple=riscv32 -mattr=+experimental-xqcia %s -o - | FileCheck --check-prefix=RV32XQCIA %s
8485
; RUN: llc -mtriple=riscv32 -mattr=+experimental-xqcicsr %s -o - | FileCheck --check-prefix=RV32XQCICSR %s
8586
; RUN: llc -mtriple=riscv32 -mattr=+experimental-xqcisls %s -o - | FileCheck --check-prefix=RV32XQCISLS %s
8687
; RUN: llc -mtriple=riscv32 -mattr=+zaamo %s -o - | FileCheck --check-prefix=RV32ZAAMO %s
@@ -387,6 +388,7 @@
387388
; RV32XTHEADMEMPAIR: .attribute 5, "rv32i2p1_xtheadmempair1p0"
388389
; RV32XTHEADSYNC: .attribute 5, "rv32i2p1_xtheadsync1p0"
389390
; RV32XWCHC: .attribute 5, "rv32i2p1_xwchc2p2"
391+
; RV32XQCIA: .attribute 5, "rv32i2p1_xqcia0p2"
390392
; RV32XQCICSR: .attribute 5, "rv32i2p1_xqcicsr0p2"
391393
; RV32XQCISLS: .attribute 5, "rv32i2p1_xqcisls0p2"
392394
; RV32ZAAMO: .attribute 5, "rv32i2p1_zaamo1p0"

0 commit comments

Comments
 (0)