blob: fa1d67644db74acf1bd354a6ece36975eda5ab19 [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 Gohmanc76909a2009-09-25 20:36:54 +000029#include "llvm/CodeGen/MachineMemOperand.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;
Chris Lattnerdffb6e52009-09-15 18:27:02 +000050 int Disp;
Dan Gohman46510a72010-04-15 01:51:59 +000051 const GlobalValue *GV;
Chris Lattner35c28ec2009-07-01 03:27:19 +000052 unsigned GVOpFlags;
Misha Brukman0e0a7a452005-04-21 23:38:14 +000053
Chris Lattner35c28ec2009-07-01 03:27:19 +000054 X86AddressMode()
55 : BaseType(RegBase), Scale(1), IndexReg(0), Disp(0), GV(0), GVOpFlags(0) {
Chris Lattnere9fe2bc2005-01-17 23:25:45 +000056 Base.Reg = 0;
57 }
Chris Lattnerbeac75d2010-09-05 02:18:34 +000058
59
60 void getFullAddress(SmallVectorImpl<MachineOperand> &MO) {
61 assert(Scale == 1 || Scale == 2 || Scale == 4 || Scale == 8);
62
63 if (BaseType == X86AddressMode::RegBase)
64 MO.push_back(MachineOperand::CreateReg(Base.Reg, false, false,
65 false, false, false, 0, false));
66 else {
67 assert(BaseType == X86AddressMode::FrameIndexBase);
68 MO.push_back(MachineOperand::CreateFI(Base.FrameIndex));
69 }
70
71 MO.push_back(MachineOperand::CreateImm(Scale));
72 MO.push_back(MachineOperand::CreateReg(IndexReg, false, false,
73 false, false, false, 0, false));
74
75 if (GV)
76 MO.push_back(MachineOperand::CreateGA(GV, Disp, GVOpFlags));
77 else
78 MO.push_back(MachineOperand::CreateImm(Disp));
79
80 MO.push_back(MachineOperand::CreateReg(0, false, false,
81 false, false, false, 0, false));
82 }
Reid Spencerfc989e12004-08-30 00:13:26 +000083};
84
Chris Lattner9562add2002-11-17 21:03:35 +000085/// addDirectMem - This function is used to add a direct memory reference to the
Chris Lattnera1826c22002-12-28 20:26:58 +000086/// current instruction -- that is, a dereference of an address in a register,
87/// with no scale, index or displacement. An example is: DWORD PTR [EAX].
88///
Anton Korobeynikovf366bec2009-07-16 14:03:08 +000089static inline const MachineInstrBuilder &
90addDirectMem(const MachineInstrBuilder &MIB, unsigned Reg) {
Chris Lattner599b5312010-07-08 23:46:44 +000091 // Because memory references are always represented with five
92 // values, this adds: Reg, 1, NoReg, 0, NoReg to the instruction.
93 return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0).addReg(0);
Chris Lattner9562add2002-11-17 21:03:35 +000094}
95
Rafael Espindola094fad32009-04-08 21:14:34 +000096
Anton Korobeynikovf366bec2009-07-16 14:03:08 +000097static inline const MachineInstrBuilder &
98addOffset(const MachineInstrBuilder &MIB, int Offset) {
Chris Lattner599b5312010-07-08 23:46:44 +000099 return MIB.addImm(1).addReg(0).addImm(Offset).addReg(0);
Rafael Espindola094fad32009-04-08 21:14:34 +0000100}
Misha Brukmanfaf0b8c2002-11-22 22:42:12 +0000101
Chris Lattnera1826c22002-12-28 20:26:58 +0000102/// addRegOffset - This function is used to add a memory reference of the form
103/// [Reg + Offset], i.e., one with no scale or index, but with a
104/// displacement. An example is: DWORD PTR [EAX + 4].
105///
Anton Korobeynikovf366bec2009-07-16 14:03:08 +0000106static inline const MachineInstrBuilder &
107addRegOffset(const MachineInstrBuilder &MIB,
108 unsigned Reg, bool isKill, int Offset) {
Bill Wendling587daed2009-05-13 21:33:08 +0000109 return addOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset);
Rafael Espindola094fad32009-04-08 21:14:34 +0000110}
111
Chris Lattner5dd350d2005-01-02 02:38:18 +0000112/// addRegReg - This function is used to add a memory reference of the form:
113/// [Reg + Reg].
Anton Korobeynikovf366bec2009-07-16 14:03:08 +0000114static inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB,
Evan Cheng9f1c8312008-07-03 09:09:37 +0000115 unsigned Reg1, bool isKill1,
116 unsigned Reg2, bool isKill2) {
Bill Wendling587daed2009-05-13 21:33:08 +0000117 return MIB.addReg(Reg1, getKillRegState(isKill1)).addImm(1)
Chris Lattner599b5312010-07-08 23:46:44 +0000118 .addReg(Reg2, getKillRegState(isKill2)).addImm(0).addReg(0);
Chris Lattner5dd350d2005-01-02 02:38:18 +0000119}
120
Anton Korobeynikovf366bec2009-07-16 14:03:08 +0000121static inline const MachineInstrBuilder &
Chris Lattner599b5312010-07-08 23:46:44 +0000122addFullAddress(const MachineInstrBuilder &MIB,
123 const X86AddressMode &AM) {
124 assert(AM.Scale == 1 || AM.Scale == 2 || AM.Scale == 4 || AM.Scale == 8);
125
Reid Spencerfc989e12004-08-30 00:13:26 +0000126 if (AM.BaseType == X86AddressMode::RegBase)
127 MIB.addReg(AM.Base.Reg);
Chris Lattnerbeac75d2010-09-05 02:18:34 +0000128 else {
129 assert(AM.BaseType == X86AddressMode::FrameIndexBase);
Reid Spencerfc989e12004-08-30 00:13:26 +0000130 MIB.addFrameIndex(AM.Base.FrameIndex);
Chris Lattnerbeac75d2010-09-05 02:18:34 +0000131 }
132
Chris Lattner8b915b42006-05-04 18:16:01 +0000133 MIB.addImm(AM.Scale).addReg(AM.IndexReg);
Chris Lattnerfb3d8442004-10-15 04:43:20 +0000134 if (AM.GV)
Chris Lattner599b5312010-07-08 23:46:44 +0000135 MIB.addGlobalAddress(AM.GV, AM.Disp, AM.GVOpFlags);
Chris Lattnerfb3d8442004-10-15 04:43:20 +0000136 else
Chris Lattner599b5312010-07-08 23:46:44 +0000137 MIB.addImm(AM.Disp);
138
139 return MIB.addReg(0);
Rafael Espindola094fad32009-04-08 21:14:34 +0000140}
141
Chris Lattnera1826c22002-12-28 20:26:58 +0000142/// addFrameReference - This function is used to add a reference to the base of
143/// an abstract object on the stack frame of the current function. This
Chris Lattner987e8ba2003-01-13 00:45:53 +0000144/// reference has base register as the FrameIndex offset until it is resolved.
145/// This allows a constant offset to be specified as well...
Chris Lattnera1826c22002-12-28 20:26:58 +0000146///
Anton Korobeynikovf366bec2009-07-16 14:03:08 +0000147static inline const MachineInstrBuilder &
Chris Lattner987e8ba2003-01-13 00:45:53 +0000148addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) {
Dan Gohman8cf77132008-12-03 18:11:40 +0000149 MachineInstr *MI = MIB;
150 MachineFunction &MF = *MI->getParent()->getParent();
151 MachineFrameInfo &MFI = *MF.getFrameInfo();
Evan Chenge837dea2011-06-28 19:10:37 +0000152 const MCInstrDesc &MCID = MI->getDesc();
Dan Gohman8cf77132008-12-03 18:11:40 +0000153 unsigned Flags = 0;
Evan Chenge837dea2011-06-28 19:10:37 +0000154 if (MCID.mayLoad())
Dan Gohman8cf77132008-12-03 18:11:40 +0000155 Flags |= MachineMemOperand::MOLoad;
Evan Chenge837dea2011-06-28 19:10:37 +0000156 if (MCID.mayStore())
Dan Gohman8cf77132008-12-03 18:11:40 +0000157 Flags |= MachineMemOperand::MOStore;
Dan Gohmanc76909a2009-09-25 20:36:54 +0000158 MachineMemOperand *MMO =
Chris Lattnere8639032010-09-21 06:22:23 +0000159 MF.getMachineMemOperand(MachinePointerInfo::getFixedStack(FI, Offset),
Chris Lattner59db5492010-09-21 04:39:43 +0000160 Flags, MFI.getObjectSize(FI),
Dan Gohmanc76909a2009-09-25 20:36:54 +0000161 MFI.getObjectAlignment(FI));
Rafael Espindola094fad32009-04-08 21:14:34 +0000162 return addOffset(MIB.addFrameIndex(FI), Offset)
Dan Gohman8cf77132008-12-03 18:11:40 +0000163 .addMemOperand(MMO);
Chris Lattner987e8ba2003-01-13 00:45:53 +0000164}
165
166/// addConstantPoolReference - This function is used to add a reference to the
167/// base of a constant value spilled to the per-function constant pool. The
Dan Gohman5396c992008-09-30 01:21:32 +0000168/// reference uses the abstract ConstantPoolIndex which is retained until
169/// either machine code emission or assembly output. In PIC mode on x86-32,
170/// the GlobalBaseReg parameter can be used to make this a
171/// GlobalBaseReg-relative reference.
Chris Lattner987e8ba2003-01-13 00:45:53 +0000172///
Anton Korobeynikovf366bec2009-07-16 14:03:08 +0000173static inline const MachineInstrBuilder &
Dan Gohman5396c992008-09-30 01:21:32 +0000174addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI,
Chris Lattner89da6992009-06-27 01:31:51 +0000175 unsigned GlobalBaseReg, unsigned char OpFlags) {
Rafael Espindola094fad32009-04-08 21:14:34 +0000176 //FIXME: factor this
177 return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0)
Chris Lattner89da6992009-06-27 01:31:51 +0000178 .addConstantPoolIndex(CPI, 0, OpFlags).addReg(0);
Chris Lattnera1826c22002-12-28 20:26:58 +0000179}
180
Brian Gaeked0fde302003-11-11 22:41:34 +0000181} // End llvm namespace
182
Chris Lattner9562add2002-11-17 21:03:35 +0000183#endif