xref: /freebsd-src/contrib/llvm-project/clang/utils/TableGen/SveEmitter.cpp (revision 647cbc5de815c5651677bf8582797f716ec7b48d)
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