blob: 22fe3796597b879ceba82a5c0048b422142fa929 [file] [log] [blame]
Evan Chenga8e29892007-01-19 07:51:42 +00001//===- ARMInstrInfo.h - ARM Instruction Information -------------*- C++ -*-===//
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00006// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the ARM implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef ARMINSTRUCTIONINFO_H
15#define ARMINSTRUCTIONINFO_H
16
17#include "llvm/Target/TargetInstrInfo.h"
18#include "ARMRegisterInfo.h"
Jim Grosbachcbc47b82008-10-07 21:01:51 +000019#include "ARM.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000020
21namespace llvm {
Evan Chenga8e29892007-01-19 07:51:42 +000022 class ARMSubtarget;
23
24/// ARMII - This namespace holds all of the target specific flags that
25/// instruction info tracks.
26///
27namespace ARMII {
28 enum {
29 //===------------------------------------------------------------------===//
30 // Instruction Flags.
31
32 //===------------------------------------------------------------------===//
Jim Grosbach0a4b9dc2008-11-03 18:38:31 +000033 // This four-bit field describes the addressing mode used.
Evan Chenga8e29892007-01-19 07:51:42 +000034
35 AddrModeMask = 0xf,
Evan Cheng0ff94f72007-08-07 01:37:15 +000036 AddrModeNone = 0,
Evan Chenga8e29892007-01-19 07:51:42 +000037 AddrMode1 = 1,
38 AddrMode2 = 2,
39 AddrMode3 = 3,
40 AddrMode4 = 4,
41 AddrMode5 = 5,
Evan Chengedda31c2008-11-05 18:35:52 +000042 AddrModeT1 = 6,
43 AddrModeT2 = 7,
44 AddrModeT4 = 8,
45 AddrModeTs = 9, // i8 * 4 for pc and sp relative data
Evan Chenga8e29892007-01-19 07:51:42 +000046
47 // Size* - Flags to keep track of the size of an instruction.
48 SizeShift = 4,
49 SizeMask = 7 << SizeShift,
50 SizeSpecial = 1, // 0 byte pseudo or special case.
51 Size8Bytes = 2,
52 Size4Bytes = 3,
53 Size2Bytes = 4,
54
55 // IndexMode - Unindex, pre-indexed, or post-indexed. Only valid for load
56 // and store ops
57 IndexModeShift = 7,
58 IndexModeMask = 3 << IndexModeShift,
59 IndexModePre = 1,
60 IndexModePost = 2,
61
Evan Chengedda31c2008-11-05 18:35:52 +000062 //===------------------------------------------------------------------===//
63 // Misc flags.
64
65 // UnaryDP - Indicates this is a unary data processing instruction, i.e.
66 // it doesn't have a Rn operand.
Evan Chengd87293c2008-11-06 08:47:38 +000067 UnaryDP = 1 << 9,
Evan Chengedda31c2008-11-05 18:35:52 +000068
69 //===------------------------------------------------------------------===//
70 // Instruction encoding formats.
71 //
Evan Chengd87293c2008-11-06 08:47:38 +000072 FormShift = 10,
Evan Chengeb4f52e2008-11-06 03:35:07 +000073 FormMask = 0xf << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +000074
Raul Herbster8c132632007-08-30 23:34:14 +000075 // Pseudo instructions
Evan Cheng0ff94f72007-08-07 01:37:15 +000076 Pseudo = 1 << FormShift,
77
Raul Herbster8c132632007-08-30 23:34:14 +000078 // Multiply instructions
Evan Chengfbc9d412008-11-06 01:21:28 +000079 MulFrm = 2 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +000080
Raul Herbster8c132632007-08-30 23:34:14 +000081 // Branch instructions
Evan Cheng12c3a532008-11-06 17:48:05 +000082 BrFrm = 3 << FormShift,
83 BrMiscFrm = 4 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +000084
Raul Herbster8c132632007-08-30 23:34:14 +000085 // Data Processing instructions
Evan Chengeb4f52e2008-11-06 03:35:07 +000086 DPFrm = 5 << FormShift,
87 DPSoRegFrm = 6 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +000088
Raul Herbster8c132632007-08-30 23:34:14 +000089 // Load and Store
Evan Chengeb4f52e2008-11-06 03:35:07 +000090 LdFrm = 7 << FormShift,
91 StFrm = 8 << FormShift,
92 LdMiscFrm = 9 << FormShift,
93 StMiscFrm = 10 << FormShift,
94 LdMulFrm = 11 << FormShift,
95 StMulFrm = 12 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +000096
Raul Herbster8c132632007-08-30 23:34:14 +000097 // Miscellaneous arithmetic instructions
Evan Cheng97f48c32008-11-06 22:15:19 +000098 ArithMiscFrm= 13 << FormShift,
99
100 // Extend instructions
101 ExtFrm = 14 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +0000102
Raul Herbster8c132632007-08-30 23:34:14 +0000103 // Thumb format
Evan Cheng97f48c32008-11-06 22:15:19 +0000104 ThumbFrm = 15 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +0000105
Raul Herbster8c132632007-08-30 23:34:14 +0000106 // VFP format
Evan Cheng97f48c32008-11-06 22:15:19 +0000107 VPFFrm = 16 << FormShift,
Evan Cheng0ff94f72007-08-07 01:37:15 +0000108
Evan Chengedda31c2008-11-05 18:35:52 +0000109 //===------------------------------------------------------------------===//
Raul Herbster8c132632007-08-30 23:34:14 +0000110 // Field shifts - such shifts are used to set field while generating
111 // machine instructions.
Evan Cheng97f48c32008-11-06 22:15:19 +0000112 SoRotImmShift = 8,
113 RegRsShift = 8,
114 ExtRotImmShift = 10,
115 RegRdLoShift = 12,
116 RegRdShift = 12,
117 RegRdHiShift = 16,
118 RegRnShift = 16,
119 S_BitShift = 20,
120 W_BitShift = 21,
121 AM3_I_BitShift = 22,
122 U_BitShift = 23,
123 P_BitShift = 24,
124 I_BitShift = 25,
125 CondShift = 28
Evan Chenga8e29892007-01-19 07:51:42 +0000126 };
127}
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000128
Chris Lattner64105522008-01-01 01:03:04 +0000129class ARMInstrInfo : public TargetInstrInfoImpl {
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000130 const ARMRegisterInfo RI;
131public:
Dan Gohman950a4c42008-03-25 22:06:05 +0000132 explicit ARMInstrInfo(const ARMSubtarget &STI);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000133
134 /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As
135 /// such, whenever a client has an instance of instruction info, it should
136 /// always be able to get register info as well (through this method).
137 ///
Dan Gohmanc9f5f3f2008-05-14 01:58:56 +0000138 virtual const ARMRegisterInfo &getRegisterInfo() const { return RI; }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000139
Rafael Espindola46adf812006-08-08 20:35:03 +0000140 /// getPointerRegClass - Return the register class to use to hold pointers.
141 /// This is used for addressing modes.
142 virtual const TargetRegisterClass *getPointerRegClass() const;
143
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000144 /// Return true if the instruction is a register to register move and
145 /// leave the source and dest operands in the passed parameters.
146 ///
147 virtual bool isMoveInstr(const MachineInstr &MI,
148 unsigned &SrcReg, unsigned &DstReg) const;
Evan Chenga8e29892007-01-19 07:51:42 +0000149 virtual unsigned isLoadFromStackSlot(MachineInstr *MI, int &FrameIndex) const;
150 virtual unsigned isStoreToStackSlot(MachineInstr *MI, int &FrameIndex) const;
151
Evan Chengca1267c2008-03-31 20:40:39 +0000152 void reMaterialize(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
153 unsigned DestReg, const MachineInstr *Orig) const;
154
Evan Chenga8e29892007-01-19 07:51:42 +0000155 virtual MachineInstr *convertToThreeAddress(MachineFunction::iterator &MFI,
156 MachineBasicBlock::iterator &MBBI,
Owen Andersonf660c172008-07-02 23:41:07 +0000157 LiveVariables *LV) const;
Chris Lattner578e64a2006-10-24 16:47:57 +0000158
Evan Chenga8e29892007-01-19 07:51:42 +0000159 // Branch analysis.
160 virtual bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
161 MachineBasicBlock *&FBB,
Owen Anderson44eb65c2008-08-14 22:49:33 +0000162 SmallVectorImpl<MachineOperand> &Cond) const;
Evan Cheng6ae36262007-05-18 00:18:17 +0000163 virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
164 virtual unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
165 MachineBasicBlock *FBB,
Owen Anderson44eb65c2008-08-14 22:49:33 +0000166 const SmallVectorImpl<MachineOperand> &Cond) const;
Owen Anderson940f83e2008-08-26 18:03:31 +0000167 virtual bool copyRegToReg(MachineBasicBlock &MBB,
Owen Andersond10fd972007-12-31 06:32:00 +0000168 MachineBasicBlock::iterator I,
169 unsigned DestReg, unsigned SrcReg,
170 const TargetRegisterClass *DestRC,
171 const TargetRegisterClass *SrcRC) const;
Owen Andersonf6372aa2008-01-01 21:11:32 +0000172 virtual void storeRegToStackSlot(MachineBasicBlock &MBB,
173 MachineBasicBlock::iterator MBBI,
174 unsigned SrcReg, bool isKill, int FrameIndex,
175 const TargetRegisterClass *RC) const;
176
177 virtual void storeRegToAddr(MachineFunction &MF, unsigned SrcReg, bool isKill,
178 SmallVectorImpl<MachineOperand> &Addr,
179 const TargetRegisterClass *RC,
180 SmallVectorImpl<MachineInstr*> &NewMIs) const;
181
182 virtual void loadRegFromStackSlot(MachineBasicBlock &MBB,
183 MachineBasicBlock::iterator MBBI,
184 unsigned DestReg, int FrameIndex,
185 const TargetRegisterClass *RC) const;
186
187 virtual void loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
188 SmallVectorImpl<MachineOperand> &Addr,
189 const TargetRegisterClass *RC,
190 SmallVectorImpl<MachineInstr*> &NewMIs) const;
Owen Andersond94b6a12008-01-04 23:57:37 +0000191 virtual bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
192 MachineBasicBlock::iterator MI,
193 const std::vector<CalleeSavedInfo> &CSI) const;
194 virtual bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
195 MachineBasicBlock::iterator MI,
196 const std::vector<CalleeSavedInfo> &CSI) const;
Owen Anderson43dbe052008-01-07 01:35:02 +0000197
Evan Cheng5fd79d02008-02-08 21:20:40 +0000198 virtual MachineInstr* foldMemoryOperand(MachineFunction &MF,
199 MachineInstr* MI,
Dan Gohman8e8b8a22008-10-16 01:49:15 +0000200 const SmallVectorImpl<unsigned> &Ops,
Owen Anderson43dbe052008-01-07 01:35:02 +0000201 int FrameIndex) const;
202
Evan Cheng5fd79d02008-02-08 21:20:40 +0000203 virtual MachineInstr* foldMemoryOperand(MachineFunction &MF,
204 MachineInstr* MI,
Dan Gohman8e8b8a22008-10-16 01:49:15 +0000205 const SmallVectorImpl<unsigned> &Ops,
Owen Anderson43dbe052008-01-07 01:35:02 +0000206 MachineInstr* LoadMI) const {
207 return 0;
208 }
209
Dan Gohman8e8b8a22008-10-16 01:49:15 +0000210 virtual bool canFoldMemoryOperand(const MachineInstr *MI,
211 const SmallVectorImpl<unsigned> &Ops) const;
Owen Anderson43dbe052008-01-07 01:35:02 +0000212
Dan Gohman8e8b8a22008-10-16 01:49:15 +0000213 virtual bool BlockHasNoFallThrough(const MachineBasicBlock &MBB) const;
Owen Anderson44eb65c2008-08-14 22:49:33 +0000214 virtual
215 bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const;
Evan Cheng93072922007-05-16 02:01:49 +0000216
217 // Predication support.
Evan Cheng62ccdbf2007-05-29 18:42:18 +0000218 virtual bool isPredicated(const MachineInstr *MI) const;
Evan Cheng69d55562007-05-23 07:22:05 +0000219
Jim Grosbach33412622008-10-07 19:05:35 +0000220 ARMCC::CondCodes getPredicate(const MachineInstr *MI) const {
221 int PIdx = MI->findFirstPredOperandIdx();
222 return PIdx != -1 ? (ARMCC::CondCodes)MI->getOperand(PIdx).getImm()
223 : ARMCC::AL;
224 }
225
Evan Cheng62ccdbf2007-05-29 18:42:18 +0000226 virtual
227 bool PredicateInstruction(MachineInstr *MI,
Owen Anderson44eb65c2008-08-14 22:49:33 +0000228 const SmallVectorImpl<MachineOperand> &Pred) const;
Evan Cheng69d55562007-05-23 07:22:05 +0000229
Evan Cheng62ccdbf2007-05-29 18:42:18 +0000230 virtual
Owen Anderson44eb65c2008-08-14 22:49:33 +0000231 bool SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
232 const SmallVectorImpl<MachineOperand> &Pred2) const;
Evan Cheng13ab0202007-07-10 18:08:01 +0000233
234 virtual bool DefinesPredicate(MachineInstr *MI,
235 std::vector<MachineOperand> &Pred) const;
Nicolas Geoffray52e724a2008-04-16 20:10:13 +0000236
237 /// GetInstSize - Returns the size of the specified MachineInstr.
238 ///
239 virtual unsigned GetInstSizeInBytes(const MachineInstr* MI) const;
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000240};
241
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000242}
243
244#endif