Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 1 | //===-- X86InstrBuilder.h - Functions to aid building x86 insts -*- C++ -*-===// |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 2 | // |
John Criswell | 856ba76 | 2003-10-21 15:17:13 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 7 | // |
John Criswell | 856ba76 | 2003-10-21 15:17:13 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 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 | // |
Brian Gaeke | ed6902c | 2002-12-13 09:28:50 +0000 | [diff] [blame] | 19 | // For reference, the order of operands for memory references is: |
| 20 | // (Operand), Base, Scale, Index, Displacement. |
| 21 | // |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 22 | //===----------------------------------------------------------------------===// |
| 23 | |
| 24 | #ifndef X86INSTRBUILDER_H |
| 25 | #define X86INSTRBUILDER_H |
| 26 | |
Dan Gohman | 8cf7713 | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Dan Gohman | 8cf7713 | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/PseudoSourceValue.h" |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 30 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 31 | namespace llvm { |
| 32 | |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 33 | /// 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 Lattner | fb3d844 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 35 | /// with BP or SP and Disp being offsetted accordingly. The displacement may |
| 36 | /// also include the offset of a global value. |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 37 | struct X86AddressMode { |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 38 | enum { |
| 39 | RegBase, |
Chris Lattner | d74ea2b | 2006-05-24 17:04:05 +0000 | [diff] [blame] | 40 | FrameIndexBase |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 41 | } BaseType; |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 42 | |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 43 | union { |
| 44 | unsigned Reg; |
| 45 | int FrameIndex; |
| 46 | } Base; |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 47 | |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 48 | unsigned Scale; |
| 49 | unsigned IndexReg; |
| 50 | unsigned Disp; |
| 51 | GlobalValue *GV; |
Chris Lattner | 35c28ec | 2009-07-01 03:27:19 +0000 | [diff] [blame^] | 52 | unsigned GVOpFlags; |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 35c28ec | 2009-07-01 03:27:19 +0000 | [diff] [blame^] | 54 | X86AddressMode() |
| 55 | : BaseType(RegBase), Scale(1), IndexReg(0), Disp(0), GV(0), GVOpFlags(0) { |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 56 | Base.Reg = 0; |
| 57 | } |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 58 | }; |
| 59 | |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 60 | /// addDirectMem - This function is used to add a direct memory reference to the |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 61 | /// current instruction -- that is, a dereference of an address in a register, |
| 62 | /// with no scale, index or displacement. An example is: DWORD PTR [EAX]. |
| 63 | /// |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 64 | inline const MachineInstrBuilder &addDirectMem(const MachineInstrBuilder &MIB, |
| 65 | unsigned Reg) { |
Brian Gaeke | ed6902c | 2002-12-13 09:28:50 +0000 | [diff] [blame] | 66 | // Because memory references are always represented with four |
| 67 | // values, this adds: Reg, [1, NoReg, 0] to the instruction. |
Chris Lattner | 8b915b4 | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 68 | return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0); |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 69 | } |
| 70 | |
Rafael Espindola | 094fad3 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 71 | inline const MachineInstrBuilder &addLeaOffset(const MachineInstrBuilder &MIB, |
| 72 | int Offset) { |
| 73 | return MIB.addImm(1).addReg(0).addImm(Offset); |
| 74 | } |
| 75 | |
| 76 | inline const MachineInstrBuilder &addOffset(const MachineInstrBuilder &MIB, |
| 77 | int Offset) { |
| 78 | return addLeaOffset(MIB, Offset).addReg(0); |
| 79 | } |
Misha Brukman | faf0b8c | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 80 | |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 81 | /// addRegOffset - This function is used to add a memory reference of the form |
| 82 | /// [Reg + Offset], i.e., one with no scale or index, but with a |
| 83 | /// displacement. An example is: DWORD PTR [EAX + 4]. |
| 84 | /// |
Misha Brukman | faf0b8c | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 85 | inline const MachineInstrBuilder &addRegOffset(const MachineInstrBuilder &MIB, |
Evan Cheng | 9f1c831 | 2008-07-03 09:09:37 +0000 | [diff] [blame] | 86 | unsigned Reg, bool isKill, |
| 87 | int Offset) { |
Bill Wendling | 587daed | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 88 | return addOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset); |
Rafael Espindola | 094fad3 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | inline const MachineInstrBuilder &addLeaRegOffset(const MachineInstrBuilder &MIB, |
| 92 | unsigned Reg, bool isKill, |
| 93 | int Offset) { |
Bill Wendling | 587daed | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 94 | return addLeaOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset); |
Misha Brukman | faf0b8c | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 95 | } |
| 96 | |
Chris Lattner | 5dd350d | 2005-01-02 02:38:18 +0000 | [diff] [blame] | 97 | /// addRegReg - This function is used to add a memory reference of the form: |
| 98 | /// [Reg + Reg]. |
| 99 | inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB, |
Evan Cheng | 9f1c831 | 2008-07-03 09:09:37 +0000 | [diff] [blame] | 100 | unsigned Reg1, bool isKill1, |
| 101 | unsigned Reg2, bool isKill2) { |
Bill Wendling | 587daed | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 102 | return MIB.addReg(Reg1, getKillRegState(isKill1)).addImm(1) |
| 103 | .addReg(Reg2, getKillRegState(isKill2)).addImm(0); |
Chris Lattner | 5dd350d | 2005-01-02 02:38:18 +0000 | [diff] [blame] | 104 | } |
| 105 | |
Rafael Espindola | 094fad3 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 106 | inline const MachineInstrBuilder &addLeaAddress(const MachineInstrBuilder &MIB, |
| 107 | const X86AddressMode &AM) { |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 108 | assert (AM.Scale == 1 || AM.Scale == 2 || AM.Scale == 4 || AM.Scale == 8); |
| 109 | |
| 110 | if (AM.BaseType == X86AddressMode::RegBase) |
| 111 | MIB.addReg(AM.Base.Reg); |
| 112 | else if (AM.BaseType == X86AddressMode::FrameIndexBase) |
| 113 | MIB.addFrameIndex(AM.Base.FrameIndex); |
| 114 | else |
| 115 | assert (0); |
Chris Lattner | 8b915b4 | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 116 | MIB.addImm(AM.Scale).addReg(AM.IndexReg); |
Chris Lattner | fb3d844 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 117 | if (AM.GV) |
Chris Lattner | 35c28ec | 2009-07-01 03:27:19 +0000 | [diff] [blame^] | 118 | return MIB.addGlobalAddress(AM.GV, AM.Disp, AM.GVOpFlags); |
Chris Lattner | fb3d844 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 119 | else |
Chris Lattner | 63b3d71 | 2006-05-04 17:21:20 +0000 | [diff] [blame] | 120 | return MIB.addImm(AM.Disp); |
Chris Lattner | 2e68037 | 2004-02-25 06:01:07 +0000 | [diff] [blame] | 121 | } |
| 122 | |
Rafael Espindola | 094fad3 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 123 | inline const MachineInstrBuilder &addFullAddress(const MachineInstrBuilder &MIB, |
| 124 | const X86AddressMode &AM) { |
| 125 | return addLeaAddress(MIB, AM).addReg(0); |
| 126 | } |
| 127 | |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 128 | /// addFrameReference - This function is used to add a reference to the base of |
| 129 | /// an abstract object on the stack frame of the current function. This |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 130 | /// reference has base register as the FrameIndex offset until it is resolved. |
| 131 | /// This allows a constant offset to be specified as well... |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 132 | /// |
| 133 | inline const MachineInstrBuilder & |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 134 | addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) { |
Dan Gohman | 8cf7713 | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 135 | MachineInstr *MI = MIB; |
| 136 | MachineFunction &MF = *MI->getParent()->getParent(); |
| 137 | MachineFrameInfo &MFI = *MF.getFrameInfo(); |
| 138 | const TargetInstrDesc &TID = MI->getDesc(); |
| 139 | unsigned Flags = 0; |
| 140 | if (TID.mayLoad()) |
| 141 | Flags |= MachineMemOperand::MOLoad; |
| 142 | if (TID.mayStore()) |
| 143 | Flags |= MachineMemOperand::MOStore; |
| 144 | MachineMemOperand MMO(PseudoSourceValue::getFixedStack(FI), |
| 145 | Flags, |
| 146 | MFI.getObjectOffset(FI) + Offset, |
| 147 | MFI.getObjectSize(FI), |
| 148 | MFI.getObjectAlignment(FI)); |
Rafael Espindola | 094fad3 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 149 | return addOffset(MIB.addFrameIndex(FI), Offset) |
Dan Gohman | 8cf7713 | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 150 | .addMemOperand(MMO); |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 151 | } |
| 152 | |
| 153 | /// addConstantPoolReference - This function is used to add a reference to the |
| 154 | /// base of a constant value spilled to the per-function constant pool. The |
Dan Gohman | 5396c99 | 2008-09-30 01:21:32 +0000 | [diff] [blame] | 155 | /// reference uses the abstract ConstantPoolIndex which is retained until |
| 156 | /// either machine code emission or assembly output. In PIC mode on x86-32, |
| 157 | /// the GlobalBaseReg parameter can be used to make this a |
| 158 | /// GlobalBaseReg-relative reference. |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 159 | /// |
| 160 | inline const MachineInstrBuilder & |
Dan Gohman | 5396c99 | 2008-09-30 01:21:32 +0000 | [diff] [blame] | 161 | addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI, |
Chris Lattner | 89da699 | 2009-06-27 01:31:51 +0000 | [diff] [blame] | 162 | unsigned GlobalBaseReg, unsigned char OpFlags) { |
Rafael Espindola | 094fad3 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 163 | //FIXME: factor this |
| 164 | return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0) |
Chris Lattner | 89da699 | 2009-06-27 01:31:51 +0000 | [diff] [blame] | 165 | .addConstantPoolIndex(CPI, 0, OpFlags).addReg(0); |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 166 | } |
| 167 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 168 | } // End llvm namespace |
| 169 | |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 170 | #endif |