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