diff options
| author | 2020-08-03 15:06:44 +0000 | |
|---|---|---|
| committer | 2020-08-03 15:06:44 +0000 | |
| commit | b64793999546ed8adebaeebd9d8345d18db8927d (patch) | |
| tree | 4357c27b561d73b0e089727c6ed659f2ceff5f47 /gnu/llvm/lib/Target/Mips/MicroMipsSizeReduction.cpp | |
| parent | Add support for UTF-8 DISPLAY-HINTs with octet length. For now only (diff) | |
| download | wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.tar.xz wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.zip | |
Remove LLVM 8.0.1 files.
Diffstat (limited to 'gnu/llvm/lib/Target/Mips/MicroMipsSizeReduction.cpp')
| -rw-r--r-- | gnu/llvm/lib/Target/Mips/MicroMipsSizeReduction.cpp | 798 |
1 files changed, 0 insertions, 798 deletions
diff --git a/gnu/llvm/lib/Target/Mips/MicroMipsSizeReduction.cpp b/gnu/llvm/lib/Target/Mips/MicroMipsSizeReduction.cpp deleted file mode 100644 index f9062cc23da..00000000000 --- a/gnu/llvm/lib/Target/Mips/MicroMipsSizeReduction.cpp +++ /dev/null @@ -1,798 +0,0 @@ -//=== MicroMipsSizeReduction.cpp - MicroMips size reduction pass --------===// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -///\file -/// This pass is used to reduce the size of instructions where applicable. -/// -/// TODO: Implement microMIPS64 support. -//===----------------------------------------------------------------------===// -#include "Mips.h" -#include "MipsInstrInfo.h" -#include "MipsSubtarget.h" -#include "llvm/ADT/Statistic.h" -#include "llvm/CodeGen/MachineFunctionPass.h" -#include "llvm/Support/Debug.h" - -using namespace llvm; - -#define DEBUG_TYPE "micromips-reduce-size" -#define MICROMIPS_SIZE_REDUCE_NAME "MicroMips instruction size reduce pass" - -STATISTIC(NumReduced, "Number of instructions reduced (32-bit to 16-bit ones, " - "or two instructions into one"); - -namespace { - -/// Order of operands to transfer -// TODO: Will be extended when additional optimizations are added -enum OperandTransfer { - OT_NA, ///< Not applicable - OT_OperandsAll, ///< Transfer all operands - OT_Operands02, ///< Transfer operands 0 and 2 - OT_Operand2, ///< Transfer just operand 2 - OT_OperandsXOR, ///< Transfer operands for XOR16 - OT_OperandsLwp, ///< Transfer operands for LWP - OT_OperandsSwp, ///< Transfer operands for SWP - OT_OperandsMovep, ///< Transfer operands for MOVEP -}; - -/// Reduction type -// TODO: Will be extended when additional optimizations are added -enum ReduceType { - RT_TwoInstr, ///< Reduce two instructions into one instruction - RT_OneInstr ///< Reduce one instruction into a smaller instruction -}; - -// Information about immediate field restrictions -struct ImmField { - ImmField() : ImmFieldOperand(-1), Shift(0), LBound(0), HBound(0) {} - ImmField(uint8_t Shift, int16_t LBound, int16_t HBound, - int8_t ImmFieldOperand) - : ImmFieldOperand(ImmFieldOperand), Shift(Shift), LBound(LBound), - HBound(HBound) {} - int8_t ImmFieldOperand; // Immediate operand, -1 if it does not exist - uint8_t Shift; // Shift value - int16_t LBound; // Low bound of the immediate operand - int16_t HBound; // High bound of the immediate operand -}; - -/// Information about operands -// TODO: Will be extended when additional optimizations are added -struct OpInfo { - OpInfo(enum OperandTransfer TransferOperands) - : TransferOperands(TransferOperands) {} - OpInfo() : TransferOperands(OT_NA) {} - - enum OperandTransfer - TransferOperands; ///< Operands to transfer to the new instruction -}; - -// Information about opcodes -struct OpCodes { - OpCodes(unsigned WideOpc, unsigned NarrowOpc) - : WideOpc(WideOpc), NarrowOpc(NarrowOpc) {} - - unsigned WideOpc; ///< Wide opcode - unsigned NarrowOpc; ///< Narrow opcode -}; - -typedef struct ReduceEntryFunArgs ReduceEntryFunArgs; - -/// ReduceTable - A static table with information on mapping from wide -/// opcodes to narrow -struct ReduceEntry { - - enum ReduceType eRType; ///< Reduction type - bool (*ReduceFunction)( - ReduceEntryFunArgs *Arguments); ///< Pointer to reduce function - struct OpCodes Ops; ///< All relevant OpCodes - struct OpInfo OpInf; ///< Characteristics of operands - struct ImmField Imm; ///< Characteristics of immediate field - - ReduceEntry(enum ReduceType RType, struct OpCodes Op, - bool (*F)(ReduceEntryFunArgs *Arguments), struct OpInfo OpInf, - struct ImmField Imm) - : eRType(RType), ReduceFunction(F), Ops(Op), OpInf(OpInf), Imm(Imm) {} - - unsigned NarrowOpc() const { return Ops.NarrowOpc; } - unsigned WideOpc() const { return Ops.WideOpc; } - int16_t LBound() const { return Imm.LBound; } - int16_t HBound() const { return Imm.HBound; } - uint8_t Shift() const { return Imm.Shift; } - int8_t ImmField() const { return Imm.ImmFieldOperand; } - enum OperandTransfer TransferOperands() const { - return OpInf.TransferOperands; - } - enum ReduceType RType() const { return eRType; } - - // operator used by std::equal_range - bool operator<(const unsigned int r) const { return (WideOpc() < r); } - - // operator used by std::equal_range - friend bool operator<(const unsigned int r, const struct ReduceEntry &re) { - return (r < re.WideOpc()); - } -}; - -// Function arguments for ReduceFunction -struct ReduceEntryFunArgs { - MachineInstr *MI; // Instruction - const ReduceEntry &Entry; // Entry field - MachineBasicBlock::instr_iterator - &NextMII; // Iterator to next instruction in block - - ReduceEntryFunArgs(MachineInstr *argMI, const ReduceEntry &argEntry, - MachineBasicBlock::instr_iterator &argNextMII) - : MI(argMI), Entry(argEntry), NextMII(argNextMII) {} -}; - -typedef llvm::SmallVector<ReduceEntry, 32> ReduceEntryVector; - -class MicroMipsSizeReduce : public MachineFunctionPass { -public: - static char ID; - MicroMipsSizeReduce(); - - static const MipsInstrInfo *MipsII; - const MipsSubtarget *Subtarget; - - bool runOnMachineFunction(MachineFunction &MF) override; - - llvm::StringRef getPassName() const override { - return "microMIPS instruction size reduction pass"; - } - -private: - /// Reduces width of instructions in the specified basic block. - bool ReduceMBB(MachineBasicBlock &MBB); - - /// Attempts to reduce MI, returns true on success. - bool ReduceMI(const MachineBasicBlock::instr_iterator &MII, - MachineBasicBlock::instr_iterator &NextMII); - - // Attempts to reduce LW/SW instruction into LWSP/SWSP, - // returns true on success. - static bool ReduceXWtoXWSP(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce two LW/SW instructions into LWP/SWP instruction, - // returns true on success. - static bool ReduceXWtoXWP(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce LBU/LHU instruction into LBU16/LHU16, - // returns true on success. - static bool ReduceLXUtoLXU16(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce SB/SH instruction into SB16/SH16, - // returns true on success. - static bool ReduceSXtoSX16(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce two MOVE instructions into MOVEP instruction, - // returns true on success. - static bool ReduceMoveToMovep(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce arithmetic instructions, returns true on success. - static bool ReduceArithmeticInstructions(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce ADDIU into ADDIUSP instruction, - // returns true on success. - static bool ReduceADDIUToADDIUSP(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce ADDIU into ADDIUR1SP instruction, - // returns true on success. - static bool ReduceADDIUToADDIUR1SP(ReduceEntryFunArgs *Arguments); - - // Attempts to reduce XOR into XOR16 instruction, - // returns true on success. - static bool ReduceXORtoXOR16(ReduceEntryFunArgs *Arguments); - - // Changes opcode of an instruction, replaces an instruction with a - // new one, or replaces two instructions with a new instruction - // depending on their order i.e. if these are consecutive forward - // or consecutive backward - static bool ReplaceInstruction(MachineInstr *MI, const ReduceEntry &Entry, - MachineInstr *MI2 = nullptr, - bool ConsecutiveForward = true); - - // Table with transformation rules for each instruction. - static ReduceEntryVector ReduceTable; -}; - -char MicroMipsSizeReduce::ID = 0; -const MipsInstrInfo *MicroMipsSizeReduce::MipsII; - -// This table must be sorted by WideOpc as a main criterion and -// ReduceType as a sub-criterion (when wide opcodes are the same). -ReduceEntryVector MicroMipsSizeReduce::ReduceTable = { - - // ReduceType, OpCodes, ReduceFunction, - // OpInfo(TransferOperands), - // ImmField(Shift, LBound, HBound, ImmFieldPosition) - {RT_OneInstr, OpCodes(Mips::ADDiu, Mips::ADDIUR1SP_MM), - ReduceADDIUToADDIUR1SP, OpInfo(OT_Operands02), ImmField(2, 0, 64, 2)}, - {RT_OneInstr, OpCodes(Mips::ADDiu, Mips::ADDIUSP_MM), ReduceADDIUToADDIUSP, - OpInfo(OT_Operand2), ImmField(0, 0, 0, 2)}, - {RT_OneInstr, OpCodes(Mips::ADDiu_MM, Mips::ADDIUR1SP_MM), - ReduceADDIUToADDIUR1SP, OpInfo(OT_Operands02), ImmField(2, 0, 64, 2)}, - {RT_OneInstr, OpCodes(Mips::ADDiu_MM, Mips::ADDIUSP_MM), - ReduceADDIUToADDIUSP, OpInfo(OT_Operand2), ImmField(0, 0, 0, 2)}, - {RT_OneInstr, OpCodes(Mips::ADDu, Mips::ADDU16_MM), - ReduceArithmeticInstructions, OpInfo(OT_OperandsAll), - ImmField(0, 0, 0, -1)}, - {RT_OneInstr, OpCodes(Mips::ADDu_MM, Mips::ADDU16_MM), - ReduceArithmeticInstructions, OpInfo(OT_OperandsAll), - ImmField(0, 0, 0, -1)}, - {RT_OneInstr, OpCodes(Mips::LBu, Mips::LBU16_MM), ReduceLXUtoLXU16, - OpInfo(OT_OperandsAll), ImmField(0, -1, 15, 2)}, - {RT_OneInstr, OpCodes(Mips::LBu_MM, Mips::LBU16_MM), ReduceLXUtoLXU16, - OpInfo(OT_OperandsAll), ImmField(0, -1, 15, 2)}, - {RT_OneInstr, OpCodes(Mips::LEA_ADDiu, Mips::ADDIUR1SP_MM), - ReduceADDIUToADDIUR1SP, OpInfo(OT_Operands02), ImmField(2, 0, 64, 2)}, - {RT_OneInstr, OpCodes(Mips::LEA_ADDiu_MM, Mips::ADDIUR1SP_MM), - ReduceADDIUToADDIUR1SP, OpInfo(OT_Operands02), ImmField(2, 0, 64, 2)}, - {RT_OneInstr, OpCodes(Mips::LHu, Mips::LHU16_MM), ReduceLXUtoLXU16, - OpInfo(OT_OperandsAll), ImmField(1, 0, 16, 2)}, - {RT_OneInstr, OpCodes(Mips::LHu_MM, Mips::LHU16_MM), ReduceLXUtoLXU16, - OpInfo(OT_OperandsAll), ImmField(1, 0, 16, 2)}, - {RT_TwoInstr, OpCodes(Mips::LW, Mips::LWP_MM), ReduceXWtoXWP, - OpInfo(OT_OperandsLwp), ImmField(0, -2048, 2048, 2)}, - {RT_OneInstr, OpCodes(Mips::LW, Mips::LWSP_MM), ReduceXWtoXWSP, - OpInfo(OT_OperandsAll), ImmField(2, 0, 32, 2)}, - {RT_TwoInstr, OpCodes(Mips::LW16_MM, Mips::LWP_MM), ReduceXWtoXWP, - OpInfo(OT_OperandsLwp), ImmField(0, -2048, 2048, 2)}, - {RT_TwoInstr, OpCodes(Mips::LW_MM, Mips::LWP_MM), ReduceXWtoXWP, - OpInfo(OT_OperandsLwp), ImmField(0, -2048, 2048, 2)}, - {RT_OneInstr, OpCodes(Mips::LW_MM, Mips::LWSP_MM), ReduceXWtoXWSP, - OpInfo(OT_OperandsAll), ImmField(2, 0, 32, 2)}, - {RT_TwoInstr, OpCodes(Mips::MOVE16_MM, Mips::MOVEP_MM), ReduceMoveToMovep, - OpInfo(OT_OperandsMovep), ImmField(0, 0, 0, -1)}, - {RT_OneInstr, OpCodes(Mips::SB, Mips::SB16_MM), ReduceSXtoSX16, - OpInfo(OT_OperandsAll), ImmField(0, 0, 16, 2)}, - {RT_OneInstr, OpCodes(Mips::SB_MM, Mips::SB16_MM), ReduceSXtoSX16, - OpInfo(OT_OperandsAll), ImmField(0, 0, 16, 2)}, - {RT_OneInstr, OpCodes(Mips::SH, Mips::SH16_MM), ReduceSXtoSX16, - OpInfo(OT_OperandsAll), ImmField(1, 0, 16, 2)}, - {RT_OneInstr, OpCodes(Mips::SH_MM, Mips::SH16_MM), ReduceSXtoSX16, - OpInfo(OT_OperandsAll), ImmField(1, 0, 16, 2)}, - {RT_OneInstr, OpCodes(Mips::SUBu, Mips::SUBU16_MM), - ReduceArithmeticInstructions, OpInfo(OT_OperandsAll), - ImmField(0, 0, 0, -1)}, - {RT_OneInstr, OpCodes(Mips::SUBu_MM, Mips::SUBU16_MM), - ReduceArithmeticInstructions, OpInfo(OT_OperandsAll), - ImmField(0, 0, 0, -1)}, - {RT_TwoInstr, OpCodes(Mips::SW, Mips::SWP_MM), ReduceXWtoXWP, - OpInfo(OT_OperandsSwp), ImmField(0, -2048, 2048, 2)}, - {RT_OneInstr, OpCodes(Mips::SW, Mips::SWSP_MM), ReduceXWtoXWSP, - OpInfo(OT_OperandsAll), ImmField(2, 0, 32, 2)}, - {RT_TwoInstr, OpCodes(Mips::SW16_MM, Mips::SWP_MM), ReduceXWtoXWP, - OpInfo(OT_OperandsSwp), ImmField(0, -2048, 2048, 2)}, - {RT_TwoInstr, OpCodes(Mips::SW_MM, Mips::SWP_MM), ReduceXWtoXWP, - OpInfo(OT_OperandsSwp), ImmField(0, -2048, 2048, 2)}, - {RT_OneInstr, OpCodes(Mips::SW_MM, Mips::SWSP_MM), ReduceXWtoXWSP, - OpInfo(OT_OperandsAll), ImmField(2, 0, 32, 2)}, - {RT_OneInstr, OpCodes(Mips::XOR, Mips::XOR16_MM), ReduceXORtoXOR16, - OpInfo(OT_OperandsXOR), ImmField(0, 0, 0, -1)}, - {RT_OneInstr, OpCodes(Mips::XOR_MM, Mips::XOR16_MM), ReduceXORtoXOR16, - OpInfo(OT_OperandsXOR), ImmField(0, 0, 0, -1)}}; -} // end anonymous namespace - -INITIALIZE_PASS(MicroMipsSizeReduce, DEBUG_TYPE, MICROMIPS_SIZE_REDUCE_NAME, - false, false) - -// Returns true if the machine operand MO is register SP. -static bool IsSP(const MachineOperand &MO) { - if (MO.isReg() && ((MO.getReg() == Mips::SP))) - return true; - return false; -} - -// Returns true if the machine operand MO is register $16, $17, or $2-$7. -static bool isMMThreeBitGPRegister(const MachineOperand &MO) { - if (MO.isReg() && Mips::GPRMM16RegClass.contains(MO.getReg())) - return true; - return false; -} - -// Returns true if the machine operand MO is register $0, $17, or $2-$7. -static bool isMMSourceRegister(const MachineOperand &MO) { - if (MO.isReg() && Mips::GPRMM16ZeroRegClass.contains(MO.getReg())) - return true; - return false; -} - -// Returns true if the operand Op is an immediate value -// and writes the immediate value into variable Imm. -static bool GetImm(MachineInstr *MI, unsigned Op, int64_t &Imm) { - - if (!MI->getOperand(Op).isImm()) - return false; - Imm = MI->getOperand(Op).getImm(); - return true; -} - -// Returns true if the value is a valid immediate for ADDIUSP. -static bool AddiuspImmValue(int64_t Value) { - int64_t Value2 = Value >> 2; - if (((Value & (int64_t)maskTrailingZeros<uint64_t>(2)) == Value) && - ((Value2 >= 2 && Value2 <= 257) || (Value2 >= -258 && Value2 <= -3))) - return true; - return false; -} - -// Returns true if the variable Value has the number of least-significant zero -// bits equal to Shift and if the shifted value is between the bounds. -static bool InRange(int64_t Value, unsigned short Shift, int LBound, - int HBound) { - int64_t Value2 = Value >> Shift; - if (((Value & (int64_t)maskTrailingZeros<uint64_t>(Shift)) == Value) && - (Value2 >= LBound) && (Value2 < HBound)) - return true; - return false; -} - -// Returns true if immediate operand is in range. -static bool ImmInRange(MachineInstr *MI, const ReduceEntry &Entry) { - - int64_t offset; - - if (!GetImm(MI, Entry.ImmField(), offset)) - return false; - - if (!InRange(offset, Entry.Shift(), Entry.LBound(), Entry.HBound())) - return false; - - return true; -} - -// Returns true if MI can be reduced to lwp/swp instruction -static bool CheckXWPInstr(MachineInstr *MI, bool ReduceToLwp, - const ReduceEntry &Entry) { - - if (ReduceToLwp && - !(MI->getOpcode() == Mips::LW || MI->getOpcode() == Mips::LW_MM || - MI->getOpcode() == Mips::LW16_MM)) - return false; - - if (!ReduceToLwp && - !(MI->getOpcode() == Mips::SW || MI->getOpcode() == Mips::SW_MM || - MI->getOpcode() == Mips::SW16_MM)) - return false; - - unsigned reg = MI->getOperand(0).getReg(); - if (reg == Mips::RA) - return false; - - if (!ImmInRange(MI, Entry)) - return false; - - if (ReduceToLwp && (MI->getOperand(0).getReg() == MI->getOperand(1).getReg())) - return false; - - return true; -} - -// Returns true if the registers Reg1 and Reg2 are consecutive -static bool ConsecutiveRegisters(unsigned Reg1, unsigned Reg2) { - static SmallVector<unsigned, 31> Registers = { - Mips::AT, Mips::V0, Mips::V1, Mips::A0, Mips::A1, Mips::A2, Mips::A3, - Mips::T0, Mips::T1, Mips::T2, Mips::T3, Mips::T4, Mips::T5, Mips::T6, - Mips::T7, Mips::S0, Mips::S1, Mips::S2, Mips::S3, Mips::S4, Mips::S5, - Mips::S6, Mips::S7, Mips::T8, Mips::T9, Mips::K0, Mips::K1, Mips::GP, - Mips::SP, Mips::FP, Mips::RA}; - - for (uint8_t i = 0; i < Registers.size() - 1; i++) { - if (Registers[i] == Reg1) { - if (Registers[i + 1] == Reg2) - return true; - else - return false; - } - } - return false; -} - -// Returns true if registers and offsets are consecutive -static bool ConsecutiveInstr(MachineInstr *MI1, MachineInstr *MI2) { - - int64_t Offset1, Offset2; - if (!GetImm(MI1, 2, Offset1)) - return false; - if (!GetImm(MI2, 2, Offset2)) - return false; - - unsigned Reg1 = MI1->getOperand(0).getReg(); - unsigned Reg2 = MI2->getOperand(0).getReg(); - - return ((Offset1 == (Offset2 - 4)) && (ConsecutiveRegisters(Reg1, Reg2))); -} - -MicroMipsSizeReduce::MicroMipsSizeReduce() : MachineFunctionPass(ID) {} - -bool MicroMipsSizeReduce::ReduceMI(const MachineBasicBlock::instr_iterator &MII, - MachineBasicBlock::instr_iterator &NextMII) { - - MachineInstr *MI = &*MII; - unsigned Opcode = MI->getOpcode(); - - // Search the table. - ReduceEntryVector::const_iterator Start = std::begin(ReduceTable); - ReduceEntryVector::const_iterator End = std::end(ReduceTable); - - std::pair<ReduceEntryVector::const_iterator, - ReduceEntryVector::const_iterator> - Range = std::equal_range(Start, End, Opcode); - - if (Range.first == Range.second) - return false; - - for (ReduceEntryVector::const_iterator Entry = Range.first; - Entry != Range.second; ++Entry) { - ReduceEntryFunArgs Arguments(&(*MII), *Entry, NextMII); - if (((*Entry).ReduceFunction)(&Arguments)) - return true; - } - return false; -} - -bool MicroMipsSizeReduce::ReduceXWtoXWSP(ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - if (!ImmInRange(MI, Entry)) - return false; - - if (!IsSP(MI->getOperand(1))) - return false; - - return ReplaceInstruction(MI, Entry); -} - -bool MicroMipsSizeReduce::ReduceXWtoXWP(ReduceEntryFunArgs *Arguments) { - - const ReduceEntry &Entry = Arguments->Entry; - MachineBasicBlock::instr_iterator &NextMII = Arguments->NextMII; - const MachineBasicBlock::instr_iterator &E = - Arguments->MI->getParent()->instr_end(); - - if (NextMII == E) - return false; - - MachineInstr *MI1 = Arguments->MI; - MachineInstr *MI2 = &*NextMII; - - // ReduceToLwp = true/false - reduce to LWP/SWP instruction - bool ReduceToLwp = (MI1->getOpcode() == Mips::LW) || - (MI1->getOpcode() == Mips::LW_MM) || - (MI1->getOpcode() == Mips::LW16_MM); - - if (!CheckXWPInstr(MI1, ReduceToLwp, Entry)) - return false; - - if (!CheckXWPInstr(MI2, ReduceToLwp, Entry)) - return false; - - unsigned Reg1 = MI1->getOperand(1).getReg(); - unsigned Reg2 = MI2->getOperand(1).getReg(); - - if (Reg1 != Reg2) - return false; - - bool ConsecutiveForward = ConsecutiveInstr(MI1, MI2); - bool ConsecutiveBackward = ConsecutiveInstr(MI2, MI1); - - if (!(ConsecutiveForward || ConsecutiveBackward)) - return false; - - NextMII = std::next(NextMII); - return ReplaceInstruction(MI1, Entry, MI2, ConsecutiveForward); -} - -bool MicroMipsSizeReduce::ReduceArithmeticInstructions( - ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - if (!isMMThreeBitGPRegister(MI->getOperand(0)) || - !isMMThreeBitGPRegister(MI->getOperand(1)) || - !isMMThreeBitGPRegister(MI->getOperand(2))) - return false; - - return ReplaceInstruction(MI, Entry); -} - -bool MicroMipsSizeReduce::ReduceADDIUToADDIUR1SP( - ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - if (!ImmInRange(MI, Entry)) - return false; - - if (!isMMThreeBitGPRegister(MI->getOperand(0)) || !IsSP(MI->getOperand(1))) - return false; - - return ReplaceInstruction(MI, Entry); -} - -bool MicroMipsSizeReduce::ReduceADDIUToADDIUSP(ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - int64_t ImmValue; - if (!GetImm(MI, Entry.ImmField(), ImmValue)) - return false; - - if (!AddiuspImmValue(ImmValue)) - return false; - - if (!IsSP(MI->getOperand(0)) || !IsSP(MI->getOperand(1))) - return false; - - return ReplaceInstruction(MI, Entry); -} - -bool MicroMipsSizeReduce::ReduceLXUtoLXU16(ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - if (!ImmInRange(MI, Entry)) - return false; - - if (!isMMThreeBitGPRegister(MI->getOperand(0)) || - !isMMThreeBitGPRegister(MI->getOperand(1))) - return false; - - return ReplaceInstruction(MI, Entry); -} - -bool MicroMipsSizeReduce::ReduceSXtoSX16(ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - if (!ImmInRange(MI, Entry)) - return false; - - if (!isMMSourceRegister(MI->getOperand(0)) || - !isMMThreeBitGPRegister(MI->getOperand(1))) - return false; - - return ReplaceInstruction(MI, Entry); -} - -// Returns true if Reg can be a source register -// of MOVEP instruction -static bool IsMovepSrcRegister(unsigned Reg) { - - if (Reg == Mips::ZERO || Reg == Mips::V0 || Reg == Mips::V1 || - Reg == Mips::S0 || Reg == Mips::S1 || Reg == Mips::S2 || - Reg == Mips::S3 || Reg == Mips::S4) - return true; - - return false; -} - -// Returns true if Reg can be a destination register -// of MOVEP instruction -static bool IsMovepDestinationReg(unsigned Reg) { - - if (Reg == Mips::A0 || Reg == Mips::A1 || Reg == Mips::A2 || - Reg == Mips::A3 || Reg == Mips::S5 || Reg == Mips::S6) - return true; - - return false; -} - -// Returns true if the registers can be a pair of destination -// registers in MOVEP instruction -static bool IsMovepDestinationRegPair(unsigned R0, unsigned R1) { - - if ((R0 == Mips::A0 && R1 == Mips::S5) || - (R0 == Mips::A0 && R1 == Mips::S6) || - (R0 == Mips::A0 && R1 == Mips::A1) || - (R0 == Mips::A0 && R1 == Mips::A2) || - (R0 == Mips::A0 && R1 == Mips::A3) || - (R0 == Mips::A1 && R1 == Mips::A2) || - (R0 == Mips::A1 && R1 == Mips::A3) || - (R0 == Mips::A2 && R1 == Mips::A3)) - return true; - - return false; -} - -bool MicroMipsSizeReduce::ReduceMoveToMovep(ReduceEntryFunArgs *Arguments) { - - const ReduceEntry &Entry = Arguments->Entry; - MachineBasicBlock::instr_iterator &NextMII = Arguments->NextMII; - const MachineBasicBlock::instr_iterator &E = - Arguments->MI->getParent()->instr_end(); - - if (NextMII == E) - return false; - - MachineInstr *MI1 = Arguments->MI; - MachineInstr *MI2 = &*NextMII; - - unsigned RegDstMI1 = MI1->getOperand(0).getReg(); - unsigned RegSrcMI1 = MI1->getOperand(1).getReg(); - - if (!IsMovepSrcRegister(RegSrcMI1)) - return false; - - if (!IsMovepDestinationReg(RegDstMI1)) - return false; - - if (MI2->getOpcode() != Entry.WideOpc()) - return false; - - unsigned RegDstMI2 = MI2->getOperand(0).getReg(); - unsigned RegSrcMI2 = MI2->getOperand(1).getReg(); - - if (!IsMovepSrcRegister(RegSrcMI2)) - return false; - - bool ConsecutiveForward; - if (IsMovepDestinationRegPair(RegDstMI1, RegDstMI2)) { - ConsecutiveForward = true; - } else if (IsMovepDestinationRegPair(RegDstMI2, RegDstMI1)) { - ConsecutiveForward = false; - } else - return false; - - NextMII = std::next(NextMII); - return ReplaceInstruction(MI1, Entry, MI2, ConsecutiveForward); -} - -bool MicroMipsSizeReduce::ReduceXORtoXOR16(ReduceEntryFunArgs *Arguments) { - - MachineInstr *MI = Arguments->MI; - const ReduceEntry &Entry = Arguments->Entry; - - if (!isMMThreeBitGPRegister(MI->getOperand(0)) || - !isMMThreeBitGPRegister(MI->getOperand(1)) || - !isMMThreeBitGPRegister(MI->getOperand(2))) - return false; - - if (!(MI->getOperand(0).getReg() == MI->getOperand(2).getReg()) && - !(MI->getOperand(0).getReg() == MI->getOperand(1).getReg())) - return false; - - return ReplaceInstruction(MI, Entry); -} - -bool MicroMipsSizeReduce::ReduceMBB(MachineBasicBlock &MBB) { - bool Modified = false; - MachineBasicBlock::instr_iterator MII = MBB.instr_begin(), - E = MBB.instr_end(); - MachineBasicBlock::instr_iterator NextMII; - - // Iterate through the instructions in the basic block - for (; MII != E; MII = NextMII) { - NextMII = std::next(MII); - MachineInstr *MI = &*MII; - - // Don't reduce bundled instructions or pseudo operations - if (MI->isBundle() || MI->isTransient()) - continue; - - // Try to reduce 32-bit instruction into 16-bit instruction - Modified |= ReduceMI(MII, NextMII); - } - - return Modified; -} - -bool MicroMipsSizeReduce::ReplaceInstruction(MachineInstr *MI, - const ReduceEntry &Entry, - MachineInstr *MI2, - bool ConsecutiveForward) { - - enum OperandTransfer OpTransfer = Entry.TransferOperands(); - - LLVM_DEBUG(dbgs() << "Converting 32-bit: " << *MI); - ++NumReduced; - - if (OpTransfer == OT_OperandsAll) { - MI->setDesc(MipsII->get(Entry.NarrowOpc())); - LLVM_DEBUG(dbgs() << " to 16-bit: " << *MI); - return true; - } else { - MachineBasicBlock &MBB = *MI->getParent(); - const MCInstrDesc &NewMCID = MipsII->get(Entry.NarrowOpc()); - DebugLoc dl = MI->getDebugLoc(); - MachineInstrBuilder MIB = BuildMI(MBB, MI, dl, NewMCID); - switch (OpTransfer) { - case OT_Operand2: - MIB.add(MI->getOperand(2)); - break; - case OT_Operands02: { - MIB.add(MI->getOperand(0)); - MIB.add(MI->getOperand(2)); - break; - } - case OT_OperandsXOR: { - if (MI->getOperand(0).getReg() == MI->getOperand(2).getReg()) { - MIB.add(MI->getOperand(0)); - MIB.add(MI->getOperand(1)); - MIB.add(MI->getOperand(2)); - } else { - MIB.add(MI->getOperand(0)); - MIB.add(MI->getOperand(2)); - MIB.add(MI->getOperand(1)); - } - break; - } - case OT_OperandsMovep: - case OT_OperandsLwp: - case OT_OperandsSwp: { - if (ConsecutiveForward) { - MIB.add(MI->getOperand(0)); - MIB.add(MI2->getOperand(0)); - MIB.add(MI->getOperand(1)); - if (OpTransfer == OT_OperandsMovep) - MIB.add(MI2->getOperand(1)); - else - MIB.add(MI->getOperand(2)); - } else { // consecutive backward - MIB.add(MI2->getOperand(0)); - MIB.add(MI->getOperand(0)); - MIB.add(MI2->getOperand(1)); - if (OpTransfer == OT_OperandsMovep) - MIB.add(MI->getOperand(1)); - else - MIB.add(MI2->getOperand(2)); - } - - LLVM_DEBUG(dbgs() << "and converting 32-bit: " << *MI2 - << " to: " << *MIB); - - MBB.erase_instr(MI); - MBB.erase_instr(MI2); - return true; - } - default: - llvm_unreachable("Unknown operand transfer!"); - } - - // Transfer MI flags. - MIB.setMIFlags(MI->getFlags()); - - LLVM_DEBUG(dbgs() << " to 16-bit: " << *MIB); - MBB.erase_instr(MI); - return true; - } - return false; -} - -bool MicroMipsSizeReduce::runOnMachineFunction(MachineFunction &MF) { - - Subtarget = &static_cast<const MipsSubtarget &>(MF.getSubtarget()); - - // TODO: Add support for the subtarget microMIPS32R6. - if (!Subtarget->inMicroMipsMode() || !Subtarget->hasMips32r2() || - Subtarget->hasMips32r6()) - return false; - - MipsII = static_cast<const MipsInstrInfo *>(Subtarget->getInstrInfo()); - - bool Modified = false; - MachineFunction::iterator I = MF.begin(), E = MF.end(); - - for (; I != E; ++I) - Modified |= ReduceMBB(*I); - return Modified; -} - -/// Returns an instance of the MicroMips size reduction pass. -FunctionPass *llvm::createMicroMipsSizeReducePass() { - return new MicroMipsSizeReduce(); -} |
