123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279 |
- //===-- RISCVInstrInfo.h - RISCV Instruction Information --------*- C++ -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file contains the RISCV implementation of the TargetInstrInfo class.
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_LIB_TARGET_RISCV_RISCVINSTRINFO_H
- #define LLVM_LIB_TARGET_RISCV_RISCVINSTRINFO_H
- #include "RISCVRegisterInfo.h"
- #include "llvm/CodeGen/TargetInstrInfo.h"
- #include "llvm/IR/DiagnosticInfo.h"
- #define GET_INSTRINFO_HEADER
- #define GET_INSTRINFO_OPERAND_ENUM
- #include "RISCVGenInstrInfo.inc"
- namespace llvm {
- class RISCVSubtarget;
- namespace RISCVCC {
- enum CondCode {
- COND_EQ,
- COND_NE,
- COND_LT,
- COND_GE,
- COND_LTU,
- COND_GEU,
- COND_INVALID
- };
- CondCode getOppositeBranchCondition(CondCode);
- } // end of namespace RISCVCC
- class RISCVInstrInfo : public RISCVGenInstrInfo {
- public:
- explicit RISCVInstrInfo(RISCVSubtarget &STI);
- MCInst getNop() const override;
- const MCInstrDesc &getBrCond(RISCVCC::CondCode CC) const;
- unsigned isLoadFromStackSlot(const MachineInstr &MI,
- int &FrameIndex) const override;
- unsigned isStoreToStackSlot(const MachineInstr &MI,
- int &FrameIndex) const override;
- void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
- const DebugLoc &DL, MCRegister DstReg, MCRegister SrcReg,
- bool KillSrc) const override;
- void storeRegToStackSlot(MachineBasicBlock &MBB,
- MachineBasicBlock::iterator MBBI, Register SrcReg,
- bool IsKill, int FrameIndex,
- const TargetRegisterClass *RC,
- const TargetRegisterInfo *TRI,
- Register VReg) const override;
- void loadRegFromStackSlot(MachineBasicBlock &MBB,
- MachineBasicBlock::iterator MBBI, Register DstReg,
- int FrameIndex, const TargetRegisterClass *RC,
- const TargetRegisterInfo *TRI,
- Register VReg) const override;
- using TargetInstrInfo::foldMemoryOperandImpl;
- MachineInstr *foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI,
- ArrayRef<unsigned> Ops,
- MachineBasicBlock::iterator InsertPt,
- int FrameIndex,
- LiveIntervals *LIS = nullptr,
- VirtRegMap *VRM = nullptr) const override;
- // Materializes the given integer Val into DstReg.
- void movImm(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
- const DebugLoc &DL, Register DstReg, uint64_t Val,
- MachineInstr::MIFlag Flag = MachineInstr::NoFlags) const;
- unsigned getInstSizeInBytes(const MachineInstr &MI) const override;
- bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
- MachineBasicBlock *&FBB,
- SmallVectorImpl<MachineOperand> &Cond,
- bool AllowModify) const override;
- unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
- MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond,
- const DebugLoc &dl,
- int *BytesAdded = nullptr) const override;
- void insertIndirectBranch(MachineBasicBlock &MBB,
- MachineBasicBlock &NewDestBB,
- MachineBasicBlock &RestoreBB, const DebugLoc &DL,
- int64_t BrOffset, RegScavenger *RS) const override;
- unsigned removeBranch(MachineBasicBlock &MBB,
- int *BytesRemoved = nullptr) const override;
- bool
- reverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const override;
- MachineBasicBlock *getBranchDestBlock(const MachineInstr &MI) const override;
- bool isBranchOffsetInRange(unsigned BranchOpc,
- int64_t BrOffset) const override;
- bool analyzeSelect(const MachineInstr &MI,
- SmallVectorImpl<MachineOperand> &Cond, unsigned &TrueOp,
- unsigned &FalseOp, bool &Optimizable) const override;
- MachineInstr *optimizeSelect(MachineInstr &MI,
- SmallPtrSetImpl<MachineInstr *> &SeenMIs,
- bool) const override;
- bool isAsCheapAsAMove(const MachineInstr &MI) const override;
- std::optional<DestSourcePair>
- isCopyInstrImpl(const MachineInstr &MI) const override;
- bool verifyInstruction(const MachineInstr &MI,
- StringRef &ErrInfo) const override;
- bool getMemOperandWithOffsetWidth(const MachineInstr &LdSt,
- const MachineOperand *&BaseOp,
- int64_t &Offset, unsigned &Width,
- const TargetRegisterInfo *TRI) const;
- bool areMemAccessesTriviallyDisjoint(const MachineInstr &MIa,
- const MachineInstr &MIb) const override;
- std::pair<unsigned, unsigned>
- decomposeMachineOperandsTargetFlags(unsigned TF) const override;
- ArrayRef<std::pair<unsigned, const char *>>
- getSerializableDirectMachineOperandTargetFlags() const override;
- // Return true if the function can safely be outlined from.
- bool isFunctionSafeToOutlineFrom(MachineFunction &MF,
- bool OutlineFromLinkOnceODRs) const override;
- // Return true if MBB is safe to outline from, and return any target-specific
- // information in Flags.
- bool isMBBSafeToOutlineFrom(MachineBasicBlock &MBB,
- unsigned &Flags) const override;
- bool shouldOutlineFromFunctionByDefault(MachineFunction &MF) const override;
- // Calculate target-specific information for a set of outlining candidates.
- outliner::OutlinedFunction getOutliningCandidateInfo(
- std::vector<outliner::Candidate> &RepeatedSequenceLocs) const override;
- // Return if/how a given MachineInstr should be outlined.
- outliner::InstrType getOutliningType(MachineBasicBlock::iterator &MBBI,
- unsigned Flags) const override;
- // Insert a custom frame for outlined functions.
- void buildOutlinedFrame(MachineBasicBlock &MBB, MachineFunction &MF,
- const outliner::OutlinedFunction &OF) const override;
- // Insert a call to an outlined function into a given basic block.
- MachineBasicBlock::iterator
- insertOutlinedCall(Module &M, MachineBasicBlock &MBB,
- MachineBasicBlock::iterator &It, MachineFunction &MF,
- outliner::Candidate &C) const override;
- bool findCommutedOpIndices(const MachineInstr &MI, unsigned &SrcOpIdx1,
- unsigned &SrcOpIdx2) const override;
- MachineInstr *commuteInstructionImpl(MachineInstr &MI, bool NewMI,
- unsigned OpIdx1,
- unsigned OpIdx2) const override;
- MachineInstr *convertToThreeAddress(MachineInstr &MI, LiveVariables *LV,
- LiveIntervals *LIS) const override;
- // MIR printer helper function to annotate Operands with a comment.
- std::string
- createMIROperandComment(const MachineInstr &MI, const MachineOperand &Op,
- unsigned OpIdx,
- const TargetRegisterInfo *TRI) const override;
- void getVLENFactoredAmount(
- MachineFunction &MF, MachineBasicBlock &MBB,
- MachineBasicBlock::iterator II, const DebugLoc &DL, Register DestReg,
- int64_t Amount, MachineInstr::MIFlag Flag = MachineInstr::NoFlags) const;
- bool useMachineCombiner() const override { return true; }
- void setSpecialOperandAttr(MachineInstr &OldMI1, MachineInstr &OldMI2,
- MachineInstr &NewMI1,
- MachineInstr &NewMI2) const override;
- bool
- getMachineCombinerPatterns(MachineInstr &Root,
- SmallVectorImpl<MachineCombinerPattern> &Patterns,
- bool DoRegPressureReduce) const override;
- void
- finalizeInsInstrs(MachineInstr &Root, MachineCombinerPattern &P,
- SmallVectorImpl<MachineInstr *> &InsInstrs) const override;
- void genAlternativeCodeSequence(
- MachineInstr &Root, MachineCombinerPattern Pattern,
- SmallVectorImpl<MachineInstr *> &InsInstrs,
- SmallVectorImpl<MachineInstr *> &DelInstrs,
- DenseMap<unsigned, unsigned> &InstrIdxForVirtReg) const override;
- bool hasReassociableSibling(const MachineInstr &Inst,
- bool &Commuted) const override;
- bool isAssociativeAndCommutative(const MachineInstr &Inst,
- bool Invert) const override;
- std::optional<unsigned> getInverseOpcode(unsigned Opcode) const override;
- // Returns true if all uses of OrigMI only depend on the lower \p NBits bits
- // of its output.
- bool hasAllNBitUsers(const MachineInstr &MI, const MachineRegisterInfo &MRI,
- unsigned NBits) const;
- // Returns true if all uses of OrigMI only depend on the lower word of its
- // output, so we can transform OrigMI to the corresponding W-version.
- bool hasAllWUsers(const MachineInstr &MI,
- const MachineRegisterInfo &MRI) const {
- return hasAllNBitUsers(MI, MRI, 32);
- }
- protected:
- const RISCVSubtarget &STI;
- };
- namespace RISCV {
- // Returns true if this is the sext.w pattern, addiw rd, rs1, 0.
- bool isSEXT_W(const MachineInstr &MI);
- bool isZEXT_W(const MachineInstr &MI);
- bool isZEXT_B(const MachineInstr &MI);
- // Returns true if the given MI is an RVV instruction opcode for which we may
- // expect to see a FrameIndex operand.
- bool isRVVSpill(const MachineInstr &MI);
- std::optional<std::pair<unsigned, unsigned>>
- isRVVSpillForZvlsseg(unsigned Opcode);
- bool isFaultFirstLoad(const MachineInstr &MI);
- // Implemented in RISCVGenInstrInfo.inc
- int16_t getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIndex);
- // Return true if both input instructions have equal rounding mode. If at least
- // one of the instructions does not have rounding mode, false will be returned.
- bool hasEqualFRM(const MachineInstr &MI1, const MachineInstr &MI2);
- // Special immediate for AVL operand of V pseudo instructions to indicate VLMax.
- static constexpr int64_t VLMaxSentinel = -1LL;
- } // namespace RISCV
- namespace RISCVVPseudosTable {
- struct PseudoInfo {
- uint16_t Pseudo;
- uint16_t BaseInstr;
- };
- #define GET_RISCVVPseudosTable_DECL
- #include "RISCVGenSearchableTables.inc"
- } // end namespace RISCVVPseudosTable
- } // end namespace llvm
- #endif
|