blob: cd19ae15bf61e5082b247b60b5d6a9d70c040098 [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 //===------------------------------------------------------------------===//
33 // This three-bit field describes the addressing mode used. Zero is unused
34 // so that we can tell if we forgot to set a value.
35
36 AddrModeMask = 0xf,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000037 AddrModeNone = 0,
Dan Gohmanf17a25c2007-07-18 16:29:46 +000038 AddrMode1 = 1,
39 AddrMode2 = 2,
40 AddrMode3 = 3,
41 AddrMode4 = 4,
42 AddrMode5 = 5,
43 AddrModeT1 = 6,
44 AddrModeT2 = 7,
45 AddrModeT4 = 8,
46 AddrModeTs = 9, // i8 * 4 for pc and sp relative data
47
48 // Size* - Flags to keep track of the size of an instruction.
49 SizeShift = 4,
50 SizeMask = 7 << SizeShift,
51 SizeSpecial = 1, // 0 byte pseudo or special case.
52 Size8Bytes = 2,
53 Size4Bytes = 3,
54 Size2Bytes = 4,
55
56 // IndexMode - Unindex, pre-indexed, or post-indexed. Only valid for load
57 // and store ops
58 IndexModeShift = 7,
59 IndexModeMask = 3 << IndexModeShift,
60 IndexModePre = 1,
61 IndexModePost = 2,
62
63 // Opcode
64 OpcodeShift = 9,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000065 OpcodeMask = 0xf << OpcodeShift,
66
67 // Format
68 FormShift = 13,
69 FormMask = 31 << FormShift,
70
Raul Herbster85f45612007-08-30 23:34:14 +000071 // Pseudo instructions
Evan Chenga7b3e7c2007-08-07 01:37:15 +000072 Pseudo = 1 << FormShift,
73
Raul Herbster85f45612007-08-30 23:34:14 +000074 // Multiply instructions
Evan Chenga7b3e7c2007-08-07 01:37:15 +000075 MulFrm = 2 << FormShift,
Raul Herbster85f45612007-08-30 23:34:14 +000076 MulSMLAW = 3 << FormShift,
77 MulSMULW = 4 << FormShift,
78 MulSMLA = 5 << FormShift,
79 MulSMUL = 6 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000080
Raul Herbster85f45612007-08-30 23:34:14 +000081 // Branch instructions
82 Branch = 7 << FormShift,
83 BranchMisc = 8 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +000084
Raul Herbster85f45612007-08-30 23:34:14 +000085 // Data Processing instructions
Evan Cheng4c7e67a2008-09-13 01:35:33 +000086 DPRdIm = 9 << FormShift,
87 DPRdReg = 10 << FormShift,
88 DPRdSoReg = 11 << FormShift,
89 DPRdMisc = 12 << FormShift,
90
91 DPRnIm = 13 << FormShift,
92 DPRnReg = 14 << FormShift,
93 DPRnSoReg = 15 << FormShift,
94
95 DPRIm = 16 << FormShift,
96 DPRReg = 17 << FormShift,
97 DPRSoReg = 18 << FormShift,
98
99 DPRImS = 19 << FormShift,
100 DPRRegS = 20 << FormShift,
101 DPRSoRegS = 21 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000102
Raul Herbster85f45612007-08-30 23:34:14 +0000103 // Load and Store
Evan Cheng4c7e67a2008-09-13 01:35:33 +0000104 LdFrm = 22 << FormShift,
105 StFrm = 23 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000106
Raul Herbster85f45612007-08-30 23:34:14 +0000107 // Miscellaneous arithmetic instructions
Evan Cheng4c7e67a2008-09-13 01:35:33 +0000108 ArithMisc = 24 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000109
Raul Herbster85f45612007-08-30 23:34:14 +0000110 // Thumb format
Evan Cheng4c7e67a2008-09-13 01:35:33 +0000111 ThumbFrm = 25 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000112
Raul Herbster85f45612007-08-30 23:34:14 +0000113 // VFP format
Evan Cheng4c7e67a2008-09-13 01:35:33 +0000114 VPFFrm = 26 << FormShift,
Evan Chenga7b3e7c2007-08-07 01:37:15 +0000115
Raul Herbster85f45612007-08-30 23:34:14 +0000116 // Field shifts - such shifts are used to set field while generating
117 // machine instructions.
Evan Cheng00dc31b2008-09-12 22:01:15 +0000118 RotImmShift = 8,
Raul Herbster85f45612007-08-30 23:34:14 +0000119 RegRsShift = 8,
120 RegRdShift = 12,
121 RegRnShift = 16,
Evan Cheng4c7e67a2008-09-13 01:35:33 +0000122 L_BitShift = 20,
Raul Herbster85f45612007-08-30 23:34:14 +0000123 S_BitShift = 20,
124 U_BitShift = 23,
Evan Cheng4c7e67a2008-09-13 01:35:33 +0000125 IndexShift = 24,
Raul Herbster85f45612007-08-30 23:34:14 +0000126 I_BitShift = 25
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000127 };
128}
129
Chris Lattnerd2fd6db2008-01-01 01:03:04 +0000130class ARMInstrInfo : public TargetInstrInfoImpl {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000131 const ARMRegisterInfo RI;
132public:
Dan Gohman40bd38e2008-03-25 22:06:05 +0000133 explicit ARMInstrInfo(const ARMSubtarget &STI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000134
135 /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info. As
136 /// such, whenever a client has an instance of instruction info, it should
137 /// always be able to get register info as well (through this method).
138 ///
Dan Gohmanb41dfba2008-05-14 01:58:56 +0000139 virtual const ARMRegisterInfo &getRegisterInfo() const { return RI; }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000140
141 /// getPointerRegClass - Return the register class to use to hold pointers.
142 /// This is used for addressing modes.
143 virtual const TargetRegisterClass *getPointerRegClass() const;
144
145 /// Return true if the instruction is a register to register move and
146 /// leave the source and dest operands in the passed parameters.
147 ///
148 virtual bool isMoveInstr(const MachineInstr &MI,
149 unsigned &SrcReg, unsigned &DstReg) const;
150 virtual unsigned isLoadFromStackSlot(MachineInstr *MI, int &FrameIndex) const;
151 virtual unsigned isStoreToStackSlot(MachineInstr *MI, int &FrameIndex) const;
152
Evan Cheng7d73efc2008-03-31 20:40:39 +0000153 void reMaterialize(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
154 unsigned DestReg, const MachineInstr *Orig) const;
155
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000156 virtual MachineInstr *convertToThreeAddress(MachineFunction::iterator &MFI,
157 MachineBasicBlock::iterator &MBBI,
Owen Andersonc6959722008-07-02 23:41:07 +0000158 LiveVariables *LV) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000159
160 // Branch analysis.
161 virtual bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
162 MachineBasicBlock *&FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +0000163 SmallVectorImpl<MachineOperand> &Cond) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000164 virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
165 virtual unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
166 MachineBasicBlock *FBB,
Owen Andersond131b5b2008-08-14 22:49:33 +0000167 const SmallVectorImpl<MachineOperand> &Cond) const;
Owen Anderson9fa72d92008-08-26 18:03:31 +0000168 virtual bool copyRegToReg(MachineBasicBlock &MBB,
Owen Anderson8f2c8932007-12-31 06:32:00 +0000169 MachineBasicBlock::iterator I,
170 unsigned DestReg, unsigned SrcReg,
171 const TargetRegisterClass *DestRC,
172 const TargetRegisterClass *SrcRC) const;
Owen Anderson81875432008-01-01 21:11:32 +0000173 virtual void storeRegToStackSlot(MachineBasicBlock &MBB,
174 MachineBasicBlock::iterator MBBI,
175 unsigned SrcReg, bool isKill, int FrameIndex,
176 const TargetRegisterClass *RC) const;
177
178 virtual void storeRegToAddr(MachineFunction &MF, unsigned SrcReg, bool isKill,
179 SmallVectorImpl<MachineOperand> &Addr,
180 const TargetRegisterClass *RC,
181 SmallVectorImpl<MachineInstr*> &NewMIs) const;
182
183 virtual void loadRegFromStackSlot(MachineBasicBlock &MBB,
184 MachineBasicBlock::iterator MBBI,
185 unsigned DestReg, int FrameIndex,
186 const TargetRegisterClass *RC) const;
187
188 virtual void loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
189 SmallVectorImpl<MachineOperand> &Addr,
190 const TargetRegisterClass *RC,
191 SmallVectorImpl<MachineInstr*> &NewMIs) const;
Owen Anderson6690c7f2008-01-04 23:57:37 +0000192 virtual bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
193 MachineBasicBlock::iterator MI,
194 const std::vector<CalleeSavedInfo> &CSI) const;
195 virtual bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
196 MachineBasicBlock::iterator MI,
197 const std::vector<CalleeSavedInfo> &CSI) const;
Owen Anderson9a184ef2008-01-07 01:35:02 +0000198
Evan Cheng4f2f3f62008-02-08 21:20:40 +0000199 virtual MachineInstr* foldMemoryOperand(MachineFunction &MF,
200 MachineInstr* MI,
Owen Anderson9a184ef2008-01-07 01:35:02 +0000201 SmallVectorImpl<unsigned> &Ops,
202 int FrameIndex) const;
203
Evan Cheng4f2f3f62008-02-08 21:20:40 +0000204 virtual MachineInstr* foldMemoryOperand(MachineFunction &MF,
205 MachineInstr* MI,
Owen Anderson9a184ef2008-01-07 01:35:02 +0000206 SmallVectorImpl<unsigned> &Ops,
207 MachineInstr* LoadMI) const {
208 return 0;
209 }
210
211 virtual bool canFoldMemoryOperand(MachineInstr *MI,
212 SmallVectorImpl<unsigned> &Ops) const;
213
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000214 virtual bool BlockHasNoFallThrough(MachineBasicBlock &MBB) const;
Owen Andersond131b5b2008-08-14 22:49:33 +0000215 virtual
216 bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000217
218 // Predication support.
219 virtual bool isPredicated(const MachineInstr *MI) const;
220
Jim Grosbach320c1482008-10-07 19:05:35 +0000221 ARMCC::CondCodes getPredicate(const MachineInstr *MI) const {
222 int PIdx = MI->findFirstPredOperandIdx();
223 return PIdx != -1 ? (ARMCC::CondCodes)MI->getOperand(PIdx).getImm()
224 : ARMCC::AL;
225 }
226
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000227 virtual
228 bool PredicateInstruction(MachineInstr *MI,
Owen Andersond131b5b2008-08-14 22:49:33 +0000229 const SmallVectorImpl<MachineOperand> &Pred) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000230
231 virtual
Owen Andersond131b5b2008-08-14 22:49:33 +0000232 bool SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
233 const SmallVectorImpl<MachineOperand> &Pred2) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000234
235 virtual bool DefinesPredicate(MachineInstr *MI,
236 std::vector<MachineOperand> &Pred) const;
Nicolas Geoffraycb162a02008-04-16 20:10:13 +0000237
238 /// GetInstSize - Returns the size of the specified MachineInstr.
239 ///
240 virtual unsigned GetInstSizeInBytes(const MachineInstr* MI) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000241};
242
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000243}
244
245#endif