| Chris Lattner | c682b4a | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 1 | //===-- X86InstrBuilder.h - Functions to aid building x86 insts -*- C++ -*-===// |
| Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 2 | // |
| John Criswell | 29265fe | 2003-10-21 15:17:13 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| Chris Lattner | f3ebc3f | 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 | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 7 | // |
| John Criswell | 29265fe | 2003-10-21 15:17:13 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| Chris Lattner | c682b4a | 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 | eaeacc5 | 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 | c682b4a | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 22 | //===----------------------------------------------------------------------===// |
| 23 | |
| 24 | #ifndef X86INSTRBUILDER_H |
| 25 | #define X86INSTRBUILDER_H |
| 26 | |
| Dan Gohman | 78407ac | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| Chris Lattner | c682b4a | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| Dan Gohman | 78407ac | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/PseudoSourceValue.h" |
| Chris Lattner | c682b4a | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 30 | |
| Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 31 | namespace llvm { |
| 32 | |
| Reid Spencer | 8aca0b4 | 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 | df7b984 | 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 | 8aca0b4 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 37 | struct X86AddressMode { |
| Chris Lattner | b93409f | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 38 | enum { |
| 39 | RegBase, |
| Chris Lattner | aa237256 | 2006-05-24 17:04:05 +0000 | [diff] [blame] | 40 | FrameIndexBase |
| Chris Lattner | b93409f | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 41 | } BaseType; |
| Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 42 | |
| Chris Lattner | b93409f | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 43 | union { |
| 44 | unsigned Reg; |
| 45 | int FrameIndex; |
| 46 | } Base; |
| Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 47 | |
| Chris Lattner | b93409f | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 48 | unsigned Scale; |
| 49 | unsigned IndexReg; |
| 50 | unsigned Disp; |
| 51 | GlobalValue *GV; |
| Chris Lattner | f95fa1b | 2009-07-01 03:27:19 +0000 | [diff] [blame] | 52 | unsigned GVOpFlags; |
| Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 53 | |
| Chris Lattner | f95fa1b | 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 | b93409f | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 56 | Base.Reg = 0; |
| 57 | } |
| Reid Spencer | 8aca0b4 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 58 | }; |
| 59 | |
| Chris Lattner | c682b4a | 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 | ef5a8f9 | 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 | /// |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 64 | static inline const MachineInstrBuilder & |
| 65 | addDirectMem(const MachineInstrBuilder &MIB, unsigned Reg) { |
| Brian Gaeke | eaeacc5 | 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 | 469647b | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 68 | return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0); |
| Chris Lattner | c682b4a | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 69 | } |
| 70 | |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 71 | static inline const MachineInstrBuilder & |
| 72 | addLeaOffset(const MachineInstrBuilder &MIB, int Offset) { |
| Rafael Espindola | 3b2df10 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 73 | return MIB.addImm(1).addReg(0).addImm(Offset); |
| 74 | } |
| 75 | |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 76 | static inline const MachineInstrBuilder & |
| 77 | addOffset(const MachineInstrBuilder &MIB, int Offset) { |
| Rafael Espindola | 3b2df10 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 78 | return addLeaOffset(MIB, Offset).addReg(0); |
| 79 | } |
| Misha Brukman | 4ea94a4 | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 80 | |
| Chris Lattner | ef5a8f9 | 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 | /// |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 85 | static inline const MachineInstrBuilder & |
| 86 | addRegOffset(const MachineInstrBuilder &MIB, |
| 87 | unsigned Reg, bool isKill, int Offset) { |
| Bill Wendling | f7b83c7 | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 88 | return addOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset); |
| Rafael Espindola | 3b2df10 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 91 | static inline const MachineInstrBuilder & |
| 92 | addLeaRegOffset(const MachineInstrBuilder &MIB, |
| 93 | unsigned Reg, bool isKill, int Offset) { |
| Bill Wendling | f7b83c7 | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 94 | return addLeaOffset(MIB.addReg(Reg, getKillRegState(isKill)), Offset); |
| Misha Brukman | 4ea94a4 | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 95 | } |
| 96 | |
| Chris Lattner | e722873 | 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]. |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 99 | static inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB, |
| Evan Cheng | 7d98a48 | 2008-07-03 09:09:37 +0000 | [diff] [blame] | 100 | unsigned Reg1, bool isKill1, |
| 101 | unsigned Reg2, bool isKill2) { |
| Bill Wendling | f7b83c7 | 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 | e722873 | 2005-01-02 02:38:18 +0000 | [diff] [blame] | 104 | } |
| 105 | |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 106 | static inline const MachineInstrBuilder & |
| 107 | addLeaAddress(const MachineInstrBuilder &MIB, const X86AddressMode &AM) { |
| Reid Spencer | 8aca0b4 | 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 | 469647b | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 116 | MIB.addImm(AM.Scale).addReg(AM.IndexReg); |
| Chris Lattner | df7b984 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 117 | if (AM.GV) |
| Chris Lattner | f95fa1b | 2009-07-01 03:27:19 +0000 | [diff] [blame] | 118 | return MIB.addGlobalAddress(AM.GV, AM.Disp, AM.GVOpFlags); |
| Chris Lattner | df7b984 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 119 | else |
| Chris Lattner | fef7a2d | 2006-05-04 17:21:20 +0000 | [diff] [blame] | 120 | return MIB.addImm(AM.Disp); |
| Chris Lattner | 4b3514c | 2004-02-25 06:01:07 +0000 | [diff] [blame] | 121 | } |
| 122 | |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 123 | static inline const MachineInstrBuilder & |
| 124 | addFullAddress(const MachineInstrBuilder &MIB, |
| 125 | const X86AddressMode &AM) { |
| Rafael Espindola | 3b2df10 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 126 | return addLeaAddress(MIB, AM).addReg(0); |
| 127 | } |
| 128 | |
| Chris Lattner | ef5a8f9 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 129 | /// addFrameReference - This function is used to add a reference to the base of |
| 130 | /// an abstract object on the stack frame of the current function. This |
| Chris Lattner | 7878563 | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 131 | /// reference has base register as the FrameIndex offset until it is resolved. |
| 132 | /// This allows a constant offset to be specified as well... |
| Chris Lattner | ef5a8f9 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 133 | /// |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 134 | static inline const MachineInstrBuilder & |
| Chris Lattner | 7878563 | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 135 | addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) { |
| Dan Gohman | 78407ac | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 136 | MachineInstr *MI = MIB; |
| 137 | MachineFunction &MF = *MI->getParent()->getParent(); |
| 138 | MachineFrameInfo &MFI = *MF.getFrameInfo(); |
| 139 | const TargetInstrDesc &TID = MI->getDesc(); |
| 140 | unsigned Flags = 0; |
| 141 | if (TID.mayLoad()) |
| 142 | Flags |= MachineMemOperand::MOLoad; |
| 143 | if (TID.mayStore()) |
| 144 | Flags |= MachineMemOperand::MOStore; |
| 145 | MachineMemOperand MMO(PseudoSourceValue::getFixedStack(FI), |
| 146 | Flags, |
| 147 | MFI.getObjectOffset(FI) + Offset, |
| 148 | MFI.getObjectSize(FI), |
| 149 | MFI.getObjectAlignment(FI)); |
| Rafael Espindola | 3b2df10 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 150 | return addOffset(MIB.addFrameIndex(FI), Offset) |
| Dan Gohman | 78407ac | 2008-12-03 18:11:40 +0000 | [diff] [blame] | 151 | .addMemOperand(MMO); |
| Chris Lattner | 7878563 | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 152 | } |
| 153 | |
| 154 | /// addConstantPoolReference - This function is used to add a reference to the |
| 155 | /// base of a constant value spilled to the per-function constant pool. The |
| Dan Gohman | 8392f0c | 2008-09-30 01:21:32 +0000 | [diff] [blame] | 156 | /// reference uses the abstract ConstantPoolIndex which is retained until |
| 157 | /// either machine code emission or assembly output. In PIC mode on x86-32, |
| 158 | /// the GlobalBaseReg parameter can be used to make this a |
| 159 | /// GlobalBaseReg-relative reference. |
| Chris Lattner | 7878563 | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 160 | /// |
| Anton Korobeynikov | 12b4b7c | 2009-07-16 14:03:08 +0000 | [diff] [blame] | 161 | static inline const MachineInstrBuilder & |
| Dan Gohman | 8392f0c | 2008-09-30 01:21:32 +0000 | [diff] [blame] | 162 | addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI, |
| Chris Lattner | a3260c0 | 2009-06-27 01:31:51 +0000 | [diff] [blame] | 163 | unsigned GlobalBaseReg, unsigned char OpFlags) { |
| Rafael Espindola | 3b2df10 | 2009-04-08 21:14:34 +0000 | [diff] [blame] | 164 | //FIXME: factor this |
| 165 | return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0) |
| Chris Lattner | a3260c0 | 2009-06-27 01:31:51 +0000 | [diff] [blame] | 166 | .addConstantPoolIndex(CPI, 0, OpFlags).addReg(0); |
| Chris Lattner | ef5a8f9 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 167 | } |
| 168 | |
| Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 169 | } // End llvm namespace |
| 170 | |
| Chris Lattner | c682b4a | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 171 | #endif |