diff options
| author | Craig Topper <craig.topper@sifive.com> | 2025-06-25 23:09:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-25 23:09:24 -0700 |
| commit | c8243251cb25f3c171df16ff24ecbb39fbf68d4c (patch) | |
| tree | b26e2f60c21681323821cff5e172d6735a5c650c | |
| parent | a6e524276e2c0596162a9635e0aa87a5ba145409 (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.cpp | 2 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVISelLowering.cpp | 9 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVInstrInfo.cpp | 272 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVInstrInfo.h | 21 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVInstrInfoXCV.td | 9 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVInstrInfoXqci.td | 32 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVLateBranchOpt.cpp | 2 | ||||
| -rw-r--r-- | llvm/lib/Target/RISCV/RISCVRedundantCopyElimination.cpp | 10 |
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; } |
