summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCraig Topper <craig.topper@sifive.com>2025-06-25 23:09:24 -0700
committerGitHub <noreply@github.com>2025-06-25 23:09:24 -0700
commitc8243251cb25f3c171df16ff24ecbb39fbf68d4c (patch)
treeb26e2f60c21681323821cff5e172d6735a5c650c
parenta6e524276e2c0596162a9635e0aa87a5ba145409 (diff)
[RISCV] Remove separate immediate condition codes from RISCVCC. NFC (#145762)
This wasn't scalable and made the RISCVCC enum effectively just a different way of spelling the branch opcodes. This patch reduces RISCVCC back down to 6 enum values. The primary user is select pseudoinstructions which now share the same encoding across all vendor extensions. The select opcode and condition code are used to determine the branch opcode when expanding the pseudo. The Cond SmallVector returned by analyzeBranch now returns the opcode instead of the RISCVCC. reverseBranchCondition now works directly on opcodes. getOppositeBranchCondition is also retained. Stacked on #145622
-rw-r--r--llvm/lib/Target/RISCV/RISCVExpandPseudoInsts.cpp2
-rw-r--r--llvm/lib/Target/RISCV/RISCVISelLowering.cpp9
-rw-r--r--llvm/lib/Target/RISCV/RISCVInstrInfo.cpp272
-rw-r--r--llvm/lib/Target/RISCV/RISCVInstrInfo.h21
-rw-r--r--llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td9
-rw-r--r--llvm/lib/Target/RISCV/RISCVInstrInfoXqci.td32
-rw-r--r--llvm/lib/Target/RISCV/RISCVLateBranchOpt.cpp2
-rw-r--r--llvm/lib/Target/RISCV/RISCVRedundantCopyElimination.cpp10
8 files changed, 180 insertions, 177 deletions
diff --git a/llvm/lib/Target/RISCV/RISCVExpandPseudoInsts.cpp b/llvm/lib/Target/RISCV/RISCVExpandPseudoInsts.cpp
index d3dce4edb1e7..3dc18cce45ef 100644
--- a/llvm/lib/Target/RISCV/RISCVExpandPseudoInsts.cpp
+++ b/llvm/lib/Target/RISCV/RISCVExpandPseudoInsts.cpp
@@ -194,7 +194,7 @@ bool RISCVExpandPseudo::expandCCOp(MachineBasicBlock &MBB,
CC = RISCVCC::getOppositeBranchCondition(CC);
// Insert branch instruction.
- BuildMI(MBB, MBBI, DL, TII->getBrCond(CC))
+ BuildMI(MBB, MBBI, DL, TII->get(RISCVCC::getBrCond(CC)))
.addReg(MI.getOperand(1).getReg())
.addReg(MI.getOperand(2).getReg())
.addMBB(MergeBB);
diff --git a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp
index 90376b375e27..01722ee02306 100644
--- a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp
+++ b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp
@@ -21376,7 +21376,7 @@ EmitLoweredCascadedSelect(MachineInstr &First, MachineInstr &Second,
Register FLHS = First.getOperand(1).getReg();
Register FRHS = First.getOperand(2).getReg();
// Insert appropriate branch.
- BuildMI(FirstMBB, DL, TII.getBrCond(FirstCC))
+ BuildMI(FirstMBB, DL, TII.get(RISCVCC::getBrCond(FirstCC, First.getOpcode())))
.addReg(FLHS)
.addReg(FRHS)
.addMBB(SinkMBB);
@@ -21388,7 +21388,8 @@ EmitLoweredCascadedSelect(MachineInstr &First, MachineInstr &Second,
auto SecondCC = static_cast<RISCVCC::CondCode>(Second.getOperand(3).getImm());
// Insert appropriate branch.
- BuildMI(ThisMBB, DL, TII.getBrCond(SecondCC))
+ BuildMI(ThisMBB, DL,
+ TII.get(RISCVCC::getBrCond(SecondCC, Second.getOpcode())))
.addReg(SLHS)
.addReg(SRHS)
.addMBB(SinkMBB);
@@ -21527,12 +21528,12 @@ static MachineBasicBlock *emitSelectPseudo(MachineInstr &MI,
// Insert appropriate branch.
if (MI.getOperand(2).isImm())
- BuildMI(HeadMBB, DL, TII.getBrCond(CC))
+ BuildMI(HeadMBB, DL, TII.get(RISCVCC::getBrCond(CC, MI.getOpcode())))
.addReg(LHS)
.addImm(MI.getOperand(2).getImm())
.addMBB(TailMBB);
else
- BuildMI(HeadMBB, DL, TII.getBrCond(CC))
+ BuildMI(HeadMBB, DL, TII.get(RISCVCC::getBrCond(CC, MI.getOpcode())))
.addReg(LHS)
.addReg(RHS)
.addMBB(TailMBB);
diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp b/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp
index 9e73d34080c0..7a6b0ed5444f 100644
--- a/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp
+++ b/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp
@@ -958,54 +958,41 @@ void RISCVInstrInfo::movImm(MachineBasicBlock &MBB,
}
}
-static RISCVCC::CondCode getCondFromBranchOpc(unsigned Opc) {
+RISCVCC::CondCode RISCVInstrInfo::getCondFromBranchOpc(unsigned Opc) {
switch (Opc) {
default:
return RISCVCC::COND_INVALID;
case RISCV::BEQ:
- return RISCVCC::COND_EQ;
- case RISCV::BNE:
- return RISCVCC::COND_NE;
- case RISCV::BLT:
- return RISCVCC::COND_LT;
- case RISCV::BGE:
- return RISCVCC::COND_GE;
- case RISCV::BLTU:
- return RISCVCC::COND_LTU;
- case RISCV::BGEU:
- return RISCVCC::COND_GEU;
case RISCV::CV_BEQIMM:
- return RISCVCC::COND_CV_BEQIMM;
- case RISCV::CV_BNEIMM:
- return RISCVCC::COND_CV_BNEIMM;
case RISCV::QC_BEQI:
- return RISCVCC::COND_QC_BEQI;
case RISCV::QC_E_BEQI:
- return RISCVCC::COND_QC_E_BEQI;
+ return RISCVCC::COND_EQ;
+ case RISCV::BNE:
case RISCV::QC_BNEI:
- return RISCVCC::COND_QC_BNEI;
case RISCV::QC_E_BNEI:
- return RISCVCC::COND_QC_E_BNEI;
+ case RISCV::CV_BNEIMM:
+ return RISCVCC::COND_NE;
+ case RISCV::BLT:
case RISCV::QC_BLTI:
- return RISCVCC::COND_QC_BLTI;
case RISCV::QC_E_BLTI:
- return RISCVCC::COND_QC_E_BLTI;
+ return RISCVCC::COND_LT;
+ case RISCV::BGE:
case RISCV::QC_BGEI:
- return RISCVCC::COND_QC_BGEI;
case RISCV::QC_E_BGEI:
- return RISCVCC::COND_QC_E_BGEI;
+ return RISCVCC::COND_GE;
+ case RISCV::BLTU:
case RISCV::QC_BLTUI:
- return RISCVCC::COND_QC_BLTUI;
case RISCV::QC_E_BLTUI:
- return RISCVCC::COND_QC_E_BLTUI;
+ return RISCVCC::COND_LTU;
+ case RISCV::BGEU:
case RISCV::QC_BGEUI:
- return RISCVCC::COND_QC_BGEUI;
case RISCV::QC_E_BGEUI:
- return RISCVCC::COND_QC_E_BGEUI;
+ return RISCVCC::COND_GEU;
}
}
-bool RISCVInstrInfo::evaluateCondBranch(unsigned CC, int64_t C0, int64_t C1) {
+bool RISCVInstrInfo::evaluateCondBranch(RISCVCC::CondCode CC, int64_t C0,
+ int64_t C1) {
switch (CC) {
default:
llvm_unreachable("Unexpected CC");
@@ -1033,63 +1020,92 @@ static void parseCondBranch(MachineInstr &LastInst, MachineBasicBlock *&Target,
assert(LastInst.getDesc().isConditionalBranch() &&
"Unknown conditional branch");
Target = LastInst.getOperand(2).getMBB();
- unsigned CC = getCondFromBranchOpc(LastInst.getOpcode());
- Cond.push_back(MachineOperand::CreateImm(CC));
+ Cond.push_back(MachineOperand::CreateImm(LastInst.getOpcode()));
Cond.push_back(LastInst.getOperand(0));
Cond.push_back(LastInst.getOperand(1));
}
-unsigned RISCVCC::getBrCond(RISCVCC::CondCode CC) {
- switch (CC) {
+unsigned RISCVCC::getBrCond(RISCVCC::CondCode CC, unsigned SelectOpc) {
+ switch (SelectOpc) {
default:
- llvm_unreachable("Unknown condition code!");
- case RISCVCC::COND_EQ:
- return RISCV::BEQ;
- case RISCVCC::COND_NE:
- return RISCV::BNE;
- case RISCVCC::COND_LT:
- return RISCV::BLT;
- case RISCVCC::COND_GE:
- return RISCV::BGE;
- case RISCVCC::COND_LTU:
- return RISCV::BLTU;
- case RISCVCC::COND_GEU:
- return RISCV::BGEU;
- case RISCVCC::COND_CV_BEQIMM:
- return RISCV::CV_BEQIMM;
- case RISCVCC::COND_CV_BNEIMM:
- return RISCV::CV_BNEIMM;
- case RISCVCC::COND_QC_BEQI:
- return RISCV::QC_BEQI;
- case RISCVCC::COND_QC_E_BEQI:
- return RISCV::QC_E_BEQI;
- case RISCVCC::COND_QC_BNEI:
- return RISCV::QC_BNEI;
- case RISCVCC::COND_QC_E_BNEI:
- return RISCV::QC_E_BNEI;
- case RISCVCC::COND_QC_BLTI:
- return RISCV::QC_BLTI;
- case RISCVCC::COND_QC_E_BLTI:
- return RISCV::QC_E_BLTI;
- case RISCVCC::COND_QC_BGEI:
- return RISCV::QC_BGEI;
- case RISCVCC::COND_QC_E_BGEI:
- return RISCV::QC_E_BGEI;
- case RISCVCC::COND_QC_BLTUI:
- return RISCV::QC_BLTUI;
- case RISCVCC::COND_QC_E_BLTUI:
- return RISCV::QC_E_BLTUI;
- case RISCVCC::COND_QC_BGEUI:
- return RISCV::QC_BGEUI;
- case RISCVCC::COND_QC_E_BGEUI:
- return RISCV::QC_E_BGEUI;
+ switch (CC) {
+ default:
+ llvm_unreachable("Unexpected condition code!");
+ case RISCVCC::COND_EQ:
+ return RISCV::BEQ;
+ case RISCVCC::COND_NE:
+ return RISCV::BNE;
+ case RISCVCC::COND_LT:
+ return RISCV::BLT;
+ case RISCVCC::COND_GE:
+ return RISCV::BGE;
+ case RISCVCC::COND_LTU:
+ return RISCV::BLTU;
+ case RISCVCC::COND_GEU:
+ return RISCV::BGEU;
+ }
+ break;
+ case RISCV::Select_GPR_Using_CC_SImm5_CV:
+ switch (CC) {
+ default:
+ llvm_unreachable("Unexpected condition code!");
+ case RISCVCC::COND_EQ:
+ return RISCV::CV_BEQIMM;
+ case RISCVCC::COND_NE:
+ return RISCV::CV_BNEIMM;
+ }
+ break;
+ case RISCV::Select_GPRNoX0_Using_CC_SImm5NonZero_QC:
+ switch (CC) {
+ default:
+ llvm_unreachable("Unexpected condition code!");
+ case RISCVCC::COND_EQ:
+ return RISCV::QC_BEQI;
+ case RISCVCC::COND_NE:
+ return RISCV::QC_BNEI;
+ case RISCVCC::COND_LT:
+ return RISCV::QC_BLTI;
+ case RISCVCC::COND_GE:
+ return RISCV::QC_BGEI;
+ }
+ break;
+ case RISCV::Select_GPRNoX0_Using_CC_UImm5NonZero_QC:
+ switch (CC) {
+ default:
+ llvm_unreachable("Unexpected condition code!");
+ case RISCVCC::COND_LTU:
+ return RISCV::QC_BLTUI;
+ case RISCVCC::COND_GEU:
+ return RISCV::QC_BGEUI;
+ }
+ break;
+ case RISCV::Select_GPRNoX0_Using_CC_SImm16NonZero_QC:
+ switch (CC) {
+ default:
+ llvm_unreachable("Unexpected condition code!");
+ case RISCVCC::COND_EQ:
+ return RISCV::QC_E_BEQI;
+ case RISCVCC::COND_NE:
+ return RISCV::QC_E_BNEI;
+ case RISCVCC::COND_LT:
+ return RISCV::QC_E_BLTI;
+ case RISCVCC::COND_GE:
+ return RISCV::QC_E_BGEI;
+ }
+ break;
+ case RISCV::Select_GPRNoX0_Using_CC_UImm16NonZero_QC:
+ switch (CC) {
+ default:
+ llvm_unreachable("Unexpected condition code!");
+ case RISCVCC::COND_LTU:
+ return RISCV::QC_E_BLTUI;
+ case RISCVCC::COND_GEU:
+ return RISCV::QC_E_BGEUI;
+ }
+ break;
}
}
-const MCInstrDesc &RISCVInstrInfo::getBrCond(RISCVCC::CondCode CC) const {
- return get(RISCVCC::getBrCond(CC));
-}
-
RISCVCC::CondCode RISCVCC::getOppositeBranchCondition(RISCVCC::CondCode CC) {
switch (CC) {
default:
@@ -1106,34 +1122,6 @@ RISCVCC::CondCode RISCVCC::getOppositeBranchCondition(RISCVCC::CondCode CC) {
return RISCVCC::COND_GEU;
case RISCVCC::COND_GEU:
return RISCVCC::COND_LTU;
- case RISCVCC::COND_CV_BEQIMM:
- return RISCVCC::COND_CV_BNEIMM;
- case RISCVCC::COND_CV_BNEIMM:
- return RISCVCC::COND_CV_BEQIMM;
- case RISCVCC::COND_QC_BEQI:
- return RISCVCC::COND_QC_BNEI;
- case RISCVCC::COND_QC_E_BEQI:
- return RISCVCC::COND_QC_E_BNEI;
- case RISCVCC::COND_QC_BNEI:
- return RISCVCC::COND_QC_BEQI;
- case RISCVCC::COND_QC_E_BNEI:
- return RISCVCC::COND_QC_E_BEQI;
- case RISCVCC::COND_QC_BLTI:
- return RISCVCC::COND_QC_BGEI;
- case RISCVCC::COND_QC_E_BLTI:
- return RISCVCC::COND_QC_E_BGEI;
- case RISCVCC::COND_QC_BGEI:
- return RISCVCC::COND_QC_BLTI;
- case RISCVCC::COND_QC_E_BGEI:
- return RISCVCC::COND_QC_E_BLTI;
- case RISCVCC::COND_QC_BLTUI:
- return RISCVCC::COND_QC_BGEUI;
- case RISCVCC::COND_QC_E_BLTUI:
- return RISCVCC::COND_QC_E_BGEUI;
- case RISCVCC::COND_QC_BGEUI:
- return RISCVCC::COND_QC_BLTUI;
- case RISCVCC::COND_QC_E_BGEUI:
- return RISCVCC::COND_QC_E_BLTUI;
}
}
@@ -1263,9 +1251,10 @@ unsigned RISCVInstrInfo::insertBranch(
}
// Either a one or two-way conditional branch.
- auto CC = static_cast<RISCVCC::CondCode>(Cond[0].getImm());
- MachineInstr &CondMI =
- *BuildMI(&MBB, DL, getBrCond(CC)).add(Cond[1]).add(Cond[2]).addMBB(TBB);
+ MachineInstr &CondMI = *BuildMI(&MBB, DL, get(Cond[0].getImm()))
+ .add(Cond[1])
+ .add(Cond[2])
+ .addMBB(TBB);
if (BytesAdded)
*BytesAdded += getInstSizeInBytes(CondMI);
@@ -1348,8 +1337,71 @@ void RISCVInstrInfo::insertIndirectBranch(MachineBasicBlock &MBB,
bool RISCVInstrInfo::reverseBranchCondition(
SmallVectorImpl<MachineOperand> &Cond) const {
assert((Cond.size() == 3) && "Invalid branch condition!");
- auto CC = static_cast<RISCVCC::CondCode>(Cond[0].getImm());
- Cond[0].setImm(getOppositeBranchCondition(CC));
+ switch (Cond[0].getImm()) {
+ default:
+ llvm_unreachable("Unknown conditional branch!");
+ case RISCV::BEQ:
+ Cond[0].setImm(RISCV::BNE);
+ break;
+ case RISCV::BNE:
+ Cond[0].setImm(RISCV::BEQ);
+ break;
+ case RISCV::BLT:
+ Cond[0].setImm(RISCV::BGE);
+ break;
+ case RISCV::BGE:
+ Cond[0].setImm(RISCV::BLT);
+ break;
+ case RISCV::BLTU:
+ Cond[0].setImm(RISCV::BGEU);
+ break;
+ case RISCV::BGEU:
+ Cond[0].setImm(RISCV::BLTU);
+ break;
+ case RISCV::CV_BEQIMM:
+ Cond[0].setImm(RISCV::CV_BNEIMM);
+ break;
+ case RISCV::CV_BNEIMM:
+ Cond[0].setImm(RISCV::CV_BEQIMM);
+ break;
+ case RISCV::QC_BEQI:
+ Cond[0].setImm(RISCV::QC_BNEI);
+ break;
+ case RISCV::QC_BNEI:
+ Cond[0].setImm(RISCV::QC_BEQI);
+ break;
+ case RISCV::QC_BGEI:
+ Cond[0].setImm(RISCV::QC_BLTI);
+ break;
+ case RISCV::QC_BLTI:
+ Cond[0].setImm(RISCV::QC_BGEI);
+ break;
+ case RISCV::QC_BGEUI:
+ Cond[0].setImm(RISCV::QC_BLTUI);
+ break;
+ case RISCV::QC_BLTUI:
+ Cond[0].setImm(RISCV::QC_BGEUI);
+ break;
+ case RISCV::QC_E_BEQI:
+ Cond[0].setImm(RISCV::QC_E_BNEI);
+ break;
+ case RISCV::QC_E_BNEI:
+ Cond[0].setImm(RISCV::QC_E_BEQI);
+ break;
+ case RISCV::QC_E_BGEI:
+ Cond[0].setImm(RISCV::QC_E_BLTI);
+ break;
+ case RISCV::QC_E_BLTI:
+ Cond[0].setImm(RISCV::QC_E_BGEI);
+ break;
+ case RISCV::QC_E_BGEUI:
+ Cond[0].setImm(RISCV::QC_E_BLTUI);
+ break;
+ case RISCV::QC_E_BLTUI:
+ Cond[0].setImm(RISCV::QC_E_BGEUI);
+ break;
+ }
+
return false;
}
diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfo.h b/llvm/lib/Target/RISCV/RISCVInstrInfo.h
index 020be91e90e0..785c8352d4a5 100644
--- a/llvm/lib/Target/RISCV/RISCVInstrInfo.h
+++ b/llvm/lib/Target/RISCV/RISCVInstrInfo.h
@@ -41,25 +41,11 @@ enum CondCode {
COND_GE,
COND_LTU,
COND_GEU,
- COND_CV_BEQIMM,
- COND_CV_BNEIMM,
- COND_QC_BEQI,
- COND_QC_BNEI,
- COND_QC_BLTI,
- COND_QC_BGEI,
- COND_QC_BLTUI,
- COND_QC_BGEUI,
- COND_QC_E_BEQI,
- COND_QC_E_BNEI,
- COND_QC_E_BLTI,
- COND_QC_E_BGEI,
- COND_QC_E_BLTUI,
- COND_QC_E_BGEUI,
COND_INVALID
};
CondCode getOppositeBranchCondition(CondCode);
-unsigned getBrCond(CondCode CC);
+unsigned getBrCond(CondCode CC, unsigned SelectOpc = 0);
} // end of namespace RISCVCC
@@ -79,7 +65,6 @@ public:
explicit RISCVInstrInfo(RISCVSubtarget &STI);
MCInst getNop() const override;
- const MCInstrDesc &getBrCond(RISCVCC::CondCode CC) const;
Register isLoadFromStackSlot(const MachineInstr &MI,
int &FrameIndex) const override;
@@ -325,9 +310,11 @@ public:
#define GET_INSTRINFO_HELPER_DECLS
#include "RISCVGenInstrInfo.inc"
+ static RISCVCC::CondCode getCondFromBranchOpc(unsigned Opc);
+
/// Return the result of the evaluation of C0 CC C1, where CC is a
/// RISCVCC::CondCode.
- static bool evaluateCondBranch(unsigned CC, int64_t C0, int64_t C1);
+ static bool evaluateCondBranch(RISCVCC::CondCode CC, int64_t C0, int64_t C1);
/// Return true if the operand is a load immediate instruction and
/// sets Imm to the immediate value.
diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td b/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
index 942dde4bab31..996e08bd0a27 100644
--- a/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
+++ b/llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td
@@ -789,13 +789,6 @@ let Predicates = [HasVendorXCValu, IsRV32], AddedComplexity = 1 in {
// Patterns for immediate branching operations
//===----------------------------------------------------------------------===//
-def IntCCtoRISCVCCCV : SDNodeXForm<riscv_selectcc, [{
- ISD::CondCode CC = cast<CondCodeSDNode>(N->getOperand(2))->get();
- assert(CC == ISD::SETEQ || CC == ISD::SETNE);
- RISCVCC::CondCode BrCC = CC == ISD::SETEQ ? RISCVCC::COND_CV_BEQIMM : RISCVCC::COND_CV_BNEIMM;
- return CurDAG->getTargetConstant(BrCC, SDLoc(N), Subtarget->getXLenVT());
-}]>;
-
let Predicates = [HasVendorXCVbi, IsRV32], AddedComplexity = 2 in {
def : Pat<(riscv_brcc GPR:$rs1, simm5:$imm5, SETEQ, bb:$imm12),
(CV_BEQIMM GPR:$rs1, simm5:$imm5, bare_simm13_lsb0_bb:$imm12)>;
@@ -808,7 +801,7 @@ let Predicates = [HasVendorXCVbi, IsRV32], AddedComplexity = 2 in {
: Pat<(riscv_selectcc_frag:$cc (i32 GPR:$lhs), simm5:$Constant, Cond,
(i32 GPR:$truev), GPR:$falsev),
(Select_GPR_Using_CC_SImm5_CV GPR:$lhs, simm5:$Constant,
- (IntCCtoRISCVCCCV $cc), GPR:$truev, GPR:$falsev)>;
+ (IntCCtoRISCVCC $cc), GPR:$truev, GPR:$falsev)>;
def : Selectbi<SETEQ>;
def : Selectbi<SETNE>;
diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoXqci.td b/llvm/lib/Target/RISCV/RISCVInstrInfoXqci.td
index a62428a997e1..64c5910293b5 100644
--- a/llvm/lib/Target/RISCV/RISCVInstrInfoXqci.td
+++ b/llvm/lib/Target/RISCV/RISCVInstrInfoXqci.td
@@ -198,36 +198,6 @@ def AddLike: PatFrags<(ops node:$A, node:$B),
return CurDAG->isBaseWithConstantOffset(SDValue(N, 0));
}]>;
-def IntCCtoQCRISCVCC : SDNodeXForm<riscv_selectcc, [{
- ISD::CondCode CC = cast<CondCodeSDNode>(N->getOperand(2))->get();
- int64_t Imm = cast<ConstantSDNode>(N->getOperand(1))->getSExtValue();
- RISCVCC::CondCode BrCC;
- switch (CC) {
- default:
- report_fatal_error("Unexpected CondCode for Xqcibi branch instructions");
- case ISD::SETEQ:
- BrCC = isInt<5>(Imm) ? RISCVCC::COND_QC_BEQI : RISCVCC::COND_QC_E_BEQI;
- break;
- case ISD::SETNE:
- BrCC = isInt<5>(Imm) ? RISCVCC::COND_QC_BNEI : RISCVCC::COND_QC_E_BNEI;
- break;
- case ISD::SETLT:
- BrCC = isInt<5>(Imm) ? RISCVCC::COND_QC_BLTI : RISCVCC::COND_QC_E_BLTI;
- break;
- case ISD::SETGE:
- BrCC = isInt<5>(Imm) ? RISCVCC::COND_QC_BGEI : RISCVCC::COND_QC_E_BGEI;
- break;
- case ISD::SETULT:
- BrCC = isUInt<5>(Imm) ? RISCVCC::COND_QC_BLTUI : RISCVCC::COND_QC_E_BLTUI;
- break;
- case ISD::SETUGE:
- BrCC = isUInt<5>(Imm) ? RISCVCC::COND_QC_BGEUI : RISCVCC::COND_QC_E_BGEUI;
- break;
- }
- return CurDAG->getTargetConstant(BrCC, SDLoc(N), Subtarget->getXLenVT());
-}]>;
-
-
//===----------------------------------------------------------------------===//
// Instruction Formats
//===----------------------------------------------------------------------===//
@@ -1352,7 +1322,7 @@ class SelectQCbi<CondCode Cond, DAGOperand InTyImm, Pseudo OpNode >
: Pat<(riscv_selectcc_frag:$cc (i32 GPRNoX0:$lhs), InTyImm:$Constant, Cond,
(i32 GPRNoX0:$truev), GPRNoX0:$falsev),
(OpNode GPRNoX0:$lhs, InTyImm:$Constant,
- (IntCCtoQCRISCVCC $cc), GPRNoX0:$truev, GPRNoX0:$falsev)>;
+ (IntCCtoRISCVCC $cc), GPRNoX0:$truev, GPRNoX0:$falsev)>;
/// Simple arithmetic operations
diff --git a/llvm/lib/Target/RISCV/RISCVLateBranchOpt.cpp b/llvm/lib/Target/RISCV/RISCVLateBranchOpt.cpp
index d304d86fd7fa..28fb0b2da09d 100644
--- a/llvm/lib/Target/RISCV/RISCVLateBranchOpt.cpp
+++ b/llvm/lib/Target/RISCV/RISCVLateBranchOpt.cpp
@@ -54,7 +54,7 @@ bool RISCVLateBranchOpt::runOnBasicBlock(MachineBasicBlock &MBB) const {
if (!TBB || Cond.size() != 3)
return false;
- RISCVCC::CondCode CC = static_cast<RISCVCC::CondCode>(Cond[0].getImm());
+ RISCVCC::CondCode CC = RISCVInstrInfo::getCondFromBranchOpc(Cond[0].getImm());
assert(CC != RISCVCC::COND_INVALID);
MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
diff --git a/llvm/lib/Target/RISCV/RISCVRedundantCopyElimination.cpp b/llvm/lib/Target/RISCV/RISCVRedundantCopyElimination.cpp
index 811db793ba0e..32d678c817d2 100644
--- a/llvm/lib/Target/RISCV/RISCVRedundantCopyElimination.cpp
+++ b/llvm/lib/Target/RISCV/RISCVRedundantCopyElimination.cpp
@@ -72,12 +72,12 @@ guaranteesZeroRegInBlock(MachineBasicBlock &MBB,
MachineBasicBlock *TBB) {
assert(Cond.size() == 3 && "Unexpected number of operands");
assert(TBB != nullptr && "Expected branch target basic block");
- auto CC = static_cast<RISCVCC::CondCode>(Cond[0].getImm());
- if (CC == RISCVCC::COND_EQ && Cond[2].isReg() &&
- Cond[2].getReg() == RISCV::X0 && TBB == &MBB)
+ auto Opc = Cond[0].getImm();
+ if (Opc == RISCV::BEQ && Cond[2].isReg() && Cond[2].getReg() == RISCV::X0 &&
+ TBB == &MBB)
return true;
- if (CC == RISCVCC::COND_NE && Cond[2].isReg() &&
- Cond[2].getReg() == RISCV::X0 && TBB != &MBB)
+ if (Opc == RISCV::BNE && Cond[2].isReg() && Cond[2].getReg() == RISCV::X0 &&
+ TBB != &MBB)
return true;
return false;
}