LLVM API Documentation

X86BaseInfo.h
Go to the documentation of this file.
00001 //===-- X86BaseInfo.h - Top level definitions for X86 -------- --*- C++ -*-===//
00002 //
00003 //                     The LLVM Compiler Infrastructure
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 //
00010 // This file contains small standalone helper functions and enum definitions for
00011 // the X86 target useful for the compiler back-end and the MC libraries.
00012 // As such, it deliberately does not include references to LLVM core
00013 // code gen types, passes, etc..
00014 //
00015 //===----------------------------------------------------------------------===//
00016 
00017 #ifndef X86BASEINFO_H
00018 #define X86BASEINFO_H
00019 
00020 #include "X86MCTargetDesc.h"
00021 #include "llvm/Support/DataTypes.h"
00022 #include "llvm/Support/ErrorHandling.h"
00023 #include "llvm/MC/MCInstrInfo.h"
00024 
00025 namespace llvm {
00026 
00027 namespace X86 {
00028   // Enums for memory operand decoding.  Each memory operand is represented with
00029   // a 5 operand sequence in the form:
00030   //   [BaseReg, ScaleAmt, IndexReg, Disp, Segment]
00031   // These enums help decode this.
00032   enum {
00033     AddrBaseReg = 0,
00034     AddrScaleAmt = 1,
00035     AddrIndexReg = 2,
00036     AddrDisp = 3,
00037 
00038     /// AddrSegmentReg - The operand # of the segment in the memory operand.
00039     AddrSegmentReg = 4,
00040 
00041     /// AddrNumOperands - Total number of operands in a memory reference.
00042     AddrNumOperands = 5
00043   };
00044 } // end namespace X86;
00045 
00046 /// X86II - This namespace holds all of the target specific flags that
00047 /// instruction info tracks.
00048 ///
00049 namespace X86II {
00050   /// Target Operand Flag enum.
00051   enum TOF {
00052     //===------------------------------------------------------------------===//
00053     // X86 Specific MachineOperand flags.
00054 
00055     MO_NO_FLAG,
00056 
00057     /// MO_GOT_ABSOLUTE_ADDRESS - On a symbol operand, this represents a
00058     /// relocation of:
00059     ///    SYMBOL_LABEL + [. - PICBASELABEL]
00060     MO_GOT_ABSOLUTE_ADDRESS,
00061 
00062     /// MO_PIC_BASE_OFFSET - On a symbol operand this indicates that the
00063     /// immediate should get the value of the symbol minus the PIC base label:
00064     ///    SYMBOL_LABEL - PICBASELABEL
00065     MO_PIC_BASE_OFFSET,
00066 
00067     /// MO_GOT - On a symbol operand this indicates that the immediate is the
00068     /// offset to the GOT entry for the symbol name from the base of the GOT.
00069     ///
00070     /// See the X86-64 ELF ABI supplement for more details.
00071     ///    SYMBOL_LABEL @GOT
00072     MO_GOT,
00073 
00074     /// MO_GOTOFF - On a symbol operand this indicates that the immediate is
00075     /// the offset to the location of the symbol name from the base of the GOT.
00076     ///
00077     /// See the X86-64 ELF ABI supplement for more details.
00078     ///    SYMBOL_LABEL @GOTOFF
00079     MO_GOTOFF,
00080 
00081     /// MO_GOTPCREL - On a symbol operand this indicates that the immediate is
00082     /// offset to the GOT entry for the symbol name from the current code
00083     /// location.
00084     ///
00085     /// See the X86-64 ELF ABI supplement for more details.
00086     ///    SYMBOL_LABEL @GOTPCREL
00087     MO_GOTPCREL,
00088 
00089     /// MO_PLT - On a symbol operand this indicates that the immediate is
00090     /// offset to the PLT entry of symbol name from the current code location.
00091     ///
00092     /// See the X86-64 ELF ABI supplement for more details.
00093     ///    SYMBOL_LABEL @PLT
00094     MO_PLT,
00095 
00096     /// MO_TLSGD - On a symbol operand this indicates that the immediate is
00097     /// the offset of the GOT entry with the TLS index structure that contains
00098     /// the module number and variable offset for the symbol. Used in the
00099     /// general dynamic TLS access model.
00100     ///
00101     /// See 'ELF Handling for Thread-Local Storage' for more details.
00102     ///    SYMBOL_LABEL @TLSGD
00103     MO_TLSGD,
00104 
00105     /// MO_TLSLD - On a symbol operand this indicates that the immediate is
00106     /// the offset of the GOT entry with the TLS index for the module that
00107     /// contains the symbol. When this index is passed to a call to
00108     /// __tls_get_addr, the function will return the base address of the TLS
00109     /// block for the symbol. Used in the x86-64 local dynamic TLS access model.
00110     ///
00111     /// See 'ELF Handling for Thread-Local Storage' for more details.
00112     ///    SYMBOL_LABEL @TLSLD
00113     MO_TLSLD,
00114 
00115     /// MO_TLSLDM - On a symbol operand this indicates that the immediate is
00116     /// the offset of the GOT entry with the TLS index for the module that
00117     /// contains the symbol. When this index is passed to a call to
00118     /// ___tls_get_addr, the function will return the base address of the TLS
00119     /// block for the symbol. Used in the IA32 local dynamic TLS access model.
00120     ///
00121     /// See 'ELF Handling for Thread-Local Storage' for more details.
00122     ///    SYMBOL_LABEL @TLSLDM
00123     MO_TLSLDM,
00124 
00125     /// MO_GOTTPOFF - On a symbol operand this indicates that the immediate is
00126     /// the offset of the GOT entry with the thread-pointer offset for the
00127     /// symbol. Used in the x86-64 initial exec TLS access model.
00128     ///
00129     /// See 'ELF Handling for Thread-Local Storage' for more details.
00130     ///    SYMBOL_LABEL @GOTTPOFF
00131     MO_GOTTPOFF,
00132 
00133     /// MO_INDNTPOFF - On a symbol operand this indicates that the immediate is
00134     /// the absolute address of the GOT entry with the negative thread-pointer
00135     /// offset for the symbol. Used in the non-PIC IA32 initial exec TLS access
00136     /// model.
00137     ///
00138     /// See 'ELF Handling for Thread-Local Storage' for more details.
00139     ///    SYMBOL_LABEL @INDNTPOFF
00140     MO_INDNTPOFF,
00141 
00142     /// MO_TPOFF - On a symbol operand this indicates that the immediate is
00143     /// the thread-pointer offset for the symbol. Used in the x86-64 local
00144     /// exec TLS access model.
00145     ///
00146     /// See 'ELF Handling for Thread-Local Storage' for more details.
00147     ///    SYMBOL_LABEL @TPOFF
00148     MO_TPOFF,
00149 
00150     /// MO_DTPOFF - On a symbol operand this indicates that the immediate is
00151     /// the offset of the GOT entry with the TLS offset of the symbol. Used
00152     /// in the local dynamic TLS access model.
00153     ///
00154     /// See 'ELF Handling for Thread-Local Storage' for more details.
00155     ///    SYMBOL_LABEL @DTPOFF
00156     MO_DTPOFF,
00157 
00158     /// MO_NTPOFF - On a symbol operand this indicates that the immediate is
00159     /// the negative thread-pointer offset for the symbol. Used in the IA32
00160     /// local exec TLS access model.
00161     ///
00162     /// See 'ELF Handling for Thread-Local Storage' for more details.
00163     ///    SYMBOL_LABEL @NTPOFF
00164     MO_NTPOFF,
00165 
00166     /// MO_GOTNTPOFF - On a symbol operand this indicates that the immediate is
00167     /// the offset of the GOT entry with the negative thread-pointer offset for
00168     /// the symbol. Used in the PIC IA32 initial exec TLS access model.
00169     ///
00170     /// See 'ELF Handling for Thread-Local Storage' for more details.
00171     ///    SYMBOL_LABEL @GOTNTPOFF
00172     MO_GOTNTPOFF,
00173 
00174     /// MO_DLLIMPORT - On a symbol operand "FOO", this indicates that the
00175     /// reference is actually to the "__imp_FOO" symbol.  This is used for
00176     /// dllimport linkage on windows.
00177     MO_DLLIMPORT,
00178 
00179     /// MO_DARWIN_STUB - On a symbol operand "FOO", this indicates that the
00180     /// reference is actually to the "FOO$stub" symbol.  This is used for calls
00181     /// and jumps to external functions on Tiger and earlier.
00182     MO_DARWIN_STUB,
00183 
00184     /// MO_DARWIN_NONLAZY - On a symbol operand "FOO", this indicates that the
00185     /// reference is actually to the "FOO$non_lazy_ptr" symbol, which is a
00186     /// non-PIC-base-relative reference to a non-hidden dyld lazy pointer stub.
00187     MO_DARWIN_NONLAZY,
00188 
00189     /// MO_DARWIN_NONLAZY_PIC_BASE - On a symbol operand "FOO", this indicates
00190     /// that the reference is actually to "FOO$non_lazy_ptr - PICBASE", which is
00191     /// a PIC-base-relative reference to a non-hidden dyld lazy pointer stub.
00192     MO_DARWIN_NONLAZY_PIC_BASE,
00193 
00194     /// MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE - On a symbol operand "FOO", this
00195     /// indicates that the reference is actually to "FOO$non_lazy_ptr -PICBASE",
00196     /// which is a PIC-base-relative reference to a hidden dyld lazy pointer
00197     /// stub.
00198     MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE,
00199 
00200     /// MO_TLVP - On a symbol operand this indicates that the immediate is
00201     /// some TLS offset.
00202     ///
00203     /// This is the TLS offset for the Darwin TLS mechanism.
00204     MO_TLVP,
00205 
00206     /// MO_TLVP_PIC_BASE - On a symbol operand this indicates that the immediate
00207     /// is some TLS offset from the picbase.
00208     ///
00209     /// This is the 32-bit TLS offset for Darwin TLS in PIC mode.
00210     MO_TLVP_PIC_BASE,
00211 
00212     /// MO_SECREL - On a symbol operand this indicates that the immediate is
00213     /// the offset from beginning of section.
00214     ///
00215     /// This is the TLS offset for the COFF/Windows TLS mechanism.
00216     MO_SECREL
00217   };
00218 
00219   enum {
00220     //===------------------------------------------------------------------===//
00221     // Instruction encodings.  These are the standard/most common forms for X86
00222     // instructions.
00223     //
00224 
00225     // PseudoFrm - This represents an instruction that is a pseudo instruction
00226     // or one that has not been implemented yet.  It is illegal to code generate
00227     // it, but tolerated for intermediate implementation stages.
00228     Pseudo         = 0,
00229 
00230     /// Raw - This form is for instructions that don't have any operands, so
00231     /// they are just a fixed opcode value, like 'leave'.
00232     RawFrm         = 1,
00233 
00234     /// AddRegFrm - This form is used for instructions like 'push r32' that have
00235     /// their one register operand added to their opcode.
00236     AddRegFrm      = 2,
00237 
00238     /// MRMDestReg - This form is used for instructions that use the Mod/RM byte
00239     /// to specify a destination, which in this case is a register.
00240     ///
00241     MRMDestReg     = 3,
00242 
00243     /// MRMDestMem - This form is used for instructions that use the Mod/RM byte
00244     /// to specify a destination, which in this case is memory.
00245     ///
00246     MRMDestMem     = 4,
00247 
00248     /// MRMSrcReg - This form is used for instructions that use the Mod/RM byte
00249     /// to specify a source, which in this case is a register.
00250     ///
00251     MRMSrcReg      = 5,
00252 
00253     /// MRMSrcMem - This form is used for instructions that use the Mod/RM byte
00254     /// to specify a source, which in this case is memory.
00255     ///
00256     MRMSrcMem      = 6,
00257 
00258     /// MRM[0-7][rm] - These forms are used to represent instructions that use
00259     /// a Mod/RM byte, and use the middle field to hold extended opcode
00260     /// information.  In the intel manual these are represented as /0, /1, ...
00261     ///
00262 
00263     // First, instructions that operate on a register r/m operand...
00264     MRM0r = 16,  MRM1r = 17,  MRM2r = 18,  MRM3r = 19, // Format /0 /1 /2 /3
00265     MRM4r = 20,  MRM5r = 21,  MRM6r = 22,  MRM7r = 23, // Format /4 /5 /6 /7
00266 
00267     // Next, instructions that operate on a memory r/m operand...
00268     MRM0m = 24,  MRM1m = 25,  MRM2m = 26,  MRM3m = 27, // Format /0 /1 /2 /3
00269     MRM4m = 28,  MRM5m = 29,  MRM6m = 30,  MRM7m = 31, // Format /4 /5 /6 /7
00270 
00271     // MRMInitReg - This form is used for instructions whose source and
00272     // destinations are the same register.
00273     MRMInitReg = 32,
00274 
00275     //// MRM_XX - A mod/rm byte of exactly 0xXX.
00276     MRM_C1 = 33, MRM_C2 = 34, MRM_C3 = 35, MRM_C4 = 36,
00277     MRM_C8 = 37, MRM_C9 = 38, MRM_CA = 39, MRM_CB = 40,
00278     MRM_E8 = 41, MRM_F0 = 42, MRM_F8 = 45, MRM_F9 = 46,
00279     MRM_D0 = 47, MRM_D1 = 48, MRM_D4 = 49, MRM_D5 = 50,
00280     MRM_D6 = 51, MRM_D8 = 52, MRM_D9 = 53, MRM_DA = 54,
00281     MRM_DB = 55, MRM_DC = 56, MRM_DD = 57, MRM_DE = 58,
00282     MRM_DF = 59,
00283 
00284     /// RawFrmImm8 - This is used for the ENTER instruction, which has two
00285     /// immediates, the first of which is a 16-bit immediate (specified by
00286     /// the imm encoding) and the second is a 8-bit fixed value.
00287     RawFrmImm8 = 43,
00288 
00289     /// RawFrmImm16 - This is used for CALL FAR instructions, which have two
00290     /// immediates, the first of which is a 16 or 32-bit immediate (specified by
00291     /// the imm encoding) and the second is a 16-bit fixed value.  In the AMD
00292     /// manual, this operand is described as pntr16:32 and pntr16:16
00293     RawFrmImm16 = 44,
00294 
00295     FormMask       = 63,
00296 
00297     //===------------------------------------------------------------------===//
00298     // Actual flags...
00299 
00300     // OpSize - Set if this instruction requires an operand size prefix (0x66),
00301     // which most often indicates that the instruction operates on 16 bit data
00302     // instead of 32 bit data.
00303     OpSize      = 1 << 6,
00304 
00305     // AsSize - Set if this instruction requires an operand size prefix (0x67),
00306     // which most often indicates that the instruction address 16 bit address
00307     // instead of 32 bit address (or 32 bit address in 64 bit mode).
00308     AdSize      = 1 << 7,
00309 
00310     //===------------------------------------------------------------------===//
00311     // Op0Mask - There are several prefix bytes that are used to form two byte
00312     // opcodes.  These are currently 0x0F, 0xF3, and 0xD8-0xDF.  This mask is
00313     // used to obtain the setting of this field.  If no bits in this field is
00314     // set, there is no prefix byte for obtaining a multibyte opcode.
00315     //
00316     Op0Shift    = 8,
00317     Op0Mask     = 0x1F << Op0Shift,
00318 
00319     // TB - TwoByte - Set if this instruction has a two byte opcode, which
00320     // starts with a 0x0F byte before the real opcode.
00321     TB          = 1 << Op0Shift,
00322 
00323     // REP - The 0xF3 prefix byte indicating repetition of the following
00324     // instruction.
00325     REP         = 2 << Op0Shift,
00326 
00327     // D8-DF - These escape opcodes are used by the floating point unit.  These
00328     // values must remain sequential.
00329     D8 = 3 << Op0Shift,   D9 = 4 << Op0Shift,
00330     DA = 5 << Op0Shift,   DB = 6 << Op0Shift,
00331     DC = 7 << Op0Shift,   DD = 8 << Op0Shift,
00332     DE = 9 << Op0Shift,   DF = 10 << Op0Shift,
00333 
00334     // XS, XD - These prefix codes are for single and double precision scalar
00335     // floating point operations performed in the SSE registers.
00336     XD = 11 << Op0Shift,  XS = 12 << Op0Shift,
00337 
00338     // T8, TA, A6, A7 - Prefix after the 0x0F prefix.
00339     T8 = 13 << Op0Shift,  TA = 14 << Op0Shift,
00340     A6 = 15 << Op0Shift,  A7 = 16 << Op0Shift,
00341 
00342     // T8XD - Prefix before and after 0x0F. Combination of T8 and XD.
00343     T8XD = 17 << Op0Shift,
00344 
00345     // T8XS - Prefix before and after 0x0F. Combination of T8 and XS.
00346     T8XS = 18 << Op0Shift,
00347 
00348     // TAXD - Prefix before and after 0x0F. Combination of TA and XD.
00349     TAXD = 19 << Op0Shift,
00350 
00351     // XOP8 - Prefix to include use of imm byte.
00352     XOP8 = 20 << Op0Shift,
00353 
00354     // XOP9 - Prefix to exclude use of imm byte.
00355     XOP9 = 21 << Op0Shift,
00356 
00357     //===------------------------------------------------------------------===//
00358     // REX_W - REX prefixes are instruction prefixes used in 64-bit mode.
00359     // They are used to specify GPRs and SSE registers, 64-bit operand size,
00360     // etc. We only cares about REX.W and REX.R bits and only the former is
00361     // statically determined.
00362     //
00363     REXShift    = Op0Shift + 5,
00364     REX_W       = 1 << REXShift,
00365 
00366     //===------------------------------------------------------------------===//
00367     // This three-bit field describes the size of an immediate operand.  Zero is
00368     // unused so that we can tell if we forgot to set a value.
00369     ImmShift = REXShift + 1,
00370     ImmMask    = 7 << ImmShift,
00371     Imm8       = 1 << ImmShift,
00372     Imm8PCRel  = 2 << ImmShift,
00373     Imm16      = 3 << ImmShift,
00374     Imm16PCRel = 4 << ImmShift,
00375     Imm32      = 5 << ImmShift,
00376     Imm32PCRel = 6 << ImmShift,
00377     Imm64      = 7 << ImmShift,
00378 
00379     //===------------------------------------------------------------------===//
00380     // FP Instruction Classification...  Zero is non-fp instruction.
00381 
00382     // FPTypeMask - Mask for all of the FP types...
00383     FPTypeShift = ImmShift + 3,
00384     FPTypeMask  = 7 << FPTypeShift,
00385 
00386     // NotFP - The default, set for instructions that do not use FP registers.
00387     NotFP      = 0 << FPTypeShift,
00388 
00389     // ZeroArgFP - 0 arg FP instruction which implicitly pushes ST(0), f.e. fld0
00390     ZeroArgFP  = 1 << FPTypeShift,
00391 
00392     // OneArgFP - 1 arg FP instructions which implicitly read ST(0), such as fst
00393     OneArgFP   = 2 << FPTypeShift,
00394 
00395     // OneArgFPRW - 1 arg FP instruction which implicitly read ST(0) and write a
00396     // result back to ST(0).  For example, fcos, fsqrt, etc.
00397     //
00398     OneArgFPRW = 3 << FPTypeShift,
00399 
00400     // TwoArgFP - 2 arg FP instructions which implicitly read ST(0), and an
00401     // explicit argument, storing the result to either ST(0) or the implicit
00402     // argument.  For example: fadd, fsub, fmul, etc...
00403     TwoArgFP   = 4 << FPTypeShift,
00404 
00405     // CompareFP - 2 arg FP instructions which implicitly read ST(0) and an
00406     // explicit argument, but have no destination.  Example: fucom, fucomi, ...
00407     CompareFP  = 5 << FPTypeShift,
00408 
00409     // CondMovFP - "2 operand" floating point conditional move instructions.
00410     CondMovFP  = 6 << FPTypeShift,
00411 
00412     // SpecialFP - Special instruction forms.  Dispatch by opcode explicitly.
00413     SpecialFP  = 7 << FPTypeShift,
00414 
00415     // Lock prefix
00416     LOCKShift = FPTypeShift + 3,
00417     LOCK = 1 << LOCKShift,
00418 
00419     // Segment override prefixes. Currently we just need ability to address
00420     // stuff in gs and fs segments.
00421     SegOvrShift = LOCKShift + 1,
00422     SegOvrMask  = 3 << SegOvrShift,
00423     FS          = 1 << SegOvrShift,
00424     GS          = 2 << SegOvrShift,
00425 
00426     // Execution domain for SSE instructions in bits 23, 24.
00427     // 0 in bits 23-24 means normal, non-SSE instruction.
00428     SSEDomainShift = SegOvrShift + 2,
00429 
00430     OpcodeShift   = SSEDomainShift + 2,
00431 
00432     //===------------------------------------------------------------------===//
00433     /// VEX - The opcode prefix used by AVX instructions
00434     VEXShift = OpcodeShift + 8,
00435     VEX         = 1U << 0,
00436 
00437     /// VEX_W - Has a opcode specific functionality, but is used in the same
00438     /// way as REX_W is for regular SSE instructions.
00439     VEX_W       = 1U << 1,
00440 
00441     /// VEX_4V - Used to specify an additional AVX/SSE register. Several 2
00442     /// address instructions in SSE are represented as 3 address ones in AVX
00443     /// and the additional register is encoded in VEX_VVVV prefix.
00444     VEX_4V      = 1U << 2,
00445 
00446     /// VEX_4VOp3 - Similar to VEX_4V, but used on instructions that encode
00447     /// operand 3 with VEX.vvvv.
00448     VEX_4VOp3   = 1U << 3,
00449 
00450     /// VEX_I8IMM - Specifies that the last register used in a AVX instruction,
00451     /// must be encoded in the i8 immediate field. This usually happens in
00452     /// instructions with 4 operands.
00453     VEX_I8IMM   = 1U << 4,
00454 
00455     /// VEX_L - Stands for a bit in the VEX opcode prefix meaning the current
00456     /// instruction uses 256-bit wide registers. This is usually auto detected
00457     /// if a VR256 register is used, but some AVX instructions also have this
00458     /// field marked when using a f256 memory references.
00459     VEX_L       = 1U << 5,
00460 
00461     // VEX_LIG - Specifies that this instruction ignores the L-bit in the VEX
00462     // prefix. Usually used for scalar instructions. Needed by disassembler.
00463     VEX_LIG     = 1U << 6,
00464 
00465     /// Has3DNow0F0FOpcode - This flag indicates that the instruction uses the
00466     /// wacky 0x0F 0x0F prefix for 3DNow! instructions.  The manual documents
00467     /// this as having a 0x0F prefix with a 0x0F opcode, and each instruction
00468     /// storing a classifier in the imm8 field.  To simplify our implementation,
00469     /// we handle this by storeing the classifier in the opcode field and using
00470     /// this flag to indicate that the encoder should do the wacky 3DNow! thing.
00471     Has3DNow0F0FOpcode = 1U << 7,
00472 
00473     /// MemOp4 - Used to indicate swapping of operand 3 and 4 to be encoded in
00474     /// ModRM or I8IMM. This is used for FMA4 and XOP instructions.
00475     MemOp4 = 1U << 8,
00476 
00477     /// XOP - Opcode prefix used by XOP instructions.
00478     XOP = 1U << 9
00479 
00480   };
00481 
00482   // getBaseOpcodeFor - This function returns the "base" X86 opcode for the
00483   // specified machine instruction.
00484   //
00485   inline unsigned char getBaseOpcodeFor(uint64_t TSFlags) {
00486     return TSFlags >> X86II::OpcodeShift;
00487   }
00488 
00489   inline bool hasImm(uint64_t TSFlags) {
00490     return (TSFlags & X86II::ImmMask) != 0;
00491   }
00492 
00493   /// getSizeOfImm - Decode the "size of immediate" field from the TSFlags field
00494   /// of the specified instruction.
00495   inline unsigned getSizeOfImm(uint64_t TSFlags) {
00496     switch (TSFlags & X86II::ImmMask) {
00497     default: llvm_unreachable("Unknown immediate size");
00498     case X86II::Imm8:
00499     case X86II::Imm8PCRel:  return 1;
00500     case X86II::Imm16:
00501     case X86II::Imm16PCRel: return 2;
00502     case X86II::Imm32:
00503     case X86II::Imm32PCRel: return 4;
00504     case X86II::Imm64:      return 8;
00505     }
00506   }
00507 
00508   /// isImmPCRel - Return true if the immediate of the specified instruction's
00509   /// TSFlags indicates that it is pc relative.
00510   inline unsigned isImmPCRel(uint64_t TSFlags) {
00511     switch (TSFlags & X86II::ImmMask) {
00512     default: llvm_unreachable("Unknown immediate size");
00513     case X86II::Imm8PCRel:
00514     case X86II::Imm16PCRel:
00515     case X86II::Imm32PCRel:
00516       return true;
00517     case X86II::Imm8:
00518     case X86II::Imm16:
00519     case X86II::Imm32:
00520     case X86II::Imm64:
00521       return false;
00522     }
00523   }
00524 
00525   /// getOperandBias - compute any additional adjustment needed to
00526   ///                  the offset to the start of the memory operand
00527   ///                  in this instruction.
00528   /// If this is a two-address instruction,skip one of the register operands.
00529   /// FIXME: This should be handled during MCInst lowering.
00530   inline int getOperandBias(const MCInstrDesc& Desc)
00531   {
00532     unsigned NumOps = Desc.getNumOperands();
00533     unsigned CurOp = 0;
00534     if (NumOps > 1 && Desc.getOperandConstraint(1, MCOI::TIED_TO) == 0)
00535       ++CurOp;
00536     else if (NumOps > 3 && Desc.getOperandConstraint(2, MCOI::TIED_TO) == 0) {
00537       assert(Desc.getOperandConstraint(NumOps - 1, MCOI::TIED_TO) == 1);
00538       // Special case for GATHER with 2 TIED_TO operands
00539       // Skip the first 2 operands: dst, mask_wb
00540       CurOp += 2;
00541     }
00542     return CurOp;
00543   }
00544 
00545   /// getMemoryOperandNo - The function returns the MCInst operand # for the
00546   /// first field of the memory operand.  If the instruction doesn't have a
00547   /// memory operand, this returns -1.
00548   ///
00549   /// Note that this ignores tied operands.  If there is a tied register which
00550   /// is duplicated in the MCInst (e.g. "EAX = addl EAX, [mem]") it is only
00551   /// counted as one operand.
00552   ///
00553   inline int getMemoryOperandNo(uint64_t TSFlags, unsigned Opcode) {
00554     switch (TSFlags & X86II::FormMask) {
00555     case X86II::MRMInitReg:
00556         // FIXME: Remove this form.
00557         return -1;
00558     default: llvm_unreachable("Unknown FormMask value in getMemoryOperandNo!");
00559     case X86II::Pseudo:
00560     case X86II::RawFrm:
00561     case X86II::AddRegFrm:
00562     case X86II::MRMDestReg:
00563     case X86II::MRMSrcReg:
00564     case X86II::RawFrmImm8:
00565     case X86II::RawFrmImm16:
00566        return -1;
00567     case X86II::MRMDestMem:
00568       return 0;
00569     case X86II::MRMSrcMem: {
00570       bool HasVEX_4V = (TSFlags >> X86II::VEXShift) & X86II::VEX_4V;
00571       bool HasMemOp4 = (TSFlags >> X86II::VEXShift) & X86II::MemOp4;
00572       unsigned FirstMemOp = 1;
00573       if (HasVEX_4V)
00574         ++FirstMemOp;// Skip the register source (which is encoded in VEX_VVVV).
00575       if (HasMemOp4)
00576         ++FirstMemOp;// Skip the register source (which is encoded in I8IMM).
00577 
00578       // FIXME: Maybe lea should have its own form?  This is a horrible hack.
00579       //if (Opcode == X86::LEA64r || Opcode == X86::LEA64_32r ||
00580       //    Opcode == X86::LEA16r || Opcode == X86::LEA32r)
00581       return FirstMemOp;
00582     }
00583     case X86II::MRM0r: case X86II::MRM1r:
00584     case X86II::MRM2r: case X86II::MRM3r:
00585     case X86II::MRM4r: case X86II::MRM5r:
00586     case X86II::MRM6r: case X86II::MRM7r:
00587       return -1;
00588     case X86II::MRM0m: case X86II::MRM1m:
00589     case X86II::MRM2m: case X86II::MRM3m:
00590     case X86II::MRM4m: case X86II::MRM5m:
00591     case X86II::MRM6m: case X86II::MRM7m: {
00592       bool HasVEX_4V = (TSFlags >> X86II::VEXShift) & X86II::VEX_4V;
00593       unsigned FirstMemOp = 0;
00594       if (HasVEX_4V)
00595         ++FirstMemOp;// Skip the register dest (which is encoded in VEX_VVVV).
00596       return FirstMemOp;
00597     }
00598     case X86II::MRM_C1: case X86II::MRM_C2: case X86II::MRM_C3:
00599     case X86II::MRM_C4: case X86II::MRM_C8: case X86II::MRM_C9:
00600     case X86II::MRM_CA: case X86II::MRM_CB: case X86II::MRM_E8:
00601     case X86II::MRM_F0: case X86II::MRM_F8: case X86II::MRM_F9:
00602     case X86II::MRM_D0: case X86II::MRM_D1: case X86II::MRM_D4:
00603     case X86II::MRM_D5: case X86II::MRM_D6: case X86II::MRM_D8:
00604     case X86II::MRM_D9: case X86II::MRM_DA: case X86II::MRM_DB:
00605     case X86II::MRM_DC: case X86II::MRM_DD: case X86II::MRM_DE:
00606     case X86II::MRM_DF:
00607       return -1;
00608     }
00609   }
00610 
00611   /// isX86_64ExtendedReg - Is the MachineOperand a x86-64 extended (r8 or
00612   /// higher) register?  e.g. r8, xmm8, xmm13, etc.
00613   inline bool isX86_64ExtendedReg(unsigned RegNo) {
00614     switch (RegNo) {
00615     default: break;
00616     case X86::R8:    case X86::R9:    case X86::R10:   case X86::R11:
00617     case X86::R12:   case X86::R13:   case X86::R14:   case X86::R15:
00618     case X86::R8D:   case X86::R9D:   case X86::R10D:  case X86::R11D:
00619     case X86::R12D:  case X86::R13D:  case X86::R14D:  case X86::R15D:
00620     case X86::R8W:   case X86::R9W:   case X86::R10W:  case X86::R11W:
00621     case X86::R12W:  case X86::R13W:  case X86::R14W:  case X86::R15W:
00622     case X86::R8B:   case X86::R9B:   case X86::R10B:  case X86::R11B:
00623     case X86::R12B:  case X86::R13B:  case X86::R14B:  case X86::R15B:
00624     case X86::XMM8:  case X86::XMM9:  case X86::XMM10: case X86::XMM11:
00625     case X86::XMM12: case X86::XMM13: case X86::XMM14: case X86::XMM15:
00626     case X86::YMM8:  case X86::YMM9:  case X86::YMM10: case X86::YMM11:
00627     case X86::YMM12: case X86::YMM13: case X86::YMM14: case X86::YMM15:
00628     case X86::CR8:   case X86::CR9:   case X86::CR10:  case X86::CR11:
00629     case X86::CR12:  case X86::CR13:  case X86::CR14:  case X86::CR15:
00630         return true;
00631     }
00632     return false;
00633   }
00634   
00635   inline bool isX86_64NonExtLowByteReg(unsigned reg) {
00636     return (reg == X86::SPL || reg == X86::BPL ||
00637             reg == X86::SIL || reg == X86::DIL);
00638   }
00639 }
00640 
00641 } // end namespace llvm;
00642 
00643 #endif