blob: 4ece035076d584efc5b09647ee4d3734cc9095a7 [file] [log] [blame]
Chris Lattnerc682b4a2002-11-17 21:03:35 +00001//===-- X86InstrBuilder.h - Functions to aid building x86 insts -*- C++ -*-===//
Misha Brukmanc88330a2005-04-21 23:38:14 +00002//
John Criswell29265fe2003-10-21 15:17:13 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Brukmanc88330a2005-04-21 23:38:14 +00007//
John Criswell29265fe2003-10-21 15:17:13 +00008//===----------------------------------------------------------------------===//
Chris Lattnerc682b4a2002-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 Gaekeeaeacc52002-12-13 09:28:50 +000019// For reference, the order of operands for memory references is:
20// (Operand), Base, Scale, Index, Displacement.
21//
Chris Lattnerc682b4a2002-11-17 21:03:35 +000022//===----------------------------------------------------------------------===//
23
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000024#ifndef LLVM_LIB_TARGET_X86_X86INSTRBUILDER_H
25#define LLVM_LIB_TARGET_X86_X86INSTRBUILDER_H
Chris Lattnerc682b4a2002-11-17 21:03:35 +000026
Dan Gohman78407ac2008-12-03 18:11:40 +000027#include "llvm/CodeGen/MachineFrameInfo.h"
Chris Lattnerc682b4a2002-11-17 21:03:35 +000028#include "llvm/CodeGen/MachineInstrBuilder.h"
Dan Gohman48b185d2009-09-25 20:36:54 +000029#include "llvm/CodeGen/MachineMemOperand.h"
Chris Lattnerc682b4a2002-11-17 21:03:35 +000030
Brian Gaeke960707c2003-11-11 22:41:34 +000031namespace llvm {
32
Reid Spencer8aca0b42004-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 Lattnerdf7b9842004-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 Spencer8aca0b42004-08-30 00:13:26 +000037struct X86AddressMode {
Chris Lattnerb93409f2005-01-17 23:25:45 +000038 enum {
39 RegBase,
Chris Lattneraa2372562006-05-24 17:04:05 +000040 FrameIndexBase
Chris Lattnerb93409f2005-01-17 23:25:45 +000041 } BaseType;
Misha Brukmanc88330a2005-04-21 23:38:14 +000042
Chris Lattnerb93409f2005-01-17 23:25:45 +000043 union {
44 unsigned Reg;
45 int FrameIndex;
46 } Base;
Misha Brukmanc88330a2005-04-21 23:38:14 +000047
Chris Lattnerb93409f2005-01-17 23:25:45 +000048 unsigned Scale;
49 unsigned IndexReg;
Chris Lattnerdb4916a2009-09-15 18:27:02 +000050 int Disp;
Dan Gohmanbcaf6812010-04-15 01:51:59 +000051 const GlobalValue *GV;
Chris Lattnerf95fa1b2009-07-01 03:27:19 +000052 unsigned GVOpFlags;
Misha Brukmanc88330a2005-04-21 23:38:14 +000053
Chris Lattnerf95fa1b2009-07-01 03:27:19 +000054 X86AddressMode()
Craig Toppere73658d2014-04-28 04:05:08 +000055 : BaseType(RegBase), Scale(1), IndexReg(0), Disp(0), GV(nullptr),
56 GVOpFlags(0) {
Chris Lattnerb93409f2005-01-17 23:25:45 +000057 Base.Reg = 0;
58 }
Chad Rosierf5cdea32012-06-22 22:07:19 +000059
60
Chris Lattnereeba0c72010-09-05 02:18:34 +000061 void getFullAddress(SmallVectorImpl<MachineOperand> &MO) {
62 assert(Scale == 1 || Scale == 2 || Scale == 4 || Scale == 8);
Chad Rosierf5cdea32012-06-22 22:07:19 +000063
Chris Lattnereeba0c72010-09-05 02:18:34 +000064 if (BaseType == X86AddressMode::RegBase)
65 MO.push_back(MachineOperand::CreateReg(Base.Reg, false, false,
66 false, false, false, 0, false));
67 else {
68 assert(BaseType == X86AddressMode::FrameIndexBase);
69 MO.push_back(MachineOperand::CreateFI(Base.FrameIndex));
70 }
Chad Rosierf5cdea32012-06-22 22:07:19 +000071
Chris Lattnereeba0c72010-09-05 02:18:34 +000072 MO.push_back(MachineOperand::CreateImm(Scale));
73 MO.push_back(MachineOperand::CreateReg(IndexReg, false, false,
74 false, false, false, 0, false));
Chad Rosierf5cdea32012-06-22 22:07:19 +000075
Chris Lattnereeba0c72010-09-05 02:18:34 +000076 if (GV)
77 MO.push_back(MachineOperand::CreateGA(GV, Disp, GVOpFlags));
78 else
79 MO.push_back(MachineOperand::CreateImm(Disp));
Chad Rosierf5cdea32012-06-22 22:07:19 +000080
Chris Lattnereeba0c72010-09-05 02:18:34 +000081 MO.push_back(MachineOperand::CreateReg(0, false, false,
82 false, false, false, 0, false));
83 }
Reid Spencer8aca0b42004-08-30 00:13:26 +000084};
85
Chandler Carruth81c3dde2016-03-30 03:10:24 +000086/// Compute the addressing mode from an machine instruction starting with the
87/// given operand.
88static inline X86AddressMode getAddressFromInstr(MachineInstr *MI,
89 unsigned Operand) {
90 X86AddressMode AM;
91 MachineOperand &Op = MI->getOperand(Operand);
92 if (Op.isReg()) {
93 AM.BaseType = X86AddressMode::RegBase;
94 AM.Base.Reg = Op.getReg();
95 } else {
96 AM.BaseType = X86AddressMode::FrameIndexBase;
97 AM.Base.FrameIndex = Op.getIndex();
98 }
99 Op = MI->getOperand(Operand + 1);
100 if (Op.isImm())
101 AM.Scale = Op.getImm();
102 Op = MI->getOperand(Operand + 2);
103 if (Op.isImm())
104 AM.IndexReg = Op.getImm();
105 Op = MI->getOperand(Operand + 3);
106 if (Op.isGlobal()) {
107 AM.GV = Op.getGlobal();
108 } else {
109 AM.Disp = Op.getImm();
110 }
111 return AM;
112}
113
Chris Lattnerc682b4a2002-11-17 21:03:35 +0000114/// addDirectMem - This function is used to add a direct memory reference to the
Chris Lattneref5a8f92002-12-28 20:26:58 +0000115/// current instruction -- that is, a dereference of an address in a register,
116/// with no scale, index or displacement. An example is: DWORD PTR [EAX].
117///
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000118static inline const MachineInstrBuilder &
119addDirectMem(const MachineInstrBuilder &MIB, unsigned Reg) {
Chris Lattnerf4693072010-07-08 23:46:44 +0000120 // Because memory references are always represented with five
121 // values, this adds: Reg, 1, NoReg, 0, NoReg to the instruction.
122 return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0).addReg(0);
Chris Lattnerc682b4a2002-11-17 21:03:35 +0000123}
124
Rafael Espindola3b2df102009-04-08 21:14:34 +0000125
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000126static inline const MachineInstrBuilder &
127addOffset(const MachineInstrBuilder &MIB, int Offset) {
Chris Lattnerf4693072010-07-08 23:46:44 +0000128 return MIB.addImm(1).addReg(0).addImm(Offset).addReg(0);
Rafael Espindola3b2df102009-04-08 21:14:34 +0000129}
Misha Brukman4ea94a42002-11-22 22:42:12 +0000130
Chris Lattneref5a8f92002-12-28 20:26:58 +0000131/// addRegOffset - This function is used to add a memory reference of the form
132/// [Reg + Offset], i.e., one with no scale or index, but with a
133/// displacement. An example is: DWORD PTR [EAX + 4].
134///
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000135static inline const MachineInstrBuilder &
136addRegOffset(const MachineInstrBuilder &MIB,
137 unsigned Reg, bool isKill, int Offset) {
Bill Wendlingf7b83c72009-05-13 21:33:08 +0000138 return addOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset);
Rafael Espindola3b2df102009-04-08 21:14:34 +0000139}
140
Chris Lattnere7228732005-01-02 02:38:18 +0000141/// addRegReg - This function is used to add a memory reference of the form:
142/// [Reg + Reg].
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000143static inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB,
Evan Cheng7d98a482008-07-03 09:09:37 +0000144 unsigned Reg1, bool isKill1,
145 unsigned Reg2, bool isKill2) {
Bill Wendlingf7b83c72009-05-13 21:33:08 +0000146 return MIB.addReg(Reg1, getKillRegState(isKill1)).addImm(1)
Chris Lattnerf4693072010-07-08 23:46:44 +0000147 .addReg(Reg2, getKillRegState(isKill2)).addImm(0).addReg(0);
Chris Lattnere7228732005-01-02 02:38:18 +0000148}
149
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000150static inline const MachineInstrBuilder &
Chris Lattnerf4693072010-07-08 23:46:44 +0000151addFullAddress(const MachineInstrBuilder &MIB,
152 const X86AddressMode &AM) {
153 assert(AM.Scale == 1 || AM.Scale == 2 || AM.Scale == 4 || AM.Scale == 8);
Chad Rosierf5cdea32012-06-22 22:07:19 +0000154
Reid Spencer8aca0b42004-08-30 00:13:26 +0000155 if (AM.BaseType == X86AddressMode::RegBase)
156 MIB.addReg(AM.Base.Reg);
Chris Lattnereeba0c72010-09-05 02:18:34 +0000157 else {
158 assert(AM.BaseType == X86AddressMode::FrameIndexBase);
Reid Spencer8aca0b42004-08-30 00:13:26 +0000159 MIB.addFrameIndex(AM.Base.FrameIndex);
Chris Lattnereeba0c72010-09-05 02:18:34 +0000160 }
161
Chris Lattner469647b2006-05-04 18:16:01 +0000162 MIB.addImm(AM.Scale).addReg(AM.IndexReg);
Chris Lattnerdf7b9842004-10-15 04:43:20 +0000163 if (AM.GV)
Chris Lattnerf4693072010-07-08 23:46:44 +0000164 MIB.addGlobalAddress(AM.GV, AM.Disp, AM.GVOpFlags);
Chris Lattnerdf7b9842004-10-15 04:43:20 +0000165 else
Chris Lattnerf4693072010-07-08 23:46:44 +0000166 MIB.addImm(AM.Disp);
Chad Rosierf5cdea32012-06-22 22:07:19 +0000167
Chris Lattnerf4693072010-07-08 23:46:44 +0000168 return MIB.addReg(0);
Rafael Espindola3b2df102009-04-08 21:14:34 +0000169}
170
Chris Lattneref5a8f92002-12-28 20:26:58 +0000171/// addFrameReference - This function is used to add a reference to the base of
172/// an abstract object on the stack frame of the current function. This
Chris Lattner78785632003-01-13 00:45:53 +0000173/// reference has base register as the FrameIndex offset until it is resolved.
174/// This allows a constant offset to be specified as well...
Chris Lattneref5a8f92002-12-28 20:26:58 +0000175///
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000176static inline const MachineInstrBuilder &
Chris Lattner78785632003-01-13 00:45:53 +0000177addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) {
Dan Gohman78407ac2008-12-03 18:11:40 +0000178 MachineInstr *MI = MIB;
179 MachineFunction &MF = *MI->getParent()->getParent();
180 MachineFrameInfo &MFI = *MF.getFrameInfo();
Evan Cheng6cc775f2011-06-28 19:10:37 +0000181 const MCInstrDesc &MCID = MI->getDesc();
Dan Gohman78407ac2008-12-03 18:11:40 +0000182 unsigned Flags = 0;
Evan Cheng6cc775f2011-06-28 19:10:37 +0000183 if (MCID.mayLoad())
Dan Gohman78407ac2008-12-03 18:11:40 +0000184 Flags |= MachineMemOperand::MOLoad;
Evan Cheng6cc775f2011-06-28 19:10:37 +0000185 if (MCID.mayStore())
Dan Gohman78407ac2008-12-03 18:11:40 +0000186 Flags |= MachineMemOperand::MOStore;
Alex Lorenze40c8a22015-08-11 23:09:45 +0000187 MachineMemOperand *MMO = MF.getMachineMemOperand(
188 MachinePointerInfo::getFixedStack(MF, FI, Offset), Flags,
189 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
Rafael Espindola3b2df102009-04-08 21:14:34 +0000190 return addOffset(MIB.addFrameIndex(FI), Offset)
Dan Gohman78407ac2008-12-03 18:11:40 +0000191 .addMemOperand(MMO);
Chris Lattner78785632003-01-13 00:45:53 +0000192}
193
194/// addConstantPoolReference - This function is used to add a reference to the
195/// base of a constant value spilled to the per-function constant pool. The
Dan Gohman8392f0c2008-09-30 01:21:32 +0000196/// reference uses the abstract ConstantPoolIndex which is retained until
197/// either machine code emission or assembly output. In PIC mode on x86-32,
198/// the GlobalBaseReg parameter can be used to make this a
199/// GlobalBaseReg-relative reference.
Chris Lattner78785632003-01-13 00:45:53 +0000200///
Anton Korobeynikov12b4b7c2009-07-16 14:03:08 +0000201static inline const MachineInstrBuilder &
Dan Gohman8392f0c2008-09-30 01:21:32 +0000202addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI,
Chris Lattnera3260c02009-06-27 01:31:51 +0000203 unsigned GlobalBaseReg, unsigned char OpFlags) {
Rafael Espindola3b2df102009-04-08 21:14:34 +0000204 //FIXME: factor this
205 return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0)
Chris Lattnera3260c02009-06-27 01:31:51 +0000206 .addConstantPoolIndex(CPI, 0, OpFlags).addReg(0);
Chris Lattneref5a8f92002-12-28 20:26:58 +0000207}
208
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000209} // End llvm namespace
Brian Gaeke960707c2003-11-11 22:41:34 +0000210
Chris Lattnerc682b4a2002-11-17 21:03:35 +0000211#endif