blob: c475b56d12f457cd0ecbf824807761fca83da9aa [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- X86InstrBuilder.h - Functions to aid building x86 insts -*- 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
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file exposes functions that may be used with BuildMI from the
11// MachineInstrBuilder.h file to handle X86'isms in a clean way.
12//
13// The BuildMem function may be used with the BuildMI function to add entire
14// memory references in a single, typed, function call. X86 memory references
15// can be very complex expressions (described in the README), so wrapping them
16// up behind an easier to use interface makes sense. Descriptions of the
17// functions are included below.
18//
19// For reference, the order of operands for memory references is:
20// (Operand), Base, Scale, Index, Displacement.
21//
22//===----------------------------------------------------------------------===//
23
24#ifndef X86INSTRBUILDER_H
25#define X86INSTRBUILDER_H
26
Dan Gohmane1b10cd2008-12-03 18:11:40 +000027#include "llvm/CodeGen/MachineFrameInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000028#include "llvm/CodeGen/MachineInstrBuilder.h"
Dan Gohman4e3bb1b2009-09-25 20:36:54 +000029#include "llvm/CodeGen/MachineMemOperand.h"
Dan Gohmane1b10cd2008-12-03 18:11:40 +000030#include "llvm/CodeGen/PseudoSourceValue.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031
32namespace llvm {
33
34/// X86AddressMode - This struct holds a generalized full x86 address mode.
35/// The base register can be a frame index, which will eventually be replaced
36/// with BP or SP and Disp being offsetted accordingly. The displacement may
37/// also include the offset of a global value.
38struct X86AddressMode {
39 enum {
40 RegBase,
41 FrameIndexBase
42 } BaseType;
43
44 union {
45 unsigned Reg;
46 int FrameIndex;
47 } Base;
48
49 unsigned Scale;
50 unsigned IndexReg;
Chris Lattnerd32037b2009-09-15 18:27:02 +000051 int Disp;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000052 GlobalValue *GV;
Chris Lattnerd617fe72009-07-01 03:27:19 +000053 unsigned GVOpFlags;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000054
Chris Lattnerd617fe72009-07-01 03:27:19 +000055 X86AddressMode()
56 : BaseType(RegBase), Scale(1), IndexReg(0), Disp(0), GV(0), GVOpFlags(0) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000057 Base.Reg = 0;
58 }
59};
60
61/// addDirectMem - This function is used to add a direct memory reference to the
62/// current instruction -- that is, a dereference of an address in a register,
63/// with no scale, index or displacement. An example is: DWORD PTR [EAX].
64///
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +000065static inline const MachineInstrBuilder &
66addDirectMem(const MachineInstrBuilder &MIB, unsigned Reg) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000067 // Because memory references are always represented with four
68 // values, this adds: Reg, [1, NoReg, 0] to the instruction.
69 return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0);
70}
71
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +000072static inline const MachineInstrBuilder &
73addLeaOffset(const MachineInstrBuilder &MIB, int Offset) {
Rafael Espindolabca99f72009-04-08 21:14:34 +000074 return MIB.addImm(1).addReg(0).addImm(Offset);
75}
76
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +000077static inline const MachineInstrBuilder &
78addOffset(const MachineInstrBuilder &MIB, int Offset) {
Rafael Espindolabca99f72009-04-08 21:14:34 +000079 return addLeaOffset(MIB, Offset).addReg(0);
80}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000081
82/// addRegOffset - This function is used to add a memory reference of the form
83/// [Reg + Offset], i.e., one with no scale or index, but with a
84/// displacement. An example is: DWORD PTR [EAX + 4].
85///
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +000086static inline const MachineInstrBuilder &
87addRegOffset(const MachineInstrBuilder &MIB,
88 unsigned Reg, bool isKill, int Offset) {
Bill Wendling2b739762009-05-13 21:33:08 +000089 return addOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset);
Rafael Espindolabca99f72009-04-08 21:14:34 +000090}
91
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +000092static inline const MachineInstrBuilder &
93addLeaRegOffset(const MachineInstrBuilder &MIB,
94 unsigned Reg, bool isKill, int Offset) {
Bill Wendling2b739762009-05-13 21:33:08 +000095 return addLeaOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000096}
97
98/// addRegReg - This function is used to add a memory reference of the form:
99/// [Reg + Reg].
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +0000100static inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB,
Evan Chenge52c1912008-07-03 09:09:37 +0000101 unsigned Reg1, bool isKill1,
102 unsigned Reg2, bool isKill2) {
Bill Wendling2b739762009-05-13 21:33:08 +0000103 return MIB.addReg(Reg1, getKillRegState(isKill1)).addImm(1)
104 .addReg(Reg2, getKillRegState(isKill2)).addImm(0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000105}
106
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +0000107static inline const MachineInstrBuilder &
108addLeaAddress(const MachineInstrBuilder &MIB, const X86AddressMode &AM) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000109 assert (AM.Scale == 1 || AM.Scale == 2 || AM.Scale == 4 || AM.Scale == 8);
110
111 if (AM.BaseType == X86AddressMode::RegBase)
112 MIB.addReg(AM.Base.Reg);
113 else if (AM.BaseType == X86AddressMode::FrameIndexBase)
114 MIB.addFrameIndex(AM.Base.FrameIndex);
115 else
116 assert (0);
117 MIB.addImm(AM.Scale).addReg(AM.IndexReg);
118 if (AM.GV)
Chris Lattnerd617fe72009-07-01 03:27:19 +0000119 return MIB.addGlobalAddress(AM.GV, AM.Disp, AM.GVOpFlags);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000120 else
121 return MIB.addImm(AM.Disp);
122}
123
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +0000124static inline const MachineInstrBuilder &
125addFullAddress(const MachineInstrBuilder &MIB,
126 const X86AddressMode &AM) {
Rafael Espindolabca99f72009-04-08 21:14:34 +0000127 return addLeaAddress(MIB, AM).addReg(0);
128}
129
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000130/// addFrameReference - This function is used to add a reference to the base of
131/// an abstract object on the stack frame of the current function. This
132/// reference has base register as the FrameIndex offset until it is resolved.
133/// This allows a constant offset to be specified as well...
134///
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +0000135static inline const MachineInstrBuilder &
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000136addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) {
Dan Gohmane1b10cd2008-12-03 18:11:40 +0000137 MachineInstr *MI = MIB;
138 MachineFunction &MF = *MI->getParent()->getParent();
139 MachineFrameInfo &MFI = *MF.getFrameInfo();
140 const TargetInstrDesc &TID = MI->getDesc();
141 unsigned Flags = 0;
142 if (TID.mayLoad())
143 Flags |= MachineMemOperand::MOLoad;
144 if (TID.mayStore())
145 Flags |= MachineMemOperand::MOStore;
Dan Gohman4e3bb1b2009-09-25 20:36:54 +0000146 MachineMemOperand *MMO =
Evan Cheng174e2cf2009-10-18 18:16:27 +0000147 MF.getMachineMemOperand(PseudoSourceValue::getFixedStack(FI),
Dan Gohman4e3bb1b2009-09-25 20:36:54 +0000148 Flags, Offset,
149 MFI.getObjectSize(FI),
150 MFI.getObjectAlignment(FI));
Rafael Espindolabca99f72009-04-08 21:14:34 +0000151 return addOffset(MIB.addFrameIndex(FI), Offset)
Dan Gohmane1b10cd2008-12-03 18:11:40 +0000152 .addMemOperand(MMO);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000153}
154
155/// addConstantPoolReference - This function is used to add a reference to the
156/// base of a constant value spilled to the per-function constant pool. The
Dan Gohmanf644a762008-09-30 01:21:32 +0000157/// reference uses the abstract ConstantPoolIndex which is retained until
158/// either machine code emission or assembly output. In PIC mode on x86-32,
159/// the GlobalBaseReg parameter can be used to make this a
160/// GlobalBaseReg-relative reference.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000161///
Anton Korobeynikovccba5bb2009-07-16 14:03:08 +0000162static inline const MachineInstrBuilder &
Dan Gohmanf644a762008-09-30 01:21:32 +0000163addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI,
Chris Lattner83707ca2009-06-27 01:31:51 +0000164 unsigned GlobalBaseReg, unsigned char OpFlags) {
Rafael Espindolabca99f72009-04-08 21:14:34 +0000165 //FIXME: factor this
166 return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0)
Chris Lattner83707ca2009-06-27 01:31:51 +0000167 .addConstantPoolIndex(CPI, 0, OpFlags).addReg(0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000168}
169
170} // End llvm namespace
171
172#endif