123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744 |
- //===-- X86TargetParser - Parser for X86 features ---------------*- C++ -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file implements a target parser to recognise X86 hardware features.
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/TargetParser/X86TargetParser.h"
- #include "llvm/ADT/StringSwitch.h"
- #include <numeric>
- using namespace llvm;
- using namespace llvm::X86;
- namespace {
- /// Container class for CPU features.
- /// This is a constexpr reimplementation of a subset of std::bitset. It would be
- /// nice to use std::bitset directly, but it doesn't support constant
- /// initialization.
- class FeatureBitset {
- static constexpr unsigned NUM_FEATURE_WORDS =
- (X86::CPU_FEATURE_MAX + 31) / 32;
- // This cannot be a std::array, operator[] is not constexpr until C++17.
- uint32_t Bits[NUM_FEATURE_WORDS] = {};
- public:
- constexpr FeatureBitset() = default;
- constexpr FeatureBitset(std::initializer_list<unsigned> Init) {
- for (auto I : Init)
- set(I);
- }
- bool any() const {
- return llvm::any_of(Bits, [](uint64_t V) { return V != 0; });
- }
- constexpr FeatureBitset &set(unsigned I) {
- // GCC <6.2 crashes if this is written in a single statement.
- uint32_t NewBits = Bits[I / 32] | (uint32_t(1) << (I % 32));
- Bits[I / 32] = NewBits;
- return *this;
- }
- constexpr bool operator[](unsigned I) const {
- uint32_t Mask = uint32_t(1) << (I % 32);
- return (Bits[I / 32] & Mask) != 0;
- }
- constexpr FeatureBitset &operator&=(const FeatureBitset &RHS) {
- for (unsigned I = 0, E = std::size(Bits); I != E; ++I) {
- // GCC <6.2 crashes if this is written in a single statement.
- uint32_t NewBits = Bits[I] & RHS.Bits[I];
- Bits[I] = NewBits;
- }
- return *this;
- }
- constexpr FeatureBitset &operator|=(const FeatureBitset &RHS) {
- for (unsigned I = 0, E = std::size(Bits); I != E; ++I) {
- // GCC <6.2 crashes if this is written in a single statement.
- uint32_t NewBits = Bits[I] | RHS.Bits[I];
- Bits[I] = NewBits;
- }
- return *this;
- }
- // gcc 5.3 miscompiles this if we try to write this using operator&=.
- constexpr FeatureBitset operator&(const FeatureBitset &RHS) const {
- FeatureBitset Result;
- for (unsigned I = 0, E = std::size(Bits); I != E; ++I)
- Result.Bits[I] = Bits[I] & RHS.Bits[I];
- return Result;
- }
- // gcc 5.3 miscompiles this if we try to write this using operator&=.
- constexpr FeatureBitset operator|(const FeatureBitset &RHS) const {
- FeatureBitset Result;
- for (unsigned I = 0, E = std::size(Bits); I != E; ++I)
- Result.Bits[I] = Bits[I] | RHS.Bits[I];
- return Result;
- }
- constexpr FeatureBitset operator~() const {
- FeatureBitset Result;
- for (unsigned I = 0, E = std::size(Bits); I != E; ++I)
- Result.Bits[I] = ~Bits[I];
- return Result;
- }
- constexpr bool operator!=(const FeatureBitset &RHS) const {
- for (unsigned I = 0, E = std::size(Bits); I != E; ++I)
- if (Bits[I] != RHS.Bits[I])
- return true;
- return false;
- }
- };
- struct ProcInfo {
- StringLiteral Name;
- X86::CPUKind Kind;
- unsigned KeyFeature;
- FeatureBitset Features;
- };
- struct FeatureInfo {
- StringLiteral Name;
- FeatureBitset ImpliedFeatures;
- };
- } // end anonymous namespace
- #define X86_FEATURE(ENUM, STRING) \
- constexpr FeatureBitset Feature##ENUM = {X86::FEATURE_##ENUM};
- #include "llvm/TargetParser/X86TargetParser.def"
- // Pentium with MMX.
- constexpr FeatureBitset FeaturesPentiumMMX =
- FeatureX87 | FeatureCMPXCHG8B | FeatureMMX;
- // Pentium 2 and 3.
- constexpr FeatureBitset FeaturesPentium2 =
- FeatureX87 | FeatureCMPXCHG8B | FeatureMMX | FeatureFXSR;
- constexpr FeatureBitset FeaturesPentium3 = FeaturesPentium2 | FeatureSSE;
- // Pentium 4 CPUs
- constexpr FeatureBitset FeaturesPentium4 = FeaturesPentium3 | FeatureSSE2;
- constexpr FeatureBitset FeaturesPrescott = FeaturesPentium4 | FeatureSSE3;
- constexpr FeatureBitset FeaturesNocona =
- FeaturesPrescott | Feature64BIT | FeatureCMPXCHG16B;
- // Basic 64-bit capable CPU.
- constexpr FeatureBitset FeaturesX86_64 = FeaturesPentium4 | Feature64BIT;
- constexpr FeatureBitset FeaturesX86_64_V2 = FeaturesX86_64 | FeatureSAHF |
- FeaturePOPCNT | FeatureCRC32 |
- FeatureSSE4_2 | FeatureCMPXCHG16B;
- constexpr FeatureBitset FeaturesX86_64_V3 =
- FeaturesX86_64_V2 | FeatureAVX2 | FeatureBMI | FeatureBMI2 | FeatureF16C |
- FeatureFMA | FeatureLZCNT | FeatureMOVBE | FeatureXSAVE;
- constexpr FeatureBitset FeaturesX86_64_V4 = FeaturesX86_64_V3 |
- FeatureAVX512BW | FeatureAVX512CD |
- FeatureAVX512DQ | FeatureAVX512VL;
- // Intel Core CPUs
- constexpr FeatureBitset FeaturesCore2 =
- FeaturesNocona | FeatureSAHF | FeatureSSSE3;
- constexpr FeatureBitset FeaturesPenryn = FeaturesCore2 | FeatureSSE4_1;
- constexpr FeatureBitset FeaturesNehalem =
- FeaturesPenryn | FeaturePOPCNT | FeatureCRC32 | FeatureSSE4_2;
- constexpr FeatureBitset FeaturesWestmere = FeaturesNehalem | FeaturePCLMUL;
- constexpr FeatureBitset FeaturesSandyBridge =
- FeaturesWestmere | FeatureAVX | FeatureXSAVE | FeatureXSAVEOPT;
- constexpr FeatureBitset FeaturesIvyBridge =
- FeaturesSandyBridge | FeatureF16C | FeatureFSGSBASE | FeatureRDRND;
- constexpr FeatureBitset FeaturesHaswell =
- FeaturesIvyBridge | FeatureAVX2 | FeatureBMI | FeatureBMI2 | FeatureFMA |
- FeatureINVPCID | FeatureLZCNT | FeatureMOVBE;
- constexpr FeatureBitset FeaturesBroadwell =
- FeaturesHaswell | FeatureADX | FeaturePRFCHW | FeatureRDSEED;
- // Intel Knights Landing and Knights Mill
- // Knights Landing has feature parity with Broadwell.
- constexpr FeatureBitset FeaturesKNL =
- FeaturesBroadwell | FeatureAES | FeatureAVX512F | FeatureAVX512CD |
- FeatureAVX512ER | FeatureAVX512PF | FeaturePREFETCHWT1;
- constexpr FeatureBitset FeaturesKNM = FeaturesKNL | FeatureAVX512VPOPCNTDQ;
- // Intel Skylake processors.
- constexpr FeatureBitset FeaturesSkylakeClient =
- FeaturesBroadwell | FeatureAES | FeatureCLFLUSHOPT | FeatureXSAVEC |
- FeatureXSAVES | FeatureSGX;
- // SkylakeServer inherits all SkylakeClient features except SGX.
- // FIXME: That doesn't match gcc.
- constexpr FeatureBitset FeaturesSkylakeServer =
- (FeaturesSkylakeClient & ~FeatureSGX) | FeatureAVX512F | FeatureAVX512CD |
- FeatureAVX512DQ | FeatureAVX512BW | FeatureAVX512VL | FeatureCLWB |
- FeaturePKU;
- constexpr FeatureBitset FeaturesCascadeLake =
- FeaturesSkylakeServer | FeatureAVX512VNNI;
- constexpr FeatureBitset FeaturesCooperLake =
- FeaturesCascadeLake | FeatureAVX512BF16;
- // Intel 10nm processors.
- constexpr FeatureBitset FeaturesCannonlake =
- FeaturesSkylakeClient | FeatureAVX512F | FeatureAVX512CD | FeatureAVX512DQ |
- FeatureAVX512BW | FeatureAVX512VL | FeatureAVX512IFMA | FeatureAVX512VBMI |
- FeaturePKU | FeatureSHA;
- constexpr FeatureBitset FeaturesICLClient =
- FeaturesCannonlake | FeatureAVX512BITALG | FeatureAVX512VBMI2 |
- FeatureAVX512VNNI | FeatureAVX512VPOPCNTDQ | FeatureGFNI | FeatureRDPID |
- FeatureVAES | FeatureVPCLMULQDQ;
- constexpr FeatureBitset FeaturesRocketlake = FeaturesICLClient & ~FeatureSGX;
- constexpr FeatureBitset FeaturesICLServer =
- FeaturesICLClient | FeatureCLWB | FeaturePCONFIG | FeatureWBNOINVD;
- constexpr FeatureBitset FeaturesTigerlake =
- FeaturesICLClient | FeatureAVX512VP2INTERSECT | FeatureMOVDIR64B |
- FeatureCLWB | FeatureMOVDIRI | FeatureSHSTK | FeatureKL | FeatureWIDEKL;
- constexpr FeatureBitset FeaturesSapphireRapids =
- FeaturesICLServer | FeatureAMX_BF16 | FeatureAMX_INT8 | FeatureAMX_TILE |
- FeatureAVX512BF16 | FeatureAVX512FP16 | FeatureAVXVNNI | FeatureCLDEMOTE |
- FeatureENQCMD | FeatureMOVDIR64B | FeatureMOVDIRI | FeaturePTWRITE |
- FeatureSERIALIZE | FeatureSHSTK | FeatureTSXLDTRK | FeatureUINTR |
- FeatureWAITPKG;
- constexpr FeatureBitset FeaturesGraniteRapids =
- FeaturesSapphireRapids | FeatureAMX_FP16 | FeaturePREFETCHI;
- // Intel Atom processors.
- // Bonnell has feature parity with Core2 and adds MOVBE.
- constexpr FeatureBitset FeaturesBonnell = FeaturesCore2 | FeatureMOVBE;
- // Silvermont has parity with Westmere and Bonnell plus PRFCHW and RDRND.
- constexpr FeatureBitset FeaturesSilvermont =
- FeaturesBonnell | FeaturesWestmere | FeaturePRFCHW | FeatureRDRND;
- constexpr FeatureBitset FeaturesGoldmont =
- FeaturesSilvermont | FeatureAES | FeatureCLFLUSHOPT | FeatureFSGSBASE |
- FeatureRDSEED | FeatureSHA | FeatureXSAVE | FeatureXSAVEC |
- FeatureXSAVEOPT | FeatureXSAVES;
- constexpr FeatureBitset FeaturesGoldmontPlus =
- FeaturesGoldmont | FeaturePTWRITE | FeatureRDPID | FeatureSGX;
- constexpr FeatureBitset FeaturesTremont =
- FeaturesGoldmontPlus | FeatureCLWB | FeatureGFNI;
- constexpr FeatureBitset FeaturesAlderlake =
- FeaturesTremont | FeatureADX | FeatureBMI | FeatureBMI2 | FeatureF16C |
- FeatureFMA | FeatureINVPCID | FeatureLZCNT | FeaturePCONFIG | FeaturePKU |
- FeatureSERIALIZE | FeatureSHSTK | FeatureVAES | FeatureVPCLMULQDQ |
- FeatureCLDEMOTE | FeatureMOVDIR64B | FeatureMOVDIRI | FeatureWAITPKG |
- FeatureAVXVNNI | FeatureHRESET | FeatureWIDEKL;
- constexpr FeatureBitset FeaturesSierraforest =
- FeaturesAlderlake | FeatureCMPCCXADD | FeatureAVXIFMA |
- FeatureAVXNECONVERT | FeatureAVXVNNIINT8;
- constexpr FeatureBitset FeaturesGrandridge =
- FeaturesSierraforest | FeatureRAOINT;
- // Geode Processor.
- constexpr FeatureBitset FeaturesGeode =
- FeatureX87 | FeatureCMPXCHG8B | FeatureMMX | Feature3DNOW | Feature3DNOWA;
- // K6 processor.
- constexpr FeatureBitset FeaturesK6 = FeatureX87 | FeatureCMPXCHG8B | FeatureMMX;
- // K7 and K8 architecture processors.
- constexpr FeatureBitset FeaturesAthlon =
- FeatureX87 | FeatureCMPXCHG8B | FeatureMMX | Feature3DNOW | Feature3DNOWA;
- constexpr FeatureBitset FeaturesAthlonXP =
- FeaturesAthlon | FeatureFXSR | FeatureSSE;
- constexpr FeatureBitset FeaturesK8 =
- FeaturesAthlonXP | FeatureSSE2 | Feature64BIT;
- constexpr FeatureBitset FeaturesK8SSE3 = FeaturesK8 | FeatureSSE3;
- constexpr FeatureBitset FeaturesAMDFAM10 =
- FeaturesK8SSE3 | FeatureCMPXCHG16B | FeatureLZCNT | FeaturePOPCNT |
- FeaturePRFCHW | FeatureSAHF | FeatureSSE4_A;
- // Bobcat architecture processors.
- constexpr FeatureBitset FeaturesBTVER1 =
- FeatureX87 | FeatureCMPXCHG8B | FeatureCMPXCHG16B | Feature64BIT |
- FeatureFXSR | FeatureLZCNT | FeatureMMX | FeaturePOPCNT | FeaturePRFCHW |
- FeatureSSE | FeatureSSE2 | FeatureSSE3 | FeatureSSSE3 | FeatureSSE4_A |
- FeatureSAHF;
- constexpr FeatureBitset FeaturesBTVER2 =
- FeaturesBTVER1 | FeatureAES | FeatureAVX | FeatureBMI | FeatureCRC32 |
- FeatureF16C | FeatureMOVBE | FeaturePCLMUL | FeatureXSAVE | FeatureXSAVEOPT;
- // AMD Bulldozer architecture processors.
- constexpr FeatureBitset FeaturesBDVER1 =
- FeatureX87 | FeatureAES | FeatureAVX | FeatureCMPXCHG8B |
- FeatureCMPXCHG16B | FeatureCRC32 | Feature64BIT | FeatureFMA4 |
- FeatureFXSR | FeatureLWP | FeatureLZCNT | FeatureMMX | FeaturePCLMUL |
- FeaturePOPCNT | FeaturePRFCHW | FeatureSAHF | FeatureSSE | FeatureSSE2 |
- FeatureSSE3 | FeatureSSSE3 | FeatureSSE4_1 | FeatureSSE4_2 | FeatureSSE4_A |
- FeatureXOP | FeatureXSAVE;
- constexpr FeatureBitset FeaturesBDVER2 =
- FeaturesBDVER1 | FeatureBMI | FeatureFMA | FeatureF16C | FeatureTBM;
- constexpr FeatureBitset FeaturesBDVER3 =
- FeaturesBDVER2 | FeatureFSGSBASE | FeatureXSAVEOPT;
- constexpr FeatureBitset FeaturesBDVER4 = FeaturesBDVER3 | FeatureAVX2 |
- FeatureBMI2 | FeatureMOVBE |
- FeatureMWAITX | FeatureRDRND;
- // AMD Zen architecture processors.
- constexpr FeatureBitset FeaturesZNVER1 =
- FeatureX87 | FeatureADX | FeatureAES | FeatureAVX | FeatureAVX2 |
- FeatureBMI | FeatureBMI2 | FeatureCLFLUSHOPT | FeatureCLZERO |
- FeatureCMPXCHG8B | FeatureCMPXCHG16B | FeatureCRC32 | Feature64BIT |
- FeatureF16C | FeatureFMA | FeatureFSGSBASE | FeatureFXSR | FeatureLZCNT |
- FeatureMMX | FeatureMOVBE | FeatureMWAITX | FeaturePCLMUL | FeaturePOPCNT |
- FeaturePRFCHW | FeatureRDRND | FeatureRDSEED | FeatureSAHF | FeatureSHA |
- FeatureSSE | FeatureSSE2 | FeatureSSE3 | FeatureSSSE3 | FeatureSSE4_1 |
- FeatureSSE4_2 | FeatureSSE4_A | FeatureXSAVE | FeatureXSAVEC |
- FeatureXSAVEOPT | FeatureXSAVES;
- constexpr FeatureBitset FeaturesZNVER2 = FeaturesZNVER1 | FeatureCLWB |
- FeatureRDPID | FeatureRDPRU |
- FeatureWBNOINVD;
- static constexpr FeatureBitset FeaturesZNVER3 = FeaturesZNVER2 |
- FeatureINVPCID | FeaturePKU |
- FeatureVAES | FeatureVPCLMULQDQ;
- static constexpr FeatureBitset FeaturesZNVER4 =
- FeaturesZNVER3 | FeatureAVX512F | FeatureAVX512CD | FeatureAVX512DQ |
- FeatureAVX512BW | FeatureAVX512VL | FeatureAVX512IFMA | FeatureAVX512VBMI |
- FeatureAVX512VBMI2 | FeatureAVX512VNNI | FeatureAVX512BITALG |
- FeatureAVX512VPOPCNTDQ | FeatureAVX512BF16 | FeatureGFNI |
- FeatureSHSTK;
- constexpr ProcInfo Processors[] = {
- // Empty processor. Include X87 and CMPXCHG8 for backwards compatibility.
- { {""}, CK_None, ~0U, FeatureX87 | FeatureCMPXCHG8B },
- // i386-generation processors.
- { {"i386"}, CK_i386, ~0U, FeatureX87 },
- // i486-generation processors.
- { {"i486"}, CK_i486, ~0U, FeatureX87 },
- { {"winchip-c6"}, CK_WinChipC6, ~0U, FeaturesPentiumMMX },
- { {"winchip2"}, CK_WinChip2, ~0U, FeaturesPentiumMMX | Feature3DNOW },
- { {"c3"}, CK_C3, ~0U, FeaturesPentiumMMX | Feature3DNOW },
- // i586-generation processors, P5 microarchitecture based.
- { {"i586"}, CK_i586, ~0U, FeatureX87 | FeatureCMPXCHG8B },
- { {"pentium"}, CK_Pentium, ~0U, FeatureX87 | FeatureCMPXCHG8B },
- { {"pentium-mmx"}, CK_PentiumMMX, ~0U, FeaturesPentiumMMX },
- // i686-generation processors, P6 / Pentium M microarchitecture based.
- { {"pentiumpro"}, CK_PentiumPro, ~0U, FeatureX87 | FeatureCMPXCHG8B },
- { {"i686"}, CK_i686, ~0U, FeatureX87 | FeatureCMPXCHG8B },
- { {"pentium2"}, CK_Pentium2, ~0U, FeaturesPentium2 },
- { {"pentium3"}, CK_Pentium3, ~0U, FeaturesPentium3 },
- { {"pentium3m"}, CK_Pentium3, ~0U, FeaturesPentium3 },
- { {"pentium-m"}, CK_PentiumM, ~0U, FeaturesPentium4 },
- { {"c3-2"}, CK_C3_2, ~0U, FeaturesPentium3 },
- { {"yonah"}, CK_Yonah, ~0U, FeaturesPrescott },
- // Netburst microarchitecture based processors.
- { {"pentium4"}, CK_Pentium4, ~0U, FeaturesPentium4 },
- { {"pentium4m"}, CK_Pentium4, ~0U, FeaturesPentium4 },
- { {"prescott"}, CK_Prescott, ~0U, FeaturesPrescott },
- { {"nocona"}, CK_Nocona, ~0U, FeaturesNocona },
- // Core microarchitecture based processors.
- { {"core2"}, CK_Core2, FEATURE_SSSE3, FeaturesCore2 },
- { {"penryn"}, CK_Penryn, ~0U, FeaturesPenryn },
- // Atom processors
- { {"bonnell"}, CK_Bonnell, FEATURE_SSSE3, FeaturesBonnell },
- { {"atom"}, CK_Bonnell, FEATURE_SSSE3, FeaturesBonnell },
- { {"silvermont"}, CK_Silvermont, FEATURE_SSE4_2, FeaturesSilvermont },
- { {"slm"}, CK_Silvermont, FEATURE_SSE4_2, FeaturesSilvermont },
- { {"goldmont"}, CK_Goldmont, FEATURE_SSE4_2, FeaturesGoldmont },
- { {"goldmont-plus"}, CK_GoldmontPlus, FEATURE_SSE4_2, FeaturesGoldmontPlus },
- { {"tremont"}, CK_Tremont, FEATURE_SSE4_2, FeaturesTremont },
- // Nehalem microarchitecture based processors.
- { {"nehalem"}, CK_Nehalem, FEATURE_SSE4_2, FeaturesNehalem },
- { {"corei7"}, CK_Nehalem, FEATURE_SSE4_2, FeaturesNehalem },
- // Westmere microarchitecture based processors.
- { {"westmere"}, CK_Westmere, FEATURE_PCLMUL, FeaturesWestmere },
- // Sandy Bridge microarchitecture based processors.
- { {"sandybridge"}, CK_SandyBridge, FEATURE_AVX, FeaturesSandyBridge },
- { {"corei7-avx"}, CK_SandyBridge, FEATURE_AVX, FeaturesSandyBridge },
- // Ivy Bridge microarchitecture based processors.
- { {"ivybridge"}, CK_IvyBridge, FEATURE_AVX, FeaturesIvyBridge },
- { {"core-avx-i"}, CK_IvyBridge, FEATURE_AVX, FeaturesIvyBridge },
- // Haswell microarchitecture based processors.
- { {"haswell"}, CK_Haswell, FEATURE_AVX2, FeaturesHaswell },
- { {"core-avx2"}, CK_Haswell, FEATURE_AVX2, FeaturesHaswell },
- // Broadwell microarchitecture based processors.
- { {"broadwell"}, CK_Broadwell, FEATURE_AVX2, FeaturesBroadwell },
- // Skylake client microarchitecture based processors.
- { {"skylake"}, CK_SkylakeClient, FEATURE_AVX2, FeaturesSkylakeClient },
- // Skylake server microarchitecture based processors.
- { {"skylake-avx512"}, CK_SkylakeServer, FEATURE_AVX512F, FeaturesSkylakeServer },
- { {"skx"}, CK_SkylakeServer, FEATURE_AVX512F, FeaturesSkylakeServer },
- // Cascadelake Server microarchitecture based processors.
- { {"cascadelake"}, CK_Cascadelake, FEATURE_AVX512VNNI, FeaturesCascadeLake },
- // Cooperlake Server microarchitecture based processors.
- { {"cooperlake"}, CK_Cooperlake, FEATURE_AVX512BF16, FeaturesCooperLake },
- // Cannonlake client microarchitecture based processors.
- { {"cannonlake"}, CK_Cannonlake, FEATURE_AVX512VBMI, FeaturesCannonlake },
- // Icelake client microarchitecture based processors.
- { {"icelake-client"}, CK_IcelakeClient, FEATURE_AVX512VBMI2, FeaturesICLClient },
- // Rocketlake microarchitecture based processors.
- { {"rocketlake"}, CK_Rocketlake, FEATURE_AVX512VBMI2, FeaturesRocketlake },
- // Icelake server microarchitecture based processors.
- { {"icelake-server"}, CK_IcelakeServer, FEATURE_AVX512VBMI2, FeaturesICLServer },
- // Tigerlake microarchitecture based processors.
- { {"tigerlake"}, CK_Tigerlake, FEATURE_AVX512VP2INTERSECT, FeaturesTigerlake },
- // Sapphire Rapids microarchitecture based processors.
- { {"sapphirerapids"}, CK_SapphireRapids, FEATURE_AVX512BF16, FeaturesSapphireRapids },
- // Alderlake microarchitecture based processors.
- { {"alderlake"}, CK_Alderlake, FEATURE_AVX2, FeaturesAlderlake },
- // Raptorlake microarchitecture based processors.
- { {"raptorlake"}, CK_Raptorlake, FEATURE_AVX2, FeaturesAlderlake },
- // Meteorlake microarchitecture based processors.
- { {"meteorlake"}, CK_Meteorlake, FEATURE_AVX2, FeaturesAlderlake },
- // Sierraforest microarchitecture based processors.
- { {"sierraforest"}, CK_Sierraforest, FEATURE_AVX2, FeaturesSierraforest },
- // Grandridge microarchitecture based processors.
- { {"grandridge"}, CK_Grandridge, FEATURE_AVX2, FeaturesGrandridge },
- // Granite Rapids microarchitecture based processors.
- { {"graniterapids"}, CK_Graniterapids, FEATURE_AVX512BF16, FeaturesGraniteRapids },
- // Emerald Rapids microarchitecture based processors.
- { {"emeraldrapids"}, CK_Emeraldrapids, FEATURE_AVX512BF16, FeaturesSapphireRapids },
- // Knights Landing processor.
- { {"knl"}, CK_KNL, FEATURE_AVX512F, FeaturesKNL },
- // Knights Mill processor.
- { {"knm"}, CK_KNM, FEATURE_AVX5124FMAPS, FeaturesKNM },
- // Lakemont microarchitecture based processors.
- { {"lakemont"}, CK_Lakemont, ~0U, FeatureCMPXCHG8B },
- // K6 architecture processors.
- { {"k6"}, CK_K6, ~0U, FeaturesK6 },
- { {"k6-2"}, CK_K6_2, ~0U, FeaturesK6 | Feature3DNOW },
- { {"k6-3"}, CK_K6_3, ~0U, FeaturesK6 | Feature3DNOW },
- // K7 architecture processors.
- { {"athlon"}, CK_Athlon, ~0U, FeaturesAthlon },
- { {"athlon-tbird"}, CK_Athlon, ~0U, FeaturesAthlon },
- { {"athlon-xp"}, CK_AthlonXP, ~0U, FeaturesAthlonXP },
- { {"athlon-mp"}, CK_AthlonXP, ~0U, FeaturesAthlonXP },
- { {"athlon-4"}, CK_AthlonXP, ~0U, FeaturesAthlonXP },
- // K8 architecture processors.
- { {"k8"}, CK_K8, ~0U, FeaturesK8 },
- { {"athlon64"}, CK_K8, ~0U, FeaturesK8 },
- { {"athlon-fx"}, CK_K8, ~0U, FeaturesK8 },
- { {"opteron"}, CK_K8, ~0U, FeaturesK8 },
- { {"k8-sse3"}, CK_K8SSE3, ~0U, FeaturesK8SSE3 },
- { {"athlon64-sse3"}, CK_K8SSE3, ~0U, FeaturesK8SSE3 },
- { {"opteron-sse3"}, CK_K8SSE3, ~0U, FeaturesK8SSE3 },
- { {"amdfam10"}, CK_AMDFAM10, FEATURE_SSE4_A, FeaturesAMDFAM10 },
- { {"barcelona"}, CK_AMDFAM10, FEATURE_SSE4_A, FeaturesAMDFAM10 },
- // Bobcat architecture processors.
- { {"btver1"}, CK_BTVER1, FEATURE_SSE4_A, FeaturesBTVER1 },
- { {"btver2"}, CK_BTVER2, FEATURE_BMI, FeaturesBTVER2 },
- // Bulldozer architecture processors.
- { {"bdver1"}, CK_BDVER1, FEATURE_XOP, FeaturesBDVER1 },
- { {"bdver2"}, CK_BDVER2, FEATURE_FMA, FeaturesBDVER2 },
- { {"bdver3"}, CK_BDVER3, FEATURE_FMA, FeaturesBDVER3 },
- { {"bdver4"}, CK_BDVER4, FEATURE_AVX2, FeaturesBDVER4 },
- // Zen architecture processors.
- { {"znver1"}, CK_ZNVER1, FEATURE_AVX2, FeaturesZNVER1 },
- { {"znver2"}, CK_ZNVER2, FEATURE_AVX2, FeaturesZNVER2 },
- { {"znver3"}, CK_ZNVER3, FEATURE_AVX2, FeaturesZNVER3 },
- { {"znver4"}, CK_ZNVER4, FEATURE_AVX512VBMI2, FeaturesZNVER4 },
- // Generic 64-bit processor.
- { {"x86-64"}, CK_x86_64, ~0U, FeaturesX86_64 },
- { {"x86-64-v2"}, CK_x86_64_v2, ~0U, FeaturesX86_64_V2 },
- { {"x86-64-v3"}, CK_x86_64_v3, ~0U, FeaturesX86_64_V3 },
- { {"x86-64-v4"}, CK_x86_64_v4, ~0U, FeaturesX86_64_V4 },
- // Geode processors.
- { {"geode"}, CK_Geode, ~0U, FeaturesGeode },
- };
- constexpr const char *NoTuneList[] = {"x86-64-v2", "x86-64-v3", "x86-64-v4"};
- X86::CPUKind llvm::X86::parseArchX86(StringRef CPU, bool Only64Bit) {
- for (const auto &P : Processors)
- if (P.Name == CPU && (P.Features[FEATURE_64BIT] || !Only64Bit))
- return P.Kind;
- return CK_None;
- }
- X86::CPUKind llvm::X86::parseTuneCPU(StringRef CPU, bool Only64Bit) {
- if (llvm::is_contained(NoTuneList, CPU))
- return CK_None;
- return parseArchX86(CPU, Only64Bit);
- }
- void llvm::X86::fillValidCPUArchList(SmallVectorImpl<StringRef> &Values,
- bool Only64Bit) {
- for (const auto &P : Processors)
- if (!P.Name.empty() && (P.Features[FEATURE_64BIT] || !Only64Bit))
- Values.emplace_back(P.Name);
- }
- void llvm::X86::fillValidTuneCPUList(SmallVectorImpl<StringRef> &Values,
- bool Only64Bit) {
- for (const ProcInfo &P : Processors)
- if (!P.Name.empty() && (P.Features[FEATURE_64BIT] || !Only64Bit) &&
- !llvm::is_contained(NoTuneList, P.Name))
- Values.emplace_back(P.Name);
- }
- ProcessorFeatures llvm::X86::getKeyFeature(X86::CPUKind Kind) {
- // FIXME: Can we avoid a linear search here? The table might be sorted by
- // CPUKind so we could binary search?
- for (const auto &P : Processors) {
- if (P.Kind == Kind) {
- assert(P.KeyFeature != ~0U && "Processor does not have a key feature.");
- return static_cast<ProcessorFeatures>(P.KeyFeature);
- }
- }
- llvm_unreachable("Unable to find CPU kind!");
- }
- // Features with no dependencies.
- constexpr FeatureBitset ImpliedFeatures64BIT = {};
- constexpr FeatureBitset ImpliedFeaturesADX = {};
- constexpr FeatureBitset ImpliedFeaturesBMI = {};
- constexpr FeatureBitset ImpliedFeaturesBMI2 = {};
- constexpr FeatureBitset ImpliedFeaturesCLDEMOTE = {};
- constexpr FeatureBitset ImpliedFeaturesCLFLUSHOPT = {};
- constexpr FeatureBitset ImpliedFeaturesCLWB = {};
- constexpr FeatureBitset ImpliedFeaturesCLZERO = {};
- constexpr FeatureBitset ImpliedFeaturesCMOV = {};
- constexpr FeatureBitset ImpliedFeaturesCMPXCHG16B = {};
- constexpr FeatureBitset ImpliedFeaturesCMPXCHG8B = {};
- constexpr FeatureBitset ImpliedFeaturesCRC32 = {};
- constexpr FeatureBitset ImpliedFeaturesENQCMD = {};
- constexpr FeatureBitset ImpliedFeaturesFSGSBASE = {};
- constexpr FeatureBitset ImpliedFeaturesFXSR = {};
- constexpr FeatureBitset ImpliedFeaturesINVPCID = {};
- constexpr FeatureBitset ImpliedFeaturesLWP = {};
- constexpr FeatureBitset ImpliedFeaturesLZCNT = {};
- constexpr FeatureBitset ImpliedFeaturesMWAITX = {};
- constexpr FeatureBitset ImpliedFeaturesMOVBE = {};
- constexpr FeatureBitset ImpliedFeaturesMOVDIR64B = {};
- constexpr FeatureBitset ImpliedFeaturesMOVDIRI = {};
- constexpr FeatureBitset ImpliedFeaturesPCONFIG = {};
- constexpr FeatureBitset ImpliedFeaturesPOPCNT = {};
- constexpr FeatureBitset ImpliedFeaturesPKU = {};
- constexpr FeatureBitset ImpliedFeaturesPREFETCHWT1 = {};
- constexpr FeatureBitset ImpliedFeaturesPRFCHW = {};
- constexpr FeatureBitset ImpliedFeaturesPTWRITE = {};
- constexpr FeatureBitset ImpliedFeaturesRDPID = {};
- constexpr FeatureBitset ImpliedFeaturesRDPRU = {};
- constexpr FeatureBitset ImpliedFeaturesRDRND = {};
- constexpr FeatureBitset ImpliedFeaturesRDSEED = {};
- constexpr FeatureBitset ImpliedFeaturesRTM = {};
- constexpr FeatureBitset ImpliedFeaturesSAHF = {};
- constexpr FeatureBitset ImpliedFeaturesSERIALIZE = {};
- constexpr FeatureBitset ImpliedFeaturesSGX = {};
- constexpr FeatureBitset ImpliedFeaturesSHSTK = {};
- constexpr FeatureBitset ImpliedFeaturesTBM = {};
- constexpr FeatureBitset ImpliedFeaturesTSXLDTRK = {};
- constexpr FeatureBitset ImpliedFeaturesUINTR = {};
- constexpr FeatureBitset ImpliedFeaturesWAITPKG = {};
- constexpr FeatureBitset ImpliedFeaturesWBNOINVD = {};
- constexpr FeatureBitset ImpliedFeaturesVZEROUPPER = {};
- constexpr FeatureBitset ImpliedFeaturesX87 = {};
- constexpr FeatureBitset ImpliedFeaturesXSAVE = {};
- // Not really CPU features, but need to be in the table because clang uses
- // target features to communicate them to the backend.
- constexpr FeatureBitset ImpliedFeaturesRETPOLINE_EXTERNAL_THUNK = {};
- constexpr FeatureBitset ImpliedFeaturesRETPOLINE_INDIRECT_BRANCHES = {};
- constexpr FeatureBitset ImpliedFeaturesRETPOLINE_INDIRECT_CALLS = {};
- constexpr FeatureBitset ImpliedFeaturesLVI_CFI = {};
- constexpr FeatureBitset ImpliedFeaturesLVI_LOAD_HARDENING = {};
- // XSAVE features are dependent on basic XSAVE.
- constexpr FeatureBitset ImpliedFeaturesXSAVEC = FeatureXSAVE;
- constexpr FeatureBitset ImpliedFeaturesXSAVEOPT = FeatureXSAVE;
- constexpr FeatureBitset ImpliedFeaturesXSAVES = FeatureXSAVE;
- // MMX->3DNOW->3DNOWA chain.
- constexpr FeatureBitset ImpliedFeaturesMMX = {};
- constexpr FeatureBitset ImpliedFeatures3DNOW = FeatureMMX;
- constexpr FeatureBitset ImpliedFeatures3DNOWA = Feature3DNOW;
- // SSE/AVX/AVX512F chain.
- constexpr FeatureBitset ImpliedFeaturesSSE = {};
- constexpr FeatureBitset ImpliedFeaturesSSE2 = FeatureSSE;
- constexpr FeatureBitset ImpliedFeaturesSSE3 = FeatureSSE2;
- constexpr FeatureBitset ImpliedFeaturesSSSE3 = FeatureSSE3;
- constexpr FeatureBitset ImpliedFeaturesSSE4_1 = FeatureSSSE3;
- constexpr FeatureBitset ImpliedFeaturesSSE4_2 = FeatureSSE4_1;
- constexpr FeatureBitset ImpliedFeaturesAVX = FeatureSSE4_2;
- constexpr FeatureBitset ImpliedFeaturesAVX2 = FeatureAVX;
- constexpr FeatureBitset ImpliedFeaturesAVX512F =
- FeatureAVX2 | FeatureF16C | FeatureFMA;
- // Vector extensions that build on SSE or AVX.
- constexpr FeatureBitset ImpliedFeaturesAES = FeatureSSE2;
- constexpr FeatureBitset ImpliedFeaturesF16C = FeatureAVX;
- constexpr FeatureBitset ImpliedFeaturesFMA = FeatureAVX;
- constexpr FeatureBitset ImpliedFeaturesGFNI = FeatureSSE2;
- constexpr FeatureBitset ImpliedFeaturesPCLMUL = FeatureSSE2;
- constexpr FeatureBitset ImpliedFeaturesSHA = FeatureSSE2;
- constexpr FeatureBitset ImpliedFeaturesVAES = FeatureAES | FeatureAVX;
- constexpr FeatureBitset ImpliedFeaturesVPCLMULQDQ = FeatureAVX | FeaturePCLMUL;
- // AVX512 features.
- constexpr FeatureBitset ImpliedFeaturesAVX512CD = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512BW = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512DQ = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512ER = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512PF = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512VL = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512BF16 = FeatureAVX512BW;
- constexpr FeatureBitset ImpliedFeaturesAVX512BITALG = FeatureAVX512BW;
- constexpr FeatureBitset ImpliedFeaturesAVX512IFMA = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512VNNI = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512VPOPCNTDQ = FeatureAVX512F;
- constexpr FeatureBitset ImpliedFeaturesAVX512VBMI = FeatureAVX512BW;
- constexpr FeatureBitset ImpliedFeaturesAVX512VBMI2 = FeatureAVX512BW;
- constexpr FeatureBitset ImpliedFeaturesAVX512VP2INTERSECT = FeatureAVX512F;
- // FIXME: These two aren't really implemented and just exist in the feature
- // list for __builtin_cpu_supports. So omit their dependencies.
- constexpr FeatureBitset ImpliedFeaturesAVX5124FMAPS = {};
- constexpr FeatureBitset ImpliedFeaturesAVX5124VNNIW = {};
- // SSE4_A->FMA4->XOP chain.
- constexpr FeatureBitset ImpliedFeaturesSSE4_A = FeatureSSE3;
- constexpr FeatureBitset ImpliedFeaturesFMA4 = FeatureAVX | FeatureSSE4_A;
- constexpr FeatureBitset ImpliedFeaturesXOP = FeatureFMA4;
- // AMX Features
- constexpr FeatureBitset ImpliedFeaturesAMX_TILE = {};
- constexpr FeatureBitset ImpliedFeaturesAMX_BF16 = FeatureAMX_TILE;
- constexpr FeatureBitset ImpliedFeaturesAMX_FP16 = FeatureAMX_TILE;
- constexpr FeatureBitset ImpliedFeaturesAMX_INT8 = FeatureAMX_TILE;
- constexpr FeatureBitset ImpliedFeaturesHRESET = {};
- constexpr FeatureBitset ImpliedFeaturesPREFETCHI = {};
- constexpr FeatureBitset ImpliedFeaturesCMPCCXADD = {};
- constexpr FeatureBitset ImpliedFeaturesRAOINT = {};
- constexpr FeatureBitset ImpliedFeaturesAVXVNNIINT8 = FeatureAVX2;
- constexpr FeatureBitset ImpliedFeaturesAVXIFMA = FeatureAVX2;
- constexpr FeatureBitset ImpliedFeaturesAVXNECONVERT = FeatureAVX2;
- constexpr FeatureBitset ImpliedFeaturesAVX512FP16 =
- FeatureAVX512BW | FeatureAVX512DQ | FeatureAVX512VL;
- // Key Locker Features
- constexpr FeatureBitset ImpliedFeaturesKL = FeatureSSE2;
- constexpr FeatureBitset ImpliedFeaturesWIDEKL = FeatureKL;
- // AVXVNNI Features
- constexpr FeatureBitset ImpliedFeaturesAVXVNNI = FeatureAVX2;
- constexpr FeatureInfo FeatureInfos[X86::CPU_FEATURE_MAX] = {
- #define X86_FEATURE(ENUM, STR) {{STR}, ImpliedFeatures##ENUM},
- #include "llvm/TargetParser/X86TargetParser.def"
- };
- void llvm::X86::getFeaturesForCPU(StringRef CPU,
- SmallVectorImpl<StringRef> &EnabledFeatures) {
- auto I = llvm::find_if(Processors,
- [&](const ProcInfo &P) { return P.Name == CPU; });
- assert(I != std::end(Processors) && "Processor not found!");
- FeatureBitset Bits = I->Features;
- // Remove the 64-bit feature which we only use to validate if a CPU can
- // be used with 64-bit mode.
- Bits &= ~Feature64BIT;
- // Add the string version of all set bits.
- for (unsigned i = 0; i != CPU_FEATURE_MAX; ++i)
- if (Bits[i] && !FeatureInfos[i].Name.empty())
- EnabledFeatures.push_back(FeatureInfos[i].Name);
- }
- // For each feature that is (transitively) implied by this feature, set it.
- static void getImpliedEnabledFeatures(FeatureBitset &Bits,
- const FeatureBitset &Implies) {
- // Fast path: Implies is often empty.
- if (!Implies.any())
- return;
- FeatureBitset Prev;
- Bits |= Implies;
- do {
- Prev = Bits;
- for (unsigned i = CPU_FEATURE_MAX; i;)
- if (Bits[--i])
- Bits |= FeatureInfos[i].ImpliedFeatures;
- } while (Prev != Bits);
- }
- /// Create bit vector of features that are implied disabled if the feature
- /// passed in Value is disabled.
- static void getImpliedDisabledFeatures(FeatureBitset &Bits, unsigned Value) {
- // Check all features looking for any dependent on this feature. If we find
- // one, mark it and recursively find any feature that depend on it.
- FeatureBitset Prev;
- Bits.set(Value);
- do {
- Prev = Bits;
- for (unsigned i = 0; i != CPU_FEATURE_MAX; ++i)
- if ((FeatureInfos[i].ImpliedFeatures & Bits).any())
- Bits.set(i);
- } while (Prev != Bits);
- }
- void llvm::X86::updateImpliedFeatures(
- StringRef Feature, bool Enabled,
- StringMap<bool> &Features) {
- auto I = llvm::find_if(
- FeatureInfos, [&](const FeatureInfo &FI) { return FI.Name == Feature; });
- if (I == std::end(FeatureInfos)) {
- // FIXME: This shouldn't happen, but may not have all features in the table
- // yet.
- return;
- }
- FeatureBitset ImpliedBits;
- if (Enabled)
- getImpliedEnabledFeatures(ImpliedBits, I->ImpliedFeatures);
- else
- getImpliedDisabledFeatures(ImpliedBits,
- std::distance(std::begin(FeatureInfos), I));
- // Update the map entry for all implied features.
- for (unsigned i = 0; i != CPU_FEATURE_MAX; ++i)
- if (ImpliedBits[i] && !FeatureInfos[i].Name.empty())
- Features[FeatureInfos[i].Name] = Enabled;
- }
- uint64_t llvm::X86::getCpuSupportsMask(ArrayRef<StringRef> FeatureStrs) {
- // Processor features and mapping to processor feature value.
- uint64_t FeaturesMask = 0;
- for (const StringRef &FeatureStr : FeatureStrs) {
- unsigned Feature = StringSwitch<unsigned>(FeatureStr)
- #define X86_FEATURE_COMPAT(ENUM, STR, PRIORITY) \
- .Case(STR, llvm::X86::FEATURE_##ENUM)
- #include "llvm/TargetParser/X86TargetParser.def"
- ;
- FeaturesMask |= (1ULL << Feature);
- }
- return FeaturesMask;
- }
- unsigned llvm::X86::getFeaturePriority(ProcessorFeatures Feat) {
- #ifndef NDEBUG
- // Check that priorities are set properly in the .def file. We expect that
- // "compat" features are assigned non-duplicate consecutive priorities
- // starting from zero (0, 1, ..., num_features - 1).
- #define X86_FEATURE_COMPAT(ENUM, STR, PRIORITY) PRIORITY,
- unsigned Priorities[] = {
- #include "llvm/TargetParser/X86TargetParser.def"
- std::numeric_limits<unsigned>::max() // Need to consume last comma.
- };
- std::array<unsigned, std::size(Priorities) - 1> HelperList;
- std::iota(HelperList.begin(), HelperList.end(), 0);
- assert(std::is_permutation(HelperList.begin(), HelperList.end(),
- std::begin(Priorities),
- std::prev(std::end(Priorities))) &&
- "Priorities don't form consecutive range!");
- #endif
- switch (Feat) {
- #define X86_FEATURE_COMPAT(ENUM, STR, PRIORITY) \
- case X86::FEATURE_##ENUM: \
- return PRIORITY;
- #include "llvm/TargetParser/X86TargetParser.def"
- default:
- llvm_unreachable("No Feature Priority for non-CPUSupports Features");
- }
- }
|