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/STLExtras.h" 275ffd83dbSDimitry Andric #include "llvm/ADT/StringMap.h" 285ffd83dbSDimitry Andric #include "llvm/ADT/ArrayRef.h" 295ffd83dbSDimitry Andric #include "llvm/ADT/StringExtras.h" 305ffd83dbSDimitry Andric #include "llvm/TableGen/Record.h" 315ffd83dbSDimitry Andric #include "llvm/TableGen/Error.h" 325ffd83dbSDimitry Andric #include <string> 335ffd83dbSDimitry Andric #include <sstream> 345ffd83dbSDimitry Andric #include <set> 355ffd83dbSDimitry Andric #include <cctype> 365ffd83dbSDimitry Andric #include <tuple> 375ffd83dbSDimitry Andric 385ffd83dbSDimitry Andric using namespace llvm; 395ffd83dbSDimitry Andric 405ffd83dbSDimitry Andric enum ClassKind { 415ffd83dbSDimitry Andric ClassNone, 425ffd83dbSDimitry Andric ClassS, // signed/unsigned, e.g., "_s8", "_u8" suffix 435ffd83dbSDimitry Andric ClassG, // Overloaded name without type suffix 445ffd83dbSDimitry Andric }; 455ffd83dbSDimitry Andric 465ffd83dbSDimitry Andric using TypeSpec = std::string; 475ffd83dbSDimitry Andric 485ffd83dbSDimitry Andric namespace { 495ffd83dbSDimitry Andric 505ffd83dbSDimitry Andric class ImmCheck { 515ffd83dbSDimitry Andric unsigned Arg; 525ffd83dbSDimitry Andric unsigned Kind; 535ffd83dbSDimitry Andric unsigned ElementSizeInBits; 545ffd83dbSDimitry Andric 555ffd83dbSDimitry Andric public: 565ffd83dbSDimitry Andric ImmCheck(unsigned Arg, unsigned Kind, unsigned ElementSizeInBits = 0) 575ffd83dbSDimitry Andric : Arg(Arg), Kind(Kind), ElementSizeInBits(ElementSizeInBits) {} 585ffd83dbSDimitry Andric ImmCheck(const ImmCheck &Other) = default; 595ffd83dbSDimitry Andric ~ImmCheck() = default; 605ffd83dbSDimitry Andric 615ffd83dbSDimitry Andric unsigned getArg() const { return Arg; } 625ffd83dbSDimitry Andric unsigned getKind() const { return Kind; } 635ffd83dbSDimitry Andric unsigned getElementSizeInBits() const { return ElementSizeInBits; } 645ffd83dbSDimitry Andric }; 655ffd83dbSDimitry Andric 665ffd83dbSDimitry Andric class SVEType { 675ffd83dbSDimitry Andric TypeSpec TS; 685ffd83dbSDimitry Andric bool Float, Signed, Immediate, Void, Constant, Pointer, BFloat; 695ffd83dbSDimitry Andric bool DefaultType, IsScalable, Predicate, PredicatePattern, PrefetchOp; 705ffd83dbSDimitry Andric unsigned Bitwidth, ElementBitwidth, NumVectors; 715ffd83dbSDimitry Andric 725ffd83dbSDimitry Andric public: 735ffd83dbSDimitry Andric SVEType() : SVEType(TypeSpec(), 'v') {} 745ffd83dbSDimitry Andric 755ffd83dbSDimitry Andric SVEType(TypeSpec TS, char CharMod) 765ffd83dbSDimitry Andric : TS(TS), Float(false), Signed(true), Immediate(false), Void(false), 775ffd83dbSDimitry Andric Constant(false), Pointer(false), BFloat(false), DefaultType(false), 785ffd83dbSDimitry Andric IsScalable(true), Predicate(false), PredicatePattern(false), 795ffd83dbSDimitry Andric PrefetchOp(false), Bitwidth(128), ElementBitwidth(~0U), NumVectors(1) { 805ffd83dbSDimitry Andric if (!TS.empty()) 815ffd83dbSDimitry Andric applyTypespec(); 825ffd83dbSDimitry Andric applyModifier(CharMod); 835ffd83dbSDimitry Andric } 845ffd83dbSDimitry Andric 855ffd83dbSDimitry Andric bool isPointer() const { return Pointer; } 865ffd83dbSDimitry Andric bool isVoidPointer() const { return Pointer && Void; } 875ffd83dbSDimitry Andric bool isSigned() const { return Signed; } 885ffd83dbSDimitry Andric bool isImmediate() const { return Immediate; } 895ffd83dbSDimitry Andric bool isScalar() const { return NumVectors == 0; } 905ffd83dbSDimitry Andric bool isVector() const { return NumVectors > 0; } 915ffd83dbSDimitry Andric bool isScalableVector() const { return isVector() && IsScalable; } 925ffd83dbSDimitry Andric bool isChar() const { return ElementBitwidth == 8; } 935ffd83dbSDimitry Andric bool isVoid() const { return Void & !Pointer; } 945ffd83dbSDimitry Andric bool isDefault() const { return DefaultType; } 955ffd83dbSDimitry Andric bool isFloat() const { return Float && !BFloat; } 965ffd83dbSDimitry Andric bool isBFloat() const { return BFloat && !Float; } 975ffd83dbSDimitry Andric bool isFloatingPoint() const { return Float || BFloat; } 985ffd83dbSDimitry Andric bool isInteger() const { return !isFloatingPoint() && !Predicate; } 995ffd83dbSDimitry Andric bool isScalarPredicate() const { 1005ffd83dbSDimitry Andric return !isFloatingPoint() && Predicate && NumVectors == 0; 1015ffd83dbSDimitry Andric } 1025ffd83dbSDimitry Andric bool isPredicateVector() const { return Predicate; } 1035ffd83dbSDimitry Andric bool isPredicatePattern() const { return PredicatePattern; } 1045ffd83dbSDimitry Andric bool isPrefetchOp() const { return PrefetchOp; } 1055ffd83dbSDimitry Andric bool isConstant() const { return Constant; } 1065ffd83dbSDimitry Andric unsigned getElementSizeInBits() const { return ElementBitwidth; } 1075ffd83dbSDimitry Andric unsigned getNumVectors() const { return NumVectors; } 1085ffd83dbSDimitry Andric 1095ffd83dbSDimitry Andric unsigned getNumElements() const { 1105ffd83dbSDimitry Andric assert(ElementBitwidth != ~0U); 1115ffd83dbSDimitry Andric return Bitwidth / ElementBitwidth; 1125ffd83dbSDimitry Andric } 1135ffd83dbSDimitry Andric unsigned getSizeInBits() const { 1145ffd83dbSDimitry Andric return Bitwidth; 1155ffd83dbSDimitry Andric } 1165ffd83dbSDimitry Andric 1175ffd83dbSDimitry Andric /// Return the string representation of a type, which is an encoded 1185ffd83dbSDimitry Andric /// string for passing to the BUILTIN() macro in Builtins.def. 1195ffd83dbSDimitry Andric std::string builtin_str() const; 1205ffd83dbSDimitry Andric 1215ffd83dbSDimitry Andric /// Return the C/C++ string representation of a type for use in the 1225ffd83dbSDimitry Andric /// arm_sve.h header file. 1235ffd83dbSDimitry Andric std::string str() const; 1245ffd83dbSDimitry Andric 1255ffd83dbSDimitry Andric private: 1265ffd83dbSDimitry Andric /// Creates the type based on the typespec string in TS. 1275ffd83dbSDimitry Andric void applyTypespec(); 1285ffd83dbSDimitry Andric 1295ffd83dbSDimitry Andric /// Applies a prototype modifier to the type. 1305ffd83dbSDimitry Andric void applyModifier(char Mod); 1315ffd83dbSDimitry Andric }; 1325ffd83dbSDimitry Andric 1335ffd83dbSDimitry Andric 1345ffd83dbSDimitry Andric class SVEEmitter; 1355ffd83dbSDimitry Andric 1365ffd83dbSDimitry Andric /// The main grunt class. This represents an instantiation of an intrinsic with 1375ffd83dbSDimitry Andric /// a particular typespec and prototype. 1385ffd83dbSDimitry Andric class Intrinsic { 1395ffd83dbSDimitry Andric /// The unmangled name. 1405ffd83dbSDimitry Andric std::string Name; 1415ffd83dbSDimitry Andric 1425ffd83dbSDimitry Andric /// The name of the corresponding LLVM IR intrinsic. 1435ffd83dbSDimitry Andric std::string LLVMName; 1445ffd83dbSDimitry Andric 1455ffd83dbSDimitry Andric /// Intrinsic prototype. 1465ffd83dbSDimitry Andric std::string Proto; 1475ffd83dbSDimitry Andric 1485ffd83dbSDimitry Andric /// The base type spec for this intrinsic. 1495ffd83dbSDimitry Andric TypeSpec BaseTypeSpec; 1505ffd83dbSDimitry Andric 1515ffd83dbSDimitry Andric /// The base class kind. Most intrinsics use ClassS, which has full type 1525ffd83dbSDimitry Andric /// info for integers (_s32/_u32), or ClassG which is used for overloaded 1535ffd83dbSDimitry Andric /// intrinsics. 1545ffd83dbSDimitry Andric ClassKind Class; 1555ffd83dbSDimitry Andric 1565ffd83dbSDimitry Andric /// The architectural #ifdef guard. 1575ffd83dbSDimitry Andric std::string Guard; 1585ffd83dbSDimitry Andric 1595ffd83dbSDimitry Andric // The merge suffix such as _m, _x or _z. 1605ffd83dbSDimitry Andric std::string MergeSuffix; 1615ffd83dbSDimitry Andric 1625ffd83dbSDimitry Andric /// The types of return value [0] and parameters [1..]. 1635ffd83dbSDimitry Andric std::vector<SVEType> Types; 1645ffd83dbSDimitry Andric 1655ffd83dbSDimitry Andric /// The "base type", which is VarType('d', BaseTypeSpec). 1665ffd83dbSDimitry Andric SVEType BaseType; 1675ffd83dbSDimitry Andric 1685ffd83dbSDimitry Andric uint64_t Flags; 1695ffd83dbSDimitry Andric 1705ffd83dbSDimitry Andric SmallVector<ImmCheck, 2> ImmChecks; 1715ffd83dbSDimitry Andric 1725ffd83dbSDimitry Andric public: 1735ffd83dbSDimitry Andric Intrinsic(StringRef Name, StringRef Proto, uint64_t MergeTy, 1745ffd83dbSDimitry Andric StringRef MergeSuffix, uint64_t MemoryElementTy, StringRef LLVMName, 1755ffd83dbSDimitry Andric uint64_t Flags, ArrayRef<ImmCheck> ImmChecks, TypeSpec BT, 1765ffd83dbSDimitry Andric ClassKind Class, SVEEmitter &Emitter, StringRef Guard); 1775ffd83dbSDimitry Andric 1785ffd83dbSDimitry Andric ~Intrinsic()=default; 1795ffd83dbSDimitry Andric 1805ffd83dbSDimitry Andric std::string getName() const { return Name; } 1815ffd83dbSDimitry Andric std::string getLLVMName() const { return LLVMName; } 1825ffd83dbSDimitry Andric std::string getProto() const { return Proto; } 1835ffd83dbSDimitry Andric TypeSpec getBaseTypeSpec() const { return BaseTypeSpec; } 1845ffd83dbSDimitry Andric SVEType getBaseType() const { return BaseType; } 1855ffd83dbSDimitry Andric 1865ffd83dbSDimitry Andric StringRef getGuard() const { return Guard; } 1875ffd83dbSDimitry Andric ClassKind getClassKind() const { return Class; } 1885ffd83dbSDimitry Andric 1895ffd83dbSDimitry Andric SVEType getReturnType() const { return Types[0]; } 1905ffd83dbSDimitry Andric ArrayRef<SVEType> getTypes() const { return Types; } 1915ffd83dbSDimitry Andric SVEType getParamType(unsigned I) const { return Types[I + 1]; } 1925ffd83dbSDimitry Andric unsigned getNumParams() const { return Proto.size() - 1; } 1935ffd83dbSDimitry Andric 1945ffd83dbSDimitry Andric uint64_t getFlags() const { return Flags; } 1955ffd83dbSDimitry Andric bool isFlagSet(uint64_t Flag) const { return Flags & Flag;} 1965ffd83dbSDimitry Andric 1975ffd83dbSDimitry Andric ArrayRef<ImmCheck> getImmChecks() const { return ImmChecks; } 1985ffd83dbSDimitry Andric 1995ffd83dbSDimitry Andric /// Return the type string for a BUILTIN() macro in Builtins.def. 2005ffd83dbSDimitry Andric std::string getBuiltinTypeStr(); 2015ffd83dbSDimitry Andric 2025ffd83dbSDimitry Andric /// Return the name, mangled with type information. The name is mangled for 2035ffd83dbSDimitry Andric /// ClassS, so will add type suffixes such as _u32/_s32. 2045ffd83dbSDimitry Andric std::string getMangledName() const { return mangleName(ClassS); } 2055ffd83dbSDimitry Andric 2065ffd83dbSDimitry Andric /// Returns true if the intrinsic is overloaded, in that it should also generate 2075ffd83dbSDimitry Andric /// a short form without the type-specifiers, e.g. 'svld1(..)' instead of 2085ffd83dbSDimitry Andric /// 'svld1_u32(..)'. 2095ffd83dbSDimitry Andric static bool isOverloadedIntrinsic(StringRef Name) { 210*e8d8bef9SDimitry Andric auto BrOpen = Name.find('['); 2115ffd83dbSDimitry Andric auto BrClose = Name.find(']'); 2125ffd83dbSDimitry Andric return BrOpen != std::string::npos && BrClose != std::string::npos; 2135ffd83dbSDimitry Andric } 2145ffd83dbSDimitry Andric 2155ffd83dbSDimitry Andric /// Return true if the intrinsic takes a splat operand. 2165ffd83dbSDimitry Andric bool hasSplat() const { 2175ffd83dbSDimitry Andric // These prototype modifiers are described in arm_sve.td. 2185ffd83dbSDimitry Andric return Proto.find_first_of("ajfrKLR@") != std::string::npos; 2195ffd83dbSDimitry Andric } 2205ffd83dbSDimitry Andric 2215ffd83dbSDimitry Andric /// Return the parameter index of the splat operand. 2225ffd83dbSDimitry Andric unsigned getSplatIdx() const { 2235ffd83dbSDimitry Andric // These prototype modifiers are described in arm_sve.td. 2245ffd83dbSDimitry Andric auto Idx = Proto.find_first_of("ajfrKLR@"); 2255ffd83dbSDimitry Andric assert(Idx != std::string::npos && Idx > 0 && 2265ffd83dbSDimitry Andric "Prototype has no splat operand"); 2275ffd83dbSDimitry Andric return Idx - 1; 2285ffd83dbSDimitry Andric } 2295ffd83dbSDimitry Andric 2305ffd83dbSDimitry Andric /// Emits the intrinsic declaration to the ostream. 2315ffd83dbSDimitry Andric void emitIntrinsic(raw_ostream &OS) const; 2325ffd83dbSDimitry Andric 2335ffd83dbSDimitry Andric private: 2345ffd83dbSDimitry Andric std::string getMergeSuffix() const { return MergeSuffix; } 2355ffd83dbSDimitry Andric std::string mangleName(ClassKind LocalCK) const; 2365ffd83dbSDimitry Andric std::string replaceTemplatedArgs(std::string Name, TypeSpec TS, 2375ffd83dbSDimitry Andric std::string Proto) const; 2385ffd83dbSDimitry Andric }; 2395ffd83dbSDimitry Andric 2405ffd83dbSDimitry Andric class SVEEmitter { 2415ffd83dbSDimitry Andric private: 2425ffd83dbSDimitry Andric // The reinterpret builtins are generated separately because they 2435ffd83dbSDimitry Andric // need the cross product of all types (121 functions in total), 2445ffd83dbSDimitry Andric // which is inconvenient to specify in the arm_sve.td file or 2455ffd83dbSDimitry Andric // generate in CGBuiltin.cpp. 2465ffd83dbSDimitry Andric struct ReinterpretTypeInfo { 2475ffd83dbSDimitry Andric const char *Suffix; 2485ffd83dbSDimitry Andric const char *Type; 2495ffd83dbSDimitry Andric const char *BuiltinType; 2505ffd83dbSDimitry Andric }; 2515ffd83dbSDimitry Andric SmallVector<ReinterpretTypeInfo, 12> Reinterprets = { 2525ffd83dbSDimitry Andric {"s8", "svint8_t", "q16Sc"}, {"s16", "svint16_t", "q8Ss"}, 2535ffd83dbSDimitry Andric {"s32", "svint32_t", "q4Si"}, {"s64", "svint64_t", "q2SWi"}, 2545ffd83dbSDimitry Andric {"u8", "svuint8_t", "q16Uc"}, {"u16", "svuint16_t", "q8Us"}, 2555ffd83dbSDimitry Andric {"u32", "svuint32_t", "q4Ui"}, {"u64", "svuint64_t", "q2UWi"}, 2565ffd83dbSDimitry Andric {"f16", "svfloat16_t", "q8h"}, {"bf16", "svbfloat16_t", "q8y"}, 2575ffd83dbSDimitry Andric {"f32", "svfloat32_t", "q4f"}, {"f64", "svfloat64_t", "q2d"}}; 2585ffd83dbSDimitry Andric 2595ffd83dbSDimitry Andric RecordKeeper &Records; 2605ffd83dbSDimitry Andric llvm::StringMap<uint64_t> EltTypes; 2615ffd83dbSDimitry Andric llvm::StringMap<uint64_t> MemEltTypes; 2625ffd83dbSDimitry Andric llvm::StringMap<uint64_t> FlagTypes; 2635ffd83dbSDimitry Andric llvm::StringMap<uint64_t> MergeTypes; 2645ffd83dbSDimitry Andric llvm::StringMap<uint64_t> ImmCheckTypes; 2655ffd83dbSDimitry Andric 2665ffd83dbSDimitry Andric public: 2675ffd83dbSDimitry Andric SVEEmitter(RecordKeeper &R) : Records(R) { 2685ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("EltType")) 2695ffd83dbSDimitry Andric EltTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2705ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("MemEltType")) 2715ffd83dbSDimitry Andric MemEltTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2725ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("FlagType")) 2735ffd83dbSDimitry Andric FlagTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2745ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("MergeType")) 2755ffd83dbSDimitry Andric MergeTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2765ffd83dbSDimitry Andric for (auto *RV : Records.getAllDerivedDefinitions("ImmCheckType")) 2775ffd83dbSDimitry Andric ImmCheckTypes[RV->getNameInitAsString()] = RV->getValueAsInt("Value"); 2785ffd83dbSDimitry Andric } 2795ffd83dbSDimitry Andric 2805ffd83dbSDimitry Andric /// Returns the enum value for the immcheck type 2815ffd83dbSDimitry Andric unsigned getEnumValueForImmCheck(StringRef C) const { 2825ffd83dbSDimitry Andric auto It = ImmCheckTypes.find(C); 2835ffd83dbSDimitry Andric if (It != ImmCheckTypes.end()) 2845ffd83dbSDimitry Andric return It->getValue(); 2855ffd83dbSDimitry Andric llvm_unreachable("Unsupported imm check"); 2865ffd83dbSDimitry Andric } 2875ffd83dbSDimitry Andric 2885ffd83dbSDimitry Andric /// Returns the enum value for the flag type 2895ffd83dbSDimitry Andric uint64_t getEnumValueForFlag(StringRef C) const { 2905ffd83dbSDimitry Andric auto Res = FlagTypes.find(C); 2915ffd83dbSDimitry Andric if (Res != FlagTypes.end()) 2925ffd83dbSDimitry Andric return Res->getValue(); 2935ffd83dbSDimitry Andric llvm_unreachable("Unsupported flag"); 2945ffd83dbSDimitry Andric } 2955ffd83dbSDimitry Andric 2965ffd83dbSDimitry Andric // Returns the SVETypeFlags for a given value and mask. 2975ffd83dbSDimitry Andric uint64_t encodeFlag(uint64_t V, StringRef MaskName) const { 2985ffd83dbSDimitry Andric auto It = FlagTypes.find(MaskName); 2995ffd83dbSDimitry Andric if (It != FlagTypes.end()) { 3005ffd83dbSDimitry Andric uint64_t Mask = It->getValue(); 3015ffd83dbSDimitry Andric unsigned Shift = llvm::countTrailingZeros(Mask); 3025ffd83dbSDimitry Andric return (V << Shift) & Mask; 3035ffd83dbSDimitry Andric } 3045ffd83dbSDimitry Andric llvm_unreachable("Unsupported flag"); 3055ffd83dbSDimitry Andric } 3065ffd83dbSDimitry Andric 3075ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given element type. 3085ffd83dbSDimitry Andric uint64_t encodeEltType(StringRef EltName) { 3095ffd83dbSDimitry Andric auto It = EltTypes.find(EltName); 3105ffd83dbSDimitry Andric if (It != EltTypes.end()) 3115ffd83dbSDimitry Andric return encodeFlag(It->getValue(), "EltTypeMask"); 3125ffd83dbSDimitry Andric llvm_unreachable("Unsupported EltType"); 3135ffd83dbSDimitry Andric } 3145ffd83dbSDimitry Andric 3155ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given memory element type. 3165ffd83dbSDimitry Andric uint64_t encodeMemoryElementType(uint64_t MT) { 3175ffd83dbSDimitry Andric return encodeFlag(MT, "MemEltTypeMask"); 3185ffd83dbSDimitry Andric } 3195ffd83dbSDimitry Andric 3205ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given merge type. 3215ffd83dbSDimitry Andric uint64_t encodeMergeType(uint64_t MT) { 3225ffd83dbSDimitry Andric return encodeFlag(MT, "MergeTypeMask"); 3235ffd83dbSDimitry Andric } 3245ffd83dbSDimitry Andric 3255ffd83dbSDimitry Andric // Returns the SVETypeFlags for the given splat operand. 3265ffd83dbSDimitry Andric unsigned encodeSplatOperand(unsigned SplatIdx) { 3275ffd83dbSDimitry Andric assert(SplatIdx < 7 && "SplatIdx out of encodable range"); 3285ffd83dbSDimitry Andric return encodeFlag(SplatIdx + 1, "SplatOperandMask"); 3295ffd83dbSDimitry Andric } 3305ffd83dbSDimitry Andric 3315ffd83dbSDimitry Andric // Returns the SVETypeFlags value for the given SVEType. 3325ffd83dbSDimitry Andric uint64_t encodeTypeFlags(const SVEType &T); 3335ffd83dbSDimitry Andric 3345ffd83dbSDimitry Andric /// Emit arm_sve.h. 3355ffd83dbSDimitry Andric void createHeader(raw_ostream &o); 3365ffd83dbSDimitry Andric 3375ffd83dbSDimitry Andric /// Emit all the __builtin prototypes and code needed by Sema. 3385ffd83dbSDimitry Andric void createBuiltins(raw_ostream &o); 3395ffd83dbSDimitry Andric 3405ffd83dbSDimitry Andric /// Emit all the information needed to map builtin -> LLVM IR intrinsic. 3415ffd83dbSDimitry Andric void createCodeGenMap(raw_ostream &o); 3425ffd83dbSDimitry Andric 3435ffd83dbSDimitry Andric /// Emit all the range checks for the immediates. 3445ffd83dbSDimitry Andric void createRangeChecks(raw_ostream &o); 3455ffd83dbSDimitry Andric 3465ffd83dbSDimitry Andric /// Create the SVETypeFlags used in CGBuiltins 3475ffd83dbSDimitry Andric void createTypeFlags(raw_ostream &o); 3485ffd83dbSDimitry Andric 3495ffd83dbSDimitry Andric /// Create intrinsic and add it to \p Out 3505ffd83dbSDimitry Andric void createIntrinsic(Record *R, SmallVectorImpl<std::unique_ptr<Intrinsic>> &Out); 3515ffd83dbSDimitry Andric }; 3525ffd83dbSDimitry Andric 3535ffd83dbSDimitry Andric } // end anonymous namespace 3545ffd83dbSDimitry Andric 3555ffd83dbSDimitry Andric 3565ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 3575ffd83dbSDimitry Andric // Type implementation 3585ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 3595ffd83dbSDimitry Andric 3605ffd83dbSDimitry Andric std::string SVEType::builtin_str() const { 3615ffd83dbSDimitry Andric std::string S; 3625ffd83dbSDimitry Andric if (isVoid()) 3635ffd83dbSDimitry Andric return "v"; 3645ffd83dbSDimitry Andric 3655ffd83dbSDimitry Andric if (isVoidPointer()) 3665ffd83dbSDimitry Andric S += "v"; 3675ffd83dbSDimitry Andric else if (!isFloatingPoint()) 3685ffd83dbSDimitry Andric switch (ElementBitwidth) { 3695ffd83dbSDimitry Andric case 1: S += "b"; break; 3705ffd83dbSDimitry Andric case 8: S += "c"; break; 3715ffd83dbSDimitry Andric case 16: S += "s"; break; 3725ffd83dbSDimitry Andric case 32: S += "i"; break; 3735ffd83dbSDimitry Andric case 64: S += "Wi"; break; 3745ffd83dbSDimitry Andric case 128: S += "LLLi"; break; 3755ffd83dbSDimitry Andric default: llvm_unreachable("Unhandled case!"); 3765ffd83dbSDimitry Andric } 3775ffd83dbSDimitry Andric else if (isFloat()) 3785ffd83dbSDimitry Andric switch (ElementBitwidth) { 3795ffd83dbSDimitry Andric case 16: S += "h"; break; 3805ffd83dbSDimitry Andric case 32: S += "f"; break; 3815ffd83dbSDimitry Andric case 64: S += "d"; break; 3825ffd83dbSDimitry Andric default: llvm_unreachable("Unhandled case!"); 3835ffd83dbSDimitry Andric } 3845ffd83dbSDimitry Andric else if (isBFloat()) { 3855ffd83dbSDimitry Andric assert(ElementBitwidth == 16 && "Not a valid BFloat."); 3865ffd83dbSDimitry Andric S += "y"; 3875ffd83dbSDimitry Andric } 3885ffd83dbSDimitry Andric 3895ffd83dbSDimitry Andric if (!isFloatingPoint()) { 3905ffd83dbSDimitry Andric if ((isChar() || isPointer()) && !isVoidPointer()) { 3915ffd83dbSDimitry Andric // Make chars and typed pointers explicitly signed. 3925ffd83dbSDimitry Andric if (Signed) 3935ffd83dbSDimitry Andric S = "S" + S; 3945ffd83dbSDimitry Andric else if (!Signed) 3955ffd83dbSDimitry Andric S = "U" + S; 3965ffd83dbSDimitry Andric } else if (!isVoidPointer() && !Signed) { 3975ffd83dbSDimitry Andric S = "U" + S; 3985ffd83dbSDimitry Andric } 3995ffd83dbSDimitry Andric } 4005ffd83dbSDimitry Andric 4015ffd83dbSDimitry Andric // Constant indices are "int", but have the "constant expression" modifier. 4025ffd83dbSDimitry Andric if (isImmediate()) { 4035ffd83dbSDimitry Andric assert(!isFloat() && "fp immediates are not supported"); 4045ffd83dbSDimitry Andric S = "I" + S; 4055ffd83dbSDimitry Andric } 4065ffd83dbSDimitry Andric 4075ffd83dbSDimitry Andric if (isScalar()) { 4085ffd83dbSDimitry Andric if (Constant) S += "C"; 4095ffd83dbSDimitry Andric if (Pointer) S += "*"; 4105ffd83dbSDimitry Andric return S; 4115ffd83dbSDimitry Andric } 4125ffd83dbSDimitry Andric 4135ffd83dbSDimitry Andric assert(isScalableVector() && "Unsupported type"); 4145ffd83dbSDimitry Andric return "q" + utostr(getNumElements() * NumVectors) + S; 4155ffd83dbSDimitry Andric } 4165ffd83dbSDimitry Andric 4175ffd83dbSDimitry Andric std::string SVEType::str() const { 4185ffd83dbSDimitry Andric if (isPredicatePattern()) 419*e8d8bef9SDimitry Andric return "enum svpattern"; 4205ffd83dbSDimitry Andric 4215ffd83dbSDimitry Andric if (isPrefetchOp()) 422*e8d8bef9SDimitry Andric return "enum svprfop"; 4235ffd83dbSDimitry Andric 4245ffd83dbSDimitry Andric std::string S; 4255ffd83dbSDimitry Andric if (Void) 4265ffd83dbSDimitry Andric S += "void"; 4275ffd83dbSDimitry Andric else { 4285ffd83dbSDimitry Andric if (isScalableVector()) 4295ffd83dbSDimitry Andric S += "sv"; 4305ffd83dbSDimitry Andric if (!Signed && !isFloatingPoint()) 4315ffd83dbSDimitry Andric S += "u"; 4325ffd83dbSDimitry Andric 4335ffd83dbSDimitry Andric if (Float) 4345ffd83dbSDimitry Andric S += "float"; 4355ffd83dbSDimitry Andric else if (isScalarPredicate() || isPredicateVector()) 4365ffd83dbSDimitry Andric S += "bool"; 4375ffd83dbSDimitry Andric else if (isBFloat()) 4385ffd83dbSDimitry Andric S += "bfloat"; 4395ffd83dbSDimitry Andric else 4405ffd83dbSDimitry Andric S += "int"; 4415ffd83dbSDimitry Andric 4425ffd83dbSDimitry Andric if (!isScalarPredicate() && !isPredicateVector()) 4435ffd83dbSDimitry Andric S += utostr(ElementBitwidth); 4445ffd83dbSDimitry Andric if (!isScalableVector() && isVector()) 4455ffd83dbSDimitry Andric S += "x" + utostr(getNumElements()); 4465ffd83dbSDimitry Andric if (NumVectors > 1) 4475ffd83dbSDimitry Andric S += "x" + utostr(NumVectors); 4485ffd83dbSDimitry Andric if (!isScalarPredicate()) 4495ffd83dbSDimitry Andric S += "_t"; 4505ffd83dbSDimitry Andric } 4515ffd83dbSDimitry Andric 4525ffd83dbSDimitry Andric if (Constant) 4535ffd83dbSDimitry Andric S += " const"; 4545ffd83dbSDimitry Andric if (Pointer) 4555ffd83dbSDimitry Andric S += " *"; 4565ffd83dbSDimitry Andric 4575ffd83dbSDimitry Andric return S; 4585ffd83dbSDimitry Andric } 4595ffd83dbSDimitry Andric void SVEType::applyTypespec() { 4605ffd83dbSDimitry Andric for (char I : TS) { 4615ffd83dbSDimitry Andric switch (I) { 4625ffd83dbSDimitry Andric case 'P': 4635ffd83dbSDimitry Andric Predicate = true; 4645ffd83dbSDimitry Andric break; 4655ffd83dbSDimitry Andric case 'U': 4665ffd83dbSDimitry Andric Signed = false; 4675ffd83dbSDimitry Andric break; 4685ffd83dbSDimitry Andric case 'c': 4695ffd83dbSDimitry Andric ElementBitwidth = 8; 4705ffd83dbSDimitry Andric break; 4715ffd83dbSDimitry Andric case 's': 4725ffd83dbSDimitry Andric ElementBitwidth = 16; 4735ffd83dbSDimitry Andric break; 4745ffd83dbSDimitry Andric case 'i': 4755ffd83dbSDimitry Andric ElementBitwidth = 32; 4765ffd83dbSDimitry Andric break; 4775ffd83dbSDimitry Andric case 'l': 4785ffd83dbSDimitry Andric ElementBitwidth = 64; 4795ffd83dbSDimitry Andric break; 4805ffd83dbSDimitry Andric case 'h': 4815ffd83dbSDimitry Andric Float = true; 4825ffd83dbSDimitry Andric ElementBitwidth = 16; 4835ffd83dbSDimitry Andric break; 4845ffd83dbSDimitry Andric case 'f': 4855ffd83dbSDimitry Andric Float = true; 4865ffd83dbSDimitry Andric ElementBitwidth = 32; 4875ffd83dbSDimitry Andric break; 4885ffd83dbSDimitry Andric case 'd': 4895ffd83dbSDimitry Andric Float = true; 4905ffd83dbSDimitry Andric ElementBitwidth = 64; 4915ffd83dbSDimitry Andric break; 4925ffd83dbSDimitry Andric case 'b': 4935ffd83dbSDimitry Andric BFloat = true; 4945ffd83dbSDimitry Andric Float = false; 4955ffd83dbSDimitry Andric ElementBitwidth = 16; 4965ffd83dbSDimitry Andric break; 4975ffd83dbSDimitry Andric default: 4985ffd83dbSDimitry Andric llvm_unreachable("Unhandled type code!"); 4995ffd83dbSDimitry Andric } 5005ffd83dbSDimitry Andric } 5015ffd83dbSDimitry Andric assert(ElementBitwidth != ~0U && "Bad element bitwidth!"); 5025ffd83dbSDimitry Andric } 5035ffd83dbSDimitry Andric 5045ffd83dbSDimitry Andric void SVEType::applyModifier(char Mod) { 5055ffd83dbSDimitry Andric switch (Mod) { 5065ffd83dbSDimitry Andric case '2': 5075ffd83dbSDimitry Andric NumVectors = 2; 5085ffd83dbSDimitry Andric break; 5095ffd83dbSDimitry Andric case '3': 5105ffd83dbSDimitry Andric NumVectors = 3; 5115ffd83dbSDimitry Andric break; 5125ffd83dbSDimitry Andric case '4': 5135ffd83dbSDimitry Andric NumVectors = 4; 5145ffd83dbSDimitry Andric break; 5155ffd83dbSDimitry Andric case 'v': 5165ffd83dbSDimitry Andric Void = true; 5175ffd83dbSDimitry Andric break; 5185ffd83dbSDimitry Andric case 'd': 5195ffd83dbSDimitry Andric DefaultType = true; 5205ffd83dbSDimitry Andric break; 5215ffd83dbSDimitry Andric case 'c': 5225ffd83dbSDimitry Andric Constant = true; 5235ffd83dbSDimitry Andric LLVM_FALLTHROUGH; 5245ffd83dbSDimitry Andric case 'p': 5255ffd83dbSDimitry Andric Pointer = true; 5265ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 5275ffd83dbSDimitry Andric NumVectors = 0; 5285ffd83dbSDimitry Andric break; 5295ffd83dbSDimitry Andric case 'e': 5305ffd83dbSDimitry Andric Signed = false; 5315ffd83dbSDimitry Andric ElementBitwidth /= 2; 5325ffd83dbSDimitry Andric break; 5335ffd83dbSDimitry Andric case 'h': 5345ffd83dbSDimitry Andric ElementBitwidth /= 2; 5355ffd83dbSDimitry Andric break; 5365ffd83dbSDimitry Andric case 'q': 5375ffd83dbSDimitry Andric ElementBitwidth /= 4; 5385ffd83dbSDimitry Andric break; 5395ffd83dbSDimitry Andric case 'b': 5405ffd83dbSDimitry Andric Signed = false; 5415ffd83dbSDimitry Andric Float = false; 5425ffd83dbSDimitry Andric BFloat = false; 5435ffd83dbSDimitry Andric ElementBitwidth /= 4; 5445ffd83dbSDimitry Andric break; 5455ffd83dbSDimitry Andric case 'o': 5465ffd83dbSDimitry Andric ElementBitwidth *= 4; 5475ffd83dbSDimitry Andric break; 5485ffd83dbSDimitry Andric case 'P': 5495ffd83dbSDimitry Andric Signed = true; 5505ffd83dbSDimitry Andric Float = false; 5515ffd83dbSDimitry Andric BFloat = false; 5525ffd83dbSDimitry Andric Predicate = true; 5535ffd83dbSDimitry Andric Bitwidth = 16; 5545ffd83dbSDimitry Andric ElementBitwidth = 1; 5555ffd83dbSDimitry Andric break; 5565ffd83dbSDimitry Andric case 's': 5575ffd83dbSDimitry Andric case 'a': 5585ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 5595ffd83dbSDimitry Andric NumVectors = 0; 5605ffd83dbSDimitry Andric break; 5615ffd83dbSDimitry Andric case 'R': 5625ffd83dbSDimitry Andric ElementBitwidth /= 2; 5635ffd83dbSDimitry Andric NumVectors = 0; 5645ffd83dbSDimitry Andric break; 5655ffd83dbSDimitry Andric case 'r': 5665ffd83dbSDimitry Andric ElementBitwidth /= 4; 5675ffd83dbSDimitry Andric NumVectors = 0; 5685ffd83dbSDimitry Andric break; 5695ffd83dbSDimitry Andric case '@': 5705ffd83dbSDimitry Andric Signed = false; 5715ffd83dbSDimitry Andric Float = false; 5725ffd83dbSDimitry Andric BFloat = false; 5735ffd83dbSDimitry Andric ElementBitwidth /= 4; 5745ffd83dbSDimitry Andric NumVectors = 0; 5755ffd83dbSDimitry Andric break; 5765ffd83dbSDimitry Andric case 'K': 5775ffd83dbSDimitry Andric Signed = true; 5785ffd83dbSDimitry Andric Float = false; 5795ffd83dbSDimitry Andric BFloat = false; 5805ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 5815ffd83dbSDimitry Andric NumVectors = 0; 5825ffd83dbSDimitry Andric break; 5835ffd83dbSDimitry Andric case 'L': 5845ffd83dbSDimitry Andric Signed = false; 5855ffd83dbSDimitry Andric Float = false; 5865ffd83dbSDimitry Andric BFloat = false; 5875ffd83dbSDimitry Andric Bitwidth = ElementBitwidth; 5885ffd83dbSDimitry Andric NumVectors = 0; 5895ffd83dbSDimitry Andric break; 5905ffd83dbSDimitry Andric case 'u': 5915ffd83dbSDimitry Andric Predicate = false; 5925ffd83dbSDimitry Andric Signed = false; 5935ffd83dbSDimitry Andric Float = false; 5945ffd83dbSDimitry Andric BFloat = false; 5955ffd83dbSDimitry Andric break; 5965ffd83dbSDimitry Andric case 'x': 5975ffd83dbSDimitry Andric Predicate = false; 5985ffd83dbSDimitry Andric Signed = true; 5995ffd83dbSDimitry Andric Float = false; 6005ffd83dbSDimitry Andric BFloat = false; 6015ffd83dbSDimitry Andric break; 6025ffd83dbSDimitry Andric case 'i': 6035ffd83dbSDimitry Andric Predicate = false; 6045ffd83dbSDimitry Andric Float = false; 6055ffd83dbSDimitry Andric BFloat = false; 6065ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 6075ffd83dbSDimitry Andric NumVectors = 0; 6085ffd83dbSDimitry Andric Signed = false; 6095ffd83dbSDimitry Andric Immediate = true; 6105ffd83dbSDimitry Andric break; 6115ffd83dbSDimitry Andric case 'I': 6125ffd83dbSDimitry Andric Predicate = false; 6135ffd83dbSDimitry Andric Float = false; 6145ffd83dbSDimitry Andric BFloat = false; 6155ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 6165ffd83dbSDimitry Andric NumVectors = 0; 6175ffd83dbSDimitry Andric Signed = true; 6185ffd83dbSDimitry Andric Immediate = true; 6195ffd83dbSDimitry Andric PredicatePattern = true; 6205ffd83dbSDimitry Andric break; 6215ffd83dbSDimitry Andric case 'J': 6225ffd83dbSDimitry Andric Predicate = false; 6235ffd83dbSDimitry Andric Float = false; 6245ffd83dbSDimitry Andric BFloat = false; 6255ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 6265ffd83dbSDimitry Andric NumVectors = 0; 6275ffd83dbSDimitry Andric Signed = true; 6285ffd83dbSDimitry Andric Immediate = true; 6295ffd83dbSDimitry Andric PrefetchOp = true; 6305ffd83dbSDimitry Andric break; 6315ffd83dbSDimitry Andric case 'k': 6325ffd83dbSDimitry Andric Predicate = false; 6335ffd83dbSDimitry Andric Signed = true; 6345ffd83dbSDimitry Andric Float = false; 6355ffd83dbSDimitry Andric BFloat = false; 6365ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 6375ffd83dbSDimitry Andric NumVectors = 0; 6385ffd83dbSDimitry Andric break; 6395ffd83dbSDimitry Andric case 'l': 6405ffd83dbSDimitry Andric Predicate = false; 6415ffd83dbSDimitry Andric Signed = true; 6425ffd83dbSDimitry Andric Float = false; 6435ffd83dbSDimitry Andric BFloat = false; 6445ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 6455ffd83dbSDimitry Andric NumVectors = 0; 6465ffd83dbSDimitry Andric break; 6475ffd83dbSDimitry Andric case 'm': 6485ffd83dbSDimitry Andric Predicate = false; 6495ffd83dbSDimitry Andric Signed = false; 6505ffd83dbSDimitry Andric Float = false; 6515ffd83dbSDimitry Andric BFloat = false; 6525ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 6535ffd83dbSDimitry Andric NumVectors = 0; 6545ffd83dbSDimitry Andric break; 6555ffd83dbSDimitry Andric case 'n': 6565ffd83dbSDimitry Andric Predicate = false; 6575ffd83dbSDimitry Andric Signed = false; 6585ffd83dbSDimitry Andric Float = false; 6595ffd83dbSDimitry Andric BFloat = false; 6605ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 6615ffd83dbSDimitry Andric NumVectors = 0; 6625ffd83dbSDimitry Andric break; 6635ffd83dbSDimitry Andric case 'w': 6645ffd83dbSDimitry Andric ElementBitwidth = 64; 6655ffd83dbSDimitry Andric break; 6665ffd83dbSDimitry Andric case 'j': 6675ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 6685ffd83dbSDimitry Andric NumVectors = 0; 6695ffd83dbSDimitry Andric break; 6705ffd83dbSDimitry Andric case 'f': 6715ffd83dbSDimitry Andric Signed = false; 6725ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 6735ffd83dbSDimitry Andric NumVectors = 0; 6745ffd83dbSDimitry Andric break; 6755ffd83dbSDimitry Andric case 'g': 6765ffd83dbSDimitry Andric Signed = false; 6775ffd83dbSDimitry Andric Float = false; 6785ffd83dbSDimitry Andric BFloat = false; 6795ffd83dbSDimitry Andric ElementBitwidth = 64; 6805ffd83dbSDimitry Andric break; 6815ffd83dbSDimitry Andric case 't': 6825ffd83dbSDimitry Andric Signed = true; 6835ffd83dbSDimitry Andric Float = false; 6845ffd83dbSDimitry Andric BFloat = false; 6855ffd83dbSDimitry Andric ElementBitwidth = 32; 6865ffd83dbSDimitry Andric break; 6875ffd83dbSDimitry Andric case 'z': 6885ffd83dbSDimitry Andric Signed = false; 6895ffd83dbSDimitry Andric Float = false; 6905ffd83dbSDimitry Andric BFloat = false; 6915ffd83dbSDimitry Andric ElementBitwidth = 32; 6925ffd83dbSDimitry Andric break; 6935ffd83dbSDimitry Andric case 'O': 6945ffd83dbSDimitry Andric Predicate = false; 6955ffd83dbSDimitry Andric Float = true; 6965ffd83dbSDimitry Andric ElementBitwidth = 16; 6975ffd83dbSDimitry Andric break; 6985ffd83dbSDimitry Andric case 'M': 6995ffd83dbSDimitry Andric Predicate = false; 7005ffd83dbSDimitry Andric Float = true; 7015ffd83dbSDimitry Andric BFloat = false; 7025ffd83dbSDimitry Andric ElementBitwidth = 32; 7035ffd83dbSDimitry Andric break; 7045ffd83dbSDimitry Andric case 'N': 7055ffd83dbSDimitry Andric Predicate = false; 7065ffd83dbSDimitry Andric Float = true; 7075ffd83dbSDimitry Andric ElementBitwidth = 64; 7085ffd83dbSDimitry Andric break; 7095ffd83dbSDimitry Andric case 'Q': 7105ffd83dbSDimitry Andric Constant = true; 7115ffd83dbSDimitry Andric Pointer = true; 7125ffd83dbSDimitry Andric Void = true; 7135ffd83dbSDimitry Andric NumVectors = 0; 7145ffd83dbSDimitry Andric break; 7155ffd83dbSDimitry Andric case 'S': 7165ffd83dbSDimitry Andric Constant = true; 7175ffd83dbSDimitry Andric Pointer = true; 7185ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 7195ffd83dbSDimitry Andric NumVectors = 0; 7205ffd83dbSDimitry Andric Signed = true; 7215ffd83dbSDimitry Andric break; 7225ffd83dbSDimitry Andric case 'W': 7235ffd83dbSDimitry Andric Constant = true; 7245ffd83dbSDimitry Andric Pointer = true; 7255ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 7265ffd83dbSDimitry Andric NumVectors = 0; 7275ffd83dbSDimitry Andric Signed = false; 7285ffd83dbSDimitry Andric break; 7295ffd83dbSDimitry Andric case 'T': 7305ffd83dbSDimitry Andric Constant = true; 7315ffd83dbSDimitry Andric Pointer = true; 7325ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 7335ffd83dbSDimitry Andric NumVectors = 0; 7345ffd83dbSDimitry Andric Signed = true; 7355ffd83dbSDimitry Andric break; 7365ffd83dbSDimitry Andric case 'X': 7375ffd83dbSDimitry Andric Constant = true; 7385ffd83dbSDimitry Andric Pointer = true; 7395ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 7405ffd83dbSDimitry Andric NumVectors = 0; 7415ffd83dbSDimitry Andric Signed = false; 7425ffd83dbSDimitry Andric break; 7435ffd83dbSDimitry Andric case 'Y': 7445ffd83dbSDimitry Andric Constant = true; 7455ffd83dbSDimitry Andric Pointer = true; 7465ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7475ffd83dbSDimitry Andric NumVectors = 0; 7485ffd83dbSDimitry Andric Signed = false; 7495ffd83dbSDimitry Andric break; 7505ffd83dbSDimitry Andric case 'U': 7515ffd83dbSDimitry Andric Constant = true; 7525ffd83dbSDimitry Andric Pointer = true; 7535ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7545ffd83dbSDimitry Andric NumVectors = 0; 7555ffd83dbSDimitry Andric Signed = true; 7565ffd83dbSDimitry Andric break; 7575ffd83dbSDimitry Andric case 'A': 7585ffd83dbSDimitry Andric Pointer = true; 7595ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 7605ffd83dbSDimitry Andric NumVectors = 0; 7615ffd83dbSDimitry Andric Signed = true; 7625ffd83dbSDimitry Andric break; 7635ffd83dbSDimitry Andric case 'B': 7645ffd83dbSDimitry Andric Pointer = true; 7655ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 7665ffd83dbSDimitry Andric NumVectors = 0; 7675ffd83dbSDimitry Andric Signed = true; 7685ffd83dbSDimitry Andric break; 7695ffd83dbSDimitry Andric case 'C': 7705ffd83dbSDimitry Andric Pointer = true; 7715ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7725ffd83dbSDimitry Andric NumVectors = 0; 7735ffd83dbSDimitry Andric Signed = true; 7745ffd83dbSDimitry Andric break; 7755ffd83dbSDimitry Andric case 'D': 7765ffd83dbSDimitry Andric Pointer = true; 7775ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 64; 7785ffd83dbSDimitry Andric NumVectors = 0; 7795ffd83dbSDimitry Andric Signed = true; 7805ffd83dbSDimitry Andric break; 7815ffd83dbSDimitry Andric case 'E': 7825ffd83dbSDimitry Andric Pointer = true; 7835ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 8; 7845ffd83dbSDimitry Andric NumVectors = 0; 7855ffd83dbSDimitry Andric Signed = false; 7865ffd83dbSDimitry Andric break; 7875ffd83dbSDimitry Andric case 'F': 7885ffd83dbSDimitry Andric Pointer = true; 7895ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 16; 7905ffd83dbSDimitry Andric NumVectors = 0; 7915ffd83dbSDimitry Andric Signed = false; 7925ffd83dbSDimitry Andric break; 7935ffd83dbSDimitry Andric case 'G': 7945ffd83dbSDimitry Andric Pointer = true; 7955ffd83dbSDimitry Andric ElementBitwidth = Bitwidth = 32; 7965ffd83dbSDimitry Andric NumVectors = 0; 7975ffd83dbSDimitry Andric Signed = false; 7985ffd83dbSDimitry Andric break; 7995ffd83dbSDimitry Andric default: 8005ffd83dbSDimitry Andric llvm_unreachable("Unhandled character!"); 8015ffd83dbSDimitry Andric } 8025ffd83dbSDimitry Andric } 8035ffd83dbSDimitry Andric 8045ffd83dbSDimitry Andric 8055ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 8065ffd83dbSDimitry Andric // Intrinsic implementation 8075ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 8085ffd83dbSDimitry Andric 8095ffd83dbSDimitry Andric Intrinsic::Intrinsic(StringRef Name, StringRef Proto, uint64_t MergeTy, 8105ffd83dbSDimitry Andric StringRef MergeSuffix, uint64_t MemoryElementTy, 8115ffd83dbSDimitry Andric StringRef LLVMName, uint64_t Flags, 8125ffd83dbSDimitry Andric ArrayRef<ImmCheck> Checks, TypeSpec BT, ClassKind Class, 8135ffd83dbSDimitry Andric SVEEmitter &Emitter, StringRef Guard) 8145ffd83dbSDimitry Andric : Name(Name.str()), LLVMName(LLVMName), Proto(Proto.str()), 8155ffd83dbSDimitry Andric BaseTypeSpec(BT), Class(Class), Guard(Guard.str()), 8165ffd83dbSDimitry Andric MergeSuffix(MergeSuffix.str()), BaseType(BT, 'd'), Flags(Flags), 8175ffd83dbSDimitry Andric ImmChecks(Checks.begin(), Checks.end()) { 8185ffd83dbSDimitry Andric // Types[0] is the return value. 8195ffd83dbSDimitry Andric for (unsigned I = 0; I < Proto.size(); ++I) { 8205ffd83dbSDimitry Andric SVEType T(BaseTypeSpec, Proto[I]); 8215ffd83dbSDimitry Andric Types.push_back(T); 8225ffd83dbSDimitry Andric 8235ffd83dbSDimitry Andric // Add range checks for immediates 8245ffd83dbSDimitry Andric if (I > 0) { 8255ffd83dbSDimitry Andric if (T.isPredicatePattern()) 8265ffd83dbSDimitry Andric ImmChecks.emplace_back( 8275ffd83dbSDimitry Andric I - 1, Emitter.getEnumValueForImmCheck("ImmCheck0_31")); 8285ffd83dbSDimitry Andric else if (T.isPrefetchOp()) 8295ffd83dbSDimitry Andric ImmChecks.emplace_back( 8305ffd83dbSDimitry Andric I - 1, Emitter.getEnumValueForImmCheck("ImmCheck0_13")); 8315ffd83dbSDimitry Andric } 8325ffd83dbSDimitry Andric } 8335ffd83dbSDimitry Andric 8345ffd83dbSDimitry Andric // Set flags based on properties 8355ffd83dbSDimitry Andric this->Flags |= Emitter.encodeTypeFlags(BaseType); 8365ffd83dbSDimitry Andric this->Flags |= Emitter.encodeMemoryElementType(MemoryElementTy); 8375ffd83dbSDimitry Andric this->Flags |= Emitter.encodeMergeType(MergeTy); 8385ffd83dbSDimitry Andric if (hasSplat()) 8395ffd83dbSDimitry Andric this->Flags |= Emitter.encodeSplatOperand(getSplatIdx()); 8405ffd83dbSDimitry Andric } 8415ffd83dbSDimitry Andric 8425ffd83dbSDimitry Andric std::string Intrinsic::getBuiltinTypeStr() { 8435ffd83dbSDimitry Andric std::string S = getReturnType().builtin_str(); 8445ffd83dbSDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) 8455ffd83dbSDimitry Andric S += getParamType(I).builtin_str(); 8465ffd83dbSDimitry Andric 8475ffd83dbSDimitry Andric return S; 8485ffd83dbSDimitry Andric } 8495ffd83dbSDimitry Andric 8505ffd83dbSDimitry Andric std::string Intrinsic::replaceTemplatedArgs(std::string Name, TypeSpec TS, 8515ffd83dbSDimitry Andric std::string Proto) const { 8525ffd83dbSDimitry Andric std::string Ret = Name; 8535ffd83dbSDimitry Andric while (Ret.find('{') != std::string::npos) { 8545ffd83dbSDimitry Andric size_t Pos = Ret.find('{'); 8555ffd83dbSDimitry Andric size_t End = Ret.find('}'); 8565ffd83dbSDimitry Andric unsigned NumChars = End - Pos + 1; 8575ffd83dbSDimitry Andric assert(NumChars == 3 && "Unexpected template argument"); 8585ffd83dbSDimitry Andric 8595ffd83dbSDimitry Andric SVEType T; 8605ffd83dbSDimitry Andric char C = Ret[Pos+1]; 8615ffd83dbSDimitry Andric switch(C) { 8625ffd83dbSDimitry Andric default: 8635ffd83dbSDimitry Andric llvm_unreachable("Unknown predication specifier"); 8645ffd83dbSDimitry Andric case 'd': 8655ffd83dbSDimitry Andric T = SVEType(TS, 'd'); 8665ffd83dbSDimitry Andric break; 8675ffd83dbSDimitry Andric case '0': 8685ffd83dbSDimitry Andric case '1': 8695ffd83dbSDimitry Andric case '2': 8705ffd83dbSDimitry Andric case '3': 8715ffd83dbSDimitry Andric T = SVEType(TS, Proto[C - '0']); 8725ffd83dbSDimitry Andric break; 8735ffd83dbSDimitry Andric } 8745ffd83dbSDimitry Andric 8755ffd83dbSDimitry Andric // Replace templated arg with the right suffix (e.g. u32) 8765ffd83dbSDimitry Andric std::string TypeCode; 8775ffd83dbSDimitry Andric if (T.isInteger()) 8785ffd83dbSDimitry Andric TypeCode = T.isSigned() ? 's' : 'u'; 8795ffd83dbSDimitry Andric else if (T.isPredicateVector()) 8805ffd83dbSDimitry Andric TypeCode = 'b'; 8815ffd83dbSDimitry Andric else if (T.isBFloat()) 8825ffd83dbSDimitry Andric TypeCode = "bf"; 8835ffd83dbSDimitry Andric else 8845ffd83dbSDimitry Andric TypeCode = 'f'; 8855ffd83dbSDimitry Andric Ret.replace(Pos, NumChars, TypeCode + utostr(T.getElementSizeInBits())); 8865ffd83dbSDimitry Andric } 8875ffd83dbSDimitry Andric 8885ffd83dbSDimitry Andric return Ret; 8895ffd83dbSDimitry Andric } 8905ffd83dbSDimitry Andric 8915ffd83dbSDimitry Andric std::string Intrinsic::mangleName(ClassKind LocalCK) const { 8925ffd83dbSDimitry Andric std::string S = getName(); 8935ffd83dbSDimitry Andric 8945ffd83dbSDimitry Andric if (LocalCK == ClassG) { 8955ffd83dbSDimitry Andric // Remove the square brackets and everything in between. 896*e8d8bef9SDimitry Andric while (S.find('[') != std::string::npos) { 897*e8d8bef9SDimitry Andric auto Start = S.find('['); 8985ffd83dbSDimitry Andric auto End = S.find(']'); 8995ffd83dbSDimitry Andric S.erase(Start, (End-Start)+1); 9005ffd83dbSDimitry Andric } 9015ffd83dbSDimitry Andric } else { 9025ffd83dbSDimitry Andric // Remove the square brackets. 903*e8d8bef9SDimitry Andric while (S.find('[') != std::string::npos) { 9045ffd83dbSDimitry Andric auto BrPos = S.find('['); 9055ffd83dbSDimitry Andric if (BrPos != std::string::npos) 9065ffd83dbSDimitry Andric S.erase(BrPos, 1); 9075ffd83dbSDimitry Andric BrPos = S.find(']'); 9085ffd83dbSDimitry Andric if (BrPos != std::string::npos) 9095ffd83dbSDimitry Andric S.erase(BrPos, 1); 9105ffd83dbSDimitry Andric } 9115ffd83dbSDimitry Andric } 9125ffd83dbSDimitry Andric 9135ffd83dbSDimitry Andric // Replace all {d} like expressions with e.g. 'u32' 9145ffd83dbSDimitry Andric return replaceTemplatedArgs(S, getBaseTypeSpec(), getProto()) + 9155ffd83dbSDimitry Andric getMergeSuffix(); 9165ffd83dbSDimitry Andric } 9175ffd83dbSDimitry Andric 9185ffd83dbSDimitry Andric void Intrinsic::emitIntrinsic(raw_ostream &OS) const { 9195ffd83dbSDimitry Andric // Use the preprocessor to 9205ffd83dbSDimitry Andric if (getClassKind() != ClassG || getProto().size() <= 1) { 9215ffd83dbSDimitry Andric OS << "#define " << mangleName(getClassKind()) 9225ffd83dbSDimitry Andric << "(...) __builtin_sve_" << mangleName(ClassS) 9235ffd83dbSDimitry Andric << "(__VA_ARGS__)\n"; 9245ffd83dbSDimitry Andric } else { 9255ffd83dbSDimitry Andric std::string FullName = mangleName(ClassS); 9265ffd83dbSDimitry Andric std::string ProtoName = mangleName(ClassG); 9275ffd83dbSDimitry Andric 9285ffd83dbSDimitry Andric OS << "__aio __attribute__((__clang_arm_builtin_alias(" 9295ffd83dbSDimitry Andric << "__builtin_sve_" << FullName << ")))\n"; 9305ffd83dbSDimitry Andric 9315ffd83dbSDimitry Andric OS << getTypes()[0].str() << " " << ProtoName << "("; 9325ffd83dbSDimitry Andric for (unsigned I = 0; I < getTypes().size() - 1; ++I) { 9335ffd83dbSDimitry Andric if (I != 0) 9345ffd83dbSDimitry Andric OS << ", "; 9355ffd83dbSDimitry Andric OS << getTypes()[I + 1].str(); 9365ffd83dbSDimitry Andric } 9375ffd83dbSDimitry Andric OS << ");\n"; 9385ffd83dbSDimitry Andric } 9395ffd83dbSDimitry Andric } 9405ffd83dbSDimitry Andric 9415ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 9425ffd83dbSDimitry Andric // SVEEmitter implementation 9435ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 9445ffd83dbSDimitry Andric uint64_t SVEEmitter::encodeTypeFlags(const SVEType &T) { 9455ffd83dbSDimitry Andric if (T.isFloat()) { 9465ffd83dbSDimitry Andric switch (T.getElementSizeInBits()) { 9475ffd83dbSDimitry Andric case 16: 9485ffd83dbSDimitry Andric return encodeEltType("EltTyFloat16"); 9495ffd83dbSDimitry Andric case 32: 9505ffd83dbSDimitry Andric return encodeEltType("EltTyFloat32"); 9515ffd83dbSDimitry Andric case 64: 9525ffd83dbSDimitry Andric return encodeEltType("EltTyFloat64"); 9535ffd83dbSDimitry Andric default: 9545ffd83dbSDimitry Andric llvm_unreachable("Unhandled float element bitwidth!"); 9555ffd83dbSDimitry Andric } 9565ffd83dbSDimitry Andric } 9575ffd83dbSDimitry Andric 9585ffd83dbSDimitry Andric if (T.isBFloat()) { 9595ffd83dbSDimitry Andric assert(T.getElementSizeInBits() == 16 && "Not a valid BFloat."); 9605ffd83dbSDimitry Andric return encodeEltType("EltTyBFloat16"); 9615ffd83dbSDimitry Andric } 9625ffd83dbSDimitry Andric 9635ffd83dbSDimitry Andric if (T.isPredicateVector()) { 9645ffd83dbSDimitry Andric switch (T.getElementSizeInBits()) { 9655ffd83dbSDimitry Andric case 8: 9665ffd83dbSDimitry Andric return encodeEltType("EltTyBool8"); 9675ffd83dbSDimitry Andric case 16: 9685ffd83dbSDimitry Andric return encodeEltType("EltTyBool16"); 9695ffd83dbSDimitry Andric case 32: 9705ffd83dbSDimitry Andric return encodeEltType("EltTyBool32"); 9715ffd83dbSDimitry Andric case 64: 9725ffd83dbSDimitry Andric return encodeEltType("EltTyBool64"); 9735ffd83dbSDimitry Andric default: 9745ffd83dbSDimitry Andric llvm_unreachable("Unhandled predicate element bitwidth!"); 9755ffd83dbSDimitry Andric } 9765ffd83dbSDimitry Andric } 9775ffd83dbSDimitry Andric 9785ffd83dbSDimitry Andric switch (T.getElementSizeInBits()) { 9795ffd83dbSDimitry Andric case 8: 9805ffd83dbSDimitry Andric return encodeEltType("EltTyInt8"); 9815ffd83dbSDimitry Andric case 16: 9825ffd83dbSDimitry Andric return encodeEltType("EltTyInt16"); 9835ffd83dbSDimitry Andric case 32: 9845ffd83dbSDimitry Andric return encodeEltType("EltTyInt32"); 9855ffd83dbSDimitry Andric case 64: 9865ffd83dbSDimitry Andric return encodeEltType("EltTyInt64"); 9875ffd83dbSDimitry Andric default: 9885ffd83dbSDimitry Andric llvm_unreachable("Unhandled integer element bitwidth!"); 9895ffd83dbSDimitry Andric } 9905ffd83dbSDimitry Andric } 9915ffd83dbSDimitry Andric 9925ffd83dbSDimitry Andric void SVEEmitter::createIntrinsic( 9935ffd83dbSDimitry Andric Record *R, SmallVectorImpl<std::unique_ptr<Intrinsic>> &Out) { 9945ffd83dbSDimitry Andric StringRef Name = R->getValueAsString("Name"); 9955ffd83dbSDimitry Andric StringRef Proto = R->getValueAsString("Prototype"); 9965ffd83dbSDimitry Andric StringRef Types = R->getValueAsString("Types"); 9975ffd83dbSDimitry Andric StringRef Guard = R->getValueAsString("ArchGuard"); 9985ffd83dbSDimitry Andric StringRef LLVMName = R->getValueAsString("LLVMIntrinsic"); 9995ffd83dbSDimitry Andric uint64_t Merge = R->getValueAsInt("Merge"); 10005ffd83dbSDimitry Andric StringRef MergeSuffix = R->getValueAsString("MergeSuffix"); 10015ffd83dbSDimitry Andric uint64_t MemEltType = R->getValueAsInt("MemEltType"); 10025ffd83dbSDimitry Andric std::vector<Record*> FlagsList = R->getValueAsListOfDefs("Flags"); 10035ffd83dbSDimitry Andric std::vector<Record*> ImmCheckList = R->getValueAsListOfDefs("ImmChecks"); 10045ffd83dbSDimitry Andric 10055ffd83dbSDimitry Andric int64_t Flags = 0; 10065ffd83dbSDimitry Andric for (auto FlagRec : FlagsList) 10075ffd83dbSDimitry Andric Flags |= FlagRec->getValueAsInt("Value"); 10085ffd83dbSDimitry Andric 10095ffd83dbSDimitry Andric // Create a dummy TypeSpec for non-overloaded builtins. 10105ffd83dbSDimitry Andric if (Types.empty()) { 10115ffd83dbSDimitry Andric assert((Flags & getEnumValueForFlag("IsOverloadNone")) && 10125ffd83dbSDimitry Andric "Expect TypeSpec for overloaded builtin!"); 10135ffd83dbSDimitry Andric Types = "i"; 10145ffd83dbSDimitry Andric } 10155ffd83dbSDimitry Andric 10165ffd83dbSDimitry Andric // Extract type specs from string 10175ffd83dbSDimitry Andric SmallVector<TypeSpec, 8> TypeSpecs; 10185ffd83dbSDimitry Andric TypeSpec Acc; 10195ffd83dbSDimitry Andric for (char I : Types) { 10205ffd83dbSDimitry Andric Acc.push_back(I); 10215ffd83dbSDimitry Andric if (islower(I)) { 10225ffd83dbSDimitry Andric TypeSpecs.push_back(TypeSpec(Acc)); 10235ffd83dbSDimitry Andric Acc.clear(); 10245ffd83dbSDimitry Andric } 10255ffd83dbSDimitry Andric } 10265ffd83dbSDimitry Andric 10275ffd83dbSDimitry Andric // Remove duplicate type specs. 10285ffd83dbSDimitry Andric llvm::sort(TypeSpecs); 10295ffd83dbSDimitry Andric TypeSpecs.erase(std::unique(TypeSpecs.begin(), TypeSpecs.end()), 10305ffd83dbSDimitry Andric TypeSpecs.end()); 10315ffd83dbSDimitry Andric 10325ffd83dbSDimitry Andric // Create an Intrinsic for each type spec. 10335ffd83dbSDimitry Andric for (auto TS : TypeSpecs) { 10345ffd83dbSDimitry Andric // Collate a list of range/option checks for the immediates. 10355ffd83dbSDimitry Andric SmallVector<ImmCheck, 2> ImmChecks; 10365ffd83dbSDimitry Andric for (auto *R : ImmCheckList) { 10375ffd83dbSDimitry Andric int64_t Arg = R->getValueAsInt("Arg"); 10385ffd83dbSDimitry Andric int64_t EltSizeArg = R->getValueAsInt("EltSizeArg"); 10395ffd83dbSDimitry Andric int64_t Kind = R->getValueAsDef("Kind")->getValueAsInt("Value"); 10405ffd83dbSDimitry Andric assert(Arg >= 0 && Kind >= 0 && "Arg and Kind must be nonnegative"); 10415ffd83dbSDimitry Andric 10425ffd83dbSDimitry Andric unsigned ElementSizeInBits = 0; 10435ffd83dbSDimitry Andric if (EltSizeArg >= 0) 10445ffd83dbSDimitry Andric ElementSizeInBits = 10455ffd83dbSDimitry Andric SVEType(TS, Proto[EltSizeArg + /* offset by return arg */ 1]) 10465ffd83dbSDimitry Andric .getElementSizeInBits(); 10475ffd83dbSDimitry Andric ImmChecks.push_back(ImmCheck(Arg, Kind, ElementSizeInBits)); 10485ffd83dbSDimitry Andric } 10495ffd83dbSDimitry Andric 10505ffd83dbSDimitry Andric Out.push_back(std::make_unique<Intrinsic>( 10515ffd83dbSDimitry Andric Name, Proto, Merge, MergeSuffix, MemEltType, LLVMName, Flags, ImmChecks, 10525ffd83dbSDimitry Andric TS, ClassS, *this, Guard)); 10535ffd83dbSDimitry Andric 10545ffd83dbSDimitry Andric // Also generate the short-form (e.g. svadd_m) for the given type-spec. 10555ffd83dbSDimitry Andric if (Intrinsic::isOverloadedIntrinsic(Name)) 10565ffd83dbSDimitry Andric Out.push_back(std::make_unique<Intrinsic>( 10575ffd83dbSDimitry Andric Name, Proto, Merge, MergeSuffix, MemEltType, LLVMName, Flags, 10585ffd83dbSDimitry Andric ImmChecks, TS, ClassG, *this, Guard)); 10595ffd83dbSDimitry Andric } 10605ffd83dbSDimitry Andric } 10615ffd83dbSDimitry Andric 10625ffd83dbSDimitry Andric void SVEEmitter::createHeader(raw_ostream &OS) { 10635ffd83dbSDimitry Andric OS << "/*===---- arm_sve.h - ARM SVE intrinsics " 10645ffd83dbSDimitry Andric "-----------------------------------===\n" 10655ffd83dbSDimitry Andric " *\n" 10665ffd83dbSDimitry Andric " *\n" 10675ffd83dbSDimitry Andric " * Part of the LLVM Project, under the Apache License v2.0 with LLVM " 10685ffd83dbSDimitry Andric "Exceptions.\n" 10695ffd83dbSDimitry Andric " * See https://llvm.org/LICENSE.txt for license information.\n" 10705ffd83dbSDimitry Andric " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n" 10715ffd83dbSDimitry Andric " *\n" 10725ffd83dbSDimitry Andric " *===-----------------------------------------------------------------" 10735ffd83dbSDimitry Andric "------===\n" 10745ffd83dbSDimitry Andric " */\n\n"; 10755ffd83dbSDimitry Andric 10765ffd83dbSDimitry Andric OS << "#ifndef __ARM_SVE_H\n"; 10775ffd83dbSDimitry Andric OS << "#define __ARM_SVE_H\n\n"; 10785ffd83dbSDimitry Andric 10795ffd83dbSDimitry Andric OS << "#if !defined(__ARM_FEATURE_SVE)\n"; 10805ffd83dbSDimitry Andric OS << "#error \"SVE support not enabled\"\n"; 10815ffd83dbSDimitry Andric OS << "#else\n\n"; 10825ffd83dbSDimitry Andric 10835ffd83dbSDimitry Andric OS << "#if !defined(__LITTLE_ENDIAN__)\n"; 10845ffd83dbSDimitry Andric OS << "#error \"Big endian is currently not supported for arm_sve.h\"\n"; 10855ffd83dbSDimitry Andric OS << "#endif\n"; 10865ffd83dbSDimitry Andric 10875ffd83dbSDimitry Andric OS << "#include <stdint.h>\n\n"; 10885ffd83dbSDimitry Andric OS << "#ifdef __cplusplus\n"; 10895ffd83dbSDimitry Andric OS << "extern \"C\" {\n"; 10905ffd83dbSDimitry Andric OS << "#else\n"; 10915ffd83dbSDimitry Andric OS << "#include <stdbool.h>\n"; 10925ffd83dbSDimitry Andric OS << "#endif\n\n"; 10935ffd83dbSDimitry Andric 10945ffd83dbSDimitry Andric OS << "typedef __fp16 float16_t;\n"; 10955ffd83dbSDimitry Andric OS << "typedef float float32_t;\n"; 10965ffd83dbSDimitry Andric OS << "typedef double float64_t;\n"; 10975ffd83dbSDimitry Andric 10985ffd83dbSDimitry Andric OS << "typedef __SVInt8_t svint8_t;\n"; 10995ffd83dbSDimitry Andric OS << "typedef __SVInt16_t svint16_t;\n"; 11005ffd83dbSDimitry Andric OS << "typedef __SVInt32_t svint32_t;\n"; 11015ffd83dbSDimitry Andric OS << "typedef __SVInt64_t svint64_t;\n"; 11025ffd83dbSDimitry Andric OS << "typedef __SVUint8_t svuint8_t;\n"; 11035ffd83dbSDimitry Andric OS << "typedef __SVUint16_t svuint16_t;\n"; 11045ffd83dbSDimitry Andric OS << "typedef __SVUint32_t svuint32_t;\n"; 11055ffd83dbSDimitry Andric OS << "typedef __SVUint64_t svuint64_t;\n"; 11065ffd83dbSDimitry Andric OS << "typedef __SVFloat16_t svfloat16_t;\n\n"; 11075ffd83dbSDimitry Andric 11085ffd83dbSDimitry Andric OS << "#if defined(__ARM_FEATURE_SVE_BF16) && " 11095ffd83dbSDimitry Andric "!defined(__ARM_FEATURE_BF16_SCALAR_ARITHMETIC)\n"; 11105ffd83dbSDimitry Andric OS << "#error \"__ARM_FEATURE_BF16_SCALAR_ARITHMETIC must be defined when " 11115ffd83dbSDimitry Andric "__ARM_FEATURE_SVE_BF16 is defined\"\n"; 11125ffd83dbSDimitry Andric OS << "#endif\n\n"; 11135ffd83dbSDimitry Andric 11145ffd83dbSDimitry Andric OS << "#if defined(__ARM_FEATURE_SVE_BF16)\n"; 11155ffd83dbSDimitry Andric OS << "typedef __SVBFloat16_t svbfloat16_t;\n"; 11165ffd83dbSDimitry Andric OS << "#endif\n\n"; 11175ffd83dbSDimitry Andric 11185ffd83dbSDimitry Andric OS << "#if defined(__ARM_FEATURE_BF16_SCALAR_ARITHMETIC)\n"; 11195ffd83dbSDimitry Andric OS << "#include <arm_bf16.h>\n"; 11205ffd83dbSDimitry Andric OS << "typedef __bf16 bfloat16_t;\n"; 11215ffd83dbSDimitry Andric OS << "#endif\n\n"; 11225ffd83dbSDimitry Andric 11235ffd83dbSDimitry Andric OS << "typedef __SVFloat32_t svfloat32_t;\n"; 11245ffd83dbSDimitry Andric OS << "typedef __SVFloat64_t svfloat64_t;\n"; 11255ffd83dbSDimitry Andric OS << "typedef __clang_svint8x2_t svint8x2_t;\n"; 11265ffd83dbSDimitry Andric OS << "typedef __clang_svint16x2_t svint16x2_t;\n"; 11275ffd83dbSDimitry Andric OS << "typedef __clang_svint32x2_t svint32x2_t;\n"; 11285ffd83dbSDimitry Andric OS << "typedef __clang_svint64x2_t svint64x2_t;\n"; 11295ffd83dbSDimitry Andric OS << "typedef __clang_svuint8x2_t svuint8x2_t;\n"; 11305ffd83dbSDimitry Andric OS << "typedef __clang_svuint16x2_t svuint16x2_t;\n"; 11315ffd83dbSDimitry Andric OS << "typedef __clang_svuint32x2_t svuint32x2_t;\n"; 11325ffd83dbSDimitry Andric OS << "typedef __clang_svuint64x2_t svuint64x2_t;\n"; 11335ffd83dbSDimitry Andric OS << "typedef __clang_svfloat16x2_t svfloat16x2_t;\n"; 11345ffd83dbSDimitry Andric OS << "typedef __clang_svfloat32x2_t svfloat32x2_t;\n"; 11355ffd83dbSDimitry Andric OS << "typedef __clang_svfloat64x2_t svfloat64x2_t;\n"; 11365ffd83dbSDimitry Andric OS << "typedef __clang_svint8x3_t svint8x3_t;\n"; 11375ffd83dbSDimitry Andric OS << "typedef __clang_svint16x3_t svint16x3_t;\n"; 11385ffd83dbSDimitry Andric OS << "typedef __clang_svint32x3_t svint32x3_t;\n"; 11395ffd83dbSDimitry Andric OS << "typedef __clang_svint64x3_t svint64x3_t;\n"; 11405ffd83dbSDimitry Andric OS << "typedef __clang_svuint8x3_t svuint8x3_t;\n"; 11415ffd83dbSDimitry Andric OS << "typedef __clang_svuint16x3_t svuint16x3_t;\n"; 11425ffd83dbSDimitry Andric OS << "typedef __clang_svuint32x3_t svuint32x3_t;\n"; 11435ffd83dbSDimitry Andric OS << "typedef __clang_svuint64x3_t svuint64x3_t;\n"; 11445ffd83dbSDimitry Andric OS << "typedef __clang_svfloat16x3_t svfloat16x3_t;\n"; 11455ffd83dbSDimitry Andric OS << "typedef __clang_svfloat32x3_t svfloat32x3_t;\n"; 11465ffd83dbSDimitry Andric OS << "typedef __clang_svfloat64x3_t svfloat64x3_t;\n"; 11475ffd83dbSDimitry Andric OS << "typedef __clang_svint8x4_t svint8x4_t;\n"; 11485ffd83dbSDimitry Andric OS << "typedef __clang_svint16x4_t svint16x4_t;\n"; 11495ffd83dbSDimitry Andric OS << "typedef __clang_svint32x4_t svint32x4_t;\n"; 11505ffd83dbSDimitry Andric OS << "typedef __clang_svint64x4_t svint64x4_t;\n"; 11515ffd83dbSDimitry Andric OS << "typedef __clang_svuint8x4_t svuint8x4_t;\n"; 11525ffd83dbSDimitry Andric OS << "typedef __clang_svuint16x4_t svuint16x4_t;\n"; 11535ffd83dbSDimitry Andric OS << "typedef __clang_svuint32x4_t svuint32x4_t;\n"; 11545ffd83dbSDimitry Andric OS << "typedef __clang_svuint64x4_t svuint64x4_t;\n"; 11555ffd83dbSDimitry Andric OS << "typedef __clang_svfloat16x4_t svfloat16x4_t;\n"; 11565ffd83dbSDimitry Andric OS << "typedef __clang_svfloat32x4_t svfloat32x4_t;\n"; 11575ffd83dbSDimitry Andric OS << "typedef __clang_svfloat64x4_t svfloat64x4_t;\n"; 11585ffd83dbSDimitry Andric OS << "typedef __SVBool_t svbool_t;\n\n"; 11595ffd83dbSDimitry Andric 11605ffd83dbSDimitry Andric OS << "#ifdef __ARM_FEATURE_SVE_BF16\n"; 11615ffd83dbSDimitry Andric OS << "typedef __clang_svbfloat16x2_t svbfloat16x2_t;\n"; 11625ffd83dbSDimitry Andric OS << "typedef __clang_svbfloat16x3_t svbfloat16x3_t;\n"; 11635ffd83dbSDimitry Andric OS << "typedef __clang_svbfloat16x4_t svbfloat16x4_t;\n"; 11645ffd83dbSDimitry Andric OS << "#endif\n"; 11655ffd83dbSDimitry Andric 1166*e8d8bef9SDimitry Andric OS << "enum svpattern\n"; 11675ffd83dbSDimitry Andric OS << "{\n"; 11685ffd83dbSDimitry Andric OS << " SV_POW2 = 0,\n"; 11695ffd83dbSDimitry Andric OS << " SV_VL1 = 1,\n"; 11705ffd83dbSDimitry Andric OS << " SV_VL2 = 2,\n"; 11715ffd83dbSDimitry Andric OS << " SV_VL3 = 3,\n"; 11725ffd83dbSDimitry Andric OS << " SV_VL4 = 4,\n"; 11735ffd83dbSDimitry Andric OS << " SV_VL5 = 5,\n"; 11745ffd83dbSDimitry Andric OS << " SV_VL6 = 6,\n"; 11755ffd83dbSDimitry Andric OS << " SV_VL7 = 7,\n"; 11765ffd83dbSDimitry Andric OS << " SV_VL8 = 8,\n"; 11775ffd83dbSDimitry Andric OS << " SV_VL16 = 9,\n"; 11785ffd83dbSDimitry Andric OS << " SV_VL32 = 10,\n"; 11795ffd83dbSDimitry Andric OS << " SV_VL64 = 11,\n"; 11805ffd83dbSDimitry Andric OS << " SV_VL128 = 12,\n"; 11815ffd83dbSDimitry Andric OS << " SV_VL256 = 13,\n"; 11825ffd83dbSDimitry Andric OS << " SV_MUL4 = 29,\n"; 11835ffd83dbSDimitry Andric OS << " SV_MUL3 = 30,\n"; 11845ffd83dbSDimitry Andric OS << " SV_ALL = 31\n"; 1185*e8d8bef9SDimitry Andric OS << "};\n\n"; 11865ffd83dbSDimitry Andric 1187*e8d8bef9SDimitry Andric OS << "enum svprfop\n"; 11885ffd83dbSDimitry Andric OS << "{\n"; 11895ffd83dbSDimitry Andric OS << " SV_PLDL1KEEP = 0,\n"; 11905ffd83dbSDimitry Andric OS << " SV_PLDL1STRM = 1,\n"; 11915ffd83dbSDimitry Andric OS << " SV_PLDL2KEEP = 2,\n"; 11925ffd83dbSDimitry Andric OS << " SV_PLDL2STRM = 3,\n"; 11935ffd83dbSDimitry Andric OS << " SV_PLDL3KEEP = 4,\n"; 11945ffd83dbSDimitry Andric OS << " SV_PLDL3STRM = 5,\n"; 11955ffd83dbSDimitry Andric OS << " SV_PSTL1KEEP = 8,\n"; 11965ffd83dbSDimitry Andric OS << " SV_PSTL1STRM = 9,\n"; 11975ffd83dbSDimitry Andric OS << " SV_PSTL2KEEP = 10,\n"; 11985ffd83dbSDimitry Andric OS << " SV_PSTL2STRM = 11,\n"; 11995ffd83dbSDimitry Andric OS << " SV_PSTL3KEEP = 12,\n"; 12005ffd83dbSDimitry Andric OS << " SV_PSTL3STRM = 13\n"; 1201*e8d8bef9SDimitry Andric OS << "};\n\n"; 12025ffd83dbSDimitry Andric 12035ffd83dbSDimitry Andric OS << "/* Function attributes */\n"; 12045ffd83dbSDimitry Andric OS << "#define __aio static inline __attribute__((__always_inline__, " 12055ffd83dbSDimitry Andric "__nodebug__, __overloadable__))\n\n"; 12065ffd83dbSDimitry Andric 12075ffd83dbSDimitry Andric // Add reinterpret functions. 12085ffd83dbSDimitry Andric for (auto ShortForm : { false, true } ) 12095ffd83dbSDimitry Andric for (const ReinterpretTypeInfo &From : Reinterprets) 12105ffd83dbSDimitry Andric for (const ReinterpretTypeInfo &To : Reinterprets) { 12115ffd83dbSDimitry Andric const bool IsBFloat = StringRef(From.Suffix).equals("bf16") || 12125ffd83dbSDimitry Andric StringRef(To.Suffix).equals("bf16"); 12135ffd83dbSDimitry Andric if (IsBFloat) 12145ffd83dbSDimitry Andric OS << "#if defined(__ARM_FEATURE_SVE_BF16)\n"; 12155ffd83dbSDimitry Andric if (ShortForm) { 12165ffd83dbSDimitry Andric OS << "__aio " << From.Type << " svreinterpret_" << From.Suffix; 12175ffd83dbSDimitry Andric OS << "(" << To.Type << " op) {\n"; 12185ffd83dbSDimitry Andric OS << " return __builtin_sve_reinterpret_" << From.Suffix << "_" 12195ffd83dbSDimitry Andric << To.Suffix << "(op);\n"; 12205ffd83dbSDimitry Andric OS << "}\n\n"; 12215ffd83dbSDimitry Andric } else 12225ffd83dbSDimitry Andric OS << "#define svreinterpret_" << From.Suffix << "_" << To.Suffix 12235ffd83dbSDimitry Andric << "(...) __builtin_sve_reinterpret_" << From.Suffix << "_" 12245ffd83dbSDimitry Andric << To.Suffix << "(__VA_ARGS__)\n"; 12255ffd83dbSDimitry Andric if (IsBFloat) 12265ffd83dbSDimitry Andric OS << "#endif /* #if defined(__ARM_FEATURE_SVE_BF16) */\n"; 12275ffd83dbSDimitry Andric } 12285ffd83dbSDimitry Andric 12295ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 12305ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 12315ffd83dbSDimitry Andric for (auto *R : RV) 12325ffd83dbSDimitry Andric createIntrinsic(R, Defs); 12335ffd83dbSDimitry Andric 12345ffd83dbSDimitry Andric // Sort intrinsics in header file by following order/priority: 12355ffd83dbSDimitry Andric // - Architectural guard (i.e. does it require SVE2 or SVE2_AES) 12365ffd83dbSDimitry Andric // - Class (is intrinsic overloaded or not) 12375ffd83dbSDimitry Andric // - Intrinsic name 12385ffd83dbSDimitry Andric std::stable_sort( 12395ffd83dbSDimitry Andric Defs.begin(), Defs.end(), [](const std::unique_ptr<Intrinsic> &A, 12405ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 12415ffd83dbSDimitry Andric auto ToTuple = [](const std::unique_ptr<Intrinsic> &I) { 12425ffd83dbSDimitry Andric return std::make_tuple(I->getGuard(), (unsigned)I->getClassKind(), I->getName()); 12435ffd83dbSDimitry Andric }; 12445ffd83dbSDimitry Andric return ToTuple(A) < ToTuple(B); 12455ffd83dbSDimitry Andric }); 12465ffd83dbSDimitry Andric 12475ffd83dbSDimitry Andric StringRef InGuard = ""; 12485ffd83dbSDimitry Andric for (auto &I : Defs) { 12495ffd83dbSDimitry Andric // Emit #endif/#if pair if needed. 12505ffd83dbSDimitry Andric if (I->getGuard() != InGuard) { 12515ffd83dbSDimitry Andric if (!InGuard.empty()) 12525ffd83dbSDimitry Andric OS << "#endif //" << InGuard << "\n"; 12535ffd83dbSDimitry Andric InGuard = I->getGuard(); 12545ffd83dbSDimitry Andric if (!InGuard.empty()) 12555ffd83dbSDimitry Andric OS << "\n#if " << InGuard << "\n"; 12565ffd83dbSDimitry Andric } 12575ffd83dbSDimitry Andric 12585ffd83dbSDimitry Andric // Actually emit the intrinsic declaration. 12595ffd83dbSDimitry Andric I->emitIntrinsic(OS); 12605ffd83dbSDimitry Andric } 12615ffd83dbSDimitry Andric 12625ffd83dbSDimitry Andric if (!InGuard.empty()) 12635ffd83dbSDimitry Andric OS << "#endif //" << InGuard << "\n"; 12645ffd83dbSDimitry Andric 12655ffd83dbSDimitry Andric OS << "#if defined(__ARM_FEATURE_SVE_BF16)\n"; 12665ffd83dbSDimitry Andric OS << "#define svcvtnt_bf16_x svcvtnt_bf16_m\n"; 12675ffd83dbSDimitry Andric OS << "#define svcvtnt_bf16_f32_x svcvtnt_bf16_f32_m\n"; 12685ffd83dbSDimitry Andric OS << "#endif /*__ARM_FEATURE_SVE_BF16 */\n\n"; 12695ffd83dbSDimitry Andric 12705ffd83dbSDimitry Andric OS << "#if defined(__ARM_FEATURE_SVE2)\n"; 12715ffd83dbSDimitry Andric OS << "#define svcvtnt_f16_x svcvtnt_f16_m\n"; 12725ffd83dbSDimitry Andric OS << "#define svcvtnt_f16_f32_x svcvtnt_f16_f32_m\n"; 12735ffd83dbSDimitry Andric OS << "#define svcvtnt_f32_x svcvtnt_f32_m\n"; 12745ffd83dbSDimitry Andric OS << "#define svcvtnt_f32_f64_x svcvtnt_f32_f64_m\n\n"; 12755ffd83dbSDimitry Andric 12765ffd83dbSDimitry Andric OS << "#define svcvtxnt_f32_x svcvtxnt_f32_m\n"; 12775ffd83dbSDimitry Andric OS << "#define svcvtxnt_f32_f64_x svcvtxnt_f32_f64_m\n\n"; 12785ffd83dbSDimitry Andric 12795ffd83dbSDimitry Andric OS << "#endif /*__ARM_FEATURE_SVE2 */\n\n"; 12805ffd83dbSDimitry Andric 12815ffd83dbSDimitry Andric OS << "#ifdef __cplusplus\n"; 12825ffd83dbSDimitry Andric OS << "} // extern \"C\"\n"; 12835ffd83dbSDimitry Andric OS << "#endif\n\n"; 12845ffd83dbSDimitry Andric OS << "#endif /*__ARM_FEATURE_SVE */\n\n"; 12855ffd83dbSDimitry Andric OS << "#endif /* __ARM_SVE_H */\n"; 12865ffd83dbSDimitry Andric } 12875ffd83dbSDimitry Andric 12885ffd83dbSDimitry Andric void SVEEmitter::createBuiltins(raw_ostream &OS) { 12895ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 12905ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 12915ffd83dbSDimitry Andric for (auto *R : RV) 12925ffd83dbSDimitry Andric createIntrinsic(R, Defs); 12935ffd83dbSDimitry Andric 12945ffd83dbSDimitry Andric // The mappings must be sorted based on BuiltinID. 12955ffd83dbSDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 12965ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 12975ffd83dbSDimitry Andric return A->getMangledName() < B->getMangledName(); 12985ffd83dbSDimitry Andric }); 12995ffd83dbSDimitry Andric 13005ffd83dbSDimitry Andric OS << "#ifdef GET_SVE_BUILTINS\n"; 13015ffd83dbSDimitry Andric for (auto &Def : Defs) { 13025ffd83dbSDimitry Andric // Only create BUILTINs for non-overloaded intrinsics, as overloaded 13035ffd83dbSDimitry Andric // declarations only live in the header file. 13045ffd83dbSDimitry Andric if (Def->getClassKind() != ClassG) 13055ffd83dbSDimitry Andric OS << "BUILTIN(__builtin_sve_" << Def->getMangledName() << ", \"" 13065ffd83dbSDimitry Andric << Def->getBuiltinTypeStr() << "\", \"n\")\n"; 13075ffd83dbSDimitry Andric } 13085ffd83dbSDimitry Andric 13095ffd83dbSDimitry Andric // Add reinterpret builtins 13105ffd83dbSDimitry Andric for (const ReinterpretTypeInfo &From : Reinterprets) 13115ffd83dbSDimitry Andric for (const ReinterpretTypeInfo &To : Reinterprets) 13125ffd83dbSDimitry Andric OS << "BUILTIN(__builtin_sve_reinterpret_" << From.Suffix << "_" 13135ffd83dbSDimitry Andric << To.Suffix << +", \"" << From.BuiltinType << To.BuiltinType 13145ffd83dbSDimitry Andric << "\", \"n\")\n"; 13155ffd83dbSDimitry Andric 13165ffd83dbSDimitry Andric OS << "#endif\n\n"; 13175ffd83dbSDimitry Andric } 13185ffd83dbSDimitry Andric 13195ffd83dbSDimitry Andric void SVEEmitter::createCodeGenMap(raw_ostream &OS) { 13205ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 13215ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 13225ffd83dbSDimitry Andric for (auto *R : RV) 13235ffd83dbSDimitry Andric createIntrinsic(R, Defs); 13245ffd83dbSDimitry Andric 13255ffd83dbSDimitry Andric // The mappings must be sorted based on BuiltinID. 13265ffd83dbSDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 13275ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 13285ffd83dbSDimitry Andric return A->getMangledName() < B->getMangledName(); 13295ffd83dbSDimitry Andric }); 13305ffd83dbSDimitry Andric 13315ffd83dbSDimitry Andric OS << "#ifdef GET_SVE_LLVM_INTRINSIC_MAP\n"; 13325ffd83dbSDimitry Andric for (auto &Def : Defs) { 13335ffd83dbSDimitry Andric // Builtins only exist for non-overloaded intrinsics, overloaded 13345ffd83dbSDimitry Andric // declarations only live in the header file. 13355ffd83dbSDimitry Andric if (Def->getClassKind() == ClassG) 13365ffd83dbSDimitry Andric continue; 13375ffd83dbSDimitry Andric 13385ffd83dbSDimitry Andric uint64_t Flags = Def->getFlags(); 13395ffd83dbSDimitry Andric auto FlagString = std::to_string(Flags); 13405ffd83dbSDimitry Andric 13415ffd83dbSDimitry Andric std::string LLVMName = Def->getLLVMName(); 13425ffd83dbSDimitry Andric std::string Builtin = Def->getMangledName(); 13435ffd83dbSDimitry Andric if (!LLVMName.empty()) 13445ffd83dbSDimitry Andric OS << "SVEMAP1(" << Builtin << ", " << LLVMName << ", " << FlagString 13455ffd83dbSDimitry Andric << "),\n"; 13465ffd83dbSDimitry Andric else 13475ffd83dbSDimitry Andric OS << "SVEMAP2(" << Builtin << ", " << FlagString << "),\n"; 13485ffd83dbSDimitry Andric } 13495ffd83dbSDimitry Andric OS << "#endif\n\n"; 13505ffd83dbSDimitry Andric } 13515ffd83dbSDimitry Andric 13525ffd83dbSDimitry Andric void SVEEmitter::createRangeChecks(raw_ostream &OS) { 13535ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst"); 13545ffd83dbSDimitry Andric SmallVector<std::unique_ptr<Intrinsic>, 128> Defs; 13555ffd83dbSDimitry Andric for (auto *R : RV) 13565ffd83dbSDimitry Andric createIntrinsic(R, Defs); 13575ffd83dbSDimitry Andric 13585ffd83dbSDimitry Andric // The mappings must be sorted based on BuiltinID. 13595ffd83dbSDimitry Andric llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A, 13605ffd83dbSDimitry Andric const std::unique_ptr<Intrinsic> &B) { 13615ffd83dbSDimitry Andric return A->getMangledName() < B->getMangledName(); 13625ffd83dbSDimitry Andric }); 13635ffd83dbSDimitry Andric 13645ffd83dbSDimitry Andric 13655ffd83dbSDimitry Andric OS << "#ifdef GET_SVE_IMMEDIATE_CHECK\n"; 13665ffd83dbSDimitry Andric 13675ffd83dbSDimitry Andric // Ensure these are only emitted once. 13685ffd83dbSDimitry Andric std::set<std::string> Emitted; 13695ffd83dbSDimitry Andric 13705ffd83dbSDimitry Andric for (auto &Def : Defs) { 13715ffd83dbSDimitry Andric if (Emitted.find(Def->getMangledName()) != Emitted.end() || 13725ffd83dbSDimitry Andric Def->getImmChecks().empty()) 13735ffd83dbSDimitry Andric continue; 13745ffd83dbSDimitry Andric 13755ffd83dbSDimitry Andric OS << "case SVE::BI__builtin_sve_" << Def->getMangledName() << ":\n"; 13765ffd83dbSDimitry Andric for (auto &Check : Def->getImmChecks()) 13775ffd83dbSDimitry Andric OS << "ImmChecks.push_back(std::make_tuple(" << Check.getArg() << ", " 13785ffd83dbSDimitry Andric << Check.getKind() << ", " << Check.getElementSizeInBits() << "));\n"; 13795ffd83dbSDimitry Andric OS << " break;\n"; 13805ffd83dbSDimitry Andric 13815ffd83dbSDimitry Andric Emitted.insert(Def->getMangledName()); 13825ffd83dbSDimitry Andric } 13835ffd83dbSDimitry Andric 13845ffd83dbSDimitry Andric OS << "#endif\n\n"; 13855ffd83dbSDimitry Andric } 13865ffd83dbSDimitry Andric 13875ffd83dbSDimitry Andric /// Create the SVETypeFlags used in CGBuiltins 13885ffd83dbSDimitry Andric void SVEEmitter::createTypeFlags(raw_ostream &OS) { 13895ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_TYPEFLAGS\n"; 13905ffd83dbSDimitry Andric for (auto &KV : FlagTypes) 13915ffd83dbSDimitry Andric OS << "const uint64_t " << KV.getKey() << " = " << KV.getValue() << ";\n"; 13925ffd83dbSDimitry Andric OS << "#endif\n\n"; 13935ffd83dbSDimitry Andric 13945ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_ELTTYPES\n"; 13955ffd83dbSDimitry Andric for (auto &KV : EltTypes) 13965ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 13975ffd83dbSDimitry Andric OS << "#endif\n\n"; 13985ffd83dbSDimitry Andric 13995ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_MEMELTTYPES\n"; 14005ffd83dbSDimitry Andric for (auto &KV : MemEltTypes) 14015ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 14025ffd83dbSDimitry Andric OS << "#endif\n\n"; 14035ffd83dbSDimitry Andric 14045ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_MERGETYPES\n"; 14055ffd83dbSDimitry Andric for (auto &KV : MergeTypes) 14065ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 14075ffd83dbSDimitry Andric OS << "#endif\n\n"; 14085ffd83dbSDimitry Andric 14095ffd83dbSDimitry Andric OS << "#ifdef LLVM_GET_SVE_IMMCHECKTYPES\n"; 14105ffd83dbSDimitry Andric for (auto &KV : ImmCheckTypes) 14115ffd83dbSDimitry Andric OS << " " << KV.getKey() << " = " << KV.getValue() << ",\n"; 14125ffd83dbSDimitry Andric OS << "#endif\n\n"; 14135ffd83dbSDimitry Andric } 14145ffd83dbSDimitry Andric 14155ffd83dbSDimitry Andric namespace clang { 14165ffd83dbSDimitry Andric void EmitSveHeader(RecordKeeper &Records, raw_ostream &OS) { 14175ffd83dbSDimitry Andric SVEEmitter(Records).createHeader(OS); 14185ffd83dbSDimitry Andric } 14195ffd83dbSDimitry Andric 14205ffd83dbSDimitry Andric void EmitSveBuiltins(RecordKeeper &Records, raw_ostream &OS) { 14215ffd83dbSDimitry Andric SVEEmitter(Records).createBuiltins(OS); 14225ffd83dbSDimitry Andric } 14235ffd83dbSDimitry Andric 14245ffd83dbSDimitry Andric void EmitSveBuiltinCG(RecordKeeper &Records, raw_ostream &OS) { 14255ffd83dbSDimitry Andric SVEEmitter(Records).createCodeGenMap(OS); 14265ffd83dbSDimitry Andric } 14275ffd83dbSDimitry Andric 14285ffd83dbSDimitry Andric void EmitSveRangeChecks(RecordKeeper &Records, raw_ostream &OS) { 14295ffd83dbSDimitry Andric SVEEmitter(Records).createRangeChecks(OS); 14305ffd83dbSDimitry Andric } 14315ffd83dbSDimitry Andric 14325ffd83dbSDimitry Andric void EmitSveTypeFlags(RecordKeeper &Records, raw_ostream &OS) { 14335ffd83dbSDimitry Andric SVEEmitter(Records).createTypeFlags(OS); 14345ffd83dbSDimitry Andric } 14355ffd83dbSDimitry Andric 14365ffd83dbSDimitry Andric } // End namespace clang 1437