blob: 623b1458c8284daf9a98a706fc3f904d1fd41e45 [file] [log] [blame]
Chris Lattner9562add2002-11-17 21:03:35 +00001//===-- X86InstrBuilder.h - Functions to aid building x86 insts -*- C++ -*-===//
Misha Brukman0e0a7a452005-04-21 23:38:14 +00002//
John Criswell856ba762003-10-21 15:17:13 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman0e0a7a452005-04-21 23:38:14 +00007//
John Criswell856ba762003-10-21 15:17:13 +00008//===----------------------------------------------------------------------===//
Chris Lattner9562add2002-11-17 21:03:35 +00009//
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//
Brian Gaekeed6902c2002-12-13 09:28:50 +000019// For reference, the order of operands for memory references is:
20// (Operand), Base, Scale, Index, Displacement.
21//
Chris Lattner9562add2002-11-17 21:03:35 +000022//===----------------------------------------------------------------------===//
23
24#ifndef X86INSTRBUILDER_H
25#define X86INSTRBUILDER_H
26
Dan Gohman8cf77132008-12-03 18:11:40 +000027#include "llvm/CodeGen/MachineFrameInfo.h"
Chris Lattner9562add2002-11-17 21:03:35 +000028#include "llvm/CodeGen/MachineInstrBuilder.h"
Dan Gohman8cf77132008-12-03 18:11:40 +000029#include "llvm/CodeGen/PseudoSourceValue.h"
Chris Lattner9562add2002-11-17 21:03:35 +000030
Brian Gaeked0fde302003-11-11 22:41:34 +000031namespace llvm {
32
Reid Spencerfc989e12004-08-30 00:13:26 +000033/// X86AddressMode - This struct holds a generalized full x86 address mode.
34/// The base register can be a frame index, which will eventually be replaced
Chris Lattnerfb3d8442004-10-15 04:43:20 +000035/// with BP or SP and Disp being offsetted accordingly. The displacement may
36/// also include the offset of a global value.
Reid Spencerfc989e12004-08-30 00:13:26 +000037struct X86AddressMode {
Chris Lattnere9fe2bc2005-01-17 23:25:45 +000038 enum {
39 RegBase,
Chris Lattnerd74ea2b2006-05-24 17:04:05 +000040 FrameIndexBase
Chris Lattnere9fe2bc2005-01-17 23:25:45 +000041 } BaseType;
Misha Brukman0e0a7a452005-04-21 23:38:14 +000042
Chris Lattnere9fe2bc2005-01-17 23:25:45 +000043 union {
44 unsigned Reg;
45 int FrameIndex;
46 } Base;
Misha Brukman0e0a7a452005-04-21 23:38:14 +000047
Chris Lattnere9fe2bc2005-01-17 23:25:45 +000048 unsigned Scale;
49 unsigned IndexReg;
50 unsigned Disp;
51 GlobalValue *GV;
Misha Brukman0e0a7a452005-04-21 23:38:14 +000052
Chris Lattnere9fe2bc2005-01-17 23:25:45 +000053 X86AddressMode() : BaseType(RegBase), Scale(1), IndexReg(0), Disp(0), GV(0) {
54 Base.Reg = 0;
55 }
Reid Spencerfc989e12004-08-30 00:13:26 +000056};
57
Chris Lattner9562add2002-11-17 21:03:35 +000058/// addDirectMem - This function is used to add a direct memory reference to the
Chris Lattnera1826c22002-12-28 20:26:58 +000059/// current instruction -- that is, a dereference of an address in a register,
60/// with no scale, index or displacement. An example is: DWORD PTR [EAX].
61///
Chris Lattner9562add2002-11-17 21:03:35 +000062inline const MachineInstrBuilder &addDirectMem(const MachineInstrBuilder &MIB,
63 unsigned Reg) {
Brian Gaekeed6902c2002-12-13 09:28:50 +000064 // Because memory references are always represented with four
65 // values, this adds: Reg, [1, NoReg, 0] to the instruction.
Chris Lattner8b915b42006-05-04 18:16:01 +000066 return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0);
Chris Lattner9562add2002-11-17 21:03:35 +000067}
68
Rafael Espindola2a6411b2009-04-07 21:37:46 +000069inline const MachineInstrBuilder &addLeaOffset(const MachineInstrBuilder &MIB,
70 int Offset) {
71 return MIB.addImm(1).addReg(0).addImm(Offset);
72}
73
74inline const MachineInstrBuilder &addOffset(const MachineInstrBuilder &MIB,
75 int Offset) {
76 return addLeaOffset(MIB, Offset).addReg(0);
77}
Misha Brukmanfaf0b8c2002-11-22 22:42:12 +000078
Chris Lattnera1826c22002-12-28 20:26:58 +000079/// addRegOffset - This function is used to add a memory reference of the form
80/// [Reg + Offset], i.e., one with no scale or index, but with a
81/// displacement. An example is: DWORD PTR [EAX + 4].
82///
Misha Brukmanfaf0b8c2002-11-22 22:42:12 +000083inline const MachineInstrBuilder &addRegOffset(const MachineInstrBuilder &MIB,
Evan Cheng9f1c8312008-07-03 09:09:37 +000084 unsigned Reg, bool isKill,
85 int Offset) {
Rafael Espindola2a6411b2009-04-07 21:37:46 +000086 return addOffset(MIB.addReg(Reg, false, false, isKill), Offset);
87}
88
89inline const MachineInstrBuilder &addLeaRegOffset(const MachineInstrBuilder &MIB,
90 unsigned Reg, bool isKill,
91 int Offset) {
92 return addLeaOffset(MIB.addReg(Reg, false, false, isKill), Offset);
Misha Brukmanfaf0b8c2002-11-22 22:42:12 +000093}
94
Chris Lattner5dd350d2005-01-02 02:38:18 +000095/// addRegReg - This function is used to add a memory reference of the form:
96/// [Reg + Reg].
97inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB,
Evan Cheng9f1c8312008-07-03 09:09:37 +000098 unsigned Reg1, bool isKill1,
99 unsigned Reg2, bool isKill2) {
100 return MIB.addReg(Reg1, false, false, isKill1).addImm(1)
101 .addReg(Reg2, false, false, isKill2).addImm(0);
Chris Lattner5dd350d2005-01-02 02:38:18 +0000102}
103
Rafael Espindola2a6411b2009-04-07 21:37:46 +0000104inline const MachineInstrBuilder &addLeaAddress(const MachineInstrBuilder &MIB,
105 const X86AddressMode &AM) {
Reid Spencerfc989e12004-08-30 00:13:26 +0000106 assert (AM.Scale == 1 || AM.Scale == 2 || AM.Scale == 4 || AM.Scale == 8);
107
108 if (AM.BaseType == X86AddressMode::RegBase)
109 MIB.addReg(AM.Base.Reg);
110 else if (AM.BaseType == X86AddressMode::FrameIndexBase)
111 MIB.addFrameIndex(AM.Base.FrameIndex);
112 else
113 assert (0);
Chris Lattner8b915b42006-05-04 18:16:01 +0000114 MIB.addImm(AM.Scale).addReg(AM.IndexReg);
Chris Lattnerfb3d8442004-10-15 04:43:20 +0000115 if (AM.GV)
Chris Lattnerea50fab2006-05-04 01:15:02 +0000116 return MIB.addGlobalAddress(AM.GV, AM.Disp);
Chris Lattnerfb3d8442004-10-15 04:43:20 +0000117 else
Chris Lattner63b3d712006-05-04 17:21:20 +0000118 return MIB.addImm(AM.Disp);
Chris Lattner2e680372004-02-25 06:01:07 +0000119}
120
Rafael Espindola2a6411b2009-04-07 21:37:46 +0000121inline const MachineInstrBuilder &addFullAddress(const MachineInstrBuilder &MIB,
122 const X86AddressMode &AM) {
123 return addLeaAddress(MIB, AM).addReg(0);
124}
125
Chris Lattnera1826c22002-12-28 20:26:58 +0000126/// addFrameReference - This function is used to add a reference to the base of
127/// an abstract object on the stack frame of the current function. This
Chris Lattner987e8ba2003-01-13 00:45:53 +0000128/// reference has base register as the FrameIndex offset until it is resolved.
129/// This allows a constant offset to be specified as well...
Chris Lattnera1826c22002-12-28 20:26:58 +0000130///
131inline const MachineInstrBuilder &
Chris Lattner987e8ba2003-01-13 00:45:53 +0000132addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) {
Dan Gohman8cf77132008-12-03 18:11:40 +0000133 MachineInstr *MI = MIB;
134 MachineFunction &MF = *MI->getParent()->getParent();
135 MachineFrameInfo &MFI = *MF.getFrameInfo();
136 const TargetInstrDesc &TID = MI->getDesc();
137 unsigned Flags = 0;
138 if (TID.mayLoad())
139 Flags |= MachineMemOperand::MOLoad;
140 if (TID.mayStore())
141 Flags |= MachineMemOperand::MOStore;
142 MachineMemOperand MMO(PseudoSourceValue::getFixedStack(FI),
143 Flags,
144 MFI.getObjectOffset(FI) + Offset,
145 MFI.getObjectSize(FI),
146 MFI.getObjectAlignment(FI));
Rafael Espindola2a6411b2009-04-07 21:37:46 +0000147 return addOffset(MIB.addFrameIndex(FI), Offset)
Dan Gohman8cf77132008-12-03 18:11:40 +0000148 .addMemOperand(MMO);
Chris Lattner987e8ba2003-01-13 00:45:53 +0000149}
150
151/// addConstantPoolReference - This function is used to add a reference to the
152/// base of a constant value spilled to the per-function constant pool. The
Dan Gohman5396c992008-09-30 01:21:32 +0000153/// reference uses the abstract ConstantPoolIndex which is retained until
154/// either machine code emission or assembly output. In PIC mode on x86-32,
155/// the GlobalBaseReg parameter can be used to make this a
156/// GlobalBaseReg-relative reference.
Chris Lattner987e8ba2003-01-13 00:45:53 +0000157///
158inline const MachineInstrBuilder &
Dan Gohman5396c992008-09-30 01:21:32 +0000159addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI,
160 unsigned GlobalBaseReg = 0) {
161 return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0).addConstantPoolIndex(CPI);
Chris Lattnera1826c22002-12-28 20:26:58 +0000162}
163
Brian Gaeked0fde302003-11-11 22:41:34 +0000164} // End llvm namespace
165
Chris Lattner9562add2002-11-17 21:03:35 +0000166#endif