MipsInstrInfo.h revision c23197a26f34f559ea9797de51e187087c039c42
1//===- MipsInstrInfo.h - Mips Instruction Information -----------*- C++ -*-===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the Mips implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef MIPSINSTRUCTIONINFO_H
15#define MIPSINSTRUCTIONINFO_H
16
17#include "Mips.h"
18#include "llvm/Support/ErrorHandling.h"
19#include "llvm/Target/TargetInstrInfo.h"
20#include "MipsRegisterInfo.h"
21
22namespace llvm {
23
24namespace Mips {
25
26  // Mips Branch Codes
27  enum FPBranchCode {
28    BRANCH_F,
29    BRANCH_T,
30    BRANCH_FL,
31    BRANCH_TL,
32    BRANCH_INVALID
33  };
34
35  // Mips Condition Codes
36  enum CondCode {
37    // To be used with float branch True
38    FCOND_F,
39    FCOND_UN,
40    FCOND_EQ,
41    FCOND_UEQ,
42    FCOND_OLT,
43    FCOND_ULT,
44    FCOND_OLE,
45    FCOND_ULE,
46    FCOND_SF,
47    FCOND_NGLE,
48    FCOND_SEQ,
49    FCOND_NGL,
50    FCOND_LT,
51    FCOND_NGE,
52    FCOND_LE,
53    FCOND_NGT,
54
55    // To be used with float branch False
56    // This conditions have the same mnemonic as the
57    // above ones, but are used with a branch False;
58    FCOND_T,
59    FCOND_OR,
60    FCOND_NEQ,
61    FCOND_OGL,
62    FCOND_UGE,
63    FCOND_OGE,
64    FCOND_UGT,
65    FCOND_OGT,
66    FCOND_ST,
67    FCOND_GLE,
68    FCOND_SNE,
69    FCOND_GL,
70    FCOND_NLT,
71    FCOND_GE,
72    FCOND_NLE,
73    FCOND_GT,
74
75    // Only integer conditions
76    COND_E,
77    COND_GZ,
78    COND_GEZ,
79    COND_LZ,
80    COND_LEZ,
81    COND_NE,
82    COND_INVALID
83  };
84
85  // Turn condition code into conditional branch opcode.
86  unsigned GetCondBranchFromCond(CondCode CC);
87
88  /// GetOppositeBranchCondition - Return the inverse of the specified cond,
89  /// e.g. turning COND_E to COND_NE.
90  CondCode GetOppositeBranchCondition(Mips::CondCode CC);
91
92  /// MipsCCToString - Map each FP condition code to its string
93  inline static const char *MipsFCCToString(Mips::CondCode CC)
94  {
95    switch (CC) {
96      default: llvm_unreachable("Unknown condition code");
97      case FCOND_F:
98      case FCOND_T:   return "f";
99      case FCOND_UN:
100      case FCOND_OR:  return "un";
101      case FCOND_EQ:
102      case FCOND_NEQ: return "eq";
103      case FCOND_UEQ:
104      case FCOND_OGL: return "ueq";
105      case FCOND_OLT:
106      case FCOND_UGE: return "olt";
107      case FCOND_ULT:
108      case FCOND_OGE: return "ult";
109      case FCOND_OLE:
110      case FCOND_UGT: return "ole";
111      case FCOND_ULE:
112      case FCOND_OGT: return "ule";
113      case FCOND_SF:
114      case FCOND_ST:  return "sf";
115      case FCOND_NGLE:
116      case FCOND_GLE: return "ngle";
117      case FCOND_SEQ:
118      case FCOND_SNE: return "seq";
119      case FCOND_NGL:
120      case FCOND_GL:  return "ngl";
121      case FCOND_LT:
122      case FCOND_NLT: return "lt";
123      case FCOND_NGE:
124      case FCOND_GE:  return "ge";
125      case FCOND_LE:
126      case FCOND_NLE: return "nle";
127      case FCOND_NGT:
128      case FCOND_GT:  return "gt";
129    }
130  }
131}
132
133class MipsInstrInfo : public TargetInstrInfoImpl {
134  MipsTargetMachine &TM;
135  const MipsRegisterInfo RI;
136public:
137  explicit MipsInstrInfo(MipsTargetMachine &TM);
138
139  /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info.  As
140  /// such, whenever a client has an instance of instruction info, it should
141  /// always be able to get register info as well (through this method).
142  ///
143  virtual const MipsRegisterInfo &getRegisterInfo() const { return RI; }
144
145  /// Return true if the instruction is a register to register move and return
146  /// the source and dest operands and their sub-register indices by reference.
147  virtual bool isMoveInstr(const MachineInstr &MI,
148                           unsigned &SrcReg, unsigned &DstReg,
149                           unsigned &SrcSubIdx, unsigned &DstSubIdx) const;
150
151  /// isLoadFromStackSlot - If the specified machine instruction is a direct
152  /// load from a stack slot, return the virtual or physical register number of
153  /// the destination along with the FrameIndex of the loaded stack slot.  If
154  /// not, return 0.  This predicate must return 0 if the instruction has
155  /// any side effects other than loading from the stack slot.
156  virtual unsigned isLoadFromStackSlot(const MachineInstr *MI,
157                                       int &FrameIndex) const;
158
159  /// isStoreToStackSlot - If the specified machine instruction is a direct
160  /// store to a stack slot, return the virtual or physical register number of
161  /// the source reg along with the FrameIndex of the loaded stack slot.  If
162  /// not, return 0.  This predicate must return 0 if the instruction has
163  /// any side effects other than storing to the stack slot.
164  virtual unsigned isStoreToStackSlot(const MachineInstr *MI,
165                                      int &FrameIndex) const;
166
167  /// Branch Analysis
168  virtual bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
169                             MachineBasicBlock *&FBB,
170                             SmallVectorImpl<MachineOperand> &Cond,
171                             bool AllowModify) const;
172  virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
173  virtual unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
174                                MachineBasicBlock *FBB,
175                            const SmallVectorImpl<MachineOperand> &Cond) const;
176  virtual bool copyRegToReg(MachineBasicBlock &MBB,
177                            MachineBasicBlock::iterator I,
178                            unsigned DestReg, unsigned SrcReg,
179                            const TargetRegisterClass *DestRC,
180                            const TargetRegisterClass *SrcRC) const;
181  virtual void storeRegToStackSlot(MachineBasicBlock &MBB,
182                                   MachineBasicBlock::iterator MBBI,
183                                   unsigned SrcReg, bool isKill, int FrameIndex,
184                                   const TargetRegisterClass *RC) const;
185
186  virtual void storeRegToAddr(MachineFunction &MF, unsigned SrcReg, bool isKill,
187                              SmallVectorImpl<MachineOperand> &Addr,
188                              const TargetRegisterClass *RC,
189                              SmallVectorImpl<MachineInstr*> &NewMIs) const;
190
191  virtual void loadRegFromStackSlot(MachineBasicBlock &MBB,
192                                    MachineBasicBlock::iterator MBBI,
193                                    unsigned DestReg, int FrameIndex,
194                                    const TargetRegisterClass *RC) const;
195
196  virtual void loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
197                               SmallVectorImpl<MachineOperand> &Addr,
198                               const TargetRegisterClass *RC,
199                               SmallVectorImpl<MachineInstr*> &NewMIs) const;
200
201  virtual MachineInstr* foldMemoryOperandImpl(MachineFunction &MF,
202                                              MachineInstr* MI,
203                                           const SmallVectorImpl<unsigned> &Ops,
204                                              int FrameIndex) const;
205
206  virtual MachineInstr* foldMemoryOperandImpl(MachineFunction &MF,
207                                              MachineInstr* MI,
208                                           const SmallVectorImpl<unsigned> &Ops,
209                                              MachineInstr* LoadMI) const {
210    return 0;
211  }
212
213  virtual bool BlockHasNoFallThrough(const MachineBasicBlock &MBB) const;
214  virtual
215  bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const;
216
217  /// Insert nop instruction when hazard condition is found
218  virtual void insertNoop(MachineBasicBlock &MBB,
219                          MachineBasicBlock::iterator MI) const;
220
221  /// getGlobalBaseReg - Return a virtual register initialized with the
222  /// the global base register value. Output instructions required to
223  /// initialize the register in the function entry block, if necessary.
224  ///
225  unsigned getGlobalBaseReg(MachineFunction *MF) const;
226};
227
228}
229
230#endif
231