Skip to content

Commit

Permalink
[RISCV] Begin removing hasDummyMask.
Browse files Browse the repository at this point in the history
This was used to know if we need to insert a dummy operand during
MCInstLowering. We can use the operand info from MCInstrDesc to
figure this out without needing a separate flag.

I'll remove the tablegen bits if there is consensus this is a good
idea.

Differential Revision: https://reviews.llvm.org/D152050
  • Loading branch information
topperc committed Jun 12, 2023
1 parent 758ffdb commit d170eff
Show file tree
Hide file tree
Showing 3 changed files with 13 additions and 14 deletions.
4 changes: 0 additions & 4 deletions llvm/lib/Target/RISCV/MCTargetDesc/RISCVBaseInfo.h
Original file line number Diff line number Diff line change
Expand Up @@ -140,10 +140,6 @@ static inline unsigned getFormat(uint64_t TSFlags) {
static inline VLMUL getLMul(uint64_t TSFlags) {
return static_cast<VLMUL>((TSFlags & VLMulMask) >> VLMulShift);
}
/// \returns true if there is a dummy mask operand for the instruction.
static inline bool hasDummyMaskOp(uint64_t TSFlags) {
return TSFlags & HasDummyMaskOpMask;
}
/// \returns true if tail agnostic is enforced for the instruction.
static inline bool doesForceTailAgnostic(uint64_t TSFlags) {
return TSFlags & ForceTailAgnosticMask;
Expand Down
14 changes: 10 additions & 4 deletions llvm/lib/Target/RISCV/RISCVAsmPrinter.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -630,9 +630,8 @@ static bool lowerRISCVVMachineInstrToMCInst(const MachineInstr *MI,
const MachineFunction *MF = MBB->getParent();
assert(MF && "MBB expected to be in a machine function");

const TargetRegisterInfo *TRI =
MF->getSubtarget<RISCVSubtarget>().getRegisterInfo();

const RISCVSubtarget &Subtarget = MF->getSubtarget<RISCVSubtarget>();
const TargetRegisterInfo *TRI = Subtarget.getRegisterInfo();
assert(TRI && "TargetRegisterInfo expected");

uint64_t TSFlags = MI->getDesc().TSFlags;
Expand Down Expand Up @@ -705,9 +704,16 @@ static bool lowerRISCVVMachineInstrToMCInst(const MachineInstr *MI,

// Unmasked pseudo instructions need to append dummy mask operand to
// V instructions. All V instructions are modeled as the masked version.
if (RISCVII::hasDummyMaskOp(TSFlags))
const TargetInstrInfo *TII = Subtarget.getInstrInfo();
const MCInstrDesc &OutMCID = TII->get(OutMI.getOpcode());
if (OutMI.getNumOperands() < OutMCID.getNumOperands()) {
assert(OutMCID.operands()[OutMI.getNumOperands()].RegClass ==
RISCV::VMV0RegClassID &&
"Expected only mask operand to be missing");
OutMI.addOperand(MCOperand::createReg(RISCV::NoRegister));
}

assert(OutMI.getNumOperands() == OutMCID.getNumOperands());
return true;
}

Expand Down
9 changes: 3 additions & 6 deletions llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -3207,16 +3207,13 @@ bool RISCVDAGToDAGISel::doPeepholeMaskedRVV(SDNode *N) {

unsigned Opc = UseTUPseudo ? I->UnmaskedTUPseudo : I->UnmaskedPseudo;

// Check that we're dropping the mask operand and any policy operand
// when we transform to this unmasked pseudo. Additionally, if this
// instruction is tail agnostic, the unmasked instruction should not have a
// tied destination.
// If this instruction is tail agnostic, the unmasked instruction should not
// have a tied destination.
#ifndef NDEBUG
const MCInstrDesc &MCID = TII.get(Opc);
uint64_t TSFlags = MCID.TSFlags;
bool HasTiedDest = RISCVII::isFirstDefTiedToFirstUse(MCID);
assert(UseTUPseudo == HasTiedDest && RISCVII::hasDummyMaskOp(TSFlags) &&
"Unexpected pseudo to transform to");
assert((UseTUPseudo == HasTiedDest) && "Unexpected pseudo to transform to");
#endif

SmallVector<SDValue, 8> Ops;
Expand Down

0 comments on commit d170eff

Please sign in to comment.