1//===-- X86.td - Target definition file for the Intel X86 --*- tablegen -*-===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This is a target description file for the Intel i386 architecture, referred 11// to here as the "X86" architecture. 12// 13//===----------------------------------------------------------------------===// 14 15// Get the target-independent interfaces which we are implementing... 16// 17include "llvm/Target/Target.td" 18 19//===----------------------------------------------------------------------===// 20// X86 Subtarget state. 21// 22 23def Mode64Bit : SubtargetFeature<"64bit-mode", "In64BitMode", "true", 24 "64-bit mode (x86_64)">; 25 26//===----------------------------------------------------------------------===// 27// X86 Subtarget features. 28//===----------------------------------------------------------------------===// 29 30def FeatureCMOV : SubtargetFeature<"cmov","HasCMov", "true", 31 "Enable conditional move instructions">; 32 33def FeaturePOPCNT : SubtargetFeature<"popcnt", "HasPOPCNT", "true", 34 "Support POPCNT instruction">; 35 36 37def FeatureMMX : SubtargetFeature<"mmx","X86SSELevel", "MMX", 38 "Enable MMX instructions">; 39def FeatureSSE1 : SubtargetFeature<"sse", "X86SSELevel", "SSE1", 40 "Enable SSE instructions", 41 // SSE codegen depends on cmovs, and all 42 // SSE1+ processors support them. 43 [FeatureMMX, FeatureCMOV]>; 44def FeatureSSE2 : SubtargetFeature<"sse2", "X86SSELevel", "SSE2", 45 "Enable SSE2 instructions", 46 [FeatureSSE1]>; 47def FeatureSSE3 : SubtargetFeature<"sse3", "X86SSELevel", "SSE3", 48 "Enable SSE3 instructions", 49 [FeatureSSE2]>; 50def FeatureSSSE3 : SubtargetFeature<"ssse3", "X86SSELevel", "SSSE3", 51 "Enable SSSE3 instructions", 52 [FeatureSSE3]>; 53def FeatureSSE41 : SubtargetFeature<"sse41", "X86SSELevel", "SSE41", 54 "Enable SSE 4.1 instructions", 55 [FeatureSSSE3]>; 56def FeatureSSE42 : SubtargetFeature<"sse42", "X86SSELevel", "SSE42", 57 "Enable SSE 4.2 instructions", 58 [FeatureSSE41]>; 59def Feature3DNow : SubtargetFeature<"3dnow", "X863DNowLevel", "ThreeDNow", 60 "Enable 3DNow! instructions", 61 [FeatureMMX]>; 62def Feature3DNowA : SubtargetFeature<"3dnowa", "X863DNowLevel", "ThreeDNowA", 63 "Enable 3DNow! Athlon instructions", 64 [Feature3DNow]>; 65// All x86-64 hardware has SSE2, but we don't mark SSE2 as an implied 66// feature, because SSE2 can be disabled (e.g. for compiling OS kernels) 67// without disabling 64-bit mode. 68def Feature64Bit : SubtargetFeature<"64bit", "HasX86_64", "true", 69 "Support 64-bit instructions", 70 [FeatureCMOV]>; 71def FeatureCMPXCHG16B : SubtargetFeature<"cmpxchg16b", "HasCmpxchg16b", "true", 72 "64-bit with cmpxchg16b", 73 [Feature64Bit]>; 74def FeatureSlowBTMem : SubtargetFeature<"slow-bt-mem", "IsBTMemSlow", "true", 75 "Bit testing of memory is slow">; 76def FeatureFastUAMem : SubtargetFeature<"fast-unaligned-mem", 77 "IsUAMemFast", "true", 78 "Fast unaligned memory access">; 79def FeatureSSE4A : SubtargetFeature<"sse4a", "HasSSE4A", "true", 80 "Support SSE 4a instructions", 81 [FeatureSSE3]>; 82 83def FeatureAVX : SubtargetFeature<"avx", "X86SSELevel", "AVX", 84 "Enable AVX instructions", 85 [FeatureSSE42]>; 86def FeatureAVX2 : SubtargetFeature<"avx2", "X86SSELevel", "AVX2", 87 "Enable AVX2 instructions", 88 [FeatureAVX]>; 89def FeatureCLMUL : SubtargetFeature<"clmul", "HasCLMUL", "true", 90 "Enable carry-less multiplication instructions">; 91def FeatureFMA3 : SubtargetFeature<"fma3", "HasFMA3", "true", 92 "Enable three-operand fused multiple-add", 93 [FeatureAVX]>; 94def FeatureFMA4 : SubtargetFeature<"fma4", "HasFMA4", "true", 95 "Enable four-operand fused multiple-add", 96 [FeatureAVX]>; 97def FeatureXOP : SubtargetFeature<"xop", "HasXOP", "true", 98 "Enable XOP instructions">; 99def FeatureVectorUAMem : SubtargetFeature<"vector-unaligned-mem", 100 "HasVectorUAMem", "true", 101 "Allow unaligned memory operands on vector/SIMD instructions">; 102def FeatureAES : SubtargetFeature<"aes", "HasAES", "true", 103 "Enable AES instructions">; 104def FeatureMOVBE : SubtargetFeature<"movbe", "HasMOVBE", "true", 105 "Support MOVBE instruction">; 106def FeatureRDRAND : SubtargetFeature<"rdrand", "HasRDRAND", "true", 107 "Support RDRAND instruction">; 108def FeatureF16C : SubtargetFeature<"f16c", "HasF16C", "true", 109 "Support 16-bit floating point conversion instructions">; 110def FeatureFSGSBase : SubtargetFeature<"fsgsbase", "HasFSGSBase", "true", 111 "Support FS/GS Base instructions">; 112def FeatureLZCNT : SubtargetFeature<"lzcnt", "HasLZCNT", "true", 113 "Support LZCNT instruction">; 114def FeatureBMI : SubtargetFeature<"bmi", "HasBMI", "true", 115 "Support BMI instructions">; 116def FeatureBMI2 : SubtargetFeature<"bmi2", "HasBMI2", "true", 117 "Support BMI2 instructions">; 118def FeatureLeaForSP : SubtargetFeature<"lea-sp", "UseLeaForSP", "true", 119 "Use LEA for adjusting the stack pointer">; 120 121//===----------------------------------------------------------------------===// 122// X86 processors supported. 123//===----------------------------------------------------------------------===// 124 125include "X86Schedule.td" 126 127def ProcIntelAtom : SubtargetFeature<"atom", "X86ProcFamily", "IntelAtom", 128 "Intel Atom processors">; 129 130class Proc<string Name, list<SubtargetFeature> Features> 131 : Processor<Name, GenericItineraries, Features>; 132 133class AtomProc<string Name, list<SubtargetFeature> Features> 134 : Processor<Name, AtomItineraries, Features>; 135 136def : Proc<"generic", []>; 137def : Proc<"i386", []>; 138def : Proc<"i486", []>; 139def : Proc<"i586", []>; 140def : Proc<"pentium", []>; 141def : Proc<"pentium-mmx", [FeatureMMX]>; 142def : Proc<"i686", []>; 143def : Proc<"pentiumpro", [FeatureCMOV]>; 144def : Proc<"pentium2", [FeatureMMX, FeatureCMOV]>; 145def : Proc<"pentium3", [FeatureSSE1]>; 146def : Proc<"pentium3m", [FeatureSSE1, FeatureSlowBTMem]>; 147def : Proc<"pentium-m", [FeatureSSE2, FeatureSlowBTMem]>; 148def : Proc<"pentium4", [FeatureSSE2]>; 149def : Proc<"pentium4m", [FeatureSSE2, FeatureSlowBTMem]>; 150def : Proc<"x86-64", [FeatureSSE2, Feature64Bit, FeatureSlowBTMem]>; 151def : Proc<"yonah", [FeatureSSE3, FeatureSlowBTMem]>; 152def : Proc<"prescott", [FeatureSSE3, FeatureSlowBTMem]>; 153def : Proc<"nocona", [FeatureSSE3, FeatureCMPXCHG16B, 154 FeatureSlowBTMem]>; 155def : Proc<"core2", [FeatureSSSE3, FeatureCMPXCHG16B, 156 FeatureSlowBTMem]>; 157def : Proc<"penryn", [FeatureSSE41, FeatureCMPXCHG16B, 158 FeatureSlowBTMem]>; 159def : AtomProc<"atom", [ProcIntelAtom, FeatureSSE3, FeatureCMPXCHG16B, 160 FeatureMOVBE, FeatureSlowBTMem, FeatureLeaForSP]>; 161// "Arrandale" along with corei3 and corei5 162def : Proc<"corei7", [FeatureSSE42, FeatureCMPXCHG16B, 163 FeatureSlowBTMem, FeatureFastUAMem, 164 FeaturePOPCNT, FeatureAES]>; 165def : Proc<"nehalem", [FeatureSSE42, FeatureCMPXCHG16B, 166 FeatureSlowBTMem, FeatureFastUAMem, 167 FeaturePOPCNT]>; 168// Westmere is a similar machine to nehalem with some additional features. 169// Westmere is the corei3/i5/i7 path from nehalem to sandybridge 170def : Proc<"westmere", [FeatureSSE42, FeatureCMPXCHG16B, 171 FeatureSlowBTMem, FeatureFastUAMem, 172 FeaturePOPCNT, FeatureAES, FeatureCLMUL]>; 173// Sandy Bridge 174// SSE is not listed here since llvm treats AVX as a reimplementation of SSE, 175// rather than a superset. 176// FIXME: Disabling AVX for now since it's not ready. 177def : Proc<"corei7-avx", [FeatureSSE42, FeatureCMPXCHG16B, FeaturePOPCNT, 178 FeatureAES, FeatureCLMUL]>; 179// Ivy Bridge 180def : Proc<"core-avx-i", [FeatureSSE42, FeatureCMPXCHG16B, FeaturePOPCNT, 181 FeatureAES, FeatureCLMUL, 182 FeatureRDRAND, FeatureF16C, FeatureFSGSBase]>; 183 184// Haswell 185// FIXME: Disabling AVX/AVX2/FMA3 for now since it's not ready. 186def : Proc<"core-avx2", [FeatureSSE42, FeatureCMPXCHG16B, FeaturePOPCNT, 187 FeatureAES, FeatureCLMUL, FeatureRDRAND, 188 FeatureF16C, FeatureFSGSBase, 189 FeatureMOVBE, FeatureLZCNT, FeatureBMI, 190 FeatureBMI2]>; 191 192def : Proc<"k6", [FeatureMMX]>; 193def : Proc<"k6-2", [Feature3DNow]>; 194def : Proc<"k6-3", [Feature3DNow]>; 195def : Proc<"athlon", [Feature3DNowA, FeatureSlowBTMem]>; 196def : Proc<"athlon-tbird", [Feature3DNowA, FeatureSlowBTMem]>; 197def : Proc<"athlon-4", [FeatureSSE1, Feature3DNowA, FeatureSlowBTMem]>; 198def : Proc<"athlon-xp", [FeatureSSE1, Feature3DNowA, FeatureSlowBTMem]>; 199def : Proc<"athlon-mp", [FeatureSSE1, Feature3DNowA, FeatureSlowBTMem]>; 200def : Proc<"k8", [FeatureSSE2, Feature3DNowA, Feature64Bit, 201 FeatureSlowBTMem]>; 202def : Proc<"opteron", [FeatureSSE2, Feature3DNowA, Feature64Bit, 203 FeatureSlowBTMem]>; 204def : Proc<"athlon64", [FeatureSSE2, Feature3DNowA, Feature64Bit, 205 FeatureSlowBTMem]>; 206def : Proc<"athlon-fx", [FeatureSSE2, Feature3DNowA, Feature64Bit, 207 FeatureSlowBTMem]>; 208def : Proc<"k8-sse3", [FeatureSSE3, Feature3DNowA, FeatureCMPXCHG16B, 209 FeatureSlowBTMem]>; 210def : Proc<"opteron-sse3", [FeatureSSE3, Feature3DNowA, FeatureCMPXCHG16B, 211 FeatureSlowBTMem]>; 212def : Proc<"athlon64-sse3", [FeatureSSE3, Feature3DNowA, FeatureCMPXCHG16B, 213 FeatureSlowBTMem]>; 214def : Proc<"amdfam10", [FeatureSSE3, FeatureSSE4A, 215 Feature3DNowA, FeatureCMPXCHG16B, FeatureLZCNT, 216 FeaturePOPCNT, FeatureSlowBTMem]>; 217// Bobcat 218def : Proc<"btver1", [FeatureSSSE3, FeatureSSE4A, FeatureCMPXCHG16B, 219 FeatureLZCNT, FeaturePOPCNT]>; 220// FIXME: Disabling AVX/FMA4 for now since it's not ready. 221// Bulldozer 222def : Proc<"bdver1", [FeatureSSE42, FeatureSSE4A, FeatureCMPXCHG16B, 223 FeatureAES, FeatureCLMUL, 224 FeatureXOP, FeatureLZCNT, FeaturePOPCNT]>; 225// Enhanced Bulldozer 226def : Proc<"bdver2", [FeatureSSE42, FeatureSSE4A, FeatureCMPXCHG16B, 227 FeatureAES, FeatureCLMUL, 228 FeatureXOP, FeatureF16C, FeatureLZCNT, 229 FeaturePOPCNT, FeatureBMI]>; 230 231def : Proc<"winchip-c6", [FeatureMMX]>; 232def : Proc<"winchip2", [Feature3DNow]>; 233def : Proc<"c3", [Feature3DNow]>; 234def : Proc<"c3-2", [FeatureSSE1]>; 235 236//===----------------------------------------------------------------------===// 237// Register File Description 238//===----------------------------------------------------------------------===// 239 240include "X86RegisterInfo.td" 241 242//===----------------------------------------------------------------------===// 243// Instruction Descriptions 244//===----------------------------------------------------------------------===// 245 246include "X86InstrInfo.td" 247 248def X86InstrInfo : InstrInfo; 249 250//===----------------------------------------------------------------------===// 251// Calling Conventions 252//===----------------------------------------------------------------------===// 253 254include "X86CallingConv.td" 255 256 257//===----------------------------------------------------------------------===// 258// Assembly Parser 259//===----------------------------------------------------------------------===// 260 261def ATTAsmParser : AsmParser { 262 string AsmParserClassName = "AsmParser"; 263} 264 265def ATTAsmParserVariant : AsmParserVariant { 266 int Variant = 0; 267 268 // Discard comments in assembly strings. 269 string CommentDelimiter = "#"; 270 271 // Recognize hard coded registers. 272 string RegisterPrefix = "%"; 273} 274 275def IntelAsmParserVariant : AsmParserVariant { 276 int Variant = 1; 277 278 // Discard comments in assembly strings. 279 string CommentDelimiter = ";"; 280 281 // Recognize hard coded registers. 282 string RegisterPrefix = ""; 283} 284 285//===----------------------------------------------------------------------===// 286// Assembly Printers 287//===----------------------------------------------------------------------===// 288 289// The X86 target supports two different syntaxes for emitting machine code. 290// This is controlled by the -x86-asm-syntax={att|intel} 291def ATTAsmWriter : AsmWriter { 292 string AsmWriterClassName = "ATTInstPrinter"; 293 int Variant = 0; 294 bit isMCAsmWriter = 1; 295} 296def IntelAsmWriter : AsmWriter { 297 string AsmWriterClassName = "IntelInstPrinter"; 298 int Variant = 1; 299 bit isMCAsmWriter = 1; 300} 301 302def X86 : Target { 303 // Information about the instructions... 304 let InstructionSet = X86InstrInfo; 305 let AssemblyParsers = [ATTAsmParser]; 306 let AssemblyParserVariants = [ATTAsmParserVariant, IntelAsmParserVariant]; 307 let AssemblyWriters = [ATTAsmWriter, IntelAsmWriter]; 308} 309