blob: 5e4f62d8a1d6746f8547fae928e6d58029350904 [file] [log] [blame]
Craig Topperd5c28c42020-06-09 12:18:08 -07001//===-- X86TargetParser - Parser for X86 features ---------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements a target parser to recognise X86 hardware features.
10//
11//===----------------------------------------------------------------------===//
12
13#include "llvm/Support/X86TargetParser.h"
14#include "llvm/ADT/StringSwitch.h"
15#include "llvm/ADT/Triple.h"
16
17using namespace llvm;
Craig Topper8dc92142020-06-24 10:36:02 -070018using namespace llvm::X86;
Craig Topperd5c28c42020-06-09 12:18:08 -070019
Craig Topper8dc92142020-06-24 10:36:02 -070020namespace {
21
Craig Topper35379392020-06-30 11:59:03 -070022/// Container class for CPU features.
23/// This is a constexpr reimplementation of a subset of std::bitset. It would be
24/// nice to use std::bitset directly, but it doesn't support constant
25/// initialization.
26class FeatureBitset {
27 static constexpr unsigned NUM_FEATURE_WORDS =
28 (X86::CPU_FEATURE_MAX + 31) / 32;
29
30 // This cannot be a std::array, operator[] is not constexpr until C++17.
31 uint32_t Bits[NUM_FEATURE_WORDS] = {};
32
33public:
34 constexpr FeatureBitset() = default;
35 constexpr FeatureBitset(std::initializer_list<unsigned> Init) {
36 for (auto I : Init)
37 set(I);
38 }
39
40 constexpr FeatureBitset &set(unsigned I) {
41 uint32_t NewBits = Bits[I / 32] | (uint32_t(1) << (I % 32));
42 Bits[I / 32] = NewBits;
43 return *this;
44 }
45
46 constexpr bool operator[](unsigned I) const {
47 uint32_t Mask = uint32_t(1) << (I % 32);
48 return (Bits[I / 32] & Mask) != 0;
49 }
50
Craig Topper16f3d692020-07-06 22:47:54 -070051 constexpr FeatureBitset &operator|=(const FeatureBitset &RHS) {
52 for (unsigned I = 0, E = array_lengthof(Bits); I != E; ++I) {
53 uint32_t NewBits = Bits[I] | RHS.Bits[I];
54 Bits[I] = NewBits;
55 }
56 return *this;
57 }
58
Craig Topper35379392020-06-30 11:59:03 -070059 constexpr FeatureBitset operator&(const FeatureBitset &RHS) const {
60 FeatureBitset Result;
61 for (unsigned I = 0, E = array_lengthof(Bits); I != E; ++I)
62 Result.Bits[I] = Bits[I] & RHS.Bits[I];
63 return Result;
64 }
65
66 constexpr FeatureBitset operator|(const FeatureBitset &RHS) const {
67 FeatureBitset Result;
68 for (unsigned I = 0, E = array_lengthof(Bits); I != E; ++I)
69 Result.Bits[I] = Bits[I] | RHS.Bits[I];
70 return Result;
71 }
72
73 constexpr FeatureBitset operator~() const {
74 FeatureBitset Result;
75 for (unsigned I = 0, E = array_lengthof(Bits); I != E; ++I)
76 Result.Bits[I] = ~Bits[I];
77 return Result;
78 }
79};
80
Craig Topper8dc92142020-06-24 10:36:02 -070081struct ProcInfo {
82 StringLiteral Name;
83 X86::CPUKind Kind;
84 unsigned KeyFeature;
Craig Topper35379392020-06-30 11:59:03 -070085 FeatureBitset Features;
Craig Topper8dc92142020-06-24 10:36:02 -070086};
87
Craig Topper16f3d692020-07-06 22:47:54 -070088struct FeatureInfo {
89 StringLiteral Name;
90 FeatureBitset ImpliedFeatures;
91};
92
Craig Topper8dc92142020-06-24 10:36:02 -070093} // end anonymous namespace
94
Craig Topper35379392020-06-30 11:59:03 -070095#define X86_FEATURE(ENUM, STRING) \
96 static constexpr FeatureBitset Feature##ENUM = {X86::FEATURE_##ENUM};
97#include "llvm/Support/X86TargetParser.def"
98
99// Pentium with MMX.
100static constexpr FeatureBitset FeaturesPentiumMMX =
101 FeatureX87 | FeatureCMPXCHG8B | FeatureMMX;
102
103// Pentium 2 and 3.
104static constexpr FeatureBitset FeaturesPentium2 =
105 FeatureX87 | FeatureCMPXCHG8B | FeatureMMX | FeatureFXSR;
106static constexpr FeatureBitset FeaturesPentium3 = FeaturesPentium2 | FeatureSSE;
107
108// Pentium 4 CPUs
109static constexpr FeatureBitset FeaturesPentium4 =
110 FeaturesPentium3 | FeatureSSE2;
111static constexpr FeatureBitset FeaturesPrescott =
112 FeaturesPentium4 | FeatureSSE3;
113static constexpr FeatureBitset FeaturesNocona =
114 FeaturesPrescott | FeatureEM64T | FeatureCMPXCHG16B;
115
116// Basic 64-bit capable CPU.
117static constexpr FeatureBitset FeaturesX86_64 = FeaturesPentium4 | FeatureEM64T;
118
119// Intel Core CPUs
120static constexpr FeatureBitset FeaturesCore2 =
121 FeaturesNocona | FeatureSAHF | FeatureSSSE3;
122static constexpr FeatureBitset FeaturesPenryn = FeaturesCore2 | FeatureSSE4_1;
123static constexpr FeatureBitset FeaturesNehalem =
124 FeaturesPenryn | FeaturePOPCNT | FeatureSSE4_2;
125static constexpr FeatureBitset FeaturesWestmere =
126 FeaturesNehalem | FeaturePCLMUL;
127static constexpr FeatureBitset FeaturesSandyBridge =
128 FeaturesWestmere | FeatureAVX | FeatureXSAVE | FeatureXSAVEOPT;
129static constexpr FeatureBitset FeaturesIvyBridge =
130 FeaturesSandyBridge | FeatureF16C | FeatureFSGSBASE | FeatureRDRND;
131static constexpr FeatureBitset FeaturesHaswell =
132 FeaturesIvyBridge | FeatureAVX2 | FeatureBMI | FeatureBMI2 | FeatureFMA |
133 FeatureINVPCID | FeatureLZCNT | FeatureMOVBE;
134static constexpr FeatureBitset FeaturesBroadwell =
135 FeaturesHaswell | FeatureADX | FeaturePRFCHW | FeatureRDSEED;
136
137// Intel Knights Landing and Knights Mill
138// Knights Landing has feature parity with Broadwell.
139static constexpr FeatureBitset FeaturesKNL =
140 FeaturesBroadwell | FeatureAES | FeatureAVX512F | FeatureAVX512CD |
141 FeatureAVX512ER | FeatureAVX512PF | FeaturePREFETCHWT1;
142static constexpr FeatureBitset FeaturesKNM =
143 FeaturesKNL | FeatureAVX512VPOPCNTDQ;
144
145// Intel Skylake processors.
146static constexpr FeatureBitset FeaturesSkylakeClient =
147 FeaturesBroadwell | FeatureAES | FeatureCLFLUSHOPT | FeatureXSAVEC |
148 FeatureXSAVES | FeatureSGX;
149// SkylakeServer inherits all SkylakeClient features except SGX.
150// FIXME: That doesn't match gcc.
151static constexpr FeatureBitset FeaturesSkylakeServer =
152 (FeaturesSkylakeClient & ~FeatureSGX) | FeatureAVX512F | FeatureAVX512CD |
153 FeatureAVX512DQ | FeatureAVX512BW | FeatureAVX512VL | FeatureCLWB |
154 FeaturePKU;
155static constexpr FeatureBitset FeaturesCascadeLake =
156 FeaturesSkylakeServer | FeatureAVX512VNNI;
157static constexpr FeatureBitset FeaturesCooperLake =
158 FeaturesCascadeLake | FeatureAVX512BF16;
159
160// Intel 10nm processors.
161static constexpr FeatureBitset FeaturesCannonlake =
162 FeaturesSkylakeClient | FeatureAVX512F | FeatureAVX512CD | FeatureAVX512DQ |
163 FeatureAVX512BW | FeatureAVX512VL | FeatureAVX512IFMA | FeatureAVX512VBMI |
164 FeaturePKU | FeatureSHA;
165static constexpr FeatureBitset FeaturesICLClient =
166 FeaturesCannonlake | FeatureAVX512BITALG | FeatureAVX512VBMI2 |
167 FeatureAVX512VNNI | FeatureAVX512VPOPCNTDQ | FeatureCLWB | FeatureGFNI |
168 FeatureRDPID | FeatureVAES | FeatureVPCLMULQDQ;
169static constexpr FeatureBitset FeaturesICLServer =
170 FeaturesICLClient | FeaturePCONFIG | FeatureWBNOINVD;
171static constexpr FeatureBitset FeaturesTigerlake =
172 FeaturesICLClient | FeatureAVX512VP2INTERSECT | FeatureMOVDIR64B |
173 FeatureMOVDIRI | FeatureSHSTK;
174
175// Intel Atom processors.
176// Bonnell has feature parity with Core2 and adds MOVBE.
177static constexpr FeatureBitset FeaturesBonnell = FeaturesCore2 | FeatureMOVBE;
178// Silvermont has parity with Westmere and Bonnell plus PRFCHW and RDRND.
179static constexpr FeatureBitset FeaturesSilvermont =
180 FeaturesBonnell | FeaturesWestmere | FeaturePRFCHW | FeatureRDRND;
181static constexpr FeatureBitset FeaturesGoldmont =
182 FeaturesSilvermont | FeatureAES | FeatureCLFLUSHOPT | FeatureFSGSBASE |
183 FeatureRDSEED | FeatureSHA | FeatureXSAVE | FeatureXSAVEC |
184 FeatureXSAVEOPT | FeatureXSAVES;
185static constexpr FeatureBitset FeaturesGoldmontPlus =
186 FeaturesGoldmont | FeaturePTWRITE | FeatureRDPID | FeatureSGX;
187static constexpr FeatureBitset FeaturesTremont =
188 FeaturesGoldmontPlus | FeatureCLWB | FeatureGFNI;
189
190// Geode Processor.
191static constexpr FeatureBitset FeaturesGeode =
192 FeatureX87 | FeatureCMPXCHG8B | FeatureMMX | Feature3DNOW | Feature3DNOWA;
193
194// K6 processor.
195static constexpr FeatureBitset FeaturesK6 =
196 FeatureX87 | FeatureCMPXCHG8B | FeatureMMX;
197
198// K7 and K8 architecture processors.
199static constexpr FeatureBitset FeaturesAthlon =
200 FeatureX87 | FeatureCMPXCHG8B | FeatureMMX | Feature3DNOW | Feature3DNOWA;
201static constexpr FeatureBitset FeaturesAthlonXP =
202 FeaturesAthlon | FeatureFXSR | FeatureSSE;
203static constexpr FeatureBitset FeaturesK8 =
204 FeaturesAthlonXP | FeatureSSE2 | FeatureEM64T;
205static constexpr FeatureBitset FeaturesK8SSE3 = FeaturesK8 | FeatureSSE3;
206static constexpr FeatureBitset FeaturesAMDFAM10 =
207 FeaturesK8SSE3 | FeatureCMPXCHG16B | FeatureLZCNT | FeaturePOPCNT |
Craig Topper7fb3a842020-07-06 22:11:17 -0700208 FeaturePRFCHW | FeatureSAHF | FeatureSSE4_A;
Craig Topper35379392020-06-30 11:59:03 -0700209
210// Bobcat architecture processors.
211static constexpr FeatureBitset FeaturesBTVER1 =
212 FeatureX87 | FeatureCMPXCHG8B | FeatureCMPXCHG16B | FeatureEM64T |
213 FeatureFXSR | FeatureLZCNT | FeatureMMX | FeaturePOPCNT | FeaturePRFCHW |
Craig Topper7fb3a842020-07-06 22:11:17 -0700214 FeatureSSE | FeatureSSE2 | FeatureSSE3 | FeatureSSSE3 | FeatureSSE4_A |
Craig Topper35379392020-06-30 11:59:03 -0700215 FeatureSAHF;
216static constexpr FeatureBitset FeaturesBTVER2 =
217 FeaturesBTVER1 | FeatureAES | FeatureAVX | FeatureBMI | FeatureF16C |
218 FeatureMOVBE | FeaturePCLMUL | FeatureXSAVE | FeatureXSAVEOPT;
219
220// AMD Bulldozer architecture processors.
221static constexpr FeatureBitset FeaturesBDVER1 =
222 FeatureX87 | FeatureAES | FeatureAVX | FeatureCMPXCHG8B |
Douglas Yung56fc6b92020-06-30 18:10:09 -0700223 FeatureCMPXCHG16B | FeatureEM64T | FeatureFMA4 | FeatureFXSR | FeatureLWP |
224 FeatureLZCNT | FeatureMMX | FeaturePCLMUL | FeaturePOPCNT | FeaturePRFCHW |
225 FeatureSAHF | FeatureSSE | FeatureSSE2 | FeatureSSE3 | FeatureSSSE3 |
Craig Topper7fb3a842020-07-06 22:11:17 -0700226 FeatureSSE4_1 | FeatureSSE4_2 | FeatureSSE4_A | FeatureXOP | FeatureXSAVE;
Craig Topper35379392020-06-30 11:59:03 -0700227static constexpr FeatureBitset FeaturesBDVER2 =
228 FeaturesBDVER1 | FeatureBMI | FeatureFMA | FeatureF16C | FeatureTBM;
229static constexpr FeatureBitset FeaturesBDVER3 =
230 FeaturesBDVER2 | FeatureFSGSBASE | FeatureXSAVEOPT;
231static constexpr FeatureBitset FeaturesBDVER4 =
232 FeaturesBDVER3 | FeatureAVX2 | FeatureBMI2 | FeatureMOVBE | FeatureMWAITX |
233 FeatureRDRND;
234
235// AMD Zen architecture processors.
236static constexpr FeatureBitset FeaturesZNVER1 =
237 FeatureX87 | FeatureADX | FeatureAES | FeatureAVX | FeatureAVX2 |
238 FeatureBMI | FeatureBMI2 | FeatureCLFLUSHOPT | FeatureCLZERO |
239 FeatureCMPXCHG8B | FeatureCMPXCHG16B | FeatureEM64T | FeatureF16C |
Douglas Yung56fc6b92020-06-30 18:10:09 -0700240 FeatureFMA | FeatureFSGSBASE | FeatureFXSR | FeatureLZCNT | FeatureMMX |
241 FeatureMOVBE | FeatureMWAITX | FeaturePCLMUL | FeaturePOPCNT |
242 FeaturePRFCHW | FeatureRDRND | FeatureRDSEED | FeatureSAHF | FeatureSHA |
243 FeatureSSE | FeatureSSE2 | FeatureSSE3 | FeatureSSSE3 | FeatureSSE4_1 |
Craig Topper7fb3a842020-07-06 22:11:17 -0700244 FeatureSSE4_2 | FeatureSSE4_A | FeatureXSAVE | FeatureXSAVEC |
Douglas Yung56fc6b92020-06-30 18:10:09 -0700245 FeatureXSAVEOPT | FeatureXSAVES;
Craig Topper35379392020-06-30 11:59:03 -0700246static constexpr FeatureBitset FeaturesZNVER2 =
247 FeaturesZNVER1 | FeatureCLWB | FeatureRDPID | FeatureWBNOINVD;
Craig Topper8dc92142020-06-24 10:36:02 -0700248
249static constexpr ProcInfo Processors[] = {
Craig Topper35379392020-06-30 11:59:03 -0700250 // Empty processor. Include X87 and CMPXCHG8 for backwards compatibility.
251 { {""}, CK_None, ~0U, FeatureX87 | FeatureCMPXCHG8B },
Craig Topper8dc92142020-06-24 10:36:02 -0700252 // i386-generation processors.
Craig Topper35379392020-06-30 11:59:03 -0700253 { {"i386"}, CK_i386, ~0U, FeatureX87 },
Craig Topper8dc92142020-06-24 10:36:02 -0700254 // i486-generation processors.
Craig Topper35379392020-06-30 11:59:03 -0700255 { {"i486"}, CK_i486, ~0U, FeatureX87 },
256 { {"winchip-c6"}, CK_WinChipC6, ~0U, FeaturesPentiumMMX },
257 { {"winchip2"}, CK_WinChip2, ~0U, FeaturesPentiumMMX | Feature3DNOW },
258 { {"c3"}, CK_C3, ~0U, FeaturesPentiumMMX | Feature3DNOW },
Craig Topper8dc92142020-06-24 10:36:02 -0700259 // i586-generation processors, P5 microarchitecture based.
Craig Topper35379392020-06-30 11:59:03 -0700260 { {"i586"}, CK_i586, ~0U, FeatureX87 | FeatureCMPXCHG8B },
261 { {"pentium"}, CK_Pentium, ~0U, FeatureX87 | FeatureCMPXCHG8B },
262 { {"pentium-mmx"}, CK_PentiumMMX, ~0U, FeaturesPentiumMMX },
Craig Topper8dc92142020-06-24 10:36:02 -0700263 // i686-generation processors, P6 / Pentium M microarchitecture based.
Craig Topper35379392020-06-30 11:59:03 -0700264 { {"pentiumpro"}, CK_PentiumPro, ~0U, FeatureX87 | FeatureCMPXCHG8B },
265 { {"i686"}, CK_i686, ~0U, FeatureX87 | FeatureCMPXCHG8B },
266 { {"pentium2"}, CK_Pentium2, ~0U, FeaturesPentium2 },
267 { {"pentium3"}, CK_Pentium3, ~0U, FeaturesPentium3 },
268 { {"pentium3m"}, CK_Pentium3, ~0U, FeaturesPentium3 },
269 { {"pentium-m"}, CK_PentiumM, ~0U, FeaturesPentium4 },
270 { {"c3-2"}, CK_C3_2, ~0U, FeaturesPentium3 },
271 { {"yonah"}, CK_Yonah, ~0U, FeaturesPrescott },
Craig Topper8dc92142020-06-24 10:36:02 -0700272 // Netburst microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700273 { {"pentium4"}, CK_Pentium4, ~0U, FeaturesPentium4 },
274 { {"pentium4m"}, CK_Pentium4, ~0U, FeaturesPentium4 },
275 { {"prescott"}, CK_Prescott, ~0U, FeaturesPrescott },
276 { {"nocona"}, CK_Nocona, ~0U, FeaturesNocona },
Craig Topper8dc92142020-06-24 10:36:02 -0700277 // Core microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700278 { {"core2"}, CK_Core2, ~0U, FeaturesCore2 },
279 { {"penryn"}, CK_Penryn, ~0U, FeaturesPenryn },
Craig Topper8dc92142020-06-24 10:36:02 -0700280 // Atom processors
Craig Topper35379392020-06-30 11:59:03 -0700281 { {"bonnell"}, CK_Bonnell, FEATURE_SSSE3, FeaturesBonnell },
282 { {"atom"}, CK_Bonnell, FEATURE_SSSE3, FeaturesBonnell },
283 { {"silvermont"}, CK_Silvermont, FEATURE_SSE4_2, FeaturesSilvermont },
284 { {"slm"}, CK_Silvermont, FEATURE_SSE4_2, FeaturesSilvermont },
285 { {"goldmont"}, CK_Goldmont, FEATURE_SSE4_2, FeaturesGoldmont },
286 { {"goldmont-plus"}, CK_GoldmontPlus, FEATURE_SSE4_2, FeaturesGoldmontPlus },
287 { {"tremont"}, CK_Tremont, FEATURE_SSE4_2, FeaturesTremont },
Craig Topper8dc92142020-06-24 10:36:02 -0700288 // Nehalem microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700289 { {"nehalem"}, CK_Nehalem, FEATURE_SSE4_2, FeaturesNehalem },
290 { {"corei7"}, CK_Nehalem, FEATURE_SSE4_2, FeaturesNehalem },
Craig Topper8dc92142020-06-24 10:36:02 -0700291 // Westmere microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700292 { {"westmere"}, CK_Westmere, FEATURE_PCLMUL, FeaturesWestmere },
Craig Topper8dc92142020-06-24 10:36:02 -0700293 // Sandy Bridge microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700294 { {"sandybridge"}, CK_SandyBridge, FEATURE_AVX, FeaturesSandyBridge },
295 { {"corei7-avx"}, CK_SandyBridge, FEATURE_AVX, FeaturesSandyBridge },
Craig Topper8dc92142020-06-24 10:36:02 -0700296 // Ivy Bridge microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700297 { {"ivybridge"}, CK_IvyBridge, FEATURE_AVX, FeaturesIvyBridge },
298 { {"core-avx-i"}, CK_IvyBridge, FEATURE_AVX, FeaturesIvyBridge },
Craig Topper8dc92142020-06-24 10:36:02 -0700299 // Haswell microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700300 { {"haswell"}, CK_Haswell, FEATURE_AVX2, FeaturesHaswell },
301 { {"core-avx2"}, CK_Haswell, FEATURE_AVX2, FeaturesHaswell },
Craig Topper8dc92142020-06-24 10:36:02 -0700302 // Broadwell microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700303 { {"broadwell"}, CK_Broadwell, FEATURE_AVX2, FeaturesBroadwell },
Craig Topper8dc92142020-06-24 10:36:02 -0700304 // Skylake client microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700305 { {"skylake"}, CK_SkylakeClient, FEATURE_AVX2, FeaturesSkylakeClient },
Craig Topper8dc92142020-06-24 10:36:02 -0700306 // Skylake server microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700307 { {"skylake-avx512"}, CK_SkylakeServer, FEATURE_AVX512F, FeaturesSkylakeServer },
308 { {"skx"}, CK_SkylakeServer, FEATURE_AVX512F, FeaturesSkylakeServer },
Craig Topper8dc92142020-06-24 10:36:02 -0700309 // Cascadelake Server microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700310 { {"cascadelake"}, CK_Cascadelake, FEATURE_AVX512VNNI, FeaturesCascadeLake },
Craig Topper8dc92142020-06-24 10:36:02 -0700311 // Cooperlake Server microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700312 { {"cooperlake"}, CK_Cooperlake, FEATURE_AVX512BF16, FeaturesCooperLake },
Craig Topper8dc92142020-06-24 10:36:02 -0700313 // Cannonlake client microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700314 { {"cannonlake"}, CK_Cannonlake, FEATURE_AVX512VBMI, FeaturesCannonlake },
Craig Topper8dc92142020-06-24 10:36:02 -0700315 // Icelake client microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700316 { {"icelake-client"}, CK_IcelakeClient, FEATURE_AVX512VBMI2, FeaturesICLClient },
Craig Topper8dc92142020-06-24 10:36:02 -0700317 // Icelake server microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700318 { {"icelake-server"}, CK_IcelakeServer, FEATURE_AVX512VBMI2, FeaturesICLServer },
Craig Topper8dc92142020-06-24 10:36:02 -0700319 // Tigerlake microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700320 { {"tigerlake"}, CK_Tigerlake, FEATURE_AVX512VP2INTERSECT, FeaturesTigerlake },
Craig Topper8dc92142020-06-24 10:36:02 -0700321 // Knights Landing processor.
Craig Topper35379392020-06-30 11:59:03 -0700322 { {"knl"}, CK_KNL, FEATURE_AVX512F, FeaturesKNL },
Craig Topper8dc92142020-06-24 10:36:02 -0700323 // Knights Mill processor.
Craig Topper35379392020-06-30 11:59:03 -0700324 { {"knm"}, CK_KNM, FEATURE_AVX5124FMAPS, FeaturesKNM },
Craig Topper8dc92142020-06-24 10:36:02 -0700325 // Lakemont microarchitecture based processors.
Craig Topper35379392020-06-30 11:59:03 -0700326 { {"lakemont"}, CK_Lakemont, ~0U, FeatureCMPXCHG8B },
Craig Topper8dc92142020-06-24 10:36:02 -0700327 // K6 architecture processors.
Craig Topper35379392020-06-30 11:59:03 -0700328 { {"k6"}, CK_K6, ~0U, FeaturesK6 },
329 { {"k6-2"}, CK_K6_2, ~0U, FeaturesK6 | Feature3DNOW },
330 { {"k6-3"}, CK_K6_3, ~0U, FeaturesK6 | Feature3DNOW },
Craig Topper8dc92142020-06-24 10:36:02 -0700331 // K7 architecture processors.
Craig Topper35379392020-06-30 11:59:03 -0700332 { {"athlon"}, CK_Athlon, ~0U, FeaturesAthlon },
333 { {"athlon-tbird"}, CK_Athlon, ~0U, FeaturesAthlon },
334 { {"athlon-xp"}, CK_AthlonXP, ~0U, FeaturesAthlonXP },
335 { {"athlon-mp"}, CK_AthlonXP, ~0U, FeaturesAthlonXP },
336 { {"athlon-4"}, CK_AthlonXP, ~0U, FeaturesAthlonXP },
Craig Topper8dc92142020-06-24 10:36:02 -0700337 // K8 architecture processors.
Craig Topper35379392020-06-30 11:59:03 -0700338 { {"k8"}, CK_K8, ~0U, FeaturesK8 },
339 { {"athlon64"}, CK_K8, ~0U, FeaturesK8 },
340 { {"athlon-fx"}, CK_K8, ~0U, FeaturesK8 },
341 { {"opteron"}, CK_K8, ~0U, FeaturesK8 },
342 { {"k8-sse3"}, CK_K8SSE3, ~0U, FeaturesK8SSE3 },
343 { {"athlon64-sse3"}, CK_K8SSE3, ~0U, FeaturesK8SSE3 },
344 { {"opteron-sse3"}, CK_K8SSE3, ~0U, FeaturesK8SSE3 },
345 { {"amdfam10"}, CK_AMDFAM10, FEATURE_SSE4_A, FeaturesAMDFAM10 },
346 { {"barcelona"}, CK_AMDFAM10, FEATURE_SSE4_A, FeaturesAMDFAM10 },
Craig Topper8dc92142020-06-24 10:36:02 -0700347 // Bobcat architecture processors.
Craig Topper35379392020-06-30 11:59:03 -0700348 { {"btver1"}, CK_BTVER1, FEATURE_SSE4_A, FeaturesBTVER1 },
349 { {"btver2"}, CK_BTVER2, FEATURE_BMI, FeaturesBTVER2 },
Craig Topper8dc92142020-06-24 10:36:02 -0700350 // Bulldozer architecture processors.
Craig Topper35379392020-06-30 11:59:03 -0700351 { {"bdver1"}, CK_BDVER1, FEATURE_XOP, FeaturesBDVER1 },
352 { {"bdver2"}, CK_BDVER2, FEATURE_FMA, FeaturesBDVER2 },
353 { {"bdver3"}, CK_BDVER3, FEATURE_FMA, FeaturesBDVER3 },
354 { {"bdver4"}, CK_BDVER4, FEATURE_AVX2, FeaturesBDVER4 },
Craig Topper8dc92142020-06-24 10:36:02 -0700355 // Zen architecture processors.
Craig Topper35379392020-06-30 11:59:03 -0700356 { {"znver1"}, CK_ZNVER1, FEATURE_AVX2, FeaturesZNVER1 },
357 { {"znver2"}, CK_ZNVER2, FEATURE_AVX2, FeaturesZNVER2 },
Craig Topper8dc92142020-06-24 10:36:02 -0700358 // Generic 64-bit processor.
Craig Topper35379392020-06-30 11:59:03 -0700359 { {"x86-64"}, CK_x86_64, ~0U, FeaturesX86_64 },
Craig Topper8dc92142020-06-24 10:36:02 -0700360 // Geode processors.
Craig Topper35379392020-06-30 11:59:03 -0700361 { {"geode"}, CK_Geode, ~0U, FeaturesGeode },
Craig Topper8dc92142020-06-24 10:36:02 -0700362};
Craig Topperd5c28c42020-06-09 12:18:08 -0700363
364X86::CPUKind llvm::X86::parseArchX86(StringRef CPU, bool Only64Bit) {
Craig Topper8dc92142020-06-24 10:36:02 -0700365 for (const auto &P : Processors)
Craig Topper35379392020-06-30 11:59:03 -0700366 if (P.Name == CPU && (P.Features[FEATURE_EM64T] || !Only64Bit))
Craig Topper8dc92142020-06-24 10:36:02 -0700367 return P.Kind;
Craig Topperd5c28c42020-06-09 12:18:08 -0700368
Craig Topper8dc92142020-06-24 10:36:02 -0700369 return CK_None;
Craig Topperd5c28c42020-06-09 12:18:08 -0700370}
371
372void llvm::X86::fillValidCPUArchList(SmallVectorImpl<StringRef> &Values,
373 bool Only64Bit) {
Craig Topper8dc92142020-06-24 10:36:02 -0700374 for (const auto &P : Processors)
Craig Topper35379392020-06-30 11:59:03 -0700375 if (!P.Name.empty() && (P.Features[FEATURE_EM64T] || !Only64Bit))
Craig Topper8dc92142020-06-24 10:36:02 -0700376 Values.emplace_back(P.Name);
377}
378
379ProcessorFeatures llvm::X86::getKeyFeature(X86::CPUKind Kind) {
380 // FIXME: Can we avoid a linear search here? The table might be sorted by
381 // CPUKind so we could binary search?
382 for (const auto &P : Processors) {
383 if (P.Kind == Kind) {
384 assert(P.KeyFeature != ~0U && "Processor does not have a key feature.");
385 return static_cast<ProcessorFeatures>(P.KeyFeature);
386 }
387 }
388
389 llvm_unreachable("Unable to find CPU kind!");
Craig Topperd5c28c42020-06-09 12:18:08 -0700390}
Craig Topper35379392020-06-30 11:59:03 -0700391
Craig Topper16f3d692020-07-06 22:47:54 -0700392// Features with no dependencies.
393static constexpr FeatureBitset ImpliedFeaturesADX = {};
394static constexpr FeatureBitset ImpliedFeaturesBMI = {};
395static constexpr FeatureBitset ImpliedFeaturesBMI2 = {};
396static constexpr FeatureBitset ImpliedFeaturesCLDEMOTE = {};
397static constexpr FeatureBitset ImpliedFeaturesCLFLUSHOPT = {};
398static constexpr FeatureBitset ImpliedFeaturesCLWB = {};
399static constexpr FeatureBitset ImpliedFeaturesCLZERO = {};
400static constexpr FeatureBitset ImpliedFeaturesCMOV = {};
401static constexpr FeatureBitset ImpliedFeaturesCMPXCHG16B = {};
402static constexpr FeatureBitset ImpliedFeaturesCMPXCHG8B = {};
403static constexpr FeatureBitset ImpliedFeaturesEM64T = {};
404static constexpr FeatureBitset ImpliedFeaturesENQCMD = {};
405static constexpr FeatureBitset ImpliedFeaturesFSGSBASE = {};
406static constexpr FeatureBitset ImpliedFeaturesFXSR = {};
407static constexpr FeatureBitset ImpliedFeaturesINVPCID = {};
408static constexpr FeatureBitset ImpliedFeaturesLWP = {};
409static constexpr FeatureBitset ImpliedFeaturesLZCNT = {};
410static constexpr FeatureBitset ImpliedFeaturesMWAITX = {};
411static constexpr FeatureBitset ImpliedFeaturesMOVBE = {};
412static constexpr FeatureBitset ImpliedFeaturesMOVDIR64B = {};
413static constexpr FeatureBitset ImpliedFeaturesMOVDIRI = {};
414static constexpr FeatureBitset ImpliedFeaturesPCONFIG = {};
415static constexpr FeatureBitset ImpliedFeaturesPOPCNT = {};
416static constexpr FeatureBitset ImpliedFeaturesPKU = {};
417static constexpr FeatureBitset ImpliedFeaturesPREFETCHWT1 = {};
418static constexpr FeatureBitset ImpliedFeaturesPRFCHW = {};
419static constexpr FeatureBitset ImpliedFeaturesPTWRITE = {};
420static constexpr FeatureBitset ImpliedFeaturesRDPID = {};
421static constexpr FeatureBitset ImpliedFeaturesRDRND = {};
422static constexpr FeatureBitset ImpliedFeaturesRDSEED = {};
423static constexpr FeatureBitset ImpliedFeaturesRTM = {};
424static constexpr FeatureBitset ImpliedFeaturesSAHF = {};
425static constexpr FeatureBitset ImpliedFeaturesSERIALIZE = {};
426static constexpr FeatureBitset ImpliedFeaturesSGX = {};
427static constexpr FeatureBitset ImpliedFeaturesSHSTK = {};
428static constexpr FeatureBitset ImpliedFeaturesTBM = {};
429static constexpr FeatureBitset ImpliedFeaturesTSXLDTRK = {};
430static constexpr FeatureBitset ImpliedFeaturesWAITPKG = {};
431static constexpr FeatureBitset ImpliedFeaturesWBNOINVD = {};
432static constexpr FeatureBitset ImpliedFeaturesVZEROUPPER = {};
433static constexpr FeatureBitset ImpliedFeaturesX87 = {};
434static constexpr FeatureBitset ImpliedFeaturesXSAVE = {};
435
436// Not really CPU features, but need to be in the table because clang uses
437// target features to communicate them to the backend.
438static constexpr FeatureBitset ImpliedFeaturesRETPOLINE_INDIRECT_BRANCHES = {};
439static constexpr FeatureBitset ImpliedFeaturesRETPOLINE_INDIRECT_CALLS = {};
440static constexpr FeatureBitset ImpliedFeaturesLVI_CFI = {};
441static constexpr FeatureBitset ImpliedFeaturesLVI_LOAD_HARDENING = {};
442
443// XSAVE features are dependent on basic XSAVE.
444static constexpr FeatureBitset ImpliedFeaturesXSAVEC = FeatureXSAVE;
445static constexpr FeatureBitset ImpliedFeaturesXSAVEOPT = FeatureXSAVE;
446static constexpr FeatureBitset ImpliedFeaturesXSAVES = FeatureXSAVE;
447
448// MMX->3DNOW->3DNOWA chain.
449static constexpr FeatureBitset ImpliedFeaturesMMX = {};
450static constexpr FeatureBitset ImpliedFeatures3DNOW = FeatureMMX;
451static constexpr FeatureBitset ImpliedFeatures3DNOWA = Feature3DNOW;
452
453// SSE/AVX/AVX512F chain.
454static constexpr FeatureBitset ImpliedFeaturesSSE = {};
455static constexpr FeatureBitset ImpliedFeaturesSSE2 = FeatureSSE;
456static constexpr FeatureBitset ImpliedFeaturesSSE3 = FeatureSSE2;
457static constexpr FeatureBitset ImpliedFeaturesSSSE3 = FeatureSSE3;
458static constexpr FeatureBitset ImpliedFeaturesSSE4_1 = FeatureSSSE3;
459static constexpr FeatureBitset ImpliedFeaturesSSE4_2 = FeatureSSE4_1;
460static constexpr FeatureBitset ImpliedFeaturesAVX = FeatureSSE4_2;
461static constexpr FeatureBitset ImpliedFeaturesAVX2 = FeatureAVX;
462static constexpr FeatureBitset ImpliedFeaturesAVX512F =
463 FeatureAVX2 | FeatureF16C | FeatureFMA;
464
465// Vector extensions that build on SSE or AVX.
466static constexpr FeatureBitset ImpliedFeaturesAES = FeatureSSE2;
467static constexpr FeatureBitset ImpliedFeaturesF16C = FeatureAVX;
468static constexpr FeatureBitset ImpliedFeaturesFMA = FeatureAVX;
469static constexpr FeatureBitset ImpliedFeaturesGFNI = FeatureSSE2;
470static constexpr FeatureBitset ImpliedFeaturesPCLMUL = FeatureSSE2;
471static constexpr FeatureBitset ImpliedFeaturesSHA = FeatureSSE2;
472static constexpr FeatureBitset ImpliedFeaturesVAES = FeatureAES | FeatureAVX;
473static constexpr FeatureBitset ImpliedFeaturesVPCLMULQDQ =
474 FeatureAVX | FeaturePCLMUL;
475
476// AVX512 features.
477static constexpr FeatureBitset ImpliedFeaturesAVX512CD = FeatureAVX512F;
478static constexpr FeatureBitset ImpliedFeaturesAVX512BW = FeatureAVX512F;
479static constexpr FeatureBitset ImpliedFeaturesAVX512DQ = FeatureAVX512F;
480static constexpr FeatureBitset ImpliedFeaturesAVX512ER = FeatureAVX512F;
481static constexpr FeatureBitset ImpliedFeaturesAVX512PF = FeatureAVX512F;
482static constexpr FeatureBitset ImpliedFeaturesAVX512VL = FeatureAVX512F;
483
484static constexpr FeatureBitset ImpliedFeaturesAVX512BF16 = FeatureAVX512BW;
485static constexpr FeatureBitset ImpliedFeaturesAVX512BITALG = FeatureAVX512BW;
486static constexpr FeatureBitset ImpliedFeaturesAVX512IFMA = FeatureAVX512F;
487static constexpr FeatureBitset ImpliedFeaturesAVX512VNNI = FeatureAVX512F;
488static constexpr FeatureBitset ImpliedFeaturesAVX512VPOPCNTDQ = FeatureAVX512F;
489static constexpr FeatureBitset ImpliedFeaturesAVX512VBMI = FeatureAVX512BW;
490static constexpr FeatureBitset ImpliedFeaturesAVX512VBMI2 = FeatureAVX512BW;
491static constexpr FeatureBitset ImpliedFeaturesAVX512VP2INTERSECT =
492 FeatureAVX512F;
493
494// FIXME: These two aren't really implemented and just exist in the feature
495// list for __builtin_cpu_supports. So omit their dependencies.
496static constexpr FeatureBitset ImpliedFeaturesAVX5124FMAPS = {};
497static constexpr FeatureBitset ImpliedFeaturesAVX5124VNNIW = {};
498
499// SSE4_A->FMA4->XOP chain.
500static constexpr FeatureBitset ImpliedFeaturesSSE4_A = FeatureSSSE3;
501static constexpr FeatureBitset ImpliedFeaturesFMA4 = FeatureAVX | FeatureSSE4_A;
502static constexpr FeatureBitset ImpliedFeaturesXOP = FeatureFMA4;
503
504// AMX Features
505static constexpr FeatureBitset ImpliedFeaturesAMX_TILE = {};
506static constexpr FeatureBitset ImpliedFeaturesAMX_BF16 = FeatureAMX_TILE;
507static constexpr FeatureBitset ImpliedFeaturesAMX_INT8 = FeatureAMX_TILE;
508
509static constexpr FeatureInfo FeatureInfos[X86::CPU_FEATURE_MAX] = {
510#define X86_FEATURE(ENUM, STR) {{STR}, ImpliedFeatures##ENUM},
Craig Topper35379392020-06-30 11:59:03 -0700511#include "llvm/Support/X86TargetParser.def"
512};
513
Craig Topper16f3d692020-07-06 22:47:54 -0700514// Convert the set bits in FeatureBitset to a list of strings.
515static void getFeatureBitsAsStrings(const FeatureBitset &Bits,
516 SmallVectorImpl<StringRef> &Features) {
517 for (unsigned i = 0; i != CPU_FEATURE_MAX; ++i)
518 if (Bits[i] && !FeatureInfos[i].Name.empty())
519 Features.push_back(FeatureInfos[i].Name);
520}
521
Craig Topper35379392020-06-30 11:59:03 -0700522void llvm::X86::getFeaturesForCPU(StringRef CPU,
Craig Topper16f3d692020-07-06 22:47:54 -0700523 SmallVectorImpl<StringRef> &EnabledFeatures) {
Craig Topper35379392020-06-30 11:59:03 -0700524 auto I = llvm::find_if(Processors,
525 [&](const ProcInfo &P) { return P.Name == CPU; });
526 assert(I != std::end(Processors) && "Processor not found!");
527
528 // Add the string version of all set bits.
Craig Topper16f3d692020-07-06 22:47:54 -0700529 getFeatureBitsAsStrings(I->Features, EnabledFeatures);
530}
531
532// For each feature that is (transitively) implied by this feature, set it.
533static void getImpliedEnabledFeatures(FeatureBitset &Bits,
534 const FeatureBitset &Implies) {
535 Bits |= Implies;
536 for (unsigned i = 0; i != CPU_FEATURE_MAX; ++i) {
537 if (Implies[i])
538 getImpliedEnabledFeatures(Bits, FeatureInfos[i].ImpliedFeatures);
539 }
540}
541
542/// Create bit vector of features that are implied disabled if the feature
543/// passed in Value is disabled.
544static void getImpliedDisabledFeatures(FeatureBitset &Bits, unsigned Value) {
545 // Check all features looking for any dependent on this feature. If we find
546 // one, mark it and recursively find any feature that depend on it.
547 for (unsigned i = 0; i != CPU_FEATURE_MAX; ++i) {
548 if (FeatureInfos[i].ImpliedFeatures[Value]) {
549 Bits.set(i);
550 getImpliedDisabledFeatures(Bits, i);
551 }
552 }
553}
554
555void llvm::X86::getImpliedFeatures(
556 StringRef Feature, bool Enabled,
557 SmallVectorImpl<StringRef> &ImpliedFeatures) {
558 auto I = llvm::find_if(
559 FeatureInfos, [&](const FeatureInfo &FI) { return FI.Name == Feature; });
560 if (I == std::end(FeatureInfos)) {
561 // This shouldn't happen, but handle it gracefully for release builds.
562 assert(false && "Feature not in table!");
563 return;
564 }
565
566 FeatureBitset ImpliedBits;
567 if (Enabled)
568 getImpliedEnabledFeatures(ImpliedBits, I->ImpliedFeatures);
569 else
570 getImpliedDisabledFeatures(ImpliedBits,
571 std::distance(std::begin(FeatureInfos), I));
572
573 // Convert all the found bits into strings.
574 getFeatureBitsAsStrings(ImpliedBits, ImpliedFeatures);
Craig Topper35379392020-06-30 11:59:03 -0700575}