| //===-- AVRInstrInfo.cpp - AVR Instruction Information --------------------===// | |
| // | |
| // 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 AVR implementation of the TargetInstrInfo class. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #include "AVRInstrInfo.h" | |
| #include "llvm/ADT/STLExtras.h" | |
| #include "llvm/CodeGen/MachineConstantPool.h" | |
| #include "llvm/CodeGen/MachineFrameInfo.h" | |
| #include "llvm/CodeGen/MachineInstrBuilder.h" | |
| #include "llvm/CodeGen/MachineMemOperand.h" | |
| #include "llvm/IR/Constants.h" | |
| #include "llvm/IR/Function.h" | |
| #include "llvm/MC/MCContext.h" | |
| #include "llvm/MC/TargetRegistry.h" | |
| #include "llvm/Support/Debug.h" | |
| #include "llvm/Support/ErrorHandling.h" | |
| #include "AVR.h" | |
| #include "AVRMachineFunctionInfo.h" | |
| #include "AVRRegisterInfo.h" | |
| #include "AVRTargetMachine.h" | |
| #include "MCTargetDesc/AVRMCTargetDesc.h" | |
| #define GET_INSTRINFO_CTOR_DTOR | |
| #include "AVRGenInstrInfo.inc" | |
| namespace llvm { | |
| AVRInstrInfo::AVRInstrInfo() | |
| : AVRGenInstrInfo(AVR::ADJCALLSTACKDOWN, AVR::ADJCALLSTACKUP), RI() {} | |
| void AVRInstrInfo::copyPhysReg(MachineBasicBlock &MBB, | |
| MachineBasicBlock::iterator MI, | |
| const DebugLoc &DL, MCRegister DestReg, | |
| MCRegister SrcReg, bool KillSrc) const { | |
| const AVRSubtarget &STI = MBB.getParent()->getSubtarget<AVRSubtarget>(); | |
| const AVRRegisterInfo &TRI = *STI.getRegisterInfo(); | |
| unsigned Opc; | |
| if (AVR::DREGSRegClass.contains(DestReg, SrcReg)) { | |
| // If our AVR has `movw`, let's emit that; otherwise let's emit two separate | |
| // `mov`s. | |
| if (STI.hasMOVW() && AVR::DREGSMOVWRegClass.contains(DestReg, SrcReg)) { | |
| BuildMI(MBB, MI, DL, get(AVR::MOVWRdRr), DestReg) | |
| .addReg(SrcReg, getKillRegState(KillSrc)); | |
| } else { | |
| Register DestLo, DestHi, SrcLo, SrcHi; | |
| TRI.splitReg(DestReg, DestLo, DestHi); | |
| TRI.splitReg(SrcReg, SrcLo, SrcHi); | |
| if (DestLo == SrcHi) { | |
| BuildMI(MBB, MI, DL, get(AVR::MOVRdRr), DestHi) | |
| .addReg(SrcHi, getKillRegState(KillSrc)); | |
| BuildMI(MBB, MI, DL, get(AVR::MOVRdRr), DestLo) | |
| .addReg(SrcLo, getKillRegState(KillSrc)); | |
| } else { | |
| BuildMI(MBB, MI, DL, get(AVR::MOVRdRr), DestLo) | |
| .addReg(SrcLo, getKillRegState(KillSrc)); | |
| BuildMI(MBB, MI, DL, get(AVR::MOVRdRr), DestHi) | |
| .addReg(SrcHi, getKillRegState(KillSrc)); | |
| } | |
| } | |
| } else { | |
| if (AVR::GPR8RegClass.contains(DestReg, SrcReg)) { | |
| Opc = AVR::MOVRdRr; | |
| } else if (SrcReg == AVR::SP && AVR::DREGSRegClass.contains(DestReg)) { | |
| Opc = AVR::SPREAD; | |
| } else if (DestReg == AVR::SP && AVR::DREGSRegClass.contains(SrcReg)) { | |
| Opc = AVR::SPWRITE; | |
| } else { | |
| llvm_unreachable("Impossible reg-to-reg copy"); | |
| } | |
| BuildMI(MBB, MI, DL, get(Opc), DestReg) | |
| .addReg(SrcReg, getKillRegState(KillSrc)); | |
| } | |
| } | |
| unsigned AVRInstrInfo::isLoadFromStackSlot(const MachineInstr &MI, | |
| int &FrameIndex) const { | |
| switch (MI.getOpcode()) { | |
| case AVR::LDDRdPtrQ: | |
| case AVR::LDDWRdYQ: { //: FIXME: remove this once PR13375 gets fixed | |
| if (MI.getOperand(1).isFI() && MI.getOperand(2).isImm() && | |
| MI.getOperand(2).getImm() == 0) { | |
| FrameIndex = MI.getOperand(1).getIndex(); | |
| return MI.getOperand(0).getReg(); | |
| } | |
| break; | |
| } | |
| default: | |
| break; | |
| } | |
| return 0; | |
| } | |
| unsigned AVRInstrInfo::isStoreToStackSlot(const MachineInstr &MI, | |
| int &FrameIndex) const { | |
| switch (MI.getOpcode()) { | |
| case AVR::STDPtrQRr: | |
| case AVR::STDWPtrQRr: { | |
| if (MI.getOperand(0).isFI() && MI.getOperand(1).isImm() && | |
| MI.getOperand(1).getImm() == 0) { | |
| FrameIndex = MI.getOperand(0).getIndex(); | |
| return MI.getOperand(2).getReg(); | |
| } | |
| break; | |
| } | |
| default: | |
| break; | |
| } | |
| return 0; | |
| } | |
| void AVRInstrInfo::storeRegToStackSlot( | |
| MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register SrcReg, | |
| bool isKill, int FrameIndex, const TargetRegisterClass *RC, | |
| const TargetRegisterInfo *TRI, Register VReg) const { | |
| MachineFunction &MF = *MBB.getParent(); | |
| AVRMachineFunctionInfo *AFI = MF.getInfo<AVRMachineFunctionInfo>(); | |
| AFI->setHasSpills(true); | |
| const MachineFrameInfo &MFI = MF.getFrameInfo(); | |
| MachineMemOperand *MMO = MF.getMachineMemOperand( | |
| MachinePointerInfo::getFixedStack(MF, FrameIndex), | |
| MachineMemOperand::MOStore, MFI.getObjectSize(FrameIndex), | |
| MFI.getObjectAlign(FrameIndex)); | |
| unsigned Opcode = 0; | |
| if (TRI->isTypeLegalForClass(*RC, MVT::i8)) { | |
| Opcode = AVR::STDPtrQRr; | |
| } else if (TRI->isTypeLegalForClass(*RC, MVT::i16)) { | |
| Opcode = AVR::STDWPtrQRr; | |
| } else { | |
| llvm_unreachable("Cannot store this register into a stack slot!"); | |
| } | |
| BuildMI(MBB, MI, DebugLoc(), get(Opcode)) | |
| .addFrameIndex(FrameIndex) | |
| .addImm(0) | |
| .addReg(SrcReg, getKillRegState(isKill)) | |
| .addMemOperand(MMO); | |
| } | |
| void AVRInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB, | |
| MachineBasicBlock::iterator MI, | |
| Register DestReg, int FrameIndex, | |
| const TargetRegisterClass *RC, | |
| const TargetRegisterInfo *TRI, | |
| Register VReg) const { | |
| MachineFunction &MF = *MBB.getParent(); | |
| const MachineFrameInfo &MFI = MF.getFrameInfo(); | |
| MachineMemOperand *MMO = MF.getMachineMemOperand( | |
| MachinePointerInfo::getFixedStack(MF, FrameIndex), | |
| MachineMemOperand::MOLoad, MFI.getObjectSize(FrameIndex), | |
| MFI.getObjectAlign(FrameIndex)); | |
| unsigned Opcode = 0; | |
| if (TRI->isTypeLegalForClass(*RC, MVT::i8)) { | |
| Opcode = AVR::LDDRdPtrQ; | |
| } else if (TRI->isTypeLegalForClass(*RC, MVT::i16)) { | |
| // Opcode = AVR::LDDWRdPtrQ; | |
| //: FIXME: remove this once PR13375 gets fixed | |
| Opcode = AVR::LDDWRdYQ; | |
| } else { | |
| llvm_unreachable("Cannot load this register from a stack slot!"); | |
| } | |
| BuildMI(MBB, MI, DebugLoc(), get(Opcode), DestReg) | |
| .addFrameIndex(FrameIndex) | |
| .addImm(0) | |
| .addMemOperand(MMO); | |
| } | |
| const MCInstrDesc &AVRInstrInfo::getBrCond(AVRCC::CondCodes CC) const { | |
| switch (CC) { | |
| default: | |
| llvm_unreachable("Unknown condition code!"); | |
| case AVRCC::COND_EQ: | |
| return get(AVR::BREQk); | |
| case AVRCC::COND_NE: | |
| return get(AVR::BRNEk); | |
| case AVRCC::COND_GE: | |
| return get(AVR::BRGEk); | |
| case AVRCC::COND_LT: | |
| return get(AVR::BRLTk); | |
| case AVRCC::COND_SH: | |
| return get(AVR::BRSHk); | |
| case AVRCC::COND_LO: | |
| return get(AVR::BRLOk); | |
| case AVRCC::COND_MI: | |
| return get(AVR::BRMIk); | |
| case AVRCC::COND_PL: | |
| return get(AVR::BRPLk); | |
| } | |
| } | |
| AVRCC::CondCodes AVRInstrInfo::getCondFromBranchOpc(unsigned Opc) const { | |
| switch (Opc) { | |
| default: | |
| return AVRCC::COND_INVALID; | |
| case AVR::BREQk: | |
| return AVRCC::COND_EQ; | |
| case AVR::BRNEk: | |
| return AVRCC::COND_NE; | |
| case AVR::BRSHk: | |
| return AVRCC::COND_SH; | |
| case AVR::BRLOk: | |
| return AVRCC::COND_LO; | |
| case AVR::BRMIk: | |
| return AVRCC::COND_MI; | |
| case AVR::BRPLk: | |
| return AVRCC::COND_PL; | |
| case AVR::BRGEk: | |
| return AVRCC::COND_GE; | |
| case AVR::BRLTk: | |
| return AVRCC::COND_LT; | |
| } | |
| } | |
| AVRCC::CondCodes AVRInstrInfo::getOppositeCondition(AVRCC::CondCodes CC) const { | |
| switch (CC) { | |
| default: | |
| llvm_unreachable("Invalid condition!"); | |
| case AVRCC::COND_EQ: | |
| return AVRCC::COND_NE; | |
| case AVRCC::COND_NE: | |
| return AVRCC::COND_EQ; | |
| case AVRCC::COND_SH: | |
| return AVRCC::COND_LO; | |
| case AVRCC::COND_LO: | |
| return AVRCC::COND_SH; | |
| case AVRCC::COND_GE: | |
| return AVRCC::COND_LT; | |
| case AVRCC::COND_LT: | |
| return AVRCC::COND_GE; | |
| case AVRCC::COND_MI: | |
| return AVRCC::COND_PL; | |
| case AVRCC::COND_PL: | |
| return AVRCC::COND_MI; | |
| } | |
| } | |
| bool AVRInstrInfo::analyzeBranch(MachineBasicBlock &MBB, | |
| MachineBasicBlock *&TBB, | |
| MachineBasicBlock *&FBB, | |
| SmallVectorImpl<MachineOperand> &Cond, | |
| bool AllowModify) const { | |
| // Start from the bottom of the block and work up, examining the | |
| // terminator instructions. | |
| MachineBasicBlock::iterator I = MBB.end(); | |
| MachineBasicBlock::iterator UnCondBrIter = MBB.end(); | |
| while (I != MBB.begin()) { | |
| --I; | |
| if (I->isDebugInstr()) { | |
| continue; | |
| } | |
| // Working from the bottom, when we see a non-terminator | |
| // instruction, we're done. | |
| if (!isUnpredicatedTerminator(*I)) { | |
| break; | |
| } | |
| // A terminator that isn't a branch can't easily be handled | |
| // by this analysis. | |
| if (!I->getDesc().isBranch()) { | |
| return true; | |
| } | |
| // Handle unconditional branches. | |
| //: TODO: add here jmp | |
| if (I->getOpcode() == AVR::RJMPk) { | |
| UnCondBrIter = I; | |
| if (!AllowModify) { | |
| TBB = I->getOperand(0).getMBB(); | |
| continue; | |
| } | |
| // If the block has any instructions after a JMP, delete them. | |
| MBB.erase(std::next(I), MBB.end()); | |
| Cond.clear(); | |
| FBB = nullptr; | |
| // Delete the JMP if it's equivalent to a fall-through. | |
| if (MBB.isLayoutSuccessor(I->getOperand(0).getMBB())) { | |
| TBB = nullptr; | |
| I->eraseFromParent(); | |
| I = MBB.end(); | |
| UnCondBrIter = MBB.end(); | |
| continue; | |
| } | |
| // TBB is used to indicate the unconditinal destination. | |
| TBB = I->getOperand(0).getMBB(); | |
| continue; | |
| } | |
| // Handle conditional branches. | |
| AVRCC::CondCodes BranchCode = getCondFromBranchOpc(I->getOpcode()); | |
| if (BranchCode == AVRCC::COND_INVALID) { | |
| return true; // Can't handle indirect branch. | |
| } | |
| // Working from the bottom, handle the first conditional branch. | |
| if (Cond.empty()) { | |
| MachineBasicBlock *TargetBB = I->getOperand(0).getMBB(); | |
| if (AllowModify && UnCondBrIter != MBB.end() && | |
| MBB.isLayoutSuccessor(TargetBB)) { | |
| // If we can modify the code and it ends in something like: | |
| // | |
| // jCC L1 | |
| // jmp L2 | |
| // L1: | |
| // ... | |
| // L2: | |
| // | |
| // Then we can change this to: | |
| // | |
| // jnCC L2 | |
| // L1: | |
| // ... | |
| // L2: | |
| // | |
| // Which is a bit more efficient. | |
| // We conditionally jump to the fall-through block. | |
| BranchCode = getOppositeCondition(BranchCode); | |
| unsigned JNCC = getBrCond(BranchCode).getOpcode(); | |
| MachineBasicBlock::iterator OldInst = I; | |
| BuildMI(MBB, UnCondBrIter, MBB.findDebugLoc(I), get(JNCC)) | |
| .addMBB(UnCondBrIter->getOperand(0).getMBB()); | |
| BuildMI(MBB, UnCondBrIter, MBB.findDebugLoc(I), get(AVR::RJMPk)) | |
| .addMBB(TargetBB); | |
| OldInst->eraseFromParent(); | |
| UnCondBrIter->eraseFromParent(); | |
| // Restart the analysis. | |
| UnCondBrIter = MBB.end(); | |
| I = MBB.end(); | |
| continue; | |
| } | |
| FBB = TBB; | |
| TBB = I->getOperand(0).getMBB(); | |
| Cond.push_back(MachineOperand::CreateImm(BranchCode)); | |
| continue; | |
| } | |
| // Handle subsequent conditional branches. Only handle the case where all | |
| // conditional branches branch to the same destination. | |
| assert(Cond.size() == 1); | |
| assert(TBB); | |
| // Only handle the case where all conditional branches branch to | |
| // the same destination. | |
| if (TBB != I->getOperand(0).getMBB()) { | |
| return true; | |
| } | |
| AVRCC::CondCodes OldBranchCode = (AVRCC::CondCodes)Cond[0].getImm(); | |
| // If the conditions are the same, we can leave them alone. | |
| if (OldBranchCode == BranchCode) { | |
| continue; | |
| } | |
| return true; | |
| } | |
| return false; | |
| } | |
| unsigned AVRInstrInfo::insertBranch(MachineBasicBlock &MBB, | |
| MachineBasicBlock *TBB, | |
| MachineBasicBlock *FBB, | |
| ArrayRef<MachineOperand> Cond, | |
| const DebugLoc &DL, int *BytesAdded) const { | |
| if (BytesAdded) | |
| *BytesAdded = 0; | |
| // Shouldn't be a fall through. | |
| assert(TBB && "insertBranch must not be told to insert a fallthrough"); | |
| assert((Cond.size() == 1 || Cond.size() == 0) && | |
| "AVR branch conditions have one component!"); | |
| if (Cond.empty()) { | |
| assert(!FBB && "Unconditional branch with multiple successors!"); | |
| auto &MI = *BuildMI(&MBB, DL, get(AVR::RJMPk)).addMBB(TBB); | |
| if (BytesAdded) | |
| *BytesAdded += getInstSizeInBytes(MI); | |
| return 1; | |
| } | |
| // Conditional branch. | |
| unsigned Count = 0; | |
| AVRCC::CondCodes CC = (AVRCC::CondCodes)Cond[0].getImm(); | |
| auto &CondMI = *BuildMI(&MBB, DL, getBrCond(CC)).addMBB(TBB); | |
| if (BytesAdded) | |
| *BytesAdded += getInstSizeInBytes(CondMI); | |
| ++Count; | |
| if (FBB) { | |
| // Two-way Conditional branch. Insert the second branch. | |
| auto &MI = *BuildMI(&MBB, DL, get(AVR::RJMPk)).addMBB(FBB); | |
| if (BytesAdded) | |
| *BytesAdded += getInstSizeInBytes(MI); | |
| ++Count; | |
| } | |
| return Count; | |
| } | |
| unsigned AVRInstrInfo::removeBranch(MachineBasicBlock &MBB, | |
| int *BytesRemoved) const { | |
| if (BytesRemoved) | |
| *BytesRemoved = 0; | |
| MachineBasicBlock::iterator I = MBB.end(); | |
| unsigned Count = 0; | |
| while (I != MBB.begin()) { | |
| --I; | |
| if (I->isDebugInstr()) { | |
| continue; | |
| } | |
| //: TODO: add here the missing jmp instructions once they are implemented | |
| // like jmp, {e}ijmp, and other cond branches, ... | |
| if (I->getOpcode() != AVR::RJMPk && | |
| getCondFromBranchOpc(I->getOpcode()) == AVRCC::COND_INVALID) { | |
| break; | |
| } | |
| // Remove the branch. | |
| if (BytesRemoved) | |
| *BytesRemoved += getInstSizeInBytes(*I); | |
| I->eraseFromParent(); | |
| I = MBB.end(); | |
| ++Count; | |
| } | |
| return Count; | |
| } | |
| bool AVRInstrInfo::reverseBranchCondition( | |
| SmallVectorImpl<MachineOperand> &Cond) const { | |
| assert(Cond.size() == 1 && "Invalid AVR branch condition!"); | |
| AVRCC::CondCodes CC = static_cast<AVRCC::CondCodes>(Cond[0].getImm()); | |
| Cond[0].setImm(getOppositeCondition(CC)); | |
| return false; | |
| } | |
| unsigned AVRInstrInfo::getInstSizeInBytes(const MachineInstr &MI) const { | |
| unsigned Opcode = MI.getOpcode(); | |
| switch (Opcode) { | |
| // A regular instruction | |
| default: { | |
| const MCInstrDesc &Desc = get(Opcode); | |
| return Desc.getSize(); | |
| } | |
| case TargetOpcode::EH_LABEL: | |
| case TargetOpcode::IMPLICIT_DEF: | |
| case TargetOpcode::KILL: | |
| case TargetOpcode::DBG_VALUE: | |
| return 0; | |
| case TargetOpcode::INLINEASM: | |
| case TargetOpcode::INLINEASM_BR: { | |
| const MachineFunction &MF = *MI.getParent()->getParent(); | |
| const AVRTargetMachine &TM = | |
| static_cast<const AVRTargetMachine &>(MF.getTarget()); | |
| const AVRSubtarget &STI = MF.getSubtarget<AVRSubtarget>(); | |
| const TargetInstrInfo &TII = *STI.getInstrInfo(); | |
| return TII.getInlineAsmLength(MI.getOperand(0).getSymbolName(), | |
| *TM.getMCAsmInfo()); | |
| } | |
| } | |
| } | |
| MachineBasicBlock * | |
| AVRInstrInfo::getBranchDestBlock(const MachineInstr &MI) const { | |
| switch (MI.getOpcode()) { | |
| default: | |
| llvm_unreachable("unexpected opcode!"); | |
| case AVR::JMPk: | |
| case AVR::CALLk: | |
| case AVR::RCALLk: | |
| case AVR::RJMPk: | |
| case AVR::BREQk: | |
| case AVR::BRNEk: | |
| case AVR::BRSHk: | |
| case AVR::BRLOk: | |
| case AVR::BRMIk: | |
| case AVR::BRPLk: | |
| case AVR::BRGEk: | |
| case AVR::BRLTk: | |
| return MI.getOperand(0).getMBB(); | |
| case AVR::BRBSsk: | |
| case AVR::BRBCsk: | |
| return MI.getOperand(1).getMBB(); | |
| case AVR::SBRCRrB: | |
| case AVR::SBRSRrB: | |
| case AVR::SBICAb: | |
| case AVR::SBISAb: | |
| llvm_unreachable("unimplemented branch instructions"); | |
| } | |
| } | |
| bool AVRInstrInfo::isBranchOffsetInRange(unsigned BranchOp, | |
| int64_t BrOffset) const { | |
| switch (BranchOp) { | |
| default: | |
| llvm_unreachable("unexpected opcode!"); | |
| case AVR::JMPk: | |
| case AVR::CALLk: | |
| return true; | |
| case AVR::RCALLk: | |
| case AVR::RJMPk: | |
| return isIntN(13, BrOffset); | |
| case AVR::BRBSsk: | |
| case AVR::BRBCsk: | |
| case AVR::BREQk: | |
| case AVR::BRNEk: | |
| case AVR::BRSHk: | |
| case AVR::BRLOk: | |
| case AVR::BRMIk: | |
| case AVR::BRPLk: | |
| case AVR::BRGEk: | |
| case AVR::BRLTk: | |
| return isIntN(7, BrOffset); | |
| } | |
| } | |
| void AVRInstrInfo::insertIndirectBranch(MachineBasicBlock &MBB, | |
| MachineBasicBlock &NewDestBB, | |
| MachineBasicBlock &RestoreBB, | |
| const DebugLoc &DL, int64_t BrOffset, | |
| RegScavenger *RS) const { | |
| // This method inserts a *direct* branch (JMP), despite its name. | |
| // LLVM calls this method to fixup unconditional branches; it never calls | |
| // insertBranch or some hypothetical "insertDirectBranch". | |
| // See lib/CodeGen/RegisterRelaxation.cpp for details. | |
| // We end up here when a jump is too long for a RJMP instruction. | |
| BuildMI(&MBB, DL, get(AVR::JMPk)).addMBB(&NewDestBB); | |
| } | |
| } // end of namespace llvm |