X86InstrInfo.h revision 856ba76200ec2302f2fe500bc507f426c7d566c8
1726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner//===- X86InstructionInfo.h - X86 Instruction Information ---------*-C++-*-===//
2856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell//
3856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell//                     The LLVM Compiler Infrastructure
4856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell//
5856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell// This file was developed by the LLVM research group and is distributed under
6856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell// the University of Illinois Open Source License. See LICENSE.TXT for details.
7856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell//
8856ba76200ec2302f2fe500bc507f426c7d566c8John Criswell//===----------------------------------------------------------------------===//
9726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner//
103501feab811c86c9659248a4875fc31a3165f84dChris Lattner// This file contains the X86 implementation of the TargetInstrInfo class.
11726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner//
12726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner//===----------------------------------------------------------------------===//
13726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner
14726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner#ifndef X86INSTRUCTIONINFO_H
15726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner#define X86INSTRUCTIONINFO_H
16726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner
173501feab811c86c9659248a4875fc31a3165f84dChris Lattner#include "llvm/Target/TargetInstrInfo.h"
18726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner#include "X86RegisterInfo.h"
19726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner
209d17740295838f94120646ef619b2e187f2d71bdChris Lattner/// X86II - This namespace holds all of the target specific flags that
219d17740295838f94120646ef619b2e187f2d71bdChris Lattner/// instruction info tracks.
229d17740295838f94120646ef619b2e187f2d71bdChris Lattner///
239d17740295838f94120646ef619b2e187f2d71bdChris Lattnernamespace X86II {
249d17740295838f94120646ef619b2e187f2d71bdChris Lattner  enum {
256aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    //===------------------------------------------------------------------===//
266aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    // Instruction types.  These are the standard/most common forms for X86
276aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    // instructions.
286aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    //
296aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
304c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // PseudoFrm - This represents an instruction that is a pseudo instruction
314c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // or one that has not been implemented yet.  It is illegal to code generate
324c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // it, but tolerated for intermediate implementation stages.
334c299f5da1013cd36563a82f188c731b2758074dChris Lattner    Pseudo         = 0,
344c299f5da1013cd36563a82f188c731b2758074dChris Lattner
356aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// Raw - This form is for instructions that don't have any operands, so
366aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// they are just a fixed opcode value, like 'leave'.
374c299f5da1013cd36563a82f188c731b2758074dChris Lattner    RawFrm         = 1,
386aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
396aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// AddRegFrm - This form is used for instructions like 'push r32' that have
406aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// their one register operand added to their opcode.
414c299f5da1013cd36563a82f188c731b2758074dChris Lattner    AddRegFrm      = 2,
426aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
436aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// MRMDestReg - This form is used for instructions that use the Mod/RM byte
446aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// to specify a destination, which in this case is a register.
456aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    ///
464c299f5da1013cd36563a82f188c731b2758074dChris Lattner    MRMDestReg     = 3,
476aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
486aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// MRMDestMem - This form is used for instructions that use the Mod/RM byte
496aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// to specify a destination, which in this case is memory.
506aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    ///
514c299f5da1013cd36563a82f188c731b2758074dChris Lattner    MRMDestMem     = 4,
526aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
536aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// MRMSrcReg - This form is used for instructions that use the Mod/RM byte
546aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// to specify a source, which in this case is a register.
556aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    ///
564c299f5da1013cd36563a82f188c731b2758074dChris Lattner    MRMSrcReg      = 5,
576aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
586aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// MRMSrcMem - This form is used for instructions that use the Mod/RM byte
596aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    /// to specify a source, which in this case is memory.
606aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    ///
614c299f5da1013cd36563a82f188c731b2758074dChris Lattner    MRMSrcMem      = 6,
626aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
6385b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    /// MRMS[0-7][rm] - These forms are used to represent instructions that use
6485b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    /// a Mod/RM byte, and use the middle field to hold extended opcode
6585b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    /// information.  In the intel manual these are represented as /0, /1, ...
6685b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    ///
6785b39f229f3146e57d059f1c774400e4bde23987Chris Lattner
6885b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    // First, instructions that operate on a register r/m operand...
6985b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    MRMS0r = 16,  MRMS1r = 17,  MRMS2r = 18,  MRMS3r = 19, // Format /0 /1 /2 /3
7085b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    MRMS4r = 20,  MRMS5r = 21,  MRMS6r = 22,  MRMS7r = 23, // Format /4 /5 /6 /7
7185b39f229f3146e57d059f1c774400e4bde23987Chris Lattner
7285b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    // Next, instructions that operate on a memory r/m operand...
7385b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    MRMS0m = 24,  MRMS1m = 25,  MRMS2m = 26,  MRMS3m = 27, // Format /0 /1 /2 /3
7485b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    MRMS4m = 28,  MRMS5m = 29,  MRMS6m = 30,  MRMS7m = 31, // Format /4 /5 /6 /7
756aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
7685b39f229f3146e57d059f1c774400e4bde23987Chris Lattner    FormMask       = 31,
776aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
786aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    //===------------------------------------------------------------------===//
796aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner    // Actual flags...
806aab9cf65cd1e96f9d0fa99f8453da454648bba1Chris Lattner
8111e53e3c384e9e25f53a0aec3acf0a725efafeabChris Lattner    // OpSize - Set if this instruction requires an operand size prefix (0x66),
8211e53e3c384e9e25f53a0aec3acf0a725efafeabChris Lattner    // which most often indicates that the instruction operates on 16 bit data
8311e53e3c384e9e25f53a0aec3acf0a725efafeabChris Lattner    // instead of 32 bit data.
842959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    OpSize      = 1 << 5,
854c299f5da1013cd36563a82f188c731b2758074dChris Lattner
864c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // Op0Mask - There are several prefix bytes that are used to form two byte
874c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // opcodes.  These are currently 0x0F, and 0xD8-0xDF.  This mask is used to
884c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // obtain the setting of this field.  If no bits in this field is set, there
894c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // is no prefix byte for obtaining a multibyte opcode.
904c299f5da1013cd36563a82f188c731b2758074dChris Lattner    //
912959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    Op0Shift    = 6,
922959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    Op0Mask     = 0xF << Op0Shift,
934c299f5da1013cd36563a82f188c731b2758074dChris Lattner
944c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // TB - TwoByte - Set if this instruction has a two byte opcode, which
954c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // starts with a 0x0F byte before the real opcode.
962959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    TB          = 1 << Op0Shift,
974c299f5da1013cd36563a82f188c731b2758074dChris Lattner
984c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // D8-DF - These escape opcodes are used by the floating point unit.  These
994c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // values must remain sequential.
1002959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    D8 = 2 << Op0Shift,   D9 = 3 << Op0Shift,
1012959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    DA = 4 << Op0Shift,   DB = 5 << Op0Shift,
1022959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    DC = 6 << Op0Shift,   DD = 7 << Op0Shift,
1032959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    DE = 8 << Op0Shift,   DF = 9 << Op0Shift,
1044c299f5da1013cd36563a82f188c731b2758074dChris Lattner
1050c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    //===------------------------------------------------------------------===//
1064c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // This three-bit field describes the size of a memory operand.  Zero is
1074c299f5da1013cd36563a82f188c731b2758074dChris Lattner    // unused so that we can tell if we forgot to set a value.
1082959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    ArgShift = 10,
1092959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    ArgMask  = 7 << ArgShift,
1102959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    Arg8     = 1 << ArgShift,
1112959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    Arg16    = 2 << ArgShift,
1122959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    Arg32    = 3 << ArgShift,
1132959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    Arg64    = 4 << ArgShift,  // 64 bit int argument for FILD64
1142959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    ArgF32   = 5 << ArgShift,
1152959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    ArgF64   = 6 << ArgShift,
1162959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    ArgF80   = 7 << ArgShift,
1174c299f5da1013cd36563a82f188c731b2758074dChris Lattner
1180c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    //===------------------------------------------------------------------===//
1190c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // FP Instruction Classification...  Zero is non-fp instruction.
1200c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner
1212959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    // FPTypeMask - Mask for all of the FP types...
1222959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    FPTypeShift = 13,
1232959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    FPTypeMask  = 7 << FPTypeShift,
1242959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner
1250c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // ZeroArgFP - 0 arg FP instruction which implicitly pushes ST(0), f.e. fld0
1262959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    ZeroArgFP  = 1 << FPTypeShift,
1270c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner
1280c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // OneArgFP - 1 arg FP instructions which implicitly read ST(0), such as fst
1292959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    OneArgFP   = 2 << FPTypeShift,
1300c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner
1310c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // OneArgFPRW - 1 arg FP instruction which implicitly read ST(0) and write a
1320c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // result back to ST(0).  For example, fcos, fsqrt, etc.
1330c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    //
1342959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    OneArgFPRW = 3 << FPTypeShift,
1350c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner
1360c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // TwoArgFP - 2 arg FP instructions which implicitly read ST(0), and an
1370c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // explicit argument, storing the result to either ST(0) or the implicit
1380c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // argument.  For example: fadd, fsub, fmul, etc...
1392959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    TwoArgFP   = 4 << FPTypeShift,
1400c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner
1410c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner    // SpecialFP - Special instruction forms.  Dispatch by opcode explicitly.
1422959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    SpecialFP  = 5 << FPTypeShift,
1430c514f4e2711ab57bf75f26806f7b8584dfbee6fChris Lattner
144d7908f679eeadc108e09e2aca5faba0b5410ea4aBrian Gaeke    // PrintImplUses - Print out implicit uses in the assembly output.
1452959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    PrintImplUses = 1 << 16,
146d7908f679eeadc108e09e2aca5faba0b5410ea4aBrian Gaeke
1472959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    OpcodeShift   = 17,
1482959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    OpcodeMask    = 0xFF << OpcodeShift,
1492959b6ec49be09096cf0a5e7504d2a1ec15ef2b3Chris Lattner    // Bits 25 -> 31 are unused
1509d17740295838f94120646ef619b2e187f2d71bdChris Lattner  };
1519d17740295838f94120646ef619b2e187f2d71bdChris Lattner}
1529d17740295838f94120646ef619b2e187f2d71bdChris Lattner
1533501feab811c86c9659248a4875fc31a3165f84dChris Lattnerclass X86InstrInfo : public TargetInstrInfo {
154726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner  const X86RegisterInfo RI;
155726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattnerpublic:
156055c965bff7c8567e7fae90ffe1e10e109856064Chris Lattner  X86InstrInfo();
157726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner
1583501feab811c86c9659248a4875fc31a3165f84dChris Lattner  /// getRegisterInfo - TargetInstrInfo is a superset of MRegister info.  As
159726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner  /// such, whenever a client has an instance of instruction info, it should
160726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner  /// always be able to get register info as well (through this method).
161726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner  ///
162726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner  virtual const MRegisterInfo &getRegisterInfo() const { return RI; }
163726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner
164e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  /// createNOPinstr - returns the target's implementation of NOP, which is
165e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  /// usually a pseudo-instruction, implemented by a degenerate version of
166e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  /// another instruction, e.g. X86: `xchg ax, ax'; SparcV9: `sethi r0, r0, r0'
167e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  ///
168e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  MachineInstr* createNOPinstr() const;
169e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman
17012745c55e1d5a6e76d41684f1b507ea7c6b888acMisha Brukman  /// isNOPinstr - not having a special NOP opcode, we need to know if a given
17112745c55e1d5a6e76d41684f1b507ea7c6b888acMisha Brukman  /// instruction is interpreted as an `official' NOP instr, i.e., there may be
17212745c55e1d5a6e76d41684f1b507ea7c6b888acMisha Brukman  /// more than one way to `do nothing' but only one canonical way to slack off.
173e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  ///
174e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman  bool isNOPinstr(const MachineInstr &MI) const;
175e9d883828ad92f3a1d06e3c9e98c4e3df937197dMisha Brukman
176f21dfcddcf199444440004bfa74bb222e2d3ce9eChris Lattner  // getBaseOpcodeFor - This function returns the "base" X86 opcode for the
177f21dfcddcf199444440004bfa74bb222e2d3ce9eChris Lattner  // specified opcode number.
178f21dfcddcf199444440004bfa74bb222e2d3ce9eChris Lattner  //
1794d18d5ce1e62779e7736ca0811e2e1cb06e4ea36Chris Lattner  unsigned char getBaseOpcodeFor(unsigned Opcode) const {
1804d18d5ce1e62779e7736ca0811e2e1cb06e4ea36Chris Lattner    return get(Opcode).TSFlags >> X86II::OpcodeShift;
1814d18d5ce1e62779e7736ca0811e2e1cb06e4ea36Chris Lattner  }
182726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner};
183726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner
184726140821f96e3472a8eccef0c67c0b5ad65a1d9Chris Lattner#endif
185