10b57cec5SDimitry Andric //===-- RISCVInstrInfo.h - RISCV Instruction Information --------*- C++ -*-===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file contains the RISCV implementation of the TargetInstrInfo class. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #ifndef LLVM_LIB_TARGET_RISCV_RISCVINSTRINFO_H 140b57cec5SDimitry Andric #define LLVM_LIB_TARGET_RISCV_RISCVINSTRINFO_H 150b57cec5SDimitry Andric 160b57cec5SDimitry Andric #include "RISCVRegisterInfo.h" 170b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 180b57cec5SDimitry Andric 190b57cec5SDimitry Andric #define GET_INSTRINFO_HEADER 200b57cec5SDimitry Andric #include "RISCVGenInstrInfo.inc" 210b57cec5SDimitry Andric 220b57cec5SDimitry Andric namespace llvm { 230b57cec5SDimitry Andric 248bcb0991SDimitry Andric class RISCVSubtarget; 258bcb0991SDimitry Andric 260b57cec5SDimitry Andric class RISCVInstrInfo : public RISCVGenInstrInfo { 270b57cec5SDimitry Andric 280b57cec5SDimitry Andric public: 298bcb0991SDimitry Andric explicit RISCVInstrInfo(RISCVSubtarget &STI); 300b57cec5SDimitry Andric 310b57cec5SDimitry Andric unsigned isLoadFromStackSlot(const MachineInstr &MI, 320b57cec5SDimitry Andric int &FrameIndex) const override; 330b57cec5SDimitry Andric unsigned isStoreToStackSlot(const MachineInstr &MI, 340b57cec5SDimitry Andric int &FrameIndex) const override; 350b57cec5SDimitry Andric 360b57cec5SDimitry Andric void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 37480093f4SDimitry Andric const DebugLoc &DL, MCRegister DstReg, MCRegister SrcReg, 380b57cec5SDimitry Andric bool KillSrc) const override; 390b57cec5SDimitry Andric 400b57cec5SDimitry Andric void storeRegToStackSlot(MachineBasicBlock &MBB, 415ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, Register SrcReg, 420b57cec5SDimitry Andric bool IsKill, int FrameIndex, 430b57cec5SDimitry Andric const TargetRegisterClass *RC, 440b57cec5SDimitry Andric const TargetRegisterInfo *TRI) const override; 450b57cec5SDimitry Andric 460b57cec5SDimitry Andric void loadRegFromStackSlot(MachineBasicBlock &MBB, 475ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, Register DstReg, 480b57cec5SDimitry Andric int FrameIndex, const TargetRegisterClass *RC, 490b57cec5SDimitry Andric const TargetRegisterInfo *TRI) const override; 500b57cec5SDimitry Andric 518bcb0991SDimitry Andric // Materializes the given integer Val into DstReg. 528bcb0991SDimitry Andric void movImm(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 538bcb0991SDimitry Andric const DebugLoc &DL, Register DstReg, uint64_t Val, 540b57cec5SDimitry Andric MachineInstr::MIFlag Flag = MachineInstr::NoFlags) const; 550b57cec5SDimitry Andric 560b57cec5SDimitry Andric unsigned getInstSizeInBytes(const MachineInstr &MI) const override; 570b57cec5SDimitry Andric 580b57cec5SDimitry Andric bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, 590b57cec5SDimitry Andric MachineBasicBlock *&FBB, 600b57cec5SDimitry Andric SmallVectorImpl<MachineOperand> &Cond, 610b57cec5SDimitry Andric bool AllowModify) const override; 620b57cec5SDimitry Andric 630b57cec5SDimitry Andric unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, 640b57cec5SDimitry Andric MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond, 650b57cec5SDimitry Andric const DebugLoc &dl, 660b57cec5SDimitry Andric int *BytesAdded = nullptr) const override; 670b57cec5SDimitry Andric 680b57cec5SDimitry Andric unsigned insertIndirectBranch(MachineBasicBlock &MBB, 690b57cec5SDimitry Andric MachineBasicBlock &NewDestBB, 700b57cec5SDimitry Andric const DebugLoc &DL, int64_t BrOffset, 710b57cec5SDimitry Andric RegScavenger *RS = nullptr) const override; 720b57cec5SDimitry Andric 730b57cec5SDimitry Andric unsigned removeBranch(MachineBasicBlock &MBB, 740b57cec5SDimitry Andric int *BytesRemoved = nullptr) const override; 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric bool 770b57cec5SDimitry Andric reverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const override; 780b57cec5SDimitry Andric 790b57cec5SDimitry Andric MachineBasicBlock *getBranchDestBlock(const MachineInstr &MI) const override; 800b57cec5SDimitry Andric 810b57cec5SDimitry Andric bool isBranchOffsetInRange(unsigned BranchOpc, 820b57cec5SDimitry Andric int64_t BrOffset) const override; 830b57cec5SDimitry Andric 840b57cec5SDimitry Andric bool isAsCheapAsAMove(const MachineInstr &MI) const override; 858bcb0991SDimitry Andric 86*e8d8bef9SDimitry Andric Optional<DestSourcePair> 87*e8d8bef9SDimitry Andric isCopyInstrImpl(const MachineInstr &MI) const override; 88*e8d8bef9SDimitry Andric 898bcb0991SDimitry Andric bool verifyInstruction(const MachineInstr &MI, 908bcb0991SDimitry Andric StringRef &ErrInfo) const override; 918bcb0991SDimitry Andric 92480093f4SDimitry Andric bool getMemOperandWithOffsetWidth(const MachineInstr &LdSt, 93480093f4SDimitry Andric const MachineOperand *&BaseOp, 94480093f4SDimitry Andric int64_t &Offset, unsigned &Width, 95480093f4SDimitry Andric const TargetRegisterInfo *TRI) const; 96480093f4SDimitry Andric 97480093f4SDimitry Andric bool areMemAccessesTriviallyDisjoint(const MachineInstr &MIa, 98480093f4SDimitry Andric const MachineInstr &MIb) const override; 99480093f4SDimitry Andric 100480093f4SDimitry Andric 101480093f4SDimitry Andric std::pair<unsigned, unsigned> 102480093f4SDimitry Andric decomposeMachineOperandsTargetFlags(unsigned TF) const override; 103480093f4SDimitry Andric 104480093f4SDimitry Andric ArrayRef<std::pair<unsigned, const char *>> 105480093f4SDimitry Andric getSerializableDirectMachineOperandTargetFlags() const override; 106480093f4SDimitry Andric 107480093f4SDimitry Andric // Return true if the function can safely be outlined from. 108480093f4SDimitry Andric virtual bool 109480093f4SDimitry Andric isFunctionSafeToOutlineFrom(MachineFunction &MF, 110480093f4SDimitry Andric bool OutlineFromLinkOnceODRs) const override; 111480093f4SDimitry Andric 112480093f4SDimitry Andric // Return true if MBB is safe to outline from, and return any target-specific 113480093f4SDimitry Andric // information in Flags. 114480093f4SDimitry Andric virtual bool isMBBSafeToOutlineFrom(MachineBasicBlock &MBB, 115480093f4SDimitry Andric unsigned &Flags) const override; 116480093f4SDimitry Andric 117480093f4SDimitry Andric // Calculate target-specific information for a set of outlining candidates. 118480093f4SDimitry Andric outliner::OutlinedFunction getOutliningCandidateInfo( 119480093f4SDimitry Andric std::vector<outliner::Candidate> &RepeatedSequenceLocs) const override; 120480093f4SDimitry Andric 121480093f4SDimitry Andric // Return if/how a given MachineInstr should be outlined. 122480093f4SDimitry Andric virtual outliner::InstrType 123480093f4SDimitry Andric getOutliningType(MachineBasicBlock::iterator &MBBI, 124480093f4SDimitry Andric unsigned Flags) const override; 125480093f4SDimitry Andric 126480093f4SDimitry Andric // Insert a custom frame for outlined functions. 127480093f4SDimitry Andric virtual void 128480093f4SDimitry Andric buildOutlinedFrame(MachineBasicBlock &MBB, MachineFunction &MF, 129480093f4SDimitry Andric const outliner::OutlinedFunction &OF) const override; 130480093f4SDimitry Andric 131480093f4SDimitry Andric // Insert a call to an outlined function into a given basic block. 132480093f4SDimitry Andric virtual MachineBasicBlock::iterator 133480093f4SDimitry Andric insertOutlinedCall(Module &M, MachineBasicBlock &MBB, 134480093f4SDimitry Andric MachineBasicBlock::iterator &It, MachineFunction &MF, 135480093f4SDimitry Andric const outliner::Candidate &C) const override; 1368bcb0991SDimitry Andric protected: 1378bcb0991SDimitry Andric const RISCVSubtarget &STI; 1380b57cec5SDimitry Andric }; 1395ffd83dbSDimitry Andric 1405ffd83dbSDimitry Andric } // end namespace llvm 1410b57cec5SDimitry Andric #endif 142