15ffd83dbSDimitry Andric //===- SveEmitter.cpp - Generate arm_sve.h for use with clang -*- C++ -*-===// 25ffd83dbSDimitry Andric // 35ffd83dbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 45ffd83dbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 55ffd83dbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65ffd83dbSDimitry Andric // 75ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 85ffd83dbSDimitry Andric // 95ffd83dbSDimitry Andric // This tablegen backend is responsible for emitting arm_sve.h, which includes 105ffd83dbSDimitry Andric // a declaration and definition of each function specified by the ARM C/C++ 115ffd83dbSDimitry Andric // Language Extensions (ACLE). 125ffd83dbSDimitry Andric // 135ffd83dbSDimitry Andric // For details, visit: 145ffd83dbSDimitry Andric // https://developer.arm.com/architectures/system-architectures/software-standards/acle 155ffd83dbSDimitry Andric // 165ffd83dbSDimitry Andric // Each SVE instruction is implemented in terms of 1 or more functions which 175ffd83dbSDimitry Andric // are suffixed with the element type of the input vectors. Functions may be 185ffd83dbSDimitry Andric // implemented in terms of generic vector operations such as +, *, -, etc. or 195ffd83dbSDimitry Andric // by calling a __builtin_-prefixed function which will be handled by clang's 205ffd83dbSDimitry Andric // CodeGen library. 215ffd83dbSDimitry Andric // 225ffd83dbSDimitry Andric // See also the documentation in include/clang/Basic/arm_sve.td. 235ffd83dbSDimitry Andric // 245ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 255ffd83dbSDimitry Andric 265ffd83dbSDimitry Andric #include "llvm/ADT/ArrayRef.h" 275f757f3fSDimitry Andric #include "llvm/ADT/STLExtras.h" 285ffd83dbSDimitry Andric #include "llvm/ADT/StringExtras.h" 295f757f3fSDimitry Andric #include "llvm/ADT/StringMap.h" 305ffd83dbSDimitry Andric #include "llvm/TableGen/Error.h" 315f757f3fSDimitry Andric #include "llvm/TableGen/Record.h" 325f757f3fSDimitry Andric #include <array> 335ffd83dbSDimitry Andric #include <cctype> 345f757f3fSDimitry Andric #include <set> 355f757f3fSDimitry Andric #include <sstream> 365f757f3fSDimitry Andric #include <string> 375ffd83dbSDimitry Andric #include <tuple> 385ffd83dbSDimitry Andric 395ffd83dbSDimitry Andric using namespace llvm; 405ffd83dbSDimitry Andric 415ffd83dbSDimitry Andric enum ClassKind { 425ffd83dbSDimitry Andric ClassNone, 435ffd83dbSDimitry Andric ClassS, // signed/unsigned, e.g., "_s8", "_u8" suffix 445ffd83dbSDimitry Andric ClassG, // Overloaded name without type suffix 455ffd83dbSDimitry Andric }; 465ffd83dbSDimitry Andric 475f757f3fSDimitry Andric enum class ACLEKind { SVE, SME }; 485f757f3fSDimitry Andric 495ffd83dbSDimitry Andric using TypeSpec = std::string; 505ffd83dbSDimitry Andric 515ffd83dbSDimitry Andric namespace { 525ffd83dbSDimitry Andric 535ffd83dbSDimitry Andric class ImmCheck { 545ffd83dbSDimitry Andric unsigned Arg; 555ffd83dbSDimitry Andric unsigned Kind; 565ffd83dbSDimitry Andric unsigned ElementSizeInBits; 575ffd83dbSDimitry Andric 585ffd83dbSDimitry Andric public: 595ffd83dbSDimitry Andric ImmCheck(unsigned Arg, unsigned Kind, unsigned ElementSizeInBits = 0) 605ffd83dbSDimitry Andric : Arg(Arg), Kind(Kind), ElementSizeInBits(ElementSizeInBits) {} 615ffd83dbSDimitry Andric ImmCheck(const ImmCheck &Other) = default; 625ffd83dbSDimitry Andric ~ImmCheck() = default; 635ffd83dbSDimitry Andric 645ffd83dbSDimitry Andric unsigned getArg() const { return Arg; } 655ffd83dbSDimitry Andric unsigned getKind() const { return Kind; } 665ffd83dbSDimitry Andric unsigned getElementSizeInBits() const { return ElementSizeInBits; } 675ffd83dbSDimitry Andric }; 685ffd83dbSDimitry Andric 695ffd83dbSDimitry Andric class SVEType { 705ffd83dbSDimitry Andric bool Float, Signed, Immediate, Void, Constant, Pointer, BFloat; 7106c3fb27SDimitry Andric bool DefaultType, IsScalable, Predicate, PredicatePattern, PrefetchOp, 7206c3fb27SDimitry Andric Svcount; 735ffd83dbSDimitry Andric unsigned Bitwidth, ElementBitwidth, NumVectors; 745ffd83dbSDimitry Andric 755ffd83dbSDimitry Andric public: 765f757f3fSDimitry Andric SVEType() : SVEType("", 'v') {} 775ffd83dbSDimitry Andric 785f757f3fSDimitry Andric SVEType(StringRef TS, char CharMod, unsigned NumVectors = 1) 795f757f3fSDimitry Andric : Float(false), Signed(true), Immediate(false), Void(false), 805ffd83dbSDimitry Andric Constant(false), Pointer(false), BFloat(false), DefaultType(false), 815ffd83dbSDimitry Andric IsScalable(true), Predicate(false), PredicatePattern(false), 8206c3fb27SDimitry Andric PrefetchOp(false), Svcount(false), Bitwidth(128), ElementBitwidth(~0U), 835f757f3fSDimitry Andric NumVectors(NumVectors) { 845ffd83dbSDimitry Andric if (!TS.empty()) 855f757f3fSDimitry Andric applyTypespec(TS); 865ffd83dbSDimitry Andric applyModifier(CharMod); 875ffd83dbSDimitry Andric } 885ffd83dbSDimitry Andric 895f757f3fSDimitry Andric SVEType(const SVEType &Base, unsigned NumV) : SVEType(Base) { 905f757f3fSDimitry Andric NumVectors = NumV; 915f757f3fSDimitry Andric } 925f757f3fSDimitry Andric 935ffd83dbSDimitry Andric bool isPointer() const { return Pointer; } 945ffd83dbSDimitry Andric bool isVoidPointer() const { return Pointer && Void; } 955ffd83dbSDimitry Andric bool isSigned() const { return Signed; } 965ffd83dbSDimitry Andric bool isImmediate() const { return Immediate; } 975ffd83dbSDimitry Andric bool isScalar() const { return NumVectors == 0; } 985ffd83dbSDimitry Andric bool isVector() const { return NumVectors > 0; } 995ffd83dbSDimitry Andric bool isScalableVector() const { return isVector() && IsScalable; } 1005f757f3fSDimitry Andric bool isFixedLengthVector() const { return isVector() && !IsScalable; } 1015ffd83dbSDimitry Andric bool isChar() const { return ElementBitwidth == 8; } 1025ffd83dbSDimitry Andric bool isVoid() const { return Void & !Pointer; } 1035ffd83dbSDimitry Andric bool isDefault() const { return DefaultType; } 1045ffd83dbSDimitry Andric bool isFloat() const { return Float && !BFloat; } 1055ffd83dbSDimitry Andric bool isBFloat() const { return BFloat && !Float; } 1065ffd83dbSDimitry Andric bool isFloatingPoint() const { return Float || BFloat; } 10706c3fb27SDimitry Andric bool isInteger() const { 10806c3fb27SDimitry Andric return !isFloatingPoint() && !Predicate && !Svcount; 10906c3fb27SDimitry Andric } 1105ffd83dbSDimitry Andric bool isScalarPredicate() const { 1115ffd83dbSDimitry Andric return !isFloatingPoint() && Predicate && NumVectors == 0; 1125ffd83dbSDimitry Andric } 1135ffd83dbSDimitry Andric bool isPredicateVector() const { return Predicate; } 1145ffd83dbSDimitry Andric bool isPredicatePattern() const { return PredicatePattern; } 1155ffd83dbSDimitry Andric bool isPrefetchOp() const { return PrefetchOp; } 11606c3fb27SDimitry Andric bool isSvcount() const { return Svcount; } 1175ffd83dbSDimitry Andric bool isConstant() const { return Constant; } 1185ffd83dbSDimitry Andric unsigned getElementSizeInBits() const { return ElementBitwidth; } 1195ffd83dbSDimitry Andric unsigned getNumVectors() const { return NumVectors; } 1205ffd83dbSDimitry Andric 1215ffd83dbSDimitry Andric unsigned getNumElements() const { 1225ffd83dbSDimitry Andric assert(ElementBitwidth != ~0U); 1235ffd83dbSDimitry Andric return Bitwidth / ElementBitwidth; 1245ffd83dbSDimitry Andric } 1255ffd83dbSDimitry Andric unsigned getSizeInBits() const { 1265ffd83dbSDimitry Andric return Bitwidth; 1275ffd83dbSDimitry Andric } 1285ffd83dbSDimitry Andric 1295ffd83dbSDimitry Andric /// Return the string representation of a type, which is an encoded 1305ffd83dbSDimitry Andric /// string for passing to the BUILTIN() macro in Builtins.def. 1315ffd83dbSDimitry Andric std::string builtin_str() const; 1325ffd83dbSDimitry Andric 1335ffd83dbSDimitry Andric /// Return the C/C++ string representation of a type for use in the 1345ffd83dbSDimitry Andric /// arm_sve.h header file. 1355ffd83dbSDimitry Andric std::string str() const; 1365ffd83dbSDimitry Andric 1375ffd83dbSDimitry Andric private: 1385ffd83dbSDimitry Andric /// Creates the type based on the typespec string in TS. 1395f757f3fSDimitry Andric void applyTypespec(StringRef TS); 1405ffd83dbSDimitry Andric 1415ffd83dbSDimitry Andric /// Applies a prototype modifier to the type. 1425ffd83dbSDimitry Andric void applyModifier(char Mod); 1435ffd83dbSDimitry Andric }; 1445ffd83dbSDimitry Andric 1455ffd83dbSDimitry Andric class SVEEmitter; 1465ffd83dbSDimitry Andric 1475ffd83dbSDimitry Andric /// The main grunt class. This represents an instantiation of an intrinsic with 1485ffd83dbSDimitry Andric /// a particular typespec and prototype. 1495ffd83dbSDimitry Andric class Intrinsic { 1505ffd83dbSDimitry Andric /// The unmangled name. 1515ffd83dbSDimitry Andric std::string Name; 1525ffd83dbSDimitry Andric 1535ffd83dbSDimitry Andric /// The name of the corresponding LLVM IR intrinsic. 1545ffd83dbSDimitry Andric std::string LLVMName; 1555ffd83dbSDimitry Andric 1565ffd83dbSDimitry Andric /// Intrinsic prototype. 1575ffd83dbSDimitry Andric std::string Proto; 1585ffd83dbSDimitry Andric 1595ffd83dbSDimitry Andric /// The base type spec for this intrinsic. 1605ffd83dbSDimitry Andric TypeSpec BaseTypeSpec; 1615ffd83dbSDimitry Andric 1625ffd83dbSDimitry Andric /// The base class kind. Most intrinsics use ClassS, which has full type 1635ffd83dbSDimitry Andric /// info for integers (_s32/_u32), or ClassG which is used for overloaded 1645ffd83dbSDimitry Andric /// intrinsics. 1655ffd83dbSDimitry Andric ClassKind Class; 1665ffd83dbSDimitry Andric 1675ffd83dbSDimitry Andric /// The architectural #ifdef guard. 1685ffd83dbSDimitry Andric std::string Guard; 1695ffd83dbSDimitry Andric 1705ffd83dbSDimitry Andric // The merge suffix such as _m, _x or _z. 1715ffd83dbSDimitry Andric std::string MergeSuffix; 1725ffd83dbSDimitry Andric 1735ffd83dbSDimitry Andric /// The types of return value [0] and parameters [1..]. 1745ffd83dbSDimitry Andric std::vector<SVEType> Types; 1755ffd83dbSDimitry Andric 1765ffd83dbSDimitry Andric /// The "base type", which is VarType('d', BaseTypeSpec). 1775ffd83dbSDimitry Andric SVEType BaseType; 1785ffd83dbSDimitry Andric 1795ffd83dbSDimitry Andric uint64_t Flags; 1805ffd83dbSDimitry Andric 1815ffd83dbSDimitry Andric SmallVector<ImmCheck, 2> ImmChecks; 1825ffd83dbSDimitry Andric 1835ffd83dbSDimitry Andric public: 1845ffd83dbSDimitry Andric Intrinsic(StringRef Name, StringRef Proto, uint64_t MergeTy, 1855ffd83dbSDimitry Andric StringRef MergeSuffix, uint64_t MemoryElementTy, StringRef LLVMName, 1865ffd83dbSDimitry Andric uint64_t Flags, ArrayRef<ImmCheck> ImmChecks, TypeSpec BT, 1875ffd83dbSDimitry Andric ClassKind Class, SVEEmitter &Emitter, StringRef Guard); 1885ffd83dbSDimitry Andric 1895ffd83dbSDimitry Andric ~Intrinsic()=default; 1905ffd83dbSDimitry Andric 1915ffd83dbSDimitry Andric std::string getName() const { return Name; } 1925ffd83dbSDimitry Andric std::string getLLVMName() const { return LLVMName; } 1935ffd83dbSDimitry Andric std::string getProto() const { return Proto; } 1945ffd83dbSDimitry Andric TypeSpec getBaseTypeSpec() const { return BaseTypeSpec; } 1955ffd83dbSDimitry Andric SVEType getBaseType() const { return BaseType; } 1965ffd83dbSDimitry Andric 1975ffd83dbSDimitry Andric StringRef getGuard() const { return Guard; } 1985ffd83dbSDimitry Andric ClassKind getClassKind() const { return Class; } 1995ffd83dbSDimitry Andric 2005ffd83dbSDimitry Andric SVEType getReturnType() const { return Types[0]; } 2015ffd83dbSDimitry Andric ArrayRef<SVEType> getTypes() const { return Types; } 2025ffd83dbSDimitry Andric SVEType getParamType(unsigned I) const { return Types[I + 1]; } 2035f757f3fSDimitry Andric unsigned getNumParams() const { 2045f757f3fSDimitry Andric return Proto.size() - (2 * llvm::count(Proto, '.')) - 1; 2055f757f3fSDimitry Andric } 2065ffd83dbSDimitry Andric 2075ffd83dbSDimitry Andric uint64_t getFlags() const { return Flags; } 2085ffd83dbSDimitry Andric bool isFlagSet(uint64_t Flag) const { return Flags & Flag;} 2095ffd83dbSDimitry Andric 2105ffd83dbSDimitry Andric ArrayRef<ImmCheck> getImmChecks() const { return ImmChecks; } 2115ffd83dbSDimitry Andric 2125ffd83dbSDimitry Andric /// Return the type string for a BUILTIN() macro in Builtins.def. 2135ffd83dbSDimitry Andric std::string getBuiltinTypeStr(); 2145ffd83dbSDimitry Andric 2155ffd83dbSDimitry Andric /// Return the name, mangled with type information. The name is mangled for 2165ffd83dbSDimitry Andric /// ClassS, so will add type suffixes such as _u32/_s32. 2175ffd83dbSDimitry Andric std::string getMangledName() const { return mangleName(ClassS); } 2185ffd83dbSDimitry Andric 21906c3fb27SDimitry Andric /// As above, but mangles the LLVM name instead. 22006c3fb27SDimitry Andric std::string getMangledLLVMName() const { return mangleLLVMName(); } 22106c3fb27SDimitry Andric 2225ffd83dbSDimitry Andric /// Returns true if the intrinsic is overloaded, in that it should also generate 2235ffd83dbSDimitry Andric /// a short form without the type-specifiers, e.g. 'svld1(..)' instead of 2245ffd83dbSDimitry Andric /// 'svld1_u32(..)'. 2255ffd83dbSDimitry Andric static bool isOverloadedIntrinsic(StringRef Name) { 226e8d8bef9SDimitry Andric auto BrOpen = Name.find('['); 2275ffd83dbSDimitry Andric auto BrClose = Name.find(']'); 2285ffd83dbSDimitry Andric return BrOpen != std::string::npos && BrClose != std::string::npos; 2295ffd83dbSDimitry Andric } 2305ffd83dbSDimitry Andric 2315ffd83dbSDimitry Andric /// Return true if the intrinsic takes a splat operand. 2325ffd83dbSDimitry Andric bool hasSplat() const { 2335ffd83dbSDimitry Andric // These prototype modifiers are described in arm_sve.td. 2345ffd83dbSDimitry Andric return Proto.find_first_of("ajfrKLR@") != std::string::npos; 2355ffd83dbSDimitry Andric } 2365ffd83dbSDimitry Andric 2375ffd83dbSDimitry Andric /// Return the parameter index of the splat operand. 2385ffd83dbSDimitry Andric unsigned getSplatIdx() const { 2395f757f3fSDimitry Andric unsigned I = 1, Param = 0; 2405f757f3fSDimitry Andric for (; I < Proto.size(); ++I, ++Param) { 2415f757f3fSDimitry Andric if (Proto[I] == 'a' || Proto[I] == 'j' || Proto[I] == 'f' || 2425f757f3fSDimitry Andric Proto[I] == 'r' || Proto[I] == 'K' || Proto[I] == 'L' || 2435f757f3fSDimitry Andric Proto[I] == 'R' || Proto[I] == '@') 2445f757f3fSDimitry Andric break; 2455f757f3fSDimitry Andric 2465f757f3fSDimitry Andric // Multivector modifier can be skipped 2475f757f3fSDimitry Andric if (Proto[I] == '.') 2485f757f3fSDimitry Andric I += 2; 2495f757f3fSDimitry Andric } 2505f757f3fSDimitry Andric assert(I != Proto.size() && "Prototype has no splat operand"); 2515f757f3fSDimitry Andric return Param; 2525ffd83dbSDimitry Andric } 2535ffd83dbSDimitry Andric 2545ffd83dbSDimitry Andric /// Emits the intrinsic declaration to the ostream. 2555f757f3fSDimitry Andric void emitIntrinsic(raw_ostream &OS, SVEEmitter &Emitter, ACLEKind Kind) const; 2565ffd83dbSDimitry Andric 2575ffd83dbSDimitry Andric private: 2585ffd83dbSDimitry Andric std::string getMergeSuffix() const { return MergeSuffix; } 2595ffd83dbSDimitry Andric std::string mangleName(ClassKind LocalCK) const; 26006c3fb27SDimitry Andric std::string mangleLLVMName() const; 2615ffd83dbSDimitry Andric std::string replaceTemplatedArgs(std::string Name, TypeSpec TS, 2625ffd83dbSDimitry Andric std::string Proto) const; 2635ffd83dbSDimitry Andric }; 2645ffd83dbSDimitry Andric 2655ffd83dbSDimitry Andric class SVEEmitter { 2665ffd83dbSDimitry Andric private: 2675ffd83dbSDimitry Andric // The reinterpret builtins are generated separately because they 2685ffd83dbSDimitry Andric // need the cross product of all types (121 functions in total), 2695ffd83dbSDimitry Andric // which is inconvenient to specify in the arm_sve.td file or 2705ffd83dbSDimitry Andric // generate in CGBuiltin.cpp. 2715ffd83dbSDimitry Andric struct ReinterpretTypeInfo { 2725f757f3fSDimitry Andric SVEType BaseType; 2735ffd83dbSDimitry Andric const char *Suffix; 2745ffd83dbSDimitry Andric }; 2755f757f3fSDimitry Andric 2765f757f3fSDimitry Andric static const std::array<ReinterpretTypeInfo, 12> Reinterprets; 2775ffd83dbSDimitry Andric 2785ffd83dbSDimitry Andric RecordKeeper &Records; 2795ffd83dbSDimitry Andric llvm::StringMap<uint64_t> EltTypes; 2805ffd83dbSDimitry Andric llvm::StringMap<uint64_t> MemEltTypes; 2815ffd83dbSDimitry Andric llvm::StringMap<uint64_t> FlagTypes; 2825ffd83dbSDimitry Andric llvm::StringMap<uint64_t> MergeTypes; 2835ffd83dbSDimitry Andric llvm::StringMap<uint64_t> ImmCheckTypes; 2845ffd83dbSDimitry Andric 2855ffd83dbSDimitry Andric public: 2865ffd83dbSDimitry Andric SVEEmitter(RecordKeeper &R) : Records(R) { 2875ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("EltType")) 2885ffd83dbSDimitry Andric EltTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2895ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("MemEltType")) 2905ffd83dbSDimitry Andric MemEltTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2915ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("FlagType")) 2925ffd83dbSDimitry Andric FlagTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2935ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("MergeType")) 2945ffd83dbSDimitry Andric MergeTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2955ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("ImmCheckType")) 2965ffd83dbSDimitry Andric ImmCheckTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2975ffd83dbSDimitry Andric } 2985ffd83dbSDimitry Andric 2995ffd83dbSDimitry Andric /// Returns the enum value for the immcheck type 3005ffd83dbSDimitry Andric unsigned getEnumValueForImmCheck(StringRef C) const { 3015ffd83dbSDimitry Andric auto It = ImmCheckTypes.find(C); 3025ffd83dbSDimitry Andric if (It != ImmCheckTypes.end()) 3035ffd83dbSDimitry Andric return It->getValue(); 3045ffd83dbSDimitry Andric llvm_unreachable("Unsupported imm check"); 3055ffd83dbSDimitry Andric } 3065ffd83dbSDimitry Andric 3075ffd83dbSDimitry Andric /// Returns the enum value for the flag type 3085ffd83dbSDimitry Andric uint64_t getEnumValueForFlag(StringRef C) const { 3095ffd83dbSDimitry Andric auto Res = FlagTypes.find(C); 3105ffd83dbSDimitry Andric if (Res != FlagTypes.end()) 3115ffd83dbSDimitry Andric return Res->getValue(); 3125ffd83dbSDimitry Andric llvm_unreachable("Unsupported flag"); 3135ffd83dbSDimitry Andric } 3145ffd83dbSDimitry Andric 3155ffd83dbSDimitry Andric // Returns the SVETypeFlags for a given value and mask. 3165ffd83dbSDimitry Andric uint64_t encodeFlag(uint64_t V, StringRef MaskName) const { 3175ffd83dbSDimitry Andric auto It = FlagTypes.find(MaskName); 3185ffd83dbSDimitry Andric if (It != FlagTypes.end()) { 3195ffd83dbSDimitry Andric uint64_t Mask = It->getValue(); 32006c3fb27SDimitry Andric unsigned Shift = llvm::countr_zero(Mask); 32106c3fb27SDimitry Andric assert(Shift < 64 && "Mask value produced an invalid shift value"); 3225ffd83dbSDimitry Andric return (V << Shift) & Mask; 3235ffd83dbSDimitry Andric } 3245ffd83dbSDimitry Andric llvm_unreachable("Unsupported flag"); 3255ffd83dbSDimitry Andric } 3265ffd83dbSDimitry Andric 3275ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given element type. 3285ffd83dbSDimitry Andric uint64_t encodeEltType(StringRef EltName) { 3295ffd83dbSDimitry Andric auto It = EltTypes.find(EltName); 3305ffd83dbSDimitry Andric if (It != EltTypes.end()) 3315ffd83dbSDimitry Andric return encodeFlag(It->getValue(), "EltTypeMask"); 3325ffd83dbSDimitry Andric llvm_unreachable("Unsupported EltType"); 3335ffd83dbSDimitry Andric } 3345ffd83dbSDimitry Andric 3355ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given memory element type. 3365ffd83dbSDimitry Andric uint64_t encodeMemoryElementType(uint64_t MT) { 3375ffd83dbSDimitry Andric return encodeFlag(MT, "MemEltTypeMask"); 3385ffd83dbSDimitry Andric } 3395ffd83dbSDimitry Andric 3405ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given merge type. 3415ffd83dbSDimitry Andric uint64_t encodeMergeType(uint64_t MT) { 3425ffd83dbSDimitry Andric return encodeFlag(MT, "MergeTypeMask"); 3435ffd83dbSDimitry Andric } 3445ffd83dbSDimitry Andric 3455ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given splat operand. 3465ffd83dbSDimitry Andric unsigned encodeSplatOperand(unsigned SplatIdx) { 3475ffd83dbSDimitry Andric assert(SplatIdx < 7 && "SplatIdx out of encodable range"); 3485ffd83dbSDimitry Andric return encodeFlag(SplatIdx + 1, "SplatOperandMask"); 3495ffd83dbSDimitry Andric } 3505ffd83dbSDimitry Andric 3515ffd83dbSDimitry Andric // Returns the SVETypeFlags value for the given SVEType. 3525ffd83dbSDimitry Andric uint64_t encodeTypeFlags(const SVEType &T); 3535ffd83dbSDimitry Andric 3545ffd83dbSDimitry Andric /// Emit arm_sve.h. 3555ffd83dbSDimitry Andric void createHeader(raw_ostream &o); 3565ffd83dbSDimitry Andric 3575f757f3fSDimitry Andric // Emits core intrinsics in both arm_sme.h and arm_sve.h 3585f757f3fSDimitry Andric void createCoreHeaderIntrinsics(raw_ostream &o, SVEEmitter &Emitter, 3595f757f3fSDimitry Andric ACLEKind Kind); 3605f757f3fSDimitry Andric 3615ffd83dbSDimitry Andric /// Emit all the __builtin prototypes and code needed by Sema. 3625ffd83dbSDimitry Andric void createBuiltins(raw_ostream &o); 3635ffd83dbSDimitry Andric 3645ffd83dbSDimitry Andric /// Emit all the information needed to map builtin -> LLVM IR intrinsic. 3655ffd83dbSDimitry Andric void createCodeGenMap(raw_ostream &o); 3665ffd83dbSDimitry Andric 3675ffd83dbSDimitry Andric /// Emit all the range checks for the immediates. 3685ffd83dbSDimitry Andric void createRangeChecks(raw_ostream &o); 3695ffd83dbSDimitry Andric 3705ffd83dbSDimitry Andric /// Create the SVETypeFlags used in CGBuiltins 3715ffd83dbSDimitry Andric void createTypeFlags(raw_ostream &o); 3725ffd83dbSDimitry Andric 37306c3fb27SDimitry Andric /// Emit arm_sme.h. 37406c3fb27SDimitry Andric void createSMEHeader(raw_ostream &o); 37506c3fb27SDimitry Andric 37606c3fb27SDimitry Andric /// Emit all the SME __builtin prototypes and code needed by Sema. 37706c3fb27SDimitry Andric void createSMEBuiltins(raw_ostream &o); 37806c3fb27SDimitry Andric 37906c3fb27SDimitry Andric /// Emit all the information needed to map builtin -> LLVM IR intrinsic. 38006c3fb27SDimitry Andric void createSMECodeGenMap(raw_ostream &o); 38106c3fb27SDimitry Andric 382cb14a3feSDimitry Andric /// Create a table for a builtin's requirement for PSTATE.SM. 383cb14a3feSDimitry Andric void createStreamingAttrs(raw_ostream &o, ACLEKind Kind); 384cb14a3feSDimitry Andric 38506c3fb27SDimitry Andric /// Emit all the range checks for the immediates. 38606c3fb27SDimitry Andric void createSMERangeChecks(raw_ostream &o); 38706c3fb27SDimitry Andric 388cb14a3feSDimitry Andric /// Create a table for a builtin's requirement for PSTATE.ZA. 389cb14a3feSDimitry Andric void createBuiltinZAState(raw_ostream &OS); 390cb14a3feSDimitry Andric 3915ffd83dbSDimitry Andric /// Create intrinsic and add it to \p Out 39206c3fb27SDimitry Andric void createIntrinsic(Record *R, 39306c3fb27SDimitry Andric SmallVectorImpl<std::unique_ptr<Intrinsic>> &Out); 3945ffd83dbSDimitry Andric }; 3955ffd83dbSDimitry Andric 3965f757f3fSDimitry Andric const std::array<SVEEmitter::ReinterpretTypeInfo, 12> SVEEmitter::Reinterprets = 3975f757f3fSDimitry Andric {{{SVEType("c", 'd'), "s8"}, 3985f757f3fSDimitry Andric {SVEType("Uc", 'd'), "u8"}, 3995f757f3fSDimitry Andric {SVEType("s", 'd'), "s16"}, 4005f757f3fSDimitry Andric {SVEType("Us", 'd'), "u16"}, 4015f757f3fSDimitry Andric {SVEType("i", 'd'), "s32"}, 4025f757f3fSDimitry Andric {SVEType("Ui", 'd'), "u32"}, 4035f757f3fSDimitry Andric {SVEType("l", 'd'), "s64"}, 4045f757f3fSDimitry Andric {SVEType("Ul", 'd'), "u64"}, 4055f757f3fSDimitry Andric {SVEType("h", 'd'), "f16"}, 4065f757f3fSDimitry Andric {SVEType("b", 'd'), "bf16"}, 4075f757f3fSDimitry Andric {SVEType("f", 'd'), "f32"}, 4085f757f3fSDimitry Andric {SVEType("d", 'd'), "f64"}}}; 4095f757f3fSDimitry Andric 4105ffd83dbSDimitry Andric } // end anonymous namespace 4115ffd83dbSDimitry Andric 4125ffd83dbSDimitry Andric 4135ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 4145ffd83dbSDimitry Andric // Type implementation 4155ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 4165ffd83dbSDimitry Andric 4175ffd83dbSDimitry Andric std::string SVEType::builtin_str() const { 4185ffd83dbSDimitry Andric std::string S; 4195ffd83dbSDimitry Andric if (isVoid()) 4205ffd83dbSDimitry Andric return "v"; 4215ffd83dbSDimitry Andric 422fe6060f1SDimitry Andric if (isScalarPredicate()) 423fe6060f1SDimitry Andric return "b"; 424fe6060f1SDimitry Andric 42506c3fb27SDimitry Andric if (isSvcount()) 42606c3fb27SDimitry Andric return "Qa"; 42706c3fb27SDimitry Andric 4285ffd83dbSDimitry Andric if (isVoidPointer()) 4295ffd83dbSDimitry Andric S += "v"; 4305ffd83dbSDimitry Andric else if (!isFloatingPoint()) 4315ffd83dbSDimitry Andric switch (ElementBitwidth) { 4325ffd83dbSDimitry Andric case 1: S += "b"; break; 4335ffd83dbSDimitry Andric case 8: S += "c"; break; 4345ffd83dbSDimitry Andric case 16: S += "s"; break; 4355ffd83dbSDimitry Andric case 32: S += "i"; break; 4365ffd83dbSDimitry Andric case 64: S += "Wi"; break; 4375ffd83dbSDimitry Andric case 128: S += "LLLi"; break; 4385ffd83dbSDimitry Andric default: llvm_unreachable("Unhandled case!"); 4395ffd83dbSDimitry Andric } 4405ffd83dbSDimitry Andric else if (isFloat()) 4415ffd83dbSDimitry Andric switch (ElementBitwidth) { 4425ffd83dbSDimitry Andric case 16: S += "h"; break; 4435ffd83dbSDimitry Andric case 32: S += "f"; break; 4445ffd83dbSDimitry Andric case 64: S += "d"; break; 4455ffd83dbSDimitry Andric default: llvm_unreachable("Unhandled case!"); 4465ffd83dbSDimitry Andric } 4475ffd83dbSDimitry Andric else if (isBFloat()) { 4485ffd83dbSDimitry Andric assert(ElementBitwidth == 16 && "Not a valid BFloat."); 4495ffd83dbSDimitry Andric S += "y"; 4505ffd83dbSDimitry Andric } 4515ffd83dbSDimitry Andric 4525ffd83dbSDimitry Andric if (!isFloatingPoint()) { 4535ffd83dbSDimitry Andric if ((isChar() || isPointer()) && !isVoidPointer()) { 4545ffd83dbSDimitry Andric // Make chars and typed pointers explicitly signed. 4555ffd83dbSDimitry Andric if (Signed) 4565ffd83dbSDimitry Andric S = "S" + S; 4575ffd83dbSDimitry Andric else if (!Signed) 4585ffd83dbSDimitry Andric S = "U" + S; 4595ffd83dbSDimitry Andric } else if (!isVoidPointer() && !Signed) { 4605ffd83dbSDimitry Andric S = "U" + S; 4615ffd83dbSDimitry Andric } 4625ffd83dbSDimitry Andric } 4635ffd83dbSDimitry Andric 4645ffd83dbSDimitry Andric // Constant indices are "int", but have the "constant expression" modifier. 4655ffd83dbSDimitry Andric if (isImmediate()) { 4665ffd83dbSDimitry Andric assert(!isFloat() && "fp immediates are not supported"); 4675ffd83dbSDimitry Andric S = "I" + S; 4685ffd83dbSDimitry Andric } 4695ffd83dbSDimitry Andric 4705ffd83dbSDimitry Andric if (isScalar()) { 4715ffd83dbSDimitry Andric if (Constant) S += "C"; 4725ffd83dbSDimitry Andric if (Pointer) S += "*"; 4735ffd83dbSDimitry Andric return S; 4745ffd83dbSDimitry Andric } 4755ffd83dbSDimitry Andric 4765f757f3fSDimitry Andric if (isFixedLengthVector()) 4775f757f3fSDimitry Andric return "V" + utostr(getNumElements() * NumVectors) + S; 4785ffd83dbSDimitry Andric return "q" + utostr(getNumElements() * NumVectors) + S; 4795ffd83dbSDimitry Andric } 4805ffd83dbSDimitry Andric 4815ffd83dbSDimitry Andric std::string SVEType::str() const { 4825ffd83dbSDimitry Andric if (isPredicatePattern()) 483e8d8bef9SDimitry Andric return "enum svpattern"; 4845ffd83dbSDimitry Andric 4855ffd83dbSDimitry Andric if (isPrefetchOp()) 486e8d8bef9SDimitry Andric return "enum svprfop"; 4875ffd83dbSDimitry Andric 4885ffd83dbSDimitry Andric std::string S; 4895ffd83dbSDimitry Andric if (Void) 4905ffd83dbSDimitry Andric S += "void"; 4915ffd83dbSDimitry Andric else { 49206c3fb27SDimitry Andric if (isScalableVector() || isSvcount()) 4935ffd83dbSDimitry Andric S += "sv"; 4945ffd83dbSDimitry Andric if (!Signed && !isFloatingPoint()) 4955ffd83dbSDimitry Andric S += "u"; 4965ffd83dbSDimitry Andric 4975ffd83dbSDimitry Andric if (Float) 4985ffd83dbSDimitry Andric S += "float"; 49906c3fb27SDimitry Andric else if (isSvcount()) 50006c3fb27SDimitry Andric S += "count"; 5015ffd83dbSDimitry Andric else if (isScalarPredicate() || isPredicateVector()) 5025ffd83dbSDimitry Andric S += "bool"; 5035ffd83dbSDimitry Andric else if (isBFloat()) 5045ffd83dbSDimitry Andric S += "bfloat"; 5055ffd83dbSDimitry Andric else 5065ffd83dbSDimitry Andric S += "int"; 5075ffd83dbSDimitry Andric 50806c3fb27SDimitry Andric if (!isScalarPredicate() && !isPredicateVector() && !isSvcount()) 5095ffd83dbSDimitry Andric S += utostr(ElementBitwidth); 5105f757f3fSDimitry Andric if (isFixedLengthVector()) 5115ffd83dbSDimitry Andric S += "x" + utostr(getNumElements()); 5125ffd83dbSDimitry Andric if (NumVectors > 1) 5135ffd83dbSDimitry Andric S += "x" + utostr(NumVectors); 5145ffd83dbSDimitry Andric if (!isScalarPredicate()) 5155ffd83dbSDimitry Andric S += "_t"; 5165ffd83dbSDimitry Andric } 5175ffd83dbSDimitry Andric 5185ffd83dbSDimitry Andric if (Constant) 5195ffd83dbSDimitry Andric S += " const"; 5205ffd83dbSDimitry Andric if (Pointer) 5215ffd83dbSDimitry Andric S += " *"; 5225ffd83dbSDimitry Andric 5235ffd83dbSDimitry Andric return S; 5245ffd83dbSDimitry Andric } 5255f757f3fSDimitry Andric 5265f757f3fSDimitry Andric void SVEType::applyTypespec(StringRef TS) { 5275ffd83dbSDimitry Andric for (char I : TS) { 5285ffd83dbSDimitry Andric switch (I) { 52906c3fb27SDimitry Andric case 'Q': 53006c3fb27SDimitry Andric Svcount = true; 53106c3fb27SDimitry Andric break; 5325ffd83dbSDimitry Andric case 'P': 5335ffd83dbSDimitry Andric Predicate = true; 5345ffd83dbSDimitry Andric break; 5355ffd83dbSDimitry Andric case 'U': 5365ffd83dbSDimitry Andric Signed = false; 5375ffd83dbSDimitry Andric break; 5385ffd83dbSDimitry Andric case 'c': 5395ffd83dbSDimitry Andric ElementBitwidth = 8; 5405ffd83dbSDimitry Andric break; 5415ffd83dbSDimitry Andric case 's': 5425ffd83dbSDimitry Andric ElementBitwidth = 16; 5435ffd83dbSDimitry Andric break; 5445ffd83dbSDimitry Andric case 'i': 5455ffd83dbSDimitry Andric ElementBitwidth = 32; 5465ffd83dbSDimitry Andric break; 5475ffd83dbSDimitry Andric case 'l': 5485ffd83dbSDimitry Andric ElementBitwidth = 64; 5495ffd83dbSDimitry Andric break; 55006c3fb27SDimitry Andric case 'q': 55106c3fb27SDimitry Andric ElementBitwidth = 128; 55206c3fb27SDimitry Andric break; 5535ffd83dbSDimitry Andric case 'h': 5545ffd83dbSDimitry Andric Float = true; 5555ffd83dbSDimitry Andric ElementBitwidth = 16; 5565ffd83dbSDimitry Andric break; 5575ffd83dbSDimitry Andric case 'f': 5585ffd83dbSDimitry Andric Float = true; 5595ffd83dbSDimitry Andric ElementBitwidth = 32; 5605ffd83dbSDimitry Andric break; 5615ffd83dbSDimitry Andric case 'd': 5625ffd83dbSDimitry Andric Float = true; 5635ffd83dbSDimitry Andric ElementBitwidth = 64; 5645ffd83dbSDimitry Andric break; 5655ffd83dbSDimitry Andric case 'b': 5665ffd83dbSDimitry Andric BFloat = true; 5675ffd83dbSDimitry Andric Float = false; 5685ffd83dbSDimitry Andric ElementBitwidth = 16; 5695ffd83dbSDimitry Andric break; 5705ffd83dbSDimitry Andric default: 5715ffd83dbSDimitry Andric llvm_unreachable("Unhandled type code!"); 5725ffd83dbSDimitry Andric } 5735ffd83dbSDimitry Andric } 5745ffd83dbSDimitry Andric assert(ElementBitwidth != ~0U && "Bad element bitwidth!"); 5755ffd83dbSDimitry Andric } 5765ffd83dbSDimitry Andric 5775ffd83dbSDimitry Andric void SVEType::applyModifier(char Mod) { 5785ffd83dbSDimitry Andric switch (Mod) { 5795ffd83dbSDimitry Andric case 'v': 5805ffd83dbSDimitry Andric Void = true; 5815ffd83dbSDimitry Andric break; 5825ffd83dbSDimitry Andric case 'd': 5835ffd83dbSDimitry Andric DefaultType = true; 5845ffd83dbSDimitry Andric break; 5855ffd83dbSDimitry Andric case 'c': 5865ffd83dbSDimitry Andric Constant = true; 587bdd1243dSDimitry Andric [[fallthrough]]; 5885ffd83dbSDimitry Andric case 'p': 5895ffd83dbSDimitry Andric Pointer = true; 5905ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 5915ffd83dbSDimitry Andric NumVectors = 0; 5925ffd83dbSDimitry Andric break; 5935ffd83dbSDimitry Andric case 'e': 5945ffd83dbSDimitry Andric Signed = false; 5955ffd83dbSDimitry Andric ElementBitwidth /= 2; 5965ffd83dbSDimitry Andric break; 5975ffd83dbSDimitry Andric case 'h': 5985ffd83dbSDimitry Andric ElementBitwidth /= 2; 5995ffd83dbSDimitry Andric break; 6005ffd83dbSDimitry Andric case 'q': 6015ffd83dbSDimitry Andric ElementBitwidth /= 4; 6025ffd83dbSDimitry Andric break; 6035ffd83dbSDimitry Andric case 'b': 6045ffd83dbSDimitry Andric Signed = false; 6055ffd83dbSDimitry Andric Float = false; 6065ffd83dbSDimitry Andric BFloat = false; 6075ffd83dbSDimitry Andric ElementBitwidth /= 4; 6085ffd83dbSDimitry Andric break; 6095ffd83dbSDimitry Andric case 'o': 6105ffd83dbSDimitry Andric ElementBitwidth *= 4; 6115ffd83dbSDimitry Andric break; 6125ffd83dbSDimitry Andric case 'P': 6135ffd83dbSDimitry Andric Signed = true; 6145ffd83dbSDimitry Andric Float = false; 6155ffd83dbSDimitry Andric BFloat = false; 6165ffd83dbSDimitry Andric Predicate = true; 61706c3fb27SDimitry Andric Svcount = false; 6185ffd83dbSDimitry Andric Bitwidth = 16; 6195ffd83dbSDimitry Andric ElementBitwidth = 1; 6205ffd83dbSDimitry Andric break; 6215f757f3fSDimitry Andric case '{': 6225f757f3fSDimitry Andric IsScalable = false; 6235f757f3fSDimitry Andric Bitwidth = 128; 6245f757f3fSDimitry Andric NumVectors = 1; 6255f757f3fSDimitry Andric break; 6265ffd83dbSDimitry Andric case 's': 6275ffd83dbSDimitry Andric case 'a': 6285ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 6295ffd83dbSDimitry Andric NumVectors = 0; 6305ffd83dbSDimitry Andric break; 6315ffd83dbSDimitry Andric case 'R': 6325ffd83dbSDimitry Andric ElementBitwidth /= 2; 6335ffd83dbSDimitry Andric NumVectors = 0; 6345ffd83dbSDimitry Andric break; 6355ffd83dbSDimitry Andric case 'r': 6365ffd83dbSDimitry Andric ElementBitwidth /= 4; 6375ffd83dbSDimitry Andric NumVectors = 0; 6385ffd83dbSDimitry Andric break; 6395ffd83dbSDimitry Andric case '@': 6405ffd83dbSDimitry Andric Signed = false; 6415ffd83dbSDimitry Andric Float = false; 6425ffd83dbSDimitry Andric BFloat = false; 6435ffd83dbSDimitry Andric ElementBitwidth /= 4; 6445ffd83dbSDimitry Andric NumVectors = 0; 6455ffd83dbSDimitry Andric break; 6465ffd83dbSDimitry Andric case 'K': 6475ffd83dbSDimitry Andric Signed = true; 6485ffd83dbSDimitry Andric Float = false; 6495ffd83dbSDimitry Andric BFloat = false; 6505ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 6515ffd83dbSDimitry Andric NumVectors = 0; 6525ffd83dbSDimitry Andric break; 6535ffd83dbSDimitry Andric case 'L': 6545ffd83dbSDimitry Andric Signed = false; 6555ffd83dbSDimitry Andric Float = false; 6565ffd83dbSDimitry Andric BFloat = false; 6575ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 6585ffd83dbSDimitry Andric NumVectors = 0; 6595ffd83dbSDimitry Andric break; 6605ffd83dbSDimitry Andric case 'u': 6615ffd83dbSDimitry Andric Predicate = false; 66206c3fb27SDimitry Andric Svcount = false; 6635ffd83dbSDimitry Andric Signed = false; 6645ffd83dbSDimitry Andric Float = false; 6655ffd83dbSDimitry Andric BFloat = false; 6665ffd83dbSDimitry Andric break; 6675ffd83dbSDimitry Andric case 'x': 6685ffd83dbSDimitry Andric Predicate = false; 66906c3fb27SDimitry Andric Svcount = false; 6705ffd83dbSDimitry Andric Signed = true; 6715ffd83dbSDimitry Andric Float = false; 6725ffd83dbSDimitry Andric BFloat = false; 6735ffd83dbSDimitry Andric break; 6745ffd83dbSDimitry Andric case 'i': 6755ffd83dbSDimitry Andric Predicate = false; 67606c3fb27SDimitry Andric Svcount = false; 6775ffd83dbSDimitry Andric Float = false; 6785ffd83dbSDimitry Andric BFloat = false; 6795ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 6805ffd83dbSDimitry Andric NumVectors = 0; 6815ffd83dbSDimitry Andric Signed = false; 6825ffd83dbSDimitry Andric Immediate = true; 6835ffd83dbSDimitry Andric break; 6845ffd83dbSDimitry Andric case 'I': 6855ffd83dbSDimitry Andric Predicate = false; 68606c3fb27SDimitry Andric Svcount = false; 6875ffd83dbSDimitry Andric Float = false; 6885ffd83dbSDimitry Andric BFloat = false; 6895ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 6905ffd83dbSDimitry Andric NumVectors = 0; 6915ffd83dbSDimitry Andric Signed = true; 6925ffd83dbSDimitry Andric Immediate = true; 6935ffd83dbSDimitry Andric PredicatePattern = true; 6945ffd83dbSDimitry Andric break; 6955ffd83dbSDimitry Andric case 'J': 6965ffd83dbSDimitry Andric Predicate = false; 69706c3fb27SDimitry Andric Svcount = false; 6985ffd83dbSDimitry Andric Float = false; 6995ffd83dbSDimitry Andric BFloat = false; 7005ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7015ffd83dbSDimitry Andric NumVectors = 0; 7025ffd83dbSDimitry Andric Signed = true; 7035ffd83dbSDimitry Andric Immediate = true; 7045ffd83dbSDimitry Andric PrefetchOp = true; 7055ffd83dbSDimitry Andric break; 7065ffd83dbSDimitry Andric case 'k': 7075ffd83dbSDimitry Andric Predicate = false; 70806c3fb27SDimitry Andric Svcount = false; 7095ffd83dbSDimitry Andric Signed = true; 7105ffd83dbSDimitry Andric Float = false; 7115ffd83dbSDimitry Andric BFloat = false; 7125ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7135ffd83dbSDimitry Andric NumVectors = 0; 7145ffd83dbSDimitry Andric break; 7155ffd83dbSDimitry Andric case 'l': 7165ffd83dbSDimitry Andric Predicate = false; 71706c3fb27SDimitry Andric Svcount = false; 7185ffd83dbSDimitry Andric Signed = true; 7195ffd83dbSDimitry Andric Float = false; 7205ffd83dbSDimitry Andric BFloat = false; 7215ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 7225ffd83dbSDimitry Andric NumVectors = 0; 7235ffd83dbSDimitry Andric break; 7245ffd83dbSDimitry Andric case 'm': 7255ffd83dbSDimitry Andric Predicate = false; 72606c3fb27SDimitry Andric Svcount = false; 7275ffd83dbSDimitry Andric Signed = false; 7285ffd83dbSDimitry Andric Float = false; 7295ffd83dbSDimitry Andric BFloat = false; 7305ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7315ffd83dbSDimitry Andric NumVectors = 0; 7325ffd83dbSDimitry Andric break; 7335ffd83dbSDimitry Andric case 'n': 7345ffd83dbSDimitry Andric Predicate = false; 73506c3fb27SDimitry Andric Svcount = false; 7365ffd83dbSDimitry Andric Signed = false; 7375ffd83dbSDimitry Andric Float = false; 7385ffd83dbSDimitry Andric BFloat = false; 7395ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 7405ffd83dbSDimitry Andric NumVectors = 0; 7415ffd83dbSDimitry Andric break; 7425ffd83dbSDimitry Andric case 'w': 7435ffd83dbSDimitry Andric ElementBitwidth = 64; 7445ffd83dbSDimitry Andric break; 7455ffd83dbSDimitry Andric case 'j': 7465ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 7475ffd83dbSDimitry Andric NumVectors = 0; 7485ffd83dbSDimitry Andric break; 7495ffd83dbSDimitry Andric case 'f': 7505ffd83dbSDimitry Andric Signed = false; 7515ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 7525ffd83dbSDimitry Andric NumVectors = 0; 7535ffd83dbSDimitry Andric break; 7545ffd83dbSDimitry Andric case 'g': 7555ffd83dbSDimitry Andric Signed = false; 7565ffd83dbSDimitry Andric Float = false; 7575ffd83dbSDimitry Andric BFloat = false; 7585ffd83dbSDimitry Andric ElementBitwidth = 64; 7595ffd83dbSDimitry Andric break; 7605f757f3fSDimitry Andric case '[': 7615f757f3fSDimitry Andric Signed = false; 7625f757f3fSDimitry Andric Float = false; 7635f757f3fSDimitry Andric BFloat = false; 7645f757f3fSDimitry Andric ElementBitwidth = 8; 7655f757f3fSDimitry Andric break; 7665ffd83dbSDimitry Andric case 't': 7675ffd83dbSDimitry Andric Signed = true; 7685ffd83dbSDimitry Andric Float = false; 7695ffd83dbSDimitry Andric BFloat = false; 7705ffd83dbSDimitry Andric ElementBitwidth = 32; 7715ffd83dbSDimitry Andric break; 7725ffd83dbSDimitry Andric case 'z': 7735ffd83dbSDimitry Andric Signed = false; 7745ffd83dbSDimitry Andric Float = false; 7755ffd83dbSDimitry Andric BFloat = false; 7765ffd83dbSDimitry Andric ElementBitwidth = 32; 7775ffd83dbSDimitry Andric break; 7785ffd83dbSDimitry Andric case 'O': 7795ffd83dbSDimitry Andric Predicate = false; 78006c3fb27SDimitry Andric Svcount = false; 7815ffd83dbSDimitry Andric Float = true; 7825ffd83dbSDimitry Andric ElementBitwidth = 16; 7835ffd83dbSDimitry Andric break; 7845ffd83dbSDimitry Andric case 'M': 7855ffd83dbSDimitry Andric Predicate = false; 78606c3fb27SDimitry Andric Svcount = false; 7875ffd83dbSDimitry Andric Float = true; 7885ffd83dbSDimitry Andric BFloat = false; 7895ffd83dbSDimitry Andric ElementBitwidth = 32; 7905ffd83dbSDimitry Andric break; 7915ffd83dbSDimitry Andric case 'N': 7925ffd83dbSDimitry Andric Predicate = false; 79306c3fb27SDimitry Andric Svcount = false; 7945ffd83dbSDimitry Andric Float = true; 7955ffd83dbSDimitry Andric ElementBitwidth = 64; 7965ffd83dbSDimitry Andric break; 7975ffd83dbSDimitry Andric case 'Q': 7985ffd83dbSDimitry Andric Constant = true; 7995ffd83dbSDimitry Andric Pointer = true; 8005ffd83dbSDimitry Andric Void = true; 8015ffd83dbSDimitry Andric NumVectors = 0; 8025ffd83dbSDimitry Andric break; 8035ffd83dbSDimitry Andric case 'S': 8045ffd83dbSDimitry Andric Constant = true; 8055ffd83dbSDimitry Andric Pointer = true; 8065ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 8075ffd83dbSDimitry Andric NumVectors = 0; 8085ffd83dbSDimitry Andric Signed = true; 8095ffd83dbSDimitry Andric break; 8105ffd83dbSDimitry Andric case 'W': 8115ffd83dbSDimitry Andric Constant = true; 8125ffd83dbSDimitry Andric Pointer = true; 8135ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 8145ffd83dbSDimitry Andric NumVectors = 0; 8155ffd83dbSDimitry Andric Signed = false; 8165ffd83dbSDimitry Andric break; 8175ffd83dbSDimitry Andric case 'T': 8185ffd83dbSDimitry Andric Constant = true; 8195ffd83dbSDimitry Andric Pointer = true; 8205ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 8215ffd83dbSDimitry Andric NumVectors = 0; 8225ffd83dbSDimitry Andric Signed = true; 8235ffd83dbSDimitry Andric break; 8245ffd83dbSDimitry Andric case 'X': 8255ffd83dbSDimitry Andric Constant = true; 8265ffd83dbSDimitry Andric Pointer = true; 8275ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 8285ffd83dbSDimitry Andric NumVectors = 0; 8295ffd83dbSDimitry Andric Signed = false; 8305ffd83dbSDimitry Andric break; 8315ffd83dbSDimitry Andric case 'Y': 8325ffd83dbSDimitry Andric Constant = true; 8335ffd83dbSDimitry Andric Pointer = true; 8345ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 8355ffd83dbSDimitry Andric NumVectors = 0; 8365ffd83dbSDimitry Andric Signed = false; 8375ffd83dbSDimitry Andric break; 8385ffd83dbSDimitry Andric case 'U': 8395ffd83dbSDimitry Andric Constant = true; 8405ffd83dbSDimitry Andric Pointer = true; 8415ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 8425ffd83dbSDimitry Andric NumVectors = 0; 8435ffd83dbSDimitry Andric Signed = true; 8445ffd83dbSDimitry Andric break; 84506c3fb27SDimitry Andric case '%': 84606c3fb27SDimitry Andric Pointer = true; 84706c3fb27SDimitry Andric Void = true; 84806c3fb27SDimitry Andric NumVectors = 0; 84906c3fb27SDimitry Andric break; 8505ffd83dbSDimitry Andric case 'A': 8515ffd83dbSDimitry Andric Pointer = true; 8525ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 8535ffd83dbSDimitry Andric NumVectors = 0; 8545ffd83dbSDimitry Andric Signed = true; 8555ffd83dbSDimitry Andric break; 8565ffd83dbSDimitry Andric case 'B': 8575ffd83dbSDimitry Andric Pointer = true; 8585ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 8595ffd83dbSDimitry Andric NumVectors = 0; 8605ffd83dbSDimitry Andric Signed = true; 8615ffd83dbSDimitry Andric break; 8625ffd83dbSDimitry Andric case 'C': 8635ffd83dbSDimitry Andric Pointer = true; 8645ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 8655ffd83dbSDimitry Andric NumVectors = 0; 8665ffd83dbSDimitry Andric Signed = true; 8675ffd83dbSDimitry Andric break; 8685ffd83dbSDimitry Andric case 'D': 8695ffd83dbSDimitry Andric Pointer = true; 8705ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 8715ffd83dbSDimitry Andric NumVectors = 0; 8725ffd83dbSDimitry Andric Signed = true; 8735ffd83dbSDimitry Andric break; 8745ffd83dbSDimitry Andric case 'E': 8755ffd83dbSDimitry Andric Pointer = true; 8765ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 8775ffd83dbSDimitry Andric NumVectors = 0; 8785ffd83dbSDimitry Andric Signed = false; 8795ffd83dbSDimitry Andric break; 8805ffd83dbSDimitry Andric case 'F': 8815ffd83dbSDimitry Andric Pointer = true; 8825ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 8835ffd83dbSDimitry Andric NumVectors = 0; 8845ffd83dbSDimitry Andric Signed = false; 8855ffd83dbSDimitry Andric break; 8865ffd83dbSDimitry Andric case 'G': 8875ffd83dbSDimitry Andric Pointer = true; 8885ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 8895ffd83dbSDimitry Andric NumVectors = 0; 8905ffd83dbSDimitry Andric Signed = false; 8915ffd83dbSDimitry Andric break; 8925f757f3fSDimitry Andric case '$': 8935f757f3fSDimitry Andric Predicate = false; 8945f757f3fSDimitry Andric Svcount = false; 8955f757f3fSDimitry Andric Float = false; 8965f757f3fSDimitry Andric BFloat = true; 8975f757f3fSDimitry Andric ElementBitwidth = 16; 8985f757f3fSDimitry Andric break; 89906c3fb27SDimitry Andric case '}': 90006c3fb27SDimitry Andric Predicate = false; 90106c3fb27SDimitry Andric Signed = true; 90206c3fb27SDimitry Andric Svcount = true; 90306c3fb27SDimitry Andric NumVectors = 0; 90406c3fb27SDimitry Andric Float = false; 90506c3fb27SDimitry Andric BFloat = false; 90606c3fb27SDimitry Andric break; 9075f757f3fSDimitry Andric case '.': 9085f757f3fSDimitry Andric llvm_unreachable(". is never a type in itself"); 9095f757f3fSDimitry Andric break; 9105ffd83dbSDimitry Andric default: 9115ffd83dbSDimitry Andric llvm_unreachable("Unhandled character!"); 9125ffd83dbSDimitry Andric } 9135ffd83dbSDimitry Andric } 9145ffd83dbSDimitry Andric 9155f757f3fSDimitry Andric /// Returns the modifier and number of vectors for the given operand \p Op. 9165f757f3fSDimitry Andric std::pair<char, unsigned> getProtoModifier(StringRef Proto, unsigned Op) { 9175f757f3fSDimitry Andric for (unsigned P = 0; !Proto.empty(); ++P) { 9185f757f3fSDimitry Andric unsigned NumVectors = 1; 9195f757f3fSDimitry Andric unsigned CharsToSkip = 1; 9205f757f3fSDimitry Andric char Mod = Proto[0]; 9215f757f3fSDimitry Andric if (Mod == '2' || Mod == '3' || Mod == '4') { 9225f757f3fSDimitry Andric NumVectors = Mod - '0'; 9235f757f3fSDimitry Andric Mod = 'd'; 9245f757f3fSDimitry Andric if (Proto.size() > 1 && Proto[1] == '.') { 9255f757f3fSDimitry Andric Mod = Proto[2]; 9265f757f3fSDimitry Andric CharsToSkip = 3; 9275f757f3fSDimitry Andric } 9285f757f3fSDimitry Andric } 9295f757f3fSDimitry Andric 9305f757f3fSDimitry Andric if (P == Op) 9315f757f3fSDimitry Andric return {Mod, NumVectors}; 9325f757f3fSDimitry Andric 9335f757f3fSDimitry Andric Proto = Proto.drop_front(CharsToSkip); 9345f757f3fSDimitry Andric } 9355f757f3fSDimitry Andric llvm_unreachable("Unexpected Op"); 9365f757f3fSDimitry Andric } 9375ffd83dbSDimitry Andric 9385ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 9395ffd83dbSDimitry Andric // Intrinsic implementation 9405ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 9415ffd83dbSDimitry Andric 9425ffd83dbSDimitry Andric Intrinsic::Intrinsic(StringRef Name, StringRef Proto, uint64_t MergeTy, 9435ffd83dbSDimitry Andric StringRef MergeSuffix, uint64_t MemoryElementTy, 9445ffd83dbSDimitry Andric StringRef LLVMName, uint64_t Flags, 9455ffd83dbSDimitry Andric ArrayRef<ImmCheck> Checks, TypeSpec BT, ClassKind Class, 9465ffd83dbSDimitry Andric SVEEmitter &Emitter, StringRef Guard) 9475ffd83dbSDimitry Andric : Name(Name.str()), LLVMName(LLVMName), Proto(Proto.str()), 9485ffd83dbSDimitry Andric BaseTypeSpec(BT), Class(Class), Guard(Guard.str()), 9495ffd83dbSDimitry Andric MergeSuffix(MergeSuffix.str()), BaseType(BT, 'd'), Flags(Flags), 9505ffd83dbSDimitry Andric ImmChecks(Checks.begin(), Checks.end()) { 9515ffd83dbSDimitry Andric // Types[0] is the return value. 9525f757f3fSDimitry Andric for (unsigned I = 0; I < (getNumParams() + 1); ++I) { 9535f757f3fSDimitry Andric char Mod; 9545f757f3fSDimitry Andric unsigned NumVectors; 9555f757f3fSDimitry Andric std::tie(Mod, NumVectors) = getProtoModifier(Proto, I); 9565f757f3fSDimitry Andric SVEType T(BaseTypeSpec, Mod, NumVectors); 9575ffd83dbSDimitry Andric Types.push_back(T); 9585ffd83dbSDimitry Andric 9595ffd83dbSDimitry Andric // Add range checks for immediates 9605ffd83dbSDimitry Andric if (I > 0) { 9615ffd83dbSDimitry Andric if (T.isPredicatePattern()) 9625ffd83dbSDimitry Andric ImmChecks.emplace_back( 9635ffd83dbSDimitry Andric I - 1, Emitter.getEnumValueForImmCheck("ImmCheck0_31")); 9645ffd83dbSDimitry Andric else if (T.isPrefetchOp()) 9655ffd83dbSDimitry Andric ImmChecks.emplace_back( 9665ffd83dbSDimitry Andric I - 1, Emitter.getEnumValueForImmCheck("ImmCheck0_13")); 9675ffd83dbSDimitry Andric } 9685ffd83dbSDimitry Andric } 9695ffd83dbSDimitry Andric 9705ffd83dbSDimitry Andric // Set flags based on properties 9715ffd83dbSDimitry Andric this->Flags |= Emitter.encodeTypeFlags(BaseType); 9725ffd83dbSDimitry Andric this->Flags |= Emitter.encodeMemoryElementType(MemoryElementTy); 9735ffd83dbSDimitry Andric this->Flags |= Emitter.encodeMergeType(MergeTy); 9745ffd83dbSDimitry Andric if (hasSplat()) 9755ffd83dbSDimitry Andric this->Flags |= Emitter.encodeSplatOperand(getSplatIdx()); 9765ffd83dbSDimitry Andric } 9775ffd83dbSDimitry Andric 9785ffd83dbSDimitry Andric std::string Intrinsic::getBuiltinTypeStr() { 9795ffd83dbSDimitry Andric std::string S = getReturnType().builtin_str(); 9805ffd83dbSDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) 9815ffd83dbSDimitry Andric S += getParamType(I).builtin_str(); 9825ffd83dbSDimitry Andric 9835ffd83dbSDimitry Andric return S; 9845ffd83dbSDimitry Andric } 9855ffd83dbSDimitry Andric 9865ffd83dbSDimitry Andric std::string Intrinsic::replaceTemplatedArgs(std::string Name, TypeSpec TS, 9875ffd83dbSDimitry Andric std::string Proto) const { 9885ffd83dbSDimitry Andric std::string Ret = Name; 9895ffd83dbSDimitry Andric while (Ret.find('{') != std::string::npos) { 9905ffd83dbSDimitry Andric size_t Pos = Ret.find('{'); 9915ffd83dbSDimitry Andric size_t End = Ret.find('}'); 9925ffd83dbSDimitry Andric unsigned NumChars = End - Pos + 1; 9935ffd83dbSDimitry Andric assert(NumChars == 3 && "Unexpected template argument"); 9945ffd83dbSDimitry Andric 9955ffd83dbSDimitry Andric SVEType T; 9965ffd83dbSDimitry Andric char C = Ret[Pos+1]; 9975ffd83dbSDimitry Andric switch(C) { 9985ffd83dbSDimitry Andric default: 9995ffd83dbSDimitry Andric llvm_unreachable("Unknown predication specifier"); 10005ffd83dbSDimitry Andric case 'd': 10015ffd83dbSDimitry Andric T = SVEType(TS, 'd'); 10025ffd83dbSDimitry Andric break; 10035ffd83dbSDimitry Andric case '0': 10045ffd83dbSDimitry Andric case '1': 10055ffd83dbSDimitry Andric case '2': 10065ffd83dbSDimitry Andric case '3': 10075ffd83dbSDimitry Andric T = SVEType(TS, Proto[C - '0']); 10085ffd83dbSDimitry Andric break; 10095ffd83dbSDimitry Andric } 10105ffd83dbSDimitry Andric 10115ffd83dbSDimitry Andric // Replace templated arg with the right suffix (e.g. u32) 10125ffd83dbSDimitry Andric std::string TypeCode; 10135ffd83dbSDimitry Andric if (T.isInteger()) 10145ffd83dbSDimitry Andric TypeCode = T.isSigned() ? 's' : 'u'; 101506c3fb27SDimitry Andric else if (T.isSvcount()) 101606c3fb27SDimitry Andric TypeCode = 'c'; 10175ffd83dbSDimitry Andric else if (T.isPredicateVector()) 10185ffd83dbSDimitry Andric TypeCode = 'b'; 10195ffd83dbSDimitry Andric else if (T.isBFloat()) 10205ffd83dbSDimitry Andric TypeCode = "bf"; 10215ffd83dbSDimitry Andric else 10225ffd83dbSDimitry Andric TypeCode = 'f'; 10235ffd83dbSDimitry Andric Ret.replace(Pos, NumChars, TypeCode + utostr(T.getElementSizeInBits())); 10245ffd83dbSDimitry Andric } 10255ffd83dbSDimitry Andric 10265ffd83dbSDimitry Andric return Ret; 10275ffd83dbSDimitry Andric } 10285ffd83dbSDimitry Andric 102906c3fb27SDimitry Andric std::string Intrinsic::mangleLLVMName() const { 103006c3fb27SDimitry Andric std::string S = getLLVMName(); 103106c3fb27SDimitry Andric 103206c3fb27SDimitry Andric // Replace all {d} like expressions with e.g. 'u32' 103306c3fb27SDimitry Andric return replaceTemplatedArgs(S, getBaseTypeSpec(), getProto()); 103406c3fb27SDimitry Andric } 103506c3fb27SDimitry Andric 10365ffd83dbSDimitry Andric std::string Intrinsic::mangleName(ClassKind LocalCK) const { 10375ffd83dbSDimitry Andric std::string S = getName(); 10385ffd83dbSDimitry Andric 10395ffd83dbSDimitry Andric if (LocalCK == ClassG) { 10405ffd83dbSDimitry Andric // Remove the square brackets and everything in between. 1041e8d8bef9SDimitry Andric while (S.find('[') != std::string::npos) { 1042e8d8bef9SDimitry Andric auto Start = S.find('['); 10435ffd83dbSDimitry Andric auto End = S.find(']'); 10445ffd83dbSDimitry Andric S.erase(Start, (End-Start)+1); 10455ffd83dbSDimitry Andric } 10465ffd83dbSDimitry Andric } else { 10475ffd83dbSDimitry Andric // Remove the square brackets. 1048e8d8bef9SDimitry Andric while (S.find('[') != std::string::npos) { 10495ffd83dbSDimitry Andric auto BrPos = S.find('['); 10505ffd83dbSDimitry Andric if (BrPos != std::string::npos) 10515ffd83dbSDimitry Andric S.erase(BrPos, 1); 10525ffd83dbSDimitry Andric BrPos = S.find(']'); 10535ffd83dbSDimitry Andric if (BrPos != std::string::npos) 10545ffd83dbSDimitry Andric S.erase(BrPos, 1); 10555ffd83dbSDimitry Andric } 10565ffd83dbSDimitry Andric } 10575ffd83dbSDimitry Andric 10585ffd83dbSDimitry Andric // Replace all {d} like expressions with e.g. 'u32' 10595ffd83dbSDimitry Andric return replaceTemplatedArgs(S, getBaseTypeSpec(), getProto()) + 10605ffd83dbSDimitry Andric getMergeSuffix(); 10615ffd83dbSDimitry Andric } 10625ffd83dbSDimitry Andric 10635f757f3fSDimitry Andric void Intrinsic::emitIntrinsic(raw_ostream &OS, SVEEmitter &Emitter, 10645f757f3fSDimitry Andric ACLEKind Kind) const { 1065fe6060f1SDimitry Andric bool IsOverloaded = getClassKind() == ClassG && getProto().size() > 1; 10665ffd83dbSDimitry Andric 1067fe6060f1SDimitry Andric std::string FullName = mangleName(ClassS); 1068fe6060f1SDimitry Andric std::string ProtoName = mangleName(getClassKind()); 106906c3fb27SDimitry Andric std::string SMEAttrs = ""; 107006c3fb27SDimitry Andric 107106c3fb27SDimitry Andric if (Flags & Emitter.getEnumValueForFlag("IsStreaming")) 107206c3fb27SDimitry Andric SMEAttrs += ", arm_streaming"; 107306c3fb27SDimitry Andric if (Flags & Emitter.getEnumValueForFlag("IsStreamingCompatible")) 107406c3fb27SDimitry Andric SMEAttrs += ", arm_streaming_compatible"; 107506c3fb27SDimitry Andric if (Flags & Emitter.getEnumValueForFlag("IsSharedZA")) 107606c3fb27SDimitry Andric SMEAttrs += ", arm_shared_za"; 107706c3fb27SDimitry Andric if (Flags & Emitter.getEnumValueForFlag("IsPreservesZA")) 107806c3fb27SDimitry Andric SMEAttrs += ", arm_preserves_za"; 1079fe6060f1SDimitry Andric 1080fe6060f1SDimitry Andric OS << (IsOverloaded ? "__aio " : "__ai ") 10815f757f3fSDimitry Andric << "__attribute__((__clang_arm_builtin_alias("; 10825f757f3fSDimitry Andric 10835f757f3fSDimitry Andric switch (Kind) { 10845f757f3fSDimitry Andric case ACLEKind::SME: 10855f757f3fSDimitry Andric OS << "__builtin_sme_" << FullName << ")"; 10865f757f3fSDimitry Andric break; 10875f757f3fSDimitry Andric case ACLEKind::SVE: 10885f757f3fSDimitry Andric OS << "__builtin_sve_" << FullName << ")"; 10895f757f3fSDimitry Andric break; 10905f757f3fSDimitry Andric } 10915f757f3fSDimitry Andric 109206c3fb27SDimitry Andric if (!SMEAttrs.empty()) 109306c3fb27SDimitry Andric OS << SMEAttrs; 109406c3fb27SDimitry Andric OS << "))\n"; 10955ffd83dbSDimitry Andric 10965ffd83dbSDimitry Andric OS << getTypes()[0].str() << " " << ProtoName << "("; 10975ffd83dbSDimitry Andric for (unsigned I = 0; I < getTypes().size() - 1; ++I) { 10985ffd83dbSDimitry Andric if (I != 0) 10995ffd83dbSDimitry Andric OS << ", "; 11005ffd83dbSDimitry Andric OS << getTypes()[I + 1].str(); 11015ffd83dbSDimitry Andric } 11025ffd83dbSDimitry Andric OS << ");\n"; 11035ffd83dbSDimitry Andric } 11045ffd83dbSDimitry Andric 11055ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 11065ffd83dbSDimitry Andric // SVEEmitter implementation 11075ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 11085ffd83dbSDimitry Andric uint64_t SVEEmitter::encodeTypeFlags(const SVEType &T) { 11095ffd83dbSDimitry Andric if (T.isFloat()) { 11105ffd83dbSDimitry Andric switch (T.getElementSizeInBits()) { 11115ffd83dbSDimitry Andric case 16: 11125ffd83dbSDimitry Andric return encodeEltType("EltTyFloat16"); 11135ffd83dbSDimitry Andric case 32: 11145ffd83dbSDimitry Andric return encodeEltType("EltTyFloat32"); 11155ffd83dbSDimitry Andric case 64: 11165ffd83dbSDimitry Andric return encodeEltType("EltTyFloat64"); 11175ffd83dbSDimitry Andric default: 11185ffd83dbSDimitry Andric llvm_unreachable("Unhandled float element bitwidth!"); 11195ffd83dbSDimitry Andric } 11205ffd83dbSDimitry Andric } 11215ffd83dbSDimitry Andric 11225ffd83dbSDimitry Andric if (T.isBFloat()) { 11235ffd83dbSDimitry Andric assert(T.getElementSizeInBits() == 16 && "Not a valid BFloat."); 11245ffd83dbSDimitry Andric return encodeEltType("EltTyBFloat16"); 11255ffd83dbSDimitry Andric } 11265ffd83dbSDimitry Andric 112706c3fb27SDimitry Andric if (T.isPredicateVector() || T.isSvcount()) { 11285ffd83dbSDimitry Andric switch (T.getElementSizeInBits()) { 11295ffd83dbSDimitry Andric case 8: 11305ffd83dbSDimitry Andric return encodeEltType("EltTyBool8"); 11315ffd83dbSDimitry Andric case 16: 11325ffd83dbSDimitry Andric return encodeEltType("EltTyBool16"); 11335ffd83dbSDimitry Andric case 32: 11345ffd83dbSDimitry Andric return encodeEltType("EltTyBool32"); 11355ffd83dbSDimitry Andric case 64: 11365ffd83dbSDimitry Andric return encodeEltType("EltTyBool64"); 11375ffd83dbSDimitry Andric default: 11385ffd83dbSDimitry Andric llvm_unreachable("Unhandled predicate element bitwidth!"); 11395ffd83dbSDimitry Andric } 11405ffd83dbSDimitry Andric } 11415ffd83dbSDimitry Andric 11425ffd83dbSDimitry Andric switch (T.getElementSizeInBits()) { 11435ffd83dbSDimitry Andric case 8: 11445ffd83dbSDimitry Andric return encodeEltType("EltTyInt8"); 11455ffd83dbSDimitry Andric case 16: 11465ffd83dbSDimitry Andric return encodeEltType("EltTyInt16"); 11475ffd83dbSDimitry Andric case 32: 11485ffd83dbSDimitry Andric return encodeEltType("EltTyInt32"); 11495ffd83dbSDimitry Andric case 64: 11505ffd83dbSDimitry Andric return encodeEltType("EltTyInt64"); 115106c3fb27SDimitry Andric case 128: 115206c3fb27SDimitry Andric return encodeEltType("EltTyInt128"); 11535ffd83dbSDimitry Andric default: 11545ffd83dbSDimitry Andric llvm_unreachable("Unhandled integer element bitwidth!"); 11555ffd83dbSDimitry Andric } 11565ffd83dbSDimitry Andric } 11575ffd83dbSDimitry Andric 11585ffd83dbSDimitry Andric void SVEEmitter::createIntrinsic( 11595ffd83dbSDimitry Andric Record *R, SmallVectorImpl<std::unique_ptr<Intrinsic>> &Out) { 11605ffd83dbSDimitry Andric StringRef Name = R->getValueAsString("Name"); 11615ffd83dbSDimitry Andric StringRef Proto = R->getValueAsString("Prototype"); 11625ffd83dbSDimitry Andric StringRef Types = R->getValueAsString("Types"); 1163bdd1243dSDimitry Andric StringRef Guard = R->getValueAsString("TargetGuard"); 11645ffd83dbSDimitry Andric StringRef LLVMName = R->getValueAsString("LLVMIntrinsic"); 11655ffd83dbSDimitry Andric uint64_t Merge = R->getValueAsInt("Merge"); 11665ffd83dbSDimitry Andric StringRef MergeSuffix = R->getValueAsString("MergeSuffix"); 11675ffd83dbSDimitry Andric uint64_t MemEltType = R->getValueAsInt("MemEltType"); 11685ffd83dbSDimitry Andric std::vector<Record*> FlagsList = R->getValueAsListOfDefs("Flags"); 11695ffd83dbSDimitry Andric std::vector<Record*> ImmCheckList = R->getValueAsListOfDefs("ImmChecks"); 11705ffd83dbSDimitry Andric 11715ffd83dbSDimitry Andric int64_t Flags = 0; 11725ffd83dbSDimitry Andric for (auto FlagRec : FlagsList) 11735ffd83dbSDimitry Andric Flags |= FlagRec->getValueAsInt("Value"); 11745ffd83dbSDimitry Andric 11755ffd83dbSDimitry Andric // Create a dummy TypeSpec for non-overloaded builtins. 11765ffd83dbSDimitry Andric if (Types.empty()) { 11775ffd83dbSDimitry Andric assert((Flags & getEnumValueForFlag("IsOverloadNone")) && 11785ffd83dbSDimitry Andric "Expect TypeSpec for overloaded builtin!"); 11795ffd83dbSDimitry Andric Types = "i"; 11805ffd83dbSDimitry Andric } 11815ffd83dbSDimitry Andric 11825ffd83dbSDimitry Andric // Extract type specs from string 11835ffd83dbSDimitry Andric SmallVector<TypeSpec, 8> TypeSpecs; 11845ffd83dbSDimitry Andric TypeSpec Acc; 11855ffd83dbSDimitry Andric for (char I : Types) { 11865ffd83dbSDimitry Andric Acc.push_back(I); 11875ffd83dbSDimitry Andric if (islower(I)) { 11885ffd83dbSDimitry Andric TypeSpecs.push_back(TypeSpec(Acc)); 11895ffd83dbSDimitry Andric Acc.clear(); 11905ffd83dbSDimitry Andric } 11915ffd83dbSDimitry Andric } 11925ffd83dbSDimitry Andric 11935ffd83dbSDimitry Andric // Remove duplicate type specs. 11945ffd83dbSDimitry Andric llvm::sort(TypeSpecs); 11955ffd83dbSDimitry Andric TypeSpecs.erase(std::unique(TypeSpecs.begin(), TypeSpecs.end()), 11965ffd83dbSDimitry Andric TypeSpecs.end()); 11975ffd83dbSDimitry Andric 11985ffd83dbSDimitry Andric // Create an Intrinsic for each type spec. 11995ffd83dbSDimitry Andric for (auto TS : TypeSpecs) { 12005ffd83dbSDimitry Andric // Collate a list of range/option checks for the immediates. 12015ffd83dbSDimitry Andric SmallVector<ImmCheck, 2> ImmChecks; 12025ffd83dbSDimitry Andric for (auto *R : ImmCheckList) { 12035ffd83dbSDimitry Andric int64_t Arg = R->getValueAsInt("Arg"); 12045ffd83dbSDimitry Andric int64_t EltSizeArg = R->getValueAsInt("EltSizeArg"); 12055ffd83dbSDimitry Andric int64_t Kind = R->getValueAsDef("Kind")->getValueAsInt("Value"); 12065ffd83dbSDimitry Andric assert(Arg >= 0 && Kind >= 0 && "Arg and Kind must be nonnegative"); 12075ffd83dbSDimitry Andric 12085ffd83dbSDimitry Andric unsigned ElementSizeInBits = 0; 12095f757f3fSDimitry Andric char Mod; 12105f757f3fSDimitry Andric unsigned NumVectors; 12115f757f3fSDimitry Andric std::tie(Mod, NumVectors) = getProtoModifier(Proto, EltSizeArg + 1); 12125ffd83dbSDimitry Andric if (EltSizeArg >= 0) 12135f757f3fSDimitry Andric ElementSizeInBits = SVEType(TS, Mod, NumVectors).getElementSizeInBits(); 12145ffd83dbSDimitry Andric ImmChecks.push_back(ImmCheck(Arg, Kind, ElementSizeInBits)); 12155ffd83dbSDimitry Andric } 12165ffd83dbSDimitry Andric 12175ffd83dbSDimitry Andric Out.push_back(std::make_unique<Intrinsic>( 12185ffd83dbSDimitry Andric Name, Proto, Merge, MergeSuffix, MemEltType, LLVMName, Flags, ImmChecks, 12195ffd83dbSDimitry Andric TS, ClassS, *this, Guard)); 12205ffd83dbSDimitry Andric 12215ffd83dbSDimitry Andric // Also generate the short-form (e.g. svadd_m) for the given type-spec. 12225ffd83dbSDimitry Andric if (Intrinsic::isOverloadedIntrinsic(Name)) 12235ffd83dbSDimitry Andric Out.push_back(std::make_unique<Intrinsic>( 12245ffd83dbSDimitry Andric Name, Proto, Merge, MergeSuffix, MemEltType, LLVMName, Flags, 12255ffd83dbSDimitry Andric ImmChecks, TS, ClassG, *this, Guard)); 12265ffd83dbSDimitry Andric } 12275ffd83dbSDimitry Andric } 12285ffd83dbSDimitry Andric 12295f757f3fSDimitry Andric void SVEEmitter::createCoreHeaderIntrinsics(raw_ostream &OS, 12305f757f3fSDimitry Andric SVEEmitter &Emitter, 12315f757f3fSDimitry Andric ACLEKind Kind) { 12325f757f3fSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 12335f757f3fSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 12345f757f3fSDimitry Andric for (auto *R : RV) 12355f757f3fSDimitry Andric createIntrinsic(R, Defs); 12365f757f3fSDimitry Andric 12375f757f3fSDimitry Andric // Sort intrinsics in header file by following order/priority: 12385f757f3fSDimitry Andric // - Architectural guard (i.e. does it require SVE2 or SVE2_AES) 12395f757f3fSDimitry Andric // - Class (is intrinsic overloaded or not) 12405f757f3fSDimitry Andric // - Intrinsic name 12415f757f3fSDimitry Andric std::stable_sort(Defs.begin(), Defs.end(), 12425f757f3fSDimitry Andric [](const std::unique_ptr<Intrinsic> &A, 12435f757f3fSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 12445f757f3fSDimitry Andric auto ToTuple = [](const std::unique_ptr<Intrinsic> &I) { 12455f757f3fSDimitry Andric return std::make_tuple(I->getGuard(), 12465f757f3fSDimitry Andric (unsigned)I->getClassKind(), 12475f757f3fSDimitry Andric I->getName()); 12485f757f3fSDimitry Andric }; 12495f757f3fSDimitry Andric return ToTuple(A) < ToTuple(B); 12505f757f3fSDimitry Andric }); 12515f757f3fSDimitry Andric 12525f757f3fSDimitry Andric // Actually emit the intrinsic declarations. 12535f757f3fSDimitry Andric for (auto &I : Defs) 12545f757f3fSDimitry Andric I->emitIntrinsic(OS, Emitter, Kind); 12555f757f3fSDimitry Andric } 12565f757f3fSDimitry Andric 12575ffd83dbSDimitry Andric void SVEEmitter::createHeader(raw_ostream &OS) { 12585ffd83dbSDimitry Andric OS << "/*===---- arm_sve.h - ARM SVE intrinsics " 12595ffd83dbSDimitry Andric "-----------------------------------===\n" 12605ffd83dbSDimitry Andric " *\n" 12615ffd83dbSDimitry Andric " *\n" 12625ffd83dbSDimitry Andric " * Part of the LLVM Project, under the Apache License v2.0 with LLVM " 12635ffd83dbSDimitry Andric "Exceptions.\n" 12645ffd83dbSDimitry Andric " * See https://llvm.org/LICENSE.txt for license information.\n" 12655ffd83dbSDimitry Andric " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n" 12665ffd83dbSDimitry Andric " *\n" 12675ffd83dbSDimitry Andric " *===-----------------------------------------------------------------" 12685ffd83dbSDimitry Andric "------===\n" 12695ffd83dbSDimitry Andric " */\n\n"; 12705ffd83dbSDimitry Andric 12715ffd83dbSDimitry Andric OS << "#ifndef __ARM_SVE_H\n"; 12725ffd83dbSDimitry Andric OS << "#define __ARM_SVE_H\n\n"; 12735ffd83dbSDimitry Andric 12745ffd83dbSDimitry Andric OS << "#if !defined(__LITTLE_ENDIAN__)\n"; 12755ffd83dbSDimitry Andric OS << "#error \"Big endian is currently not supported for arm_sve.h\"\n"; 12765ffd83dbSDimitry Andric OS << "#endif\n"; 12775ffd83dbSDimitry Andric 12785ffd83dbSDimitry Andric OS << "#include <stdint.h>\n\n"; 12795ffd83dbSDimitry Andric OS << "#ifdef __cplusplus\n"; 12805ffd83dbSDimitry Andric OS << "extern \"C\" {\n"; 12815ffd83dbSDimitry Andric OS << "#else\n"; 12825ffd83dbSDimitry Andric OS << "#include <stdbool.h>\n"; 12835ffd83dbSDimitry Andric OS << "#endif\n\n"; 12845ffd83dbSDimitry Andric 12855ffd83dbSDimitry Andric OS << "typedef __fp16 float16_t;\n"; 12865ffd83dbSDimitry Andric OS << "typedef float float32_t;\n"; 12875ffd83dbSDimitry Andric OS << "typedef double float64_t;\n"; 12885ffd83dbSDimitry Andric 12895ffd83dbSDimitry Andric OS << "typedef __SVInt8_t svint8_t;\n"; 12905ffd83dbSDimitry Andric OS << "typedef __SVInt16_t svint16_t;\n"; 12915ffd83dbSDimitry Andric OS << "typedef __SVInt32_t svint32_t;\n"; 12925ffd83dbSDimitry Andric OS << "typedef __SVInt64_t svint64_t;\n"; 12935ffd83dbSDimitry Andric OS << "typedef __SVUint8_t svuint8_t;\n"; 12945ffd83dbSDimitry Andric OS << "typedef __SVUint16_t svuint16_t;\n"; 12955ffd83dbSDimitry Andric OS << "typedef __SVUint32_t svuint32_t;\n"; 12965ffd83dbSDimitry Andric OS << "typedef __SVUint64_t svuint64_t;\n"; 12975ffd83dbSDimitry Andric OS << "typedef __SVFloat16_t svfloat16_t;\n\n"; 12985ffd83dbSDimitry Andric 12995f757f3fSDimitry Andric OS << "typedef __SVBfloat16_t svbfloat16_t;\n"; 13005ffd83dbSDimitry Andric 13015ffd83dbSDimitry Andric OS << "#include <arm_bf16.h>\n"; 13025f757f3fSDimitry Andric OS << "#include <arm_vector_types.h>\n"; 13035ffd83dbSDimitry Andric 13045ffd83dbSDimitry Andric OS << "typedef __SVFloat32_t svfloat32_t;\n"; 13055ffd83dbSDimitry Andric OS << "typedef __SVFloat64_t svfloat64_t;\n"; 13065ffd83dbSDimitry Andric OS << "typedef __clang_svint8x2_t svint8x2_t;\n"; 13075ffd83dbSDimitry Andric OS << "typedef __clang_svint16x2_t svint16x2_t;\n"; 13085ffd83dbSDimitry Andric OS << "typedef __clang_svint32x2_t svint32x2_t;\n"; 13095ffd83dbSDimitry Andric OS << "typedef __clang_svint64x2_t svint64x2_t;\n"; 13105ffd83dbSDimitry Andric OS << "typedef __clang_svuint8x2_t svuint8x2_t;\n"; 13115ffd83dbSDimitry Andric OS << "typedef __clang_svuint16x2_t svuint16x2_t;\n"; 13125ffd83dbSDimitry Andric OS << "typedef __clang_svuint32x2_t svuint32x2_t;\n"; 13135ffd83dbSDimitry Andric OS << "typedef __clang_svuint64x2_t svuint64x2_t;\n"; 13145ffd83dbSDimitry Andric OS << "typedef __clang_svfloat16x2_t svfloat16x2_t;\n"; 13155ffd83dbSDimitry Andric OS << "typedef __clang_svfloat32x2_t svfloat32x2_t;\n"; 13165ffd83dbSDimitry Andric OS << "typedef __clang_svfloat64x2_t svfloat64x2_t;\n"; 13175ffd83dbSDimitry Andric OS << "typedef __clang_svint8x3_t svint8x3_t;\n"; 13185ffd83dbSDimitry Andric OS << "typedef __clang_svint16x3_t svint16x3_t;\n"; 13195ffd83dbSDimitry Andric OS << "typedef __clang_svint32x3_t svint32x3_t;\n"; 13205ffd83dbSDimitry Andric OS << "typedef __clang_svint64x3_t svint64x3_t;\n"; 13215ffd83dbSDimitry Andric OS << "typedef __clang_svuint8x3_t svuint8x3_t;\n"; 13225ffd83dbSDimitry Andric OS << "typedef __clang_svuint16x3_t svuint16x3_t;\n"; 13235ffd83dbSDimitry Andric OS << "typedef __clang_svuint32x3_t svuint32x3_t;\n"; 13245ffd83dbSDimitry Andric OS << "typedef __clang_svuint64x3_t svuint64x3_t;\n"; 13255ffd83dbSDimitry Andric OS << "typedef __clang_svfloat16x3_t svfloat16x3_t;\n"; 13265ffd83dbSDimitry Andric OS << "typedef __clang_svfloat32x3_t svfloat32x3_t;\n"; 13275ffd83dbSDimitry Andric OS << "typedef __clang_svfloat64x3_t svfloat64x3_t;\n"; 13285ffd83dbSDimitry Andric OS << "typedef __clang_svint8x4_t svint8x4_t;\n"; 13295ffd83dbSDimitry Andric OS << "typedef __clang_svint16x4_t svint16x4_t;\n"; 13305ffd83dbSDimitry Andric OS << "typedef __clang_svint32x4_t svint32x4_t;\n"; 13315ffd83dbSDimitry Andric OS << "typedef __clang_svint64x4_t svint64x4_t;\n"; 13325ffd83dbSDimitry Andric OS << "typedef __clang_svuint8x4_t svuint8x4_t;\n"; 13335ffd83dbSDimitry Andric OS << "typedef __clang_svuint16x4_t svuint16x4_t;\n"; 13345ffd83dbSDimitry Andric OS << "typedef __clang_svuint32x4_t svuint32x4_t;\n"; 13355ffd83dbSDimitry Andric OS << "typedef __clang_svuint64x4_t svuint64x4_t;\n"; 13365ffd83dbSDimitry Andric OS << "typedef __clang_svfloat16x4_t svfloat16x4_t;\n"; 13375ffd83dbSDimitry Andric OS << "typedef __clang_svfloat32x4_t svfloat32x4_t;\n"; 13385ffd83dbSDimitry Andric OS << "typedef __clang_svfloat64x4_t svfloat64x4_t;\n"; 133906c3fb27SDimitry Andric OS << "typedef __SVBool_t svbool_t;\n"; 134006c3fb27SDimitry Andric OS << "typedef __clang_svboolx2_t svboolx2_t;\n"; 134106c3fb27SDimitry Andric OS << "typedef __clang_svboolx4_t svboolx4_t;\n\n"; 13425ffd83dbSDimitry Andric 13435ffd83dbSDimitry Andric OS << "typedef __clang_svbfloat16x2_t svbfloat16x2_t;\n"; 13445ffd83dbSDimitry Andric OS << "typedef __clang_svbfloat16x3_t svbfloat16x3_t;\n"; 13455ffd83dbSDimitry Andric OS << "typedef __clang_svbfloat16x4_t svbfloat16x4_t;\n"; 13465ffd83dbSDimitry Andric 134706c3fb27SDimitry Andric OS << "typedef __SVCount_t svcount_t;\n\n"; 134806c3fb27SDimitry Andric 1349e8d8bef9SDimitry Andric OS << "enum svpattern\n"; 13505ffd83dbSDimitry Andric OS << "{\n"; 13515ffd83dbSDimitry Andric OS << " SV_POW2 = 0,\n"; 13525ffd83dbSDimitry Andric OS << " SV_VL1 = 1,\n"; 13535ffd83dbSDimitry Andric OS << " SV_VL2 = 2,\n"; 13545ffd83dbSDimitry Andric OS << " SV_VL3 = 3,\n"; 13555ffd83dbSDimitry Andric OS << " SV_VL4 = 4,\n"; 13565ffd83dbSDimitry Andric OS << " SV_VL5 = 5,\n"; 13575ffd83dbSDimitry Andric OS << " SV_VL6 = 6,\n"; 13585ffd83dbSDimitry Andric OS << " SV_VL7 = 7,\n"; 13595ffd83dbSDimitry Andric OS << " SV_VL8 = 8,\n"; 13605ffd83dbSDimitry Andric OS << " SV_VL16 = 9,\n"; 13615ffd83dbSDimitry Andric OS << " SV_VL32 = 10,\n"; 13625ffd83dbSDimitry Andric OS << " SV_VL64 = 11,\n"; 13635ffd83dbSDimitry Andric OS << " SV_VL128 = 12,\n"; 13645ffd83dbSDimitry Andric OS << " SV_VL256 = 13,\n"; 13655ffd83dbSDimitry Andric OS << " SV_MUL4 = 29,\n"; 13665ffd83dbSDimitry Andric OS << " SV_MUL3 = 30,\n"; 13675ffd83dbSDimitry Andric OS << " SV_ALL = 31\n"; 1368e8d8bef9SDimitry Andric OS << "};\n\n"; 13695ffd83dbSDimitry Andric 1370e8d8bef9SDimitry Andric OS << "enum svprfop\n"; 13715ffd83dbSDimitry Andric OS << "{\n"; 13725ffd83dbSDimitry Andric OS << " SV_PLDL1KEEP = 0,\n"; 13735ffd83dbSDimitry Andric OS << " SV_PLDL1STRM = 1,\n"; 13745ffd83dbSDimitry Andric OS << " SV_PLDL2KEEP = 2,\n"; 13755ffd83dbSDimitry Andric OS << " SV_PLDL2STRM = 3,\n"; 13765ffd83dbSDimitry Andric OS << " SV_PLDL3KEEP = 4,\n"; 13775ffd83dbSDimitry Andric OS << " SV_PLDL3STRM = 5,\n"; 13785ffd83dbSDimitry Andric OS << " SV_PSTL1KEEP = 8,\n"; 13795ffd83dbSDimitry Andric OS << " SV_PSTL1STRM = 9,\n"; 13805ffd83dbSDimitry Andric OS << " SV_PSTL2KEEP = 10,\n"; 13815ffd83dbSDimitry Andric OS << " SV_PSTL2STRM = 11,\n"; 13825ffd83dbSDimitry Andric OS << " SV_PSTL3KEEP = 12,\n"; 13835ffd83dbSDimitry Andric OS << " SV_PSTL3STRM = 13\n"; 1384e8d8bef9SDimitry Andric OS << "};\n\n"; 13855ffd83dbSDimitry Andric 13865ffd83dbSDimitry Andric OS << "/* Function attributes */\n"; 1387fe6060f1SDimitry Andric OS << "#define __ai static __inline__ __attribute__((__always_inline__, " 1388fe6060f1SDimitry Andric "__nodebug__))\n\n"; 1389fe6060f1SDimitry Andric OS << "#define __aio static __inline__ __attribute__((__always_inline__, " 13905ffd83dbSDimitry Andric "__nodebug__, __overloadable__))\n\n"; 13915ffd83dbSDimitry Andric 13925ffd83dbSDimitry Andric // Add reinterpret functions. 13935f757f3fSDimitry Andric for (auto [N, Suffix] : 13945f757f3fSDimitry Andric std::initializer_list<std::pair<unsigned, const char *>>{ 13955f757f3fSDimitry Andric {1, ""}, {2, "_x2"}, {3, "_x3"}, {4, "_x4"}}) { 13965ffd83dbSDimitry Andric for (auto ShortForm : {false, true}) 13975ffd83dbSDimitry Andric for (const ReinterpretTypeInfo &To : Reinterprets) { 13985f757f3fSDimitry Andric SVEType ToV(To.BaseType, N); 13995f757f3fSDimitry Andric for (const ReinterpretTypeInfo &From : Reinterprets) { 14005f757f3fSDimitry Andric SVEType FromV(From.BaseType, N); 14015ffd83dbSDimitry Andric if (ShortForm) { 14025f757f3fSDimitry Andric OS << "__aio __attribute__((target(\"sve\"))) " << ToV.str() 14035f757f3fSDimitry Andric << " svreinterpret_" << To.Suffix; 14045f757f3fSDimitry Andric OS << "(" << FromV.str() << " op) __arm_streaming_compatible {\n"; 14055f757f3fSDimitry Andric OS << " return __builtin_sve_reinterpret_" << To.Suffix << "_" 14065f757f3fSDimitry Andric << From.Suffix << Suffix << "(op);\n"; 14075ffd83dbSDimitry Andric OS << "}\n\n"; 14085ffd83dbSDimitry Andric } else 14095f757f3fSDimitry Andric OS << "#define svreinterpret_" << To.Suffix << "_" << From.Suffix 14105f757f3fSDimitry Andric << Suffix << "(...) __builtin_sve_reinterpret_" << To.Suffix 14115f757f3fSDimitry Andric << "_" << From.Suffix << Suffix << "(__VA_ARGS__)\n"; 14125f757f3fSDimitry Andric } 14135f757f3fSDimitry Andric } 14145ffd83dbSDimitry Andric } 14155ffd83dbSDimitry Andric 14165f757f3fSDimitry Andric createCoreHeaderIntrinsics(OS, *this, ACLEKind::SVE); 14175ffd83dbSDimitry Andric 14185ffd83dbSDimitry Andric OS << "#define svcvtnt_bf16_x svcvtnt_bf16_m\n"; 14195ffd83dbSDimitry Andric OS << "#define svcvtnt_bf16_f32_x svcvtnt_bf16_f32_m\n"; 14205ffd83dbSDimitry Andric 14215ffd83dbSDimitry Andric OS << "#define svcvtnt_f16_x svcvtnt_f16_m\n"; 14225ffd83dbSDimitry Andric OS << "#define svcvtnt_f16_f32_x svcvtnt_f16_f32_m\n"; 14235ffd83dbSDimitry Andric OS << "#define svcvtnt_f32_x svcvtnt_f32_m\n"; 14245ffd83dbSDimitry Andric OS << "#define svcvtnt_f32_f64_x svcvtnt_f32_f64_m\n\n"; 14255ffd83dbSDimitry Andric 14265ffd83dbSDimitry Andric OS << "#define svcvtxnt_f32_x svcvtxnt_f32_m\n"; 14275ffd83dbSDimitry Andric OS << "#define svcvtxnt_f32_f64_x svcvtxnt_f32_f64_m\n\n"; 14285ffd83dbSDimitry Andric 14295ffd83dbSDimitry Andric OS << "#ifdef __cplusplus\n"; 14305ffd83dbSDimitry Andric OS << "} // extern \"C\"\n"; 14315ffd83dbSDimitry Andric OS << "#endif\n\n"; 1432a4a491e2SDimitry Andric OS << "#undef __ai\n\n"; 1433a4a491e2SDimitry Andric OS << "#undef __aio\n\n"; 14345ffd83dbSDimitry Andric OS << "#endif /* __ARM_SVE_H */\n"; 14355ffd83dbSDimitry Andric } 14365ffd83dbSDimitry Andric 14375ffd83dbSDimitry Andric void SVEEmitter::createBuiltins(raw_ostream &OS) { 14385ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 14395ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 14405ffd83dbSDimitry Andric for (auto *R : RV) 14415ffd83dbSDimitry Andric createIntrinsic(R, Defs); 14425ffd83dbSDimitry Andric 14435ffd83dbSDimitry Andric // The mappings must be sorted based on BuiltinID. 14445ffd83dbSDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 14455ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 14465ffd83dbSDimitry Andric return A->getMangledName() < B->getMangledName(); 14475ffd83dbSDimitry Andric }); 14485ffd83dbSDimitry Andric 14495ffd83dbSDimitry Andric OS << "#ifdef GET_SVE_BUILTINS\n"; 14505ffd83dbSDimitry Andric for (auto &Def : Defs) { 14515ffd83dbSDimitry Andric // Only create BUILTINs for non-overloaded intrinsics, as overloaded 14525ffd83dbSDimitry Andric // declarations only live in the header file. 14535ffd83dbSDimitry Andric if (Def->getClassKind() != ClassG) 1454bdd1243dSDimitry Andric OS << "TARGET_BUILTIN(__builtin_sve_" << Def->getMangledName() << ", \"" 1455bdd1243dSDimitry Andric << Def->getBuiltinTypeStr() << "\", \"n\", \"" << Def->getGuard() 1456bdd1243dSDimitry Andric << "\")\n"; 14575ffd83dbSDimitry Andric } 14585ffd83dbSDimitry Andric 14595f757f3fSDimitry Andric // Add reinterpret functions. 14605f757f3fSDimitry Andric for (auto [N, Suffix] : 14615f757f3fSDimitry Andric std::initializer_list<std::pair<unsigned, const char *>>{ 14625f757f3fSDimitry Andric {1, ""}, {2, "_x2"}, {3, "_x3"}, {4, "_x4"}}) { 14635f757f3fSDimitry Andric for (const ReinterpretTypeInfo &To : Reinterprets) { 14645f757f3fSDimitry Andric SVEType ToV(To.BaseType, N); 14655f757f3fSDimitry Andric for (const ReinterpretTypeInfo &From : Reinterprets) { 14665f757f3fSDimitry Andric SVEType FromV(From.BaseType, N); 14675f757f3fSDimitry Andric OS << "TARGET_BUILTIN(__builtin_sve_reinterpret_" << To.Suffix << "_" 14685f757f3fSDimitry Andric << From.Suffix << Suffix << +", \"" << ToV.builtin_str() 14695f757f3fSDimitry Andric << FromV.builtin_str() << "\", \"n\", \"sve\")\n"; 14705f757f3fSDimitry Andric } 14715f757f3fSDimitry Andric } 14725f757f3fSDimitry Andric } 14735ffd83dbSDimitry Andric 14745ffd83dbSDimitry Andric OS << "#endif\n\n"; 14755ffd83dbSDimitry Andric } 14765ffd83dbSDimitry Andric 14775ffd83dbSDimitry Andric void SVEEmitter::createCodeGenMap(raw_ostream &OS) { 14785ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 14795ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 14805ffd83dbSDimitry Andric for (auto *R : RV) 14815ffd83dbSDimitry Andric createIntrinsic(R, Defs); 14825ffd83dbSDimitry Andric 14835ffd83dbSDimitry Andric // The mappings must be sorted based on BuiltinID. 14845ffd83dbSDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 14855ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 14865ffd83dbSDimitry Andric return A->getMangledName() < B->getMangledName(); 14875ffd83dbSDimitry Andric }); 14885ffd83dbSDimitry Andric 14895ffd83dbSDimitry Andric OS << "#ifdef GET_SVE_LLVM_INTRINSIC_MAP\n"; 14905ffd83dbSDimitry Andric for (auto &Def : Defs) { 14915ffd83dbSDimitry Andric // Builtins only exist for non-overloaded intrinsics, overloaded 14925ffd83dbSDimitry Andric // declarations only live in the header file. 14935ffd83dbSDimitry Andric if (Def->getClassKind() == ClassG) 14945ffd83dbSDimitry Andric continue; 14955ffd83dbSDimitry Andric 14965ffd83dbSDimitry Andric uint64_t Flags = Def->getFlags(); 14975ffd83dbSDimitry Andric auto FlagString = std::to_string(Flags); 14985ffd83dbSDimitry Andric 149906c3fb27SDimitry Andric std::string LLVMName = Def->getMangledLLVMName(); 15005ffd83dbSDimitry Andric std::string Builtin = Def->getMangledName(); 15015ffd83dbSDimitry Andric if (!LLVMName.empty()) 15025ffd83dbSDimitry Andric OS << "SVEMAP1(" << Builtin << ", " << LLVMName << ", " << FlagString 15035ffd83dbSDimitry Andric << "),\n"; 15045ffd83dbSDimitry Andric else 15055ffd83dbSDimitry Andric OS << "SVEMAP2(" << Builtin << ", " << FlagString << "),\n"; 15065ffd83dbSDimitry Andric } 15075ffd83dbSDimitry Andric OS << "#endif\n\n"; 15085ffd83dbSDimitry Andric } 15095ffd83dbSDimitry Andric 15105ffd83dbSDimitry Andric void SVEEmitter::createRangeChecks(raw_ostream &OS) { 15115ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 15125ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 15135ffd83dbSDimitry Andric for (auto *R : RV) 15145ffd83dbSDimitry Andric createIntrinsic(R, Defs); 15155ffd83dbSDimitry Andric 15165ffd83dbSDimitry Andric // The mappings must be sorted based on BuiltinID. 15175ffd83dbSDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 15185ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 15195ffd83dbSDimitry Andric return A->getMangledName() < B->getMangledName(); 15205ffd83dbSDimitry Andric }); 15215ffd83dbSDimitry Andric 15225ffd83dbSDimitry Andric 15235ffd83dbSDimitry Andric OS << "#ifdef GET_SVE_IMMEDIATE_CHECK\n"; 15245ffd83dbSDimitry Andric 15255ffd83dbSDimitry Andric // Ensure these are only emitted once. 15265ffd83dbSDimitry Andric std::set<std::string> Emitted; 15275ffd83dbSDimitry Andric 15285ffd83dbSDimitry Andric for (auto &Def : Defs) { 15295ffd83dbSDimitry Andric if (Emitted.find(Def->getMangledName()) != Emitted.end() || 15305ffd83dbSDimitry Andric Def->getImmChecks().empty()) 15315ffd83dbSDimitry Andric continue; 15325ffd83dbSDimitry Andric 15335ffd83dbSDimitry Andric OS << "case SVE::BI__builtin_sve_" << Def->getMangledName() << ":\n"; 15345ffd83dbSDimitry Andric for (auto &Check : Def->getImmChecks()) 15355ffd83dbSDimitry Andric OS << "ImmChecks.push_back(std::make_tuple(" << Check.getArg() << ", " 15365ffd83dbSDimitry Andric << Check.getKind() << ", " << Check.getElementSizeInBits() << "));\n"; 15375ffd83dbSDimitry Andric OS << " break;\n"; 15385ffd83dbSDimitry Andric 15395ffd83dbSDimitry Andric Emitted.insert(Def->getMangledName()); 15405ffd83dbSDimitry Andric } 15415ffd83dbSDimitry Andric 15425ffd83dbSDimitry Andric OS << "#endif\n\n"; 15435ffd83dbSDimitry Andric } 15445ffd83dbSDimitry Andric 15455ffd83dbSDimitry Andric /// Create the SVETypeFlags used in CGBuiltins 15465ffd83dbSDimitry Andric void SVEEmitter::createTypeFlags(raw_ostream &OS) { 15475ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_TYPEFLAGS\n"; 15485ffd83dbSDimitry Andric for (auto &KV : FlagTypes) 15495ffd83dbSDimitry Andric OS << "const uint64_t " << KV.getKey() << " = " << KV.getValue() << ";\n"; 15505ffd83dbSDimitry Andric OS << "#endif\n\n"; 15515ffd83dbSDimitry Andric 15525ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_ELTTYPES\n"; 15535ffd83dbSDimitry Andric for (auto &KV : EltTypes) 15545ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 15555ffd83dbSDimitry Andric OS << "#endif\n\n"; 15565ffd83dbSDimitry Andric 15575ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_MEMELTTYPES\n"; 15585ffd83dbSDimitry Andric for (auto &KV : MemEltTypes) 15595ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 15605ffd83dbSDimitry Andric OS << "#endif\n\n"; 15615ffd83dbSDimitry Andric 15625ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_MERGETYPES\n"; 15635ffd83dbSDimitry Andric for (auto &KV : MergeTypes) 15645ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 15655ffd83dbSDimitry Andric OS << "#endif\n\n"; 15665ffd83dbSDimitry Andric 15675ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_IMMCHECKTYPES\n"; 15685ffd83dbSDimitry Andric for (auto &KV : ImmCheckTypes) 15695ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 15705ffd83dbSDimitry Andric OS << "#endif\n\n"; 15715ffd83dbSDimitry Andric } 15725ffd83dbSDimitry Andric 157306c3fb27SDimitry Andric void SVEEmitter::createSMEHeader(raw_ostream &OS) { 157406c3fb27SDimitry Andric OS << "/*===---- arm_sme_draft_spec_subject_to_change.h - ARM SME intrinsics " 157506c3fb27SDimitry Andric "------===\n" 157606c3fb27SDimitry Andric " *\n" 157706c3fb27SDimitry Andric " *\n" 157806c3fb27SDimitry Andric " * Part of the LLVM Project, under the Apache License v2.0 with LLVM " 157906c3fb27SDimitry Andric "Exceptions.\n" 158006c3fb27SDimitry Andric " * See https://llvm.org/LICENSE.txt for license information.\n" 158106c3fb27SDimitry Andric " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n" 158206c3fb27SDimitry Andric " *\n" 158306c3fb27SDimitry Andric " *===-----------------------------------------------------------------" 158406c3fb27SDimitry Andric "------===\n" 158506c3fb27SDimitry Andric " */\n\n"; 158606c3fb27SDimitry Andric 158706c3fb27SDimitry Andric OS << "#ifndef __ARM_SME_H\n"; 158806c3fb27SDimitry Andric OS << "#define __ARM_SME_H\n\n"; 158906c3fb27SDimitry Andric 159006c3fb27SDimitry Andric OS << "#if !defined(__LITTLE_ENDIAN__)\n"; 159106c3fb27SDimitry Andric OS << "#error \"Big endian is currently not supported for arm_sme_draft_spec_subject_to_change.h\"\n"; 159206c3fb27SDimitry Andric OS << "#endif\n"; 159306c3fb27SDimitry Andric 159406c3fb27SDimitry Andric OS << "#include <arm_sve.h>\n\n"; 159506c3fb27SDimitry Andric 159606c3fb27SDimitry Andric OS << "/* Function attributes */\n"; 159706c3fb27SDimitry Andric OS << "#define __ai static __inline__ __attribute__((__always_inline__, " 159806c3fb27SDimitry Andric "__nodebug__))\n\n"; 159906c3fb27SDimitry Andric OS << "#define __aio static __inline__ __attribute__((__always_inline__, " 160006c3fb27SDimitry Andric "__nodebug__, __overloadable__))\n\n"; 160106c3fb27SDimitry Andric 160206c3fb27SDimitry Andric OS << "#ifdef __cplusplus\n"; 160306c3fb27SDimitry Andric OS << "extern \"C\" {\n"; 160406c3fb27SDimitry Andric OS << "#endif\n\n"; 160506c3fb27SDimitry Andric 1606*647cbc5dSDimitry Andric OS << "void __arm_za_disable(void) __arm_streaming_compatible;\n\n"; 1607*647cbc5dSDimitry Andric 1608*647cbc5dSDimitry Andric OS << "__ai bool __arm_has_sme(void) __arm_streaming_compatible {\n"; 1609*647cbc5dSDimitry Andric OS << " uint64_t x0, x1;\n"; 1610*647cbc5dSDimitry Andric OS << " __builtin_arm_get_sme_state(&x0, &x1);\n"; 1611*647cbc5dSDimitry Andric OS << " return x0 & (1ULL << 63);\n"; 1612*647cbc5dSDimitry Andric OS << "}\n\n"; 1613*647cbc5dSDimitry Andric 1614*647cbc5dSDimitry Andric OS << "__ai bool __arm_in_streaming_mode(void) __arm_streaming_compatible " 1615*647cbc5dSDimitry Andric "{\n"; 1616*647cbc5dSDimitry Andric OS << " uint64_t x0, x1;\n"; 1617*647cbc5dSDimitry Andric OS << " __builtin_arm_get_sme_state(&x0, &x1);\n"; 1618*647cbc5dSDimitry Andric OS << " return x0 & 1;\n"; 1619*647cbc5dSDimitry Andric OS << "}\n\n"; 1620*647cbc5dSDimitry Andric 1621*647cbc5dSDimitry Andric OS << "__ai __attribute__((target(\"sme\"))) void svundef_za(void) " 1622*647cbc5dSDimitry Andric "__arm_streaming_compatible __arm_shared_za " 1623*647cbc5dSDimitry Andric "{ }\n\n"; 1624*647cbc5dSDimitry Andric 16255f757f3fSDimitry Andric createCoreHeaderIntrinsics(OS, *this, ACLEKind::SME); 162606c3fb27SDimitry Andric 162706c3fb27SDimitry Andric OS << "#ifdef __cplusplus\n"; 162806c3fb27SDimitry Andric OS << "} // extern \"C\"\n"; 162906c3fb27SDimitry Andric OS << "#endif\n\n"; 163006c3fb27SDimitry Andric OS << "#undef __ai\n\n"; 163106c3fb27SDimitry Andric OS << "#endif /* __ARM_SME_H */\n"; 163206c3fb27SDimitry Andric } 163306c3fb27SDimitry Andric 163406c3fb27SDimitry Andric void SVEEmitter::createSMEBuiltins(raw_ostream &OS) { 163506c3fb27SDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 163606c3fb27SDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 163706c3fb27SDimitry Andric for (auto *R : RV) { 163806c3fb27SDimitry Andric createIntrinsic(R, Defs); 163906c3fb27SDimitry Andric } 164006c3fb27SDimitry Andric 164106c3fb27SDimitry Andric // The mappings must be sorted based on BuiltinID. 164206c3fb27SDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 164306c3fb27SDimitry Andric const std::unique_ptr<Intrinsic> &B) { 164406c3fb27SDimitry Andric return A->getMangledName() < B->getMangledName(); 164506c3fb27SDimitry Andric }); 164606c3fb27SDimitry Andric 164706c3fb27SDimitry Andric OS << "#ifdef GET_SME_BUILTINS\n"; 164806c3fb27SDimitry Andric for (auto &Def : Defs) { 164906c3fb27SDimitry Andric // Only create BUILTINs for non-overloaded intrinsics, as overloaded 165006c3fb27SDimitry Andric // declarations only live in the header file. 165106c3fb27SDimitry Andric if (Def->getClassKind() != ClassG) 165206c3fb27SDimitry Andric OS << "TARGET_BUILTIN(__builtin_sme_" << Def->getMangledName() << ", \"" 165306c3fb27SDimitry Andric << Def->getBuiltinTypeStr() << "\", \"n\", \"" << Def->getGuard() 165406c3fb27SDimitry Andric << "\")\n"; 165506c3fb27SDimitry Andric } 165606c3fb27SDimitry Andric 165706c3fb27SDimitry Andric OS << "#endif\n\n"; 165806c3fb27SDimitry Andric } 165906c3fb27SDimitry Andric 166006c3fb27SDimitry Andric void SVEEmitter::createSMECodeGenMap(raw_ostream &OS) { 166106c3fb27SDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 166206c3fb27SDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 166306c3fb27SDimitry Andric for (auto *R : RV) { 166406c3fb27SDimitry Andric createIntrinsic(R, Defs); 166506c3fb27SDimitry Andric } 166606c3fb27SDimitry Andric 166706c3fb27SDimitry Andric // The mappings must be sorted based on BuiltinID. 166806c3fb27SDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 166906c3fb27SDimitry Andric const std::unique_ptr<Intrinsic> &B) { 167006c3fb27SDimitry Andric return A->getMangledName() < B->getMangledName(); 167106c3fb27SDimitry Andric }); 167206c3fb27SDimitry Andric 167306c3fb27SDimitry Andric OS << "#ifdef GET_SME_LLVM_INTRINSIC_MAP\n"; 167406c3fb27SDimitry Andric for (auto &Def : Defs) { 167506c3fb27SDimitry Andric // Builtins only exist for non-overloaded intrinsics, overloaded 167606c3fb27SDimitry Andric // declarations only live in the header file. 167706c3fb27SDimitry Andric if (Def->getClassKind() == ClassG) 167806c3fb27SDimitry Andric continue; 167906c3fb27SDimitry Andric 168006c3fb27SDimitry Andric uint64_t Flags = Def->getFlags(); 168106c3fb27SDimitry Andric auto FlagString = std::to_string(Flags); 168206c3fb27SDimitry Andric 168306c3fb27SDimitry Andric std::string LLVMName = Def->getLLVMName(); 168406c3fb27SDimitry Andric std::string Builtin = Def->getMangledName(); 168506c3fb27SDimitry Andric if (!LLVMName.empty()) 168606c3fb27SDimitry Andric OS << "SMEMAP1(" << Builtin << ", " << LLVMName << ", " << FlagString 168706c3fb27SDimitry Andric << "),\n"; 168806c3fb27SDimitry Andric else 168906c3fb27SDimitry Andric OS << "SMEMAP2(" << Builtin << ", " << FlagString << "),\n"; 169006c3fb27SDimitry Andric } 169106c3fb27SDimitry Andric OS << "#endif\n\n"; 169206c3fb27SDimitry Andric } 169306c3fb27SDimitry Andric 169406c3fb27SDimitry Andric void SVEEmitter::createSMERangeChecks(raw_ostream &OS) { 169506c3fb27SDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 169606c3fb27SDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 169706c3fb27SDimitry Andric for (auto *R : RV) { 169806c3fb27SDimitry Andric createIntrinsic(R, Defs); 169906c3fb27SDimitry Andric } 170006c3fb27SDimitry Andric 170106c3fb27SDimitry Andric // The mappings must be sorted based on BuiltinID. 170206c3fb27SDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 170306c3fb27SDimitry Andric const std::unique_ptr<Intrinsic> &B) { 170406c3fb27SDimitry Andric return A->getMangledName() < B->getMangledName(); 170506c3fb27SDimitry Andric }); 170606c3fb27SDimitry Andric 170706c3fb27SDimitry Andric 170806c3fb27SDimitry Andric OS << "#ifdef GET_SME_IMMEDIATE_CHECK\n"; 170906c3fb27SDimitry Andric 171006c3fb27SDimitry Andric // Ensure these are only emitted once. 171106c3fb27SDimitry Andric std::set<std::string> Emitted; 171206c3fb27SDimitry Andric 171306c3fb27SDimitry Andric for (auto &Def : Defs) { 171406c3fb27SDimitry Andric if (Emitted.find(Def->getMangledName()) != Emitted.end() || 171506c3fb27SDimitry Andric Def->getImmChecks().empty()) 171606c3fb27SDimitry Andric continue; 171706c3fb27SDimitry Andric 171806c3fb27SDimitry Andric OS << "case SME::BI__builtin_sme_" << Def->getMangledName() << ":\n"; 171906c3fb27SDimitry Andric for (auto &Check : Def->getImmChecks()) 172006c3fb27SDimitry Andric OS << "ImmChecks.push_back(std::make_tuple(" << Check.getArg() << ", " 172106c3fb27SDimitry Andric << Check.getKind() << ", " << Check.getElementSizeInBits() << "));\n"; 172206c3fb27SDimitry Andric OS << " break;\n"; 172306c3fb27SDimitry Andric 172406c3fb27SDimitry Andric Emitted.insert(Def->getMangledName()); 172506c3fb27SDimitry Andric } 172606c3fb27SDimitry Andric 172706c3fb27SDimitry Andric OS << "#endif\n\n"; 172806c3fb27SDimitry Andric } 172906c3fb27SDimitry Andric 1730cb14a3feSDimitry Andric void SVEEmitter::createBuiltinZAState(raw_ostream &OS) { 1731cb14a3feSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 1732cb14a3feSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 1733cb14a3feSDimitry Andric for (auto *R : RV) 1734cb14a3feSDimitry Andric createIntrinsic(R, Defs); 1735cb14a3feSDimitry Andric 1736cb14a3feSDimitry Andric std::map<bool, std::set<std::string>> DefsZAState; 1737cb14a3feSDimitry Andric 1738cb14a3feSDimitry Andric uint64_t IsSharedZAFlag = getEnumValueForFlag("IsSharedZA"); 1739cb14a3feSDimitry Andric for (auto &Def : Defs) { 1740cb14a3feSDimitry Andric bool HasZAState = Def->isFlagSet(IsSharedZAFlag); 1741cb14a3feSDimitry Andric DefsZAState[HasZAState].insert(Def->getMangledName()); 1742cb14a3feSDimitry Andric } 1743cb14a3feSDimitry Andric 1744cb14a3feSDimitry Andric OS << "#ifdef GET_SME_BUILTIN_HAS_ZA_STATE\n"; 1745cb14a3feSDimitry Andric 1746cb14a3feSDimitry Andric for (auto HasZA : {true, false}) { 1747cb14a3feSDimitry Andric auto Names = DefsZAState[HasZA]; 1748cb14a3feSDimitry Andric for (auto Name : Names) 1749cb14a3feSDimitry Andric OS << "case SME::BI__builtin_sme_" << Name << ":\n"; 1750cb14a3feSDimitry Andric OS << " return " << (HasZA ? "true" : "false") << ";\n"; 1751cb14a3feSDimitry Andric } 1752cb14a3feSDimitry Andric OS << "#endif\n\n"; 1753cb14a3feSDimitry Andric } 1754cb14a3feSDimitry Andric 1755cb14a3feSDimitry Andric void SVEEmitter::createStreamingAttrs(raw_ostream &OS, ACLEKind Kind) { 1756cb14a3feSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 1757cb14a3feSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 1758cb14a3feSDimitry Andric for (auto *R : RV) 1759cb14a3feSDimitry Andric createIntrinsic(R, Defs); 1760cb14a3feSDimitry Andric 1761cb14a3feSDimitry Andric StringRef ExtensionKind; 1762cb14a3feSDimitry Andric switch (Kind) { 1763cb14a3feSDimitry Andric case ACLEKind::SME: 1764cb14a3feSDimitry Andric ExtensionKind = "SME"; 1765cb14a3feSDimitry Andric break; 1766cb14a3feSDimitry Andric case ACLEKind::SVE: 1767cb14a3feSDimitry Andric ExtensionKind = "SVE"; 1768cb14a3feSDimitry Andric break; 1769cb14a3feSDimitry Andric } 1770cb14a3feSDimitry Andric 1771cb14a3feSDimitry Andric OS << "#ifdef GET_" << ExtensionKind << "_STREAMING_ATTRS\n"; 1772cb14a3feSDimitry Andric 1773cb14a3feSDimitry Andric llvm::StringMap<std::set<std::string>> StreamingMap; 1774cb14a3feSDimitry Andric 1775cb14a3feSDimitry Andric uint64_t IsStreamingFlag = getEnumValueForFlag("IsStreaming"); 1776cb14a3feSDimitry Andric uint64_t IsStreamingCompatibleFlag = 1777cb14a3feSDimitry Andric getEnumValueForFlag("IsStreamingCompatible"); 1778cb14a3feSDimitry Andric for (auto &Def : Defs) { 1779cb14a3feSDimitry Andric if (Def->isFlagSet(IsStreamingFlag)) 1780cb14a3feSDimitry Andric StreamingMap["ArmStreaming"].insert(Def->getMangledName()); 1781cb14a3feSDimitry Andric else if (Def->isFlagSet(IsStreamingCompatibleFlag)) 1782cb14a3feSDimitry Andric StreamingMap["ArmStreamingCompatible"].insert(Def->getMangledName()); 1783cb14a3feSDimitry Andric else 1784cb14a3feSDimitry Andric StreamingMap["ArmNonStreaming"].insert(Def->getMangledName()); 1785cb14a3feSDimitry Andric } 1786cb14a3feSDimitry Andric 1787cb14a3feSDimitry Andric for (auto BuiltinType : StreamingMap.keys()) { 1788cb14a3feSDimitry Andric for (auto Name : StreamingMap[BuiltinType]) { 1789cb14a3feSDimitry Andric OS << "case " << ExtensionKind << "::BI__builtin_" 1790cb14a3feSDimitry Andric << ExtensionKind.lower() << "_"; 1791cb14a3feSDimitry Andric OS << Name << ":\n"; 1792cb14a3feSDimitry Andric } 1793cb14a3feSDimitry Andric OS << " BuiltinType = " << BuiltinType << ";\n"; 1794cb14a3feSDimitry Andric OS << " break;\n"; 1795cb14a3feSDimitry Andric } 1796cb14a3feSDimitry Andric 1797cb14a3feSDimitry Andric OS << "#endif\n\n"; 1798cb14a3feSDimitry Andric } 1799cb14a3feSDimitry Andric 18005ffd83dbSDimitry Andric namespace clang { 18015ffd83dbSDimitry Andric void EmitSveHeader(RecordKeeper &Records, raw_ostream &OS) { 18025ffd83dbSDimitry Andric SVEEmitter(Records).createHeader(OS); 18035ffd83dbSDimitry Andric } 18045ffd83dbSDimitry Andric 18055ffd83dbSDimitry Andric void EmitSveBuiltins(RecordKeeper &Records, raw_ostream &OS) { 18065ffd83dbSDimitry Andric SVEEmitter(Records).createBuiltins(OS); 18075ffd83dbSDimitry Andric } 18085ffd83dbSDimitry Andric 18095ffd83dbSDimitry Andric void EmitSveBuiltinCG(RecordKeeper &Records, raw_ostream &OS) { 18105ffd83dbSDimitry Andric SVEEmitter(Records).createCodeGenMap(OS); 18115ffd83dbSDimitry Andric } 18125ffd83dbSDimitry Andric 18135ffd83dbSDimitry Andric void EmitSveRangeChecks(RecordKeeper &Records, raw_ostream &OS) { 18145ffd83dbSDimitry Andric SVEEmitter(Records).createRangeChecks(OS); 18155ffd83dbSDimitry Andric } 18165ffd83dbSDimitry Andric 18175ffd83dbSDimitry Andric void EmitSveTypeFlags(RecordKeeper &Records, raw_ostream &OS) { 18185ffd83dbSDimitry Andric SVEEmitter(Records).createTypeFlags(OS); 18195ffd83dbSDimitry Andric } 18205ffd83dbSDimitry Andric 1821cb14a3feSDimitry Andric void EmitSveStreamingAttrs(RecordKeeper &Records, raw_ostream &OS) { 1822cb14a3feSDimitry Andric SVEEmitter(Records).createStreamingAttrs(OS, ACLEKind::SVE); 1823cb14a3feSDimitry Andric } 1824cb14a3feSDimitry Andric 182506c3fb27SDimitry Andric void EmitSmeHeader(RecordKeeper &Records, raw_ostream &OS) { 182606c3fb27SDimitry Andric SVEEmitter(Records).createSMEHeader(OS); 182706c3fb27SDimitry Andric } 182806c3fb27SDimitry Andric 182906c3fb27SDimitry Andric void EmitSmeBuiltins(RecordKeeper &Records, raw_ostream &OS) { 183006c3fb27SDimitry Andric SVEEmitter(Records).createSMEBuiltins(OS); 183106c3fb27SDimitry Andric } 183206c3fb27SDimitry Andric 183306c3fb27SDimitry Andric void EmitSmeBuiltinCG(RecordKeeper &Records, raw_ostream &OS) { 183406c3fb27SDimitry Andric SVEEmitter(Records).createSMECodeGenMap(OS); 183506c3fb27SDimitry Andric } 183606c3fb27SDimitry Andric 183706c3fb27SDimitry Andric void EmitSmeRangeChecks(RecordKeeper &Records, raw_ostream &OS) { 183806c3fb27SDimitry Andric SVEEmitter(Records).createSMERangeChecks(OS); 183906c3fb27SDimitry Andric } 18405f757f3fSDimitry Andric 1841cb14a3feSDimitry Andric void EmitSmeStreamingAttrs(RecordKeeper &Records, raw_ostream &OS) { 1842cb14a3feSDimitry Andric SVEEmitter(Records).createStreamingAttrs(OS, ACLEKind::SME); 1843cb14a3feSDimitry Andric } 1844cb14a3feSDimitry Andric 1845cb14a3feSDimitry Andric void EmitSmeBuiltinZAState(RecordKeeper &Records, raw_ostream &OS) { 1846cb14a3feSDimitry Andric SVEEmitter(Records).createBuiltinZAState(OS); 1847cb14a3feSDimitry Andric } 18485ffd83dbSDimitry Andric } // End namespace clang 1849