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 | |
| 27 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 28 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 29 | namespace llvm { |
| 30 | |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 31 | /// X86AddressMode - This struct holds a generalized full x86 address mode. |
| 32 | /// 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] | 33 | /// with BP or SP and Disp being offsetted accordingly. The displacement may |
| 34 | /// also include the offset of a global value. |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 35 | struct X86AddressMode { |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 36 | enum { |
| 37 | RegBase, |
Chris Lattner | d74ea2b | 2006-05-24 17:04:05 +0000 | [diff] [blame] | 38 | FrameIndexBase |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 39 | } BaseType; |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 40 | |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 41 | union { |
| 42 | unsigned Reg; |
| 43 | int FrameIndex; |
| 44 | } Base; |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 45 | |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 46 | unsigned Scale; |
| 47 | unsigned IndexReg; |
| 48 | unsigned Disp; |
| 49 | GlobalValue *GV; |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 50 | |
Chris Lattner | e9fe2bc | 2005-01-17 23:25:45 +0000 | [diff] [blame] | 51 | X86AddressMode() : BaseType(RegBase), Scale(1), IndexReg(0), Disp(0), GV(0) { |
| 52 | Base.Reg = 0; |
| 53 | } |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 54 | }; |
| 55 | |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 56 | /// 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] | 57 | /// current instruction -- that is, a dereference of an address in a register, |
| 58 | /// with no scale, index or displacement. An example is: DWORD PTR [EAX]. |
| 59 | /// |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 60 | inline const MachineInstrBuilder &addDirectMem(const MachineInstrBuilder &MIB, |
| 61 | unsigned Reg) { |
Brian Gaeke | ed6902c | 2002-12-13 09:28:50 +0000 | [diff] [blame] | 62 | // Because memory references are always represented with four |
| 63 | // values, this adds: Reg, [1, NoReg, 0] to the instruction. |
Chris Lattner | 8b915b4 | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 64 | return MIB.addReg(Reg).addImm(1).addReg(0).addImm(0); |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 65 | } |
| 66 | |
Misha Brukman | faf0b8c | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 67 | |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 68 | /// addRegOffset - This function is used to add a memory reference of the form |
| 69 | /// [Reg + Offset], i.e., one with no scale or index, but with a |
| 70 | /// displacement. An example is: DWORD PTR [EAX + 4]. |
| 71 | /// |
Misha Brukman | faf0b8c | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 72 | inline const MachineInstrBuilder &addRegOffset(const MachineInstrBuilder &MIB, |
Evan Cheng | 9f1c831 | 2008-07-03 09:09:37 +0000 | [diff] [blame] | 73 | unsigned Reg, bool isKill, |
| 74 | int Offset) { |
| 75 | return MIB.addReg(Reg, false, false, isKill) |
| 76 | .addImm(1).addReg(0).addImm(Offset); |
Misha Brukman | faf0b8c | 2002-11-22 22:42:12 +0000 | [diff] [blame] | 77 | } |
| 78 | |
Chris Lattner | 5dd350d | 2005-01-02 02:38:18 +0000 | [diff] [blame] | 79 | /// addRegReg - This function is used to add a memory reference of the form: |
| 80 | /// [Reg + Reg]. |
| 81 | inline const MachineInstrBuilder &addRegReg(const MachineInstrBuilder &MIB, |
Evan Cheng | 9f1c831 | 2008-07-03 09:09:37 +0000 | [diff] [blame] | 82 | unsigned Reg1, bool isKill1, |
| 83 | unsigned Reg2, bool isKill2) { |
| 84 | return MIB.addReg(Reg1, false, false, isKill1).addImm(1) |
| 85 | .addReg(Reg2, false, false, isKill2).addImm(0); |
Chris Lattner | 5dd350d | 2005-01-02 02:38:18 +0000 | [diff] [blame] | 86 | } |
| 87 | |
Chris Lattner | 2e68037 | 2004-02-25 06:01:07 +0000 | [diff] [blame] | 88 | inline const MachineInstrBuilder &addFullAddress(const MachineInstrBuilder &MIB, |
Reid Spencer | fc989e1 | 2004-08-30 00:13:26 +0000 | [diff] [blame] | 89 | const X86AddressMode &AM) { |
| 90 | assert (AM.Scale == 1 || AM.Scale == 2 || AM.Scale == 4 || AM.Scale == 8); |
| 91 | |
| 92 | if (AM.BaseType == X86AddressMode::RegBase) |
| 93 | MIB.addReg(AM.Base.Reg); |
| 94 | else if (AM.BaseType == X86AddressMode::FrameIndexBase) |
| 95 | MIB.addFrameIndex(AM.Base.FrameIndex); |
| 96 | else |
| 97 | assert (0); |
Chris Lattner | 8b915b4 | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 98 | MIB.addImm(AM.Scale).addReg(AM.IndexReg); |
Chris Lattner | fb3d844 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 99 | if (AM.GV) |
Chris Lattner | ea50fab | 2006-05-04 01:15:02 +0000 | [diff] [blame] | 100 | return MIB.addGlobalAddress(AM.GV, AM.Disp); |
Chris Lattner | fb3d844 | 2004-10-15 04:43:20 +0000 | [diff] [blame] | 101 | else |
Chris Lattner | 63b3d71 | 2006-05-04 17:21:20 +0000 | [diff] [blame] | 102 | return MIB.addImm(AM.Disp); |
Chris Lattner | 2e68037 | 2004-02-25 06:01:07 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 105 | /// addFrameReference - This function is used to add a reference to the base of |
| 106 | /// an abstract object on the stack frame of the current function. This |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 107 | /// reference has base register as the FrameIndex offset until it is resolved. |
| 108 | /// This allows a constant offset to be specified as well... |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 109 | /// |
| 110 | inline const MachineInstrBuilder & |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 111 | addFrameReference(const MachineInstrBuilder &MIB, int FI, int Offset = 0) { |
Chris Lattner | 8b915b4 | 2006-05-04 18:16:01 +0000 | [diff] [blame] | 112 | return MIB.addFrameIndex(FI).addImm(1).addReg(0).addImm(Offset); |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 113 | } |
| 114 | |
| 115 | /// addConstantPoolReference - This function is used to add a reference to the |
| 116 | /// 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] | 117 | /// reference uses the abstract ConstantPoolIndex which is retained until |
| 118 | /// either machine code emission or assembly output. In PIC mode on x86-32, |
| 119 | /// the GlobalBaseReg parameter can be used to make this a |
| 120 | /// GlobalBaseReg-relative reference. |
Chris Lattner | 987e8ba | 2003-01-13 00:45:53 +0000 | [diff] [blame] | 121 | /// |
| 122 | inline const MachineInstrBuilder & |
Dan Gohman | 5396c99 | 2008-09-30 01:21:32 +0000 | [diff] [blame] | 123 | addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI, |
| 124 | unsigned GlobalBaseReg = 0) { |
| 125 | return MIB.addReg(GlobalBaseReg).addImm(1).addReg(0).addConstantPoolIndex(CPI); |
Chris Lattner | a1826c2 | 2002-12-28 20:26:58 +0000 | [diff] [blame] | 126 | } |
| 127 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 128 | } // End llvm namespace |
| 129 | |
Chris Lattner | 9562add | 2002-11-17 21:03:35 +0000 | [diff] [blame] | 130 | #endif |