blob: 4a0065dce519565d8b5b35b5fe25aba7d10fe583 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- ARMInstrInfo.h - ARM Instruction Information -------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
Dan Gohmanf17a25c2007-07-18 16:29:46 +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 Grosbach94a552c2008-10-07 21:01:51 +000019#include "ARM.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000020
21namespace llvm {
22 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 Grosbach1feed042008-11-03 18:38:31 +000033 // This four-bit field describes the addressing mode used.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000034
35 AddrModeMask = 0xf,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000036 AddrModeNone = 0,
Dan Gohmanf17a25c2007-07-18 16:29:46 +000037 AddrMode1 = 1,
38 AddrMode2 = 2,
39 AddrMode3 = 3,
40 AddrMode4 = 4,
41 AddrMode5 = 5,
Evan Cheng86a926a2008-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +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 Cheng86a926a2008-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 Chengbe998242008-11-06 08:47:38 +000067 UnaryDP = 1 << 9,
Evan Cheng86a926a2008-11-05 18:35:52 +000068
69 //===------------------------------------------------------------------===//
70 // Instruction encoding formats.
71 //
Evan Chengbb786b32008-11-11 21:48:44 +000072 FormShift = 10,
73 FormMask = 0x1f << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000074
Raul Herbster85f45612007-08-30 23:34:14 +000075 // Pseudo instructions
Evan Cheng11838a82008-11-12 07:18:38 +000076 Pseudo = 1 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000077
Raul Herbster85f45612007-08-30 23:34:14 +000078 // Multiply instructions
Evan Cheng11838a82008-11-12 07:18:38 +000079 MulFrm = 2 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000080
Raul Herbster85f45612007-08-30 23:34:14 +000081 // Branch instructions
Evan Cheng11838a82008-11-12 07:18:38 +000082 BrFrm = 3 << FormShift,
83 BrMiscFrm = 4 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000084
Raul Herbster85f45612007-08-30 23:34:14 +000085 // Data Processing instructions
Evan Cheng11838a82008-11-12 07:18:38 +000086 DPFrm = 5 << FormShift,
87 DPSoRegFrm = 6 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000088
Raul Herbster85f45612007-08-30 23:34:14 +000089 // Load and Store
Evan Cheng11838a82008-11-12 07:18:38 +000090 LdStFrm = 7 << FormShift,
91 LdStMiscFrm = 8 << FormShift,
92 LdStMulFrm = 9 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000093
Raul Herbster85f45612007-08-30 23:34:14 +000094 // Miscellaneous arithmetic instructions
Evan Cheng11838a82008-11-12 07:18:38 +000095 ArithMiscFrm = 10 << FormShift,
Evan Cheng37afa432008-11-06 22:15:19 +000096
97 // Extend instructions
Evan Cheng11838a82008-11-12 07:18:38 +000098 ExtFrm = 11 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000099
Evan Chengc63e15e2008-11-11 02:11:05 +0000100 // VFP formats
Evan Cheng11838a82008-11-12 07:18:38 +0000101 VFPUnaryFrm = 12 << FormShift,
102 VFPBinaryFrm = 13 << FormShift,
103 VFPConv1Frm = 14 << FormShift,
104 VFPConv2Frm = 15 << FormShift,
105 VFPConv3Frm = 16 << FormShift,
106 VFPConv4Frm = 17 << FormShift,
107 VFPConv5Frm = 18 << FormShift,
108 VFPLdStFrm = 19 << FormShift,
109 VFPLdStMulFrm = 20 << FormShift,
110 VFPMiscFrm = 21 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000111
Evan Chengc63e15e2008-11-11 02:11:05 +0000112 // Thumb format
Evan Cheng11838a82008-11-12 07:18:38 +0000113 ThumbFrm = 22 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000114
Evan Cheng86a926a2008-11-05 18:35:52 +0000115 //===------------------------------------------------------------------===//
Raul Herbster85f45612007-08-30 23:34:14 +0000116 // Field shifts - such shifts are used to set field while generating
117 // machine instructions.
Evan Chengc63e15e2008-11-11 02:11:05 +0000118 M_BitShift = 5,
Evan Chengc2121a22008-11-07 01:41:35 +0000119 ShiftShift = 7,
Evan Chengc63e15e2008-11-11 02:11:05 +0000120 N_BitShift = 7,
Evan Cheng37afa432008-11-06 22:15:19 +0000121 SoRotImmShift = 8,
122 RegRsShift = 8,
123 ExtRotImmShift = 10,
124 RegRdLoShift = 12,
125 RegRdShift = 12,
126 RegRdHiShift = 16,
127 RegRnShift = 16,
128 S_BitShift = 20,
129 W_BitShift = 21,
130 AM3_I_BitShift = 22,
Evan Chengc63e15e2008-11-11 02:11:05 +0000131 D_BitShift = 22,
Evan Cheng37afa432008-11-06 22:15:19 +0000132 U_BitShift = 23,
133 P_BitShift = 24,
134 I_BitShift = 25,
135 CondShift = 28
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000136 };
137}
138
Chris Lattnerd2fd6db2008-01-01 01:03:04 +0000139class ARMInstrInfo : public TargetInstrInfoImpl {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000140 const ARMRegisterInfo RI;
141public:
Dan Gohman40bd38e2008-03-25 22:06:05 +0000142 explicit ARMInstrInfo(const ARMSubtarget &STI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000143
144 /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As
145 /// such, whenever a client has an instance of instruction info, it should
146 /// always be able to get register info as well (through this method).
147 ///
Dan Gohmanb41dfba2008-05-14 01:58:56 +0000148 virtual const ARMRegisterInfo &getRegisterInfo() const { return RI; }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000149
150 /// getPointerRegClass - Return the register class to use to hold pointers.
151 /// This is used for addressing modes.
152 virtual const TargetRegisterClass *getPointerRegClass() const;
153
154 /// Return true if the instruction is a register to register move and
155 /// leave the source and dest operands in the passed parameters.
156 ///
157 virtual bool isMoveInstr(const MachineInstr &MI,
158 unsigned &SrcReg, unsigned &DstReg) const;
159 virtual unsigned isLoadFromStackSlot(MachineInstr *MI, int &FrameIndex) const;
160 virtual unsigned isStoreToStackSlot(MachineInstr *MI, int &FrameIndex) const;
161
Evan Cheng7d73efc2008-03-31 20:40:39 +0000162 void reMaterialize(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
163 unsigned DestReg, const MachineInstr *Orig) const;
164
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000165 virtual MachineInstr *convertToThreeAddress(MachineFunction::iterator &MFI,
166 MachineBasicBlock::iterator &MBBI,
Owen Andersonc6959722008-07-02 23:41:07 +0000167 LiveVariables *LV) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000168
169 // Branch analysis.
170 virtual bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
171 MachineBasicBlock *&FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +0000172 SmallVectorImpl<MachineOperand> &Cond) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000173 virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
174 virtual unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
175 MachineBasicBlock *FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +0000176 const SmallVectorImpl<MachineOperand> &Cond) const;
Owen Anderson9fa72d92008-08-26 18:03:31 +0000177 virtual bool copyRegToReg(MachineBasicBlock &MBB,
Owen Anderson8f2c8932007-12-31 06:32:00 +0000178 MachineBasicBlock::iterator I,
179 unsigned DestReg, unsigned SrcReg,
180 const TargetRegisterClass *DestRC,
181 const TargetRegisterClass *SrcRC) const;
Owen Anderson81875432008-01-01 21:11:32 +0000182 virtual void storeRegToStackSlot(MachineBasicBlock &MBB,
183 MachineBasicBlock::iterator MBBI,
184 unsigned SrcReg, bool isKill, int FrameIndex,
185 const TargetRegisterClass *RC) const;
186
187 virtual void storeRegToAddr(MachineFunction &MF, unsigned SrcReg, bool isKill,
188 SmallVectorImpl<MachineOperand> &Addr,
189 const TargetRegisterClass *RC,
190 SmallVectorImpl<MachineInstr*> &NewMIs) const;
191
192 virtual void loadRegFromStackSlot(MachineBasicBlock &MBB,
193 MachineBasicBlock::iterator MBBI,
194 unsigned DestReg, int FrameIndex,
195 const TargetRegisterClass *RC) const;
196
197 virtual void loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
198 SmallVectorImpl<MachineOperand> &Addr,
199 const TargetRegisterClass *RC,
200 SmallVectorImpl<MachineInstr*> &NewMIs) const;
Owen Anderson6690c7f2008-01-04 23:57:37 +0000201 virtual bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
202 MachineBasicBlock::iterator MI,
203 const std::vector<CalleeSavedInfo> &CSI) const;
204 virtual bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
205 MachineBasicBlock::iterator MI,
206 const std::vector<CalleeSavedInfo> &CSI) const;
Owen Anderson9a184ef2008-01-07 01:35:02 +0000207
Evan Cheng4f2f3f62008-02-08 21:20:40 +0000208 virtual MachineInstr* foldMemoryOperand(MachineFunction &MF,
209 MachineInstr* MI,
Dan Gohman46b948e2008-10-16 01:49:15 +0000210 const SmallVectorImpl<unsigned> &Ops,
Owen Anderson9a184ef2008-01-07 01:35:02 +0000211 int FrameIndex) const;
212
Evan Cheng4f2f3f62008-02-08 21:20:40 +0000213 virtual MachineInstr* foldMemoryOperand(MachineFunction &MF,
214 MachineInstr* MI,
Dan Gohman46b948e2008-10-16 01:49:15 +0000215 const SmallVectorImpl<unsigned> &Ops,
Owen Anderson9a184ef2008-01-07 01:35:02 +0000216 MachineInstr* LoadMI) const {
217 return 0;
218 }
219
Dan Gohman46b948e2008-10-16 01:49:15 +0000220 virtual bool canFoldMemoryOperand(const MachineInstr *MI,
221 const SmallVectorImpl<unsigned> &Ops) const;
Owen Anderson9a184ef2008-01-07 01:35:02 +0000222
Dan Gohman46b948e2008-10-16 01:49:15 +0000223 virtual bool BlockHasNoFallThrough(const MachineBasicBlock &MBB) const;
Owen Andersond131b5b2008-08-14 22:49:33 +0000224 virtual
225 bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000226
227 // Predication support.
228 virtual bool isPredicated(const MachineInstr *MI) const;
229
Jim Grosbach320c1482008-10-07 19:05:35 +0000230 ARMCC::CondCodes getPredicate(const MachineInstr *MI) const {
231 int PIdx = MI->findFirstPredOperandIdx();
232 return PIdx != -1 ? (ARMCC::CondCodes)MI->getOperand(PIdx).getImm()
233 : ARMCC::AL;
234 }
235
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000236 virtual
237 bool PredicateInstruction(MachineInstr *MI,
Owen Andersond131b5b2008-08-14 22:49:33 +0000238 const SmallVectorImpl<MachineOperand> &Pred) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000239
240 virtual
Owen Andersond131b5b2008-08-14 22:49:33 +0000241 bool SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
242 const SmallVectorImpl<MachineOperand> &Pred2) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000243
244 virtual bool DefinesPredicate(MachineInstr *MI,
245 std::vector<MachineOperand> &Pred) const;
Nicolas Geoffraycb162a02008-04-16 20:10:13 +0000246
247 /// GetInstSize - Returns the size of the specified MachineInstr.
248 ///
249 virtual unsigned GetInstSizeInBytes(const MachineInstr* MI) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000250};
251
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000252}
253
254#endif