xref: /freebsd/contrib/llvm-project/clang/utils/TableGen/SveEmitter.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
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"
27*5f757f3fSDimitry Andric #include "llvm/ADT/STLExtras.h"
285ffd83dbSDimitry Andric #include "llvm/ADT/StringExtras.h"
29*5f757f3fSDimitry Andric #include "llvm/ADT/StringMap.h"
305ffd83dbSDimitry Andric #include "llvm/TableGen/Error.h"
31*5f757f3fSDimitry Andric #include "llvm/TableGen/Record.h"
32*5f757f3fSDimitry Andric #include <array>
335ffd83dbSDimitry Andric #include <cctype>
34*5f757f3fSDimitry Andric #include <set>
35*5f757f3fSDimitry Andric #include <sstream>
36*5f757f3fSDimitry 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 
47*5f757f3fSDimitry Andric enum class ACLEKind { SVE, SME };
48*5f757f3fSDimitry 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:
76*5f757f3fSDimitry Andric   SVEType() : SVEType("", 'v') {}
775ffd83dbSDimitry Andric 
78*5f757f3fSDimitry Andric   SVEType(StringRef TS, char CharMod, unsigned NumVectors = 1)
79*5f757f3fSDimitry 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),
83*5f757f3fSDimitry Andric         NumVectors(NumVectors) {
845ffd83dbSDimitry Andric     if (!TS.empty())
85*5f757f3fSDimitry Andric       applyTypespec(TS);
865ffd83dbSDimitry Andric     applyModifier(CharMod);
875ffd83dbSDimitry Andric   }
885ffd83dbSDimitry Andric 
89*5f757f3fSDimitry Andric   SVEType(const SVEType &Base, unsigned NumV) : SVEType(Base) {
90*5f757f3fSDimitry Andric     NumVectors = NumV;
91*5f757f3fSDimitry Andric   }
92*5f757f3fSDimitry 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; }
100*5f757f3fSDimitry 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.
139*5f757f3fSDimitry 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]; }
203*5f757f3fSDimitry Andric   unsigned getNumParams() const {
204*5f757f3fSDimitry Andric     return Proto.size() - (2 * llvm::count(Proto, '.')) - 1;
205*5f757f3fSDimitry 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 {
239*5f757f3fSDimitry Andric     unsigned I = 1, Param = 0;
240*5f757f3fSDimitry Andric     for (; I < Proto.size(); ++I, ++Param) {
241*5f757f3fSDimitry Andric       if (Proto[I] == 'a' || Proto[I] == 'j' || Proto[I] == 'f' ||
242*5f757f3fSDimitry Andric           Proto[I] == 'r' || Proto[I] == 'K' || Proto[I] == 'L' ||
243*5f757f3fSDimitry Andric           Proto[I] == 'R' || Proto[I] == '@')
244*5f757f3fSDimitry Andric         break;
245*5f757f3fSDimitry Andric 
246*5f757f3fSDimitry Andric       // Multivector modifier can be skipped
247*5f757f3fSDimitry Andric       if (Proto[I] == '.')
248*5f757f3fSDimitry Andric         I += 2;
249*5f757f3fSDimitry Andric     }
250*5f757f3fSDimitry Andric     assert(I != Proto.size() && "Prototype has no splat operand");
251*5f757f3fSDimitry Andric     return Param;
2525ffd83dbSDimitry Andric   }
2535ffd83dbSDimitry Andric 
2545ffd83dbSDimitry Andric   /// Emits the intrinsic declaration to the ostream.
255*5f757f3fSDimitry 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 {
272*5f757f3fSDimitry Andric     SVEType BaseType;
2735ffd83dbSDimitry Andric     const char *Suffix;
2745ffd83dbSDimitry Andric   };
275*5f757f3fSDimitry Andric 
276*5f757f3fSDimitry 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 
357*5f757f3fSDimitry Andric   // Emits core intrinsics in both arm_sme.h and arm_sve.h
358*5f757f3fSDimitry Andric   void createCoreHeaderIntrinsics(raw_ostream &o, SVEEmitter &Emitter,
359*5f757f3fSDimitry Andric                                   ACLEKind Kind);
360*5f757f3fSDimitry 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 
38206c3fb27SDimitry Andric   /// Emit all the range checks for the immediates.
38306c3fb27SDimitry Andric   void createSMERangeChecks(raw_ostream &o);
38406c3fb27SDimitry Andric 
3855ffd83dbSDimitry Andric   /// Create intrinsic and add it to \p Out
38606c3fb27SDimitry Andric   void createIntrinsic(Record *R,
38706c3fb27SDimitry Andric                        SmallVectorImpl<std::unique_ptr<Intrinsic>> &Out);
3885ffd83dbSDimitry Andric };
3895ffd83dbSDimitry Andric 
390*5f757f3fSDimitry Andric const std::array<SVEEmitter::ReinterpretTypeInfo, 12> SVEEmitter::Reinterprets =
391*5f757f3fSDimitry Andric     {{{SVEType("c", 'd'), "s8"},
392*5f757f3fSDimitry Andric       {SVEType("Uc", 'd'), "u8"},
393*5f757f3fSDimitry Andric       {SVEType("s", 'd'), "s16"},
394*5f757f3fSDimitry Andric       {SVEType("Us", 'd'), "u16"},
395*5f757f3fSDimitry Andric       {SVEType("i", 'd'), "s32"},
396*5f757f3fSDimitry Andric       {SVEType("Ui", 'd'), "u32"},
397*5f757f3fSDimitry Andric       {SVEType("l", 'd'), "s64"},
398*5f757f3fSDimitry Andric       {SVEType("Ul", 'd'), "u64"},
399*5f757f3fSDimitry Andric       {SVEType("h", 'd'), "f16"},
400*5f757f3fSDimitry Andric       {SVEType("b", 'd'), "bf16"},
401*5f757f3fSDimitry Andric       {SVEType("f", 'd'), "f32"},
402*5f757f3fSDimitry Andric       {SVEType("d", 'd'), "f64"}}};
403*5f757f3fSDimitry Andric 
4045ffd83dbSDimitry Andric } // end anonymous namespace
4055ffd83dbSDimitry Andric 
4065ffd83dbSDimitry Andric 
4075ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
4085ffd83dbSDimitry Andric // Type implementation
4095ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
4105ffd83dbSDimitry Andric 
4115ffd83dbSDimitry Andric std::string SVEType::builtin_str() const {
4125ffd83dbSDimitry Andric   std::string S;
4135ffd83dbSDimitry Andric   if (isVoid())
4145ffd83dbSDimitry Andric     return "v";
4155ffd83dbSDimitry Andric 
416fe6060f1SDimitry Andric   if (isScalarPredicate())
417fe6060f1SDimitry Andric     return "b";
418fe6060f1SDimitry Andric 
41906c3fb27SDimitry Andric   if (isSvcount())
42006c3fb27SDimitry Andric     return "Qa";
42106c3fb27SDimitry Andric 
4225ffd83dbSDimitry Andric   if (isVoidPointer())
4235ffd83dbSDimitry Andric     S += "v";
4245ffd83dbSDimitry Andric   else if (!isFloatingPoint())
4255ffd83dbSDimitry Andric     switch (ElementBitwidth) {
4265ffd83dbSDimitry Andric     case 1: S += "b"; break;
4275ffd83dbSDimitry Andric     case 8: S += "c"; break;
4285ffd83dbSDimitry Andric     case 16: S += "s"; break;
4295ffd83dbSDimitry Andric     case 32: S += "i"; break;
4305ffd83dbSDimitry Andric     case 64: S += "Wi"; break;
4315ffd83dbSDimitry Andric     case 128: S += "LLLi"; break;
4325ffd83dbSDimitry Andric     default: llvm_unreachable("Unhandled case!");
4335ffd83dbSDimitry Andric     }
4345ffd83dbSDimitry Andric   else if (isFloat())
4355ffd83dbSDimitry Andric     switch (ElementBitwidth) {
4365ffd83dbSDimitry Andric     case 16: S += "h"; break;
4375ffd83dbSDimitry Andric     case 32: S += "f"; break;
4385ffd83dbSDimitry Andric     case 64: S += "d"; break;
4395ffd83dbSDimitry Andric     default: llvm_unreachable("Unhandled case!");
4405ffd83dbSDimitry Andric     }
4415ffd83dbSDimitry Andric   else if (isBFloat()) {
4425ffd83dbSDimitry Andric     assert(ElementBitwidth == 16 && "Not a valid BFloat.");
4435ffd83dbSDimitry Andric     S += "y";
4445ffd83dbSDimitry Andric   }
4455ffd83dbSDimitry Andric 
4465ffd83dbSDimitry Andric   if (!isFloatingPoint()) {
4475ffd83dbSDimitry Andric     if ((isChar() || isPointer()) && !isVoidPointer()) {
4485ffd83dbSDimitry Andric       // Make chars and typed pointers explicitly signed.
4495ffd83dbSDimitry Andric       if (Signed)
4505ffd83dbSDimitry Andric         S = "S" + S;
4515ffd83dbSDimitry Andric       else if (!Signed)
4525ffd83dbSDimitry Andric         S = "U" + S;
4535ffd83dbSDimitry Andric     } else if (!isVoidPointer() && !Signed) {
4545ffd83dbSDimitry Andric       S = "U" + S;
4555ffd83dbSDimitry Andric     }
4565ffd83dbSDimitry Andric   }
4575ffd83dbSDimitry Andric 
4585ffd83dbSDimitry Andric   // Constant indices are "int", but have the "constant expression" modifier.
4595ffd83dbSDimitry Andric   if (isImmediate()) {
4605ffd83dbSDimitry Andric     assert(!isFloat() && "fp immediates are not supported");
4615ffd83dbSDimitry Andric     S = "I" + S;
4625ffd83dbSDimitry Andric   }
4635ffd83dbSDimitry Andric 
4645ffd83dbSDimitry Andric   if (isScalar()) {
4655ffd83dbSDimitry Andric     if (Constant) S += "C";
4665ffd83dbSDimitry Andric     if (Pointer) S += "*";
4675ffd83dbSDimitry Andric     return S;
4685ffd83dbSDimitry Andric   }
4695ffd83dbSDimitry Andric 
470*5f757f3fSDimitry Andric   if (isFixedLengthVector())
471*5f757f3fSDimitry Andric     return "V" + utostr(getNumElements() * NumVectors) + S;
4725ffd83dbSDimitry Andric   return "q" + utostr(getNumElements() * NumVectors) + S;
4735ffd83dbSDimitry Andric }
4745ffd83dbSDimitry Andric 
4755ffd83dbSDimitry Andric std::string SVEType::str() const {
4765ffd83dbSDimitry Andric   if (isPredicatePattern())
477e8d8bef9SDimitry Andric     return "enum svpattern";
4785ffd83dbSDimitry Andric 
4795ffd83dbSDimitry Andric   if (isPrefetchOp())
480e8d8bef9SDimitry Andric     return "enum svprfop";
4815ffd83dbSDimitry Andric 
4825ffd83dbSDimitry Andric   std::string S;
4835ffd83dbSDimitry Andric   if (Void)
4845ffd83dbSDimitry Andric     S += "void";
4855ffd83dbSDimitry Andric   else {
48606c3fb27SDimitry Andric     if (isScalableVector() || isSvcount())
4875ffd83dbSDimitry Andric       S += "sv";
4885ffd83dbSDimitry Andric     if (!Signed && !isFloatingPoint())
4895ffd83dbSDimitry Andric       S += "u";
4905ffd83dbSDimitry Andric 
4915ffd83dbSDimitry Andric     if (Float)
4925ffd83dbSDimitry Andric       S += "float";
49306c3fb27SDimitry Andric     else if (isSvcount())
49406c3fb27SDimitry Andric       S += "count";
4955ffd83dbSDimitry Andric     else if (isScalarPredicate() || isPredicateVector())
4965ffd83dbSDimitry Andric       S += "bool";
4975ffd83dbSDimitry Andric     else if (isBFloat())
4985ffd83dbSDimitry Andric       S += "bfloat";
4995ffd83dbSDimitry Andric     else
5005ffd83dbSDimitry Andric       S += "int";
5015ffd83dbSDimitry Andric 
50206c3fb27SDimitry Andric     if (!isScalarPredicate() && !isPredicateVector() && !isSvcount())
5035ffd83dbSDimitry Andric       S += utostr(ElementBitwidth);
504*5f757f3fSDimitry Andric     if (isFixedLengthVector())
5055ffd83dbSDimitry Andric       S += "x" + utostr(getNumElements());
5065ffd83dbSDimitry Andric     if (NumVectors > 1)
5075ffd83dbSDimitry Andric       S += "x" + utostr(NumVectors);
5085ffd83dbSDimitry Andric     if (!isScalarPredicate())
5095ffd83dbSDimitry Andric       S += "_t";
5105ffd83dbSDimitry Andric   }
5115ffd83dbSDimitry Andric 
5125ffd83dbSDimitry Andric   if (Constant)
5135ffd83dbSDimitry Andric     S += " const";
5145ffd83dbSDimitry Andric   if (Pointer)
5155ffd83dbSDimitry Andric     S += " *";
5165ffd83dbSDimitry Andric 
5175ffd83dbSDimitry Andric   return S;
5185ffd83dbSDimitry Andric }
519*5f757f3fSDimitry Andric 
520*5f757f3fSDimitry Andric void SVEType::applyTypespec(StringRef TS) {
5215ffd83dbSDimitry Andric   for (char I : TS) {
5225ffd83dbSDimitry Andric     switch (I) {
52306c3fb27SDimitry Andric     case 'Q':
52406c3fb27SDimitry Andric       Svcount = true;
52506c3fb27SDimitry Andric       break;
5265ffd83dbSDimitry Andric     case 'P':
5275ffd83dbSDimitry Andric       Predicate = true;
5285ffd83dbSDimitry Andric       break;
5295ffd83dbSDimitry Andric     case 'U':
5305ffd83dbSDimitry Andric       Signed = false;
5315ffd83dbSDimitry Andric       break;
5325ffd83dbSDimitry Andric     case 'c':
5335ffd83dbSDimitry Andric       ElementBitwidth = 8;
5345ffd83dbSDimitry Andric       break;
5355ffd83dbSDimitry Andric     case 's':
5365ffd83dbSDimitry Andric       ElementBitwidth = 16;
5375ffd83dbSDimitry Andric       break;
5385ffd83dbSDimitry Andric     case 'i':
5395ffd83dbSDimitry Andric       ElementBitwidth = 32;
5405ffd83dbSDimitry Andric       break;
5415ffd83dbSDimitry Andric     case 'l':
5425ffd83dbSDimitry Andric       ElementBitwidth = 64;
5435ffd83dbSDimitry Andric       break;
54406c3fb27SDimitry Andric     case 'q':
54506c3fb27SDimitry Andric       ElementBitwidth = 128;
54606c3fb27SDimitry Andric       break;
5475ffd83dbSDimitry Andric     case 'h':
5485ffd83dbSDimitry Andric       Float = true;
5495ffd83dbSDimitry Andric       ElementBitwidth = 16;
5505ffd83dbSDimitry Andric       break;
5515ffd83dbSDimitry Andric     case 'f':
5525ffd83dbSDimitry Andric       Float = true;
5535ffd83dbSDimitry Andric       ElementBitwidth = 32;
5545ffd83dbSDimitry Andric       break;
5555ffd83dbSDimitry Andric     case 'd':
5565ffd83dbSDimitry Andric       Float = true;
5575ffd83dbSDimitry Andric       ElementBitwidth = 64;
5585ffd83dbSDimitry Andric       break;
5595ffd83dbSDimitry Andric     case 'b':
5605ffd83dbSDimitry Andric       BFloat = true;
5615ffd83dbSDimitry Andric       Float = false;
5625ffd83dbSDimitry Andric       ElementBitwidth = 16;
5635ffd83dbSDimitry Andric       break;
5645ffd83dbSDimitry Andric     default:
5655ffd83dbSDimitry Andric       llvm_unreachable("Unhandled type code!");
5665ffd83dbSDimitry Andric     }
5675ffd83dbSDimitry Andric   }
5685ffd83dbSDimitry Andric   assert(ElementBitwidth != ~0U && "Bad element bitwidth!");
5695ffd83dbSDimitry Andric }
5705ffd83dbSDimitry Andric 
5715ffd83dbSDimitry Andric void SVEType::applyModifier(char Mod) {
5725ffd83dbSDimitry Andric   switch (Mod) {
5735ffd83dbSDimitry Andric   case 'v':
5745ffd83dbSDimitry Andric     Void = true;
5755ffd83dbSDimitry Andric     break;
5765ffd83dbSDimitry Andric   case 'd':
5775ffd83dbSDimitry Andric     DefaultType = true;
5785ffd83dbSDimitry Andric     break;
5795ffd83dbSDimitry Andric   case 'c':
5805ffd83dbSDimitry Andric     Constant = true;
581bdd1243dSDimitry Andric     [[fallthrough]];
5825ffd83dbSDimitry Andric   case 'p':
5835ffd83dbSDimitry Andric     Pointer = true;
5845ffd83dbSDimitry Andric     Bitwidth = ElementBitwidth;
5855ffd83dbSDimitry Andric     NumVectors = 0;
5865ffd83dbSDimitry Andric     break;
5875ffd83dbSDimitry Andric   case 'e':
5885ffd83dbSDimitry Andric     Signed = false;
5895ffd83dbSDimitry Andric     ElementBitwidth /= 2;
5905ffd83dbSDimitry Andric     break;
5915ffd83dbSDimitry Andric   case 'h':
5925ffd83dbSDimitry Andric     ElementBitwidth /= 2;
5935ffd83dbSDimitry Andric     break;
5945ffd83dbSDimitry Andric   case 'q':
5955ffd83dbSDimitry Andric     ElementBitwidth /= 4;
5965ffd83dbSDimitry Andric     break;
5975ffd83dbSDimitry Andric   case 'b':
5985ffd83dbSDimitry Andric     Signed = false;
5995ffd83dbSDimitry Andric     Float = false;
6005ffd83dbSDimitry Andric     BFloat = false;
6015ffd83dbSDimitry Andric     ElementBitwidth /= 4;
6025ffd83dbSDimitry Andric     break;
6035ffd83dbSDimitry Andric   case 'o':
6045ffd83dbSDimitry Andric     ElementBitwidth *= 4;
6055ffd83dbSDimitry Andric     break;
6065ffd83dbSDimitry Andric   case 'P':
6075ffd83dbSDimitry Andric     Signed = true;
6085ffd83dbSDimitry Andric     Float = false;
6095ffd83dbSDimitry Andric     BFloat = false;
6105ffd83dbSDimitry Andric     Predicate = true;
61106c3fb27SDimitry Andric     Svcount = false;
6125ffd83dbSDimitry Andric     Bitwidth = 16;
6135ffd83dbSDimitry Andric     ElementBitwidth = 1;
6145ffd83dbSDimitry Andric     break;
615*5f757f3fSDimitry Andric   case '{':
616*5f757f3fSDimitry Andric     IsScalable = false;
617*5f757f3fSDimitry Andric     Bitwidth = 128;
618*5f757f3fSDimitry Andric     NumVectors = 1;
619*5f757f3fSDimitry Andric     break;
6205ffd83dbSDimitry Andric   case 's':
6215ffd83dbSDimitry Andric   case 'a':
6225ffd83dbSDimitry Andric     Bitwidth = ElementBitwidth;
6235ffd83dbSDimitry Andric     NumVectors = 0;
6245ffd83dbSDimitry Andric     break;
6255ffd83dbSDimitry Andric   case 'R':
6265ffd83dbSDimitry Andric     ElementBitwidth /= 2;
6275ffd83dbSDimitry Andric     NumVectors = 0;
6285ffd83dbSDimitry Andric     break;
6295ffd83dbSDimitry Andric   case 'r':
6305ffd83dbSDimitry Andric     ElementBitwidth /= 4;
6315ffd83dbSDimitry Andric     NumVectors = 0;
6325ffd83dbSDimitry Andric     break;
6335ffd83dbSDimitry Andric   case '@':
6345ffd83dbSDimitry Andric     Signed = false;
6355ffd83dbSDimitry Andric     Float = false;
6365ffd83dbSDimitry Andric     BFloat = false;
6375ffd83dbSDimitry Andric     ElementBitwidth /= 4;
6385ffd83dbSDimitry Andric     NumVectors = 0;
6395ffd83dbSDimitry Andric     break;
6405ffd83dbSDimitry Andric   case 'K':
6415ffd83dbSDimitry Andric     Signed = true;
6425ffd83dbSDimitry Andric     Float = false;
6435ffd83dbSDimitry Andric     BFloat = false;
6445ffd83dbSDimitry Andric     Bitwidth = ElementBitwidth;
6455ffd83dbSDimitry Andric     NumVectors = 0;
6465ffd83dbSDimitry Andric     break;
6475ffd83dbSDimitry Andric   case 'L':
6485ffd83dbSDimitry Andric     Signed = false;
6495ffd83dbSDimitry Andric     Float = false;
6505ffd83dbSDimitry Andric     BFloat = false;
6515ffd83dbSDimitry Andric     Bitwidth = ElementBitwidth;
6525ffd83dbSDimitry Andric     NumVectors = 0;
6535ffd83dbSDimitry Andric     break;
6545ffd83dbSDimitry Andric   case 'u':
6555ffd83dbSDimitry Andric     Predicate = false;
65606c3fb27SDimitry Andric     Svcount = false;
6575ffd83dbSDimitry Andric     Signed = false;
6585ffd83dbSDimitry Andric     Float = false;
6595ffd83dbSDimitry Andric     BFloat = false;
6605ffd83dbSDimitry Andric     break;
6615ffd83dbSDimitry Andric   case 'x':
6625ffd83dbSDimitry Andric     Predicate = false;
66306c3fb27SDimitry Andric     Svcount = false;
6645ffd83dbSDimitry Andric     Signed = true;
6655ffd83dbSDimitry Andric     Float = false;
6665ffd83dbSDimitry Andric     BFloat = false;
6675ffd83dbSDimitry Andric     break;
6685ffd83dbSDimitry Andric   case 'i':
6695ffd83dbSDimitry Andric     Predicate = false;
67006c3fb27SDimitry Andric     Svcount = false;
6715ffd83dbSDimitry Andric     Float = false;
6725ffd83dbSDimitry Andric     BFloat = false;
6735ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 64;
6745ffd83dbSDimitry Andric     NumVectors = 0;
6755ffd83dbSDimitry Andric     Signed = false;
6765ffd83dbSDimitry Andric     Immediate = true;
6775ffd83dbSDimitry Andric     break;
6785ffd83dbSDimitry Andric   case 'I':
6795ffd83dbSDimitry Andric     Predicate = false;
68006c3fb27SDimitry Andric     Svcount = false;
6815ffd83dbSDimitry Andric     Float = false;
6825ffd83dbSDimitry Andric     BFloat = false;
6835ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
6845ffd83dbSDimitry Andric     NumVectors = 0;
6855ffd83dbSDimitry Andric     Signed = true;
6865ffd83dbSDimitry Andric     Immediate = true;
6875ffd83dbSDimitry Andric     PredicatePattern = true;
6885ffd83dbSDimitry Andric     break;
6895ffd83dbSDimitry Andric   case 'J':
6905ffd83dbSDimitry Andric     Predicate = false;
69106c3fb27SDimitry Andric     Svcount = false;
6925ffd83dbSDimitry Andric     Float = false;
6935ffd83dbSDimitry Andric     BFloat = false;
6945ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
6955ffd83dbSDimitry Andric     NumVectors = 0;
6965ffd83dbSDimitry Andric     Signed = true;
6975ffd83dbSDimitry Andric     Immediate = true;
6985ffd83dbSDimitry Andric     PrefetchOp = true;
6995ffd83dbSDimitry Andric     break;
7005ffd83dbSDimitry Andric   case 'k':
7015ffd83dbSDimitry Andric     Predicate = false;
70206c3fb27SDimitry Andric     Svcount = false;
7035ffd83dbSDimitry Andric     Signed = true;
7045ffd83dbSDimitry Andric     Float = false;
7055ffd83dbSDimitry Andric     BFloat = false;
7065ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
7075ffd83dbSDimitry Andric     NumVectors = 0;
7085ffd83dbSDimitry Andric     break;
7095ffd83dbSDimitry Andric   case 'l':
7105ffd83dbSDimitry Andric     Predicate = false;
71106c3fb27SDimitry Andric     Svcount = false;
7125ffd83dbSDimitry Andric     Signed = true;
7135ffd83dbSDimitry Andric     Float = false;
7145ffd83dbSDimitry Andric     BFloat = false;
7155ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 64;
7165ffd83dbSDimitry Andric     NumVectors = 0;
7175ffd83dbSDimitry Andric     break;
7185ffd83dbSDimitry Andric   case 'm':
7195ffd83dbSDimitry Andric     Predicate = false;
72006c3fb27SDimitry Andric     Svcount = false;
7215ffd83dbSDimitry Andric     Signed = false;
7225ffd83dbSDimitry Andric     Float = false;
7235ffd83dbSDimitry Andric     BFloat = false;
7245ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
7255ffd83dbSDimitry Andric     NumVectors = 0;
7265ffd83dbSDimitry Andric     break;
7275ffd83dbSDimitry Andric   case 'n':
7285ffd83dbSDimitry Andric     Predicate = false;
72906c3fb27SDimitry Andric     Svcount = false;
7305ffd83dbSDimitry Andric     Signed = false;
7315ffd83dbSDimitry Andric     Float = false;
7325ffd83dbSDimitry Andric     BFloat = false;
7335ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 64;
7345ffd83dbSDimitry Andric     NumVectors = 0;
7355ffd83dbSDimitry Andric     break;
7365ffd83dbSDimitry Andric   case 'w':
7375ffd83dbSDimitry Andric     ElementBitwidth = 64;
7385ffd83dbSDimitry Andric     break;
7395ffd83dbSDimitry Andric   case 'j':
7405ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 64;
7415ffd83dbSDimitry Andric     NumVectors = 0;
7425ffd83dbSDimitry Andric     break;
7435ffd83dbSDimitry Andric   case 'f':
7445ffd83dbSDimitry Andric     Signed = false;
7455ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 64;
7465ffd83dbSDimitry Andric     NumVectors = 0;
7475ffd83dbSDimitry Andric     break;
7485ffd83dbSDimitry Andric   case 'g':
7495ffd83dbSDimitry Andric     Signed = false;
7505ffd83dbSDimitry Andric     Float = false;
7515ffd83dbSDimitry Andric     BFloat = false;
7525ffd83dbSDimitry Andric     ElementBitwidth = 64;
7535ffd83dbSDimitry Andric     break;
754*5f757f3fSDimitry Andric   case '[':
755*5f757f3fSDimitry Andric     Signed = false;
756*5f757f3fSDimitry Andric     Float = false;
757*5f757f3fSDimitry Andric     BFloat = false;
758*5f757f3fSDimitry Andric     ElementBitwidth = 8;
759*5f757f3fSDimitry Andric     break;
7605ffd83dbSDimitry Andric   case 't':
7615ffd83dbSDimitry Andric     Signed = true;
7625ffd83dbSDimitry Andric     Float = false;
7635ffd83dbSDimitry Andric     BFloat = false;
7645ffd83dbSDimitry Andric     ElementBitwidth = 32;
7655ffd83dbSDimitry Andric     break;
7665ffd83dbSDimitry Andric   case 'z':
7675ffd83dbSDimitry Andric     Signed = false;
7685ffd83dbSDimitry Andric     Float = false;
7695ffd83dbSDimitry Andric     BFloat = false;
7705ffd83dbSDimitry Andric     ElementBitwidth = 32;
7715ffd83dbSDimitry Andric     break;
7725ffd83dbSDimitry Andric   case 'O':
7735ffd83dbSDimitry Andric     Predicate = false;
77406c3fb27SDimitry Andric     Svcount = false;
7755ffd83dbSDimitry Andric     Float = true;
7765ffd83dbSDimitry Andric     ElementBitwidth = 16;
7775ffd83dbSDimitry Andric     break;
7785ffd83dbSDimitry Andric   case 'M':
7795ffd83dbSDimitry Andric     Predicate = false;
78006c3fb27SDimitry Andric     Svcount = false;
7815ffd83dbSDimitry Andric     Float = true;
7825ffd83dbSDimitry Andric     BFloat = false;
7835ffd83dbSDimitry Andric     ElementBitwidth = 32;
7845ffd83dbSDimitry Andric     break;
7855ffd83dbSDimitry Andric   case 'N':
7865ffd83dbSDimitry Andric     Predicate = false;
78706c3fb27SDimitry Andric     Svcount = false;
7885ffd83dbSDimitry Andric     Float = true;
7895ffd83dbSDimitry Andric     ElementBitwidth = 64;
7905ffd83dbSDimitry Andric     break;
7915ffd83dbSDimitry Andric   case 'Q':
7925ffd83dbSDimitry Andric     Constant = true;
7935ffd83dbSDimitry Andric     Pointer = true;
7945ffd83dbSDimitry Andric     Void = true;
7955ffd83dbSDimitry Andric     NumVectors = 0;
7965ffd83dbSDimitry Andric     break;
7975ffd83dbSDimitry Andric   case 'S':
7985ffd83dbSDimitry Andric     Constant = true;
7995ffd83dbSDimitry Andric     Pointer = true;
8005ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 8;
8015ffd83dbSDimitry Andric     NumVectors = 0;
8025ffd83dbSDimitry Andric     Signed = true;
8035ffd83dbSDimitry Andric     break;
8045ffd83dbSDimitry Andric   case 'W':
8055ffd83dbSDimitry Andric     Constant = true;
8065ffd83dbSDimitry Andric     Pointer = true;
8075ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 8;
8085ffd83dbSDimitry Andric     NumVectors = 0;
8095ffd83dbSDimitry Andric     Signed = false;
8105ffd83dbSDimitry Andric     break;
8115ffd83dbSDimitry Andric   case 'T':
8125ffd83dbSDimitry Andric     Constant = true;
8135ffd83dbSDimitry Andric     Pointer = true;
8145ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 16;
8155ffd83dbSDimitry Andric     NumVectors = 0;
8165ffd83dbSDimitry Andric     Signed = true;
8175ffd83dbSDimitry Andric     break;
8185ffd83dbSDimitry Andric   case 'X':
8195ffd83dbSDimitry Andric     Constant = true;
8205ffd83dbSDimitry Andric     Pointer = true;
8215ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 16;
8225ffd83dbSDimitry Andric     NumVectors = 0;
8235ffd83dbSDimitry Andric     Signed = false;
8245ffd83dbSDimitry Andric     break;
8255ffd83dbSDimitry Andric   case 'Y':
8265ffd83dbSDimitry Andric     Constant = true;
8275ffd83dbSDimitry Andric     Pointer = true;
8285ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
8295ffd83dbSDimitry Andric     NumVectors = 0;
8305ffd83dbSDimitry Andric     Signed = false;
8315ffd83dbSDimitry Andric     break;
8325ffd83dbSDimitry Andric   case 'U':
8335ffd83dbSDimitry Andric     Constant = true;
8345ffd83dbSDimitry Andric     Pointer = true;
8355ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
8365ffd83dbSDimitry Andric     NumVectors = 0;
8375ffd83dbSDimitry Andric     Signed = true;
8385ffd83dbSDimitry Andric     break;
83906c3fb27SDimitry Andric   case '%':
84006c3fb27SDimitry Andric     Pointer = true;
84106c3fb27SDimitry Andric     Void = true;
84206c3fb27SDimitry Andric     NumVectors = 0;
84306c3fb27SDimitry Andric     break;
8445ffd83dbSDimitry Andric   case 'A':
8455ffd83dbSDimitry Andric     Pointer = true;
8465ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 8;
8475ffd83dbSDimitry Andric     NumVectors = 0;
8485ffd83dbSDimitry Andric     Signed = true;
8495ffd83dbSDimitry Andric     break;
8505ffd83dbSDimitry Andric   case 'B':
8515ffd83dbSDimitry Andric     Pointer = true;
8525ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 16;
8535ffd83dbSDimitry Andric     NumVectors = 0;
8545ffd83dbSDimitry Andric     Signed = true;
8555ffd83dbSDimitry Andric     break;
8565ffd83dbSDimitry Andric   case 'C':
8575ffd83dbSDimitry Andric     Pointer = true;
8585ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
8595ffd83dbSDimitry Andric     NumVectors = 0;
8605ffd83dbSDimitry Andric     Signed = true;
8615ffd83dbSDimitry Andric     break;
8625ffd83dbSDimitry Andric   case 'D':
8635ffd83dbSDimitry Andric     Pointer = true;
8645ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 64;
8655ffd83dbSDimitry Andric     NumVectors = 0;
8665ffd83dbSDimitry Andric     Signed = true;
8675ffd83dbSDimitry Andric     break;
8685ffd83dbSDimitry Andric   case 'E':
8695ffd83dbSDimitry Andric     Pointer = true;
8705ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 8;
8715ffd83dbSDimitry Andric     NumVectors = 0;
8725ffd83dbSDimitry Andric     Signed = false;
8735ffd83dbSDimitry Andric     break;
8745ffd83dbSDimitry Andric   case 'F':
8755ffd83dbSDimitry Andric     Pointer = true;
8765ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 16;
8775ffd83dbSDimitry Andric     NumVectors = 0;
8785ffd83dbSDimitry Andric     Signed = false;
8795ffd83dbSDimitry Andric     break;
8805ffd83dbSDimitry Andric   case 'G':
8815ffd83dbSDimitry Andric     Pointer = true;
8825ffd83dbSDimitry Andric     ElementBitwidth = Bitwidth = 32;
8835ffd83dbSDimitry Andric     NumVectors = 0;
8845ffd83dbSDimitry Andric     Signed = false;
8855ffd83dbSDimitry Andric     break;
886*5f757f3fSDimitry Andric   case '$':
887*5f757f3fSDimitry Andric     Predicate = false;
888*5f757f3fSDimitry Andric     Svcount = false;
889*5f757f3fSDimitry Andric     Float = false;
890*5f757f3fSDimitry Andric     BFloat = true;
891*5f757f3fSDimitry Andric     ElementBitwidth = 16;
892*5f757f3fSDimitry Andric     break;
89306c3fb27SDimitry Andric   case '}':
89406c3fb27SDimitry Andric     Predicate = false;
89506c3fb27SDimitry Andric     Signed = true;
89606c3fb27SDimitry Andric     Svcount = true;
89706c3fb27SDimitry Andric     NumVectors = 0;
89806c3fb27SDimitry Andric     Float = false;
89906c3fb27SDimitry Andric     BFloat = false;
90006c3fb27SDimitry Andric     break;
901*5f757f3fSDimitry Andric   case '.':
902*5f757f3fSDimitry Andric     llvm_unreachable(". is never a type in itself");
903*5f757f3fSDimitry Andric     break;
9045ffd83dbSDimitry Andric   default:
9055ffd83dbSDimitry Andric     llvm_unreachable("Unhandled character!");
9065ffd83dbSDimitry Andric   }
9075ffd83dbSDimitry Andric }
9085ffd83dbSDimitry Andric 
909*5f757f3fSDimitry Andric /// Returns the modifier and number of vectors for the given operand \p Op.
910*5f757f3fSDimitry Andric std::pair<char, unsigned> getProtoModifier(StringRef Proto, unsigned Op) {
911*5f757f3fSDimitry Andric   for (unsigned P = 0; !Proto.empty(); ++P) {
912*5f757f3fSDimitry Andric     unsigned NumVectors = 1;
913*5f757f3fSDimitry Andric     unsigned CharsToSkip = 1;
914*5f757f3fSDimitry Andric     char Mod = Proto[0];
915*5f757f3fSDimitry Andric     if (Mod == '2' || Mod == '3' || Mod == '4') {
916*5f757f3fSDimitry Andric       NumVectors = Mod - '0';
917*5f757f3fSDimitry Andric       Mod = 'd';
918*5f757f3fSDimitry Andric       if (Proto.size() > 1 && Proto[1] == '.') {
919*5f757f3fSDimitry Andric         Mod = Proto[2];
920*5f757f3fSDimitry Andric         CharsToSkip = 3;
921*5f757f3fSDimitry Andric       }
922*5f757f3fSDimitry Andric     }
923*5f757f3fSDimitry Andric 
924*5f757f3fSDimitry Andric     if (P == Op)
925*5f757f3fSDimitry Andric       return {Mod, NumVectors};
926*5f757f3fSDimitry Andric 
927*5f757f3fSDimitry Andric     Proto = Proto.drop_front(CharsToSkip);
928*5f757f3fSDimitry Andric   }
929*5f757f3fSDimitry Andric   llvm_unreachable("Unexpected Op");
930*5f757f3fSDimitry Andric }
9315ffd83dbSDimitry Andric 
9325ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
9335ffd83dbSDimitry Andric // Intrinsic implementation
9345ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
9355ffd83dbSDimitry Andric 
9365ffd83dbSDimitry Andric Intrinsic::Intrinsic(StringRef Name, StringRef Proto, uint64_t MergeTy,
9375ffd83dbSDimitry Andric                      StringRef MergeSuffix, uint64_t MemoryElementTy,
9385ffd83dbSDimitry Andric                      StringRef LLVMName, uint64_t Flags,
9395ffd83dbSDimitry Andric                      ArrayRef<ImmCheck> Checks, TypeSpec BT, ClassKind Class,
9405ffd83dbSDimitry Andric                      SVEEmitter &Emitter, StringRef Guard)
9415ffd83dbSDimitry Andric     : Name(Name.str()), LLVMName(LLVMName), Proto(Proto.str()),
9425ffd83dbSDimitry Andric       BaseTypeSpec(BT), Class(Class), Guard(Guard.str()),
9435ffd83dbSDimitry Andric       MergeSuffix(MergeSuffix.str()), BaseType(BT, 'd'), Flags(Flags),
9445ffd83dbSDimitry Andric       ImmChecks(Checks.begin(), Checks.end()) {
9455ffd83dbSDimitry Andric   // Types[0] is the return value.
946*5f757f3fSDimitry Andric   for (unsigned I = 0; I < (getNumParams() + 1); ++I) {
947*5f757f3fSDimitry Andric     char Mod;
948*5f757f3fSDimitry Andric     unsigned NumVectors;
949*5f757f3fSDimitry Andric     std::tie(Mod, NumVectors) = getProtoModifier(Proto, I);
950*5f757f3fSDimitry Andric     SVEType T(BaseTypeSpec, Mod, NumVectors);
9515ffd83dbSDimitry Andric     Types.push_back(T);
9525ffd83dbSDimitry Andric 
9535ffd83dbSDimitry Andric     // Add range checks for immediates
9545ffd83dbSDimitry Andric     if (I > 0) {
9555ffd83dbSDimitry Andric       if (T.isPredicatePattern())
9565ffd83dbSDimitry Andric         ImmChecks.emplace_back(
9575ffd83dbSDimitry Andric             I - 1, Emitter.getEnumValueForImmCheck("ImmCheck0_31"));
9585ffd83dbSDimitry Andric       else if (T.isPrefetchOp())
9595ffd83dbSDimitry Andric         ImmChecks.emplace_back(
9605ffd83dbSDimitry Andric             I - 1, Emitter.getEnumValueForImmCheck("ImmCheck0_13"));
9615ffd83dbSDimitry Andric     }
9625ffd83dbSDimitry Andric   }
9635ffd83dbSDimitry Andric 
9645ffd83dbSDimitry Andric   // Set flags based on properties
9655ffd83dbSDimitry Andric   this->Flags |= Emitter.encodeTypeFlags(BaseType);
9665ffd83dbSDimitry Andric   this->Flags |= Emitter.encodeMemoryElementType(MemoryElementTy);
9675ffd83dbSDimitry Andric   this->Flags |= Emitter.encodeMergeType(MergeTy);
9685ffd83dbSDimitry Andric   if (hasSplat())
9695ffd83dbSDimitry Andric     this->Flags |= Emitter.encodeSplatOperand(getSplatIdx());
9705ffd83dbSDimitry Andric }
9715ffd83dbSDimitry Andric 
9725ffd83dbSDimitry Andric std::string Intrinsic::getBuiltinTypeStr() {
9735ffd83dbSDimitry Andric   std::string S = getReturnType().builtin_str();
9745ffd83dbSDimitry Andric   for (unsigned I = 0; I < getNumParams(); ++I)
9755ffd83dbSDimitry Andric     S += getParamType(I).builtin_str();
9765ffd83dbSDimitry Andric 
9775ffd83dbSDimitry Andric   return S;
9785ffd83dbSDimitry Andric }
9795ffd83dbSDimitry Andric 
9805ffd83dbSDimitry Andric std::string Intrinsic::replaceTemplatedArgs(std::string Name, TypeSpec TS,
9815ffd83dbSDimitry Andric                                             std::string Proto) const {
9825ffd83dbSDimitry Andric   std::string Ret = Name;
9835ffd83dbSDimitry Andric   while (Ret.find('{') != std::string::npos) {
9845ffd83dbSDimitry Andric     size_t Pos = Ret.find('{');
9855ffd83dbSDimitry Andric     size_t End = Ret.find('}');
9865ffd83dbSDimitry Andric     unsigned NumChars = End - Pos + 1;
9875ffd83dbSDimitry Andric     assert(NumChars == 3 && "Unexpected template argument");
9885ffd83dbSDimitry Andric 
9895ffd83dbSDimitry Andric     SVEType T;
9905ffd83dbSDimitry Andric     char C = Ret[Pos+1];
9915ffd83dbSDimitry Andric     switch(C) {
9925ffd83dbSDimitry Andric     default:
9935ffd83dbSDimitry Andric       llvm_unreachable("Unknown predication specifier");
9945ffd83dbSDimitry Andric     case 'd':
9955ffd83dbSDimitry Andric       T = SVEType(TS, 'd');
9965ffd83dbSDimitry Andric       break;
9975ffd83dbSDimitry Andric     case '0':
9985ffd83dbSDimitry Andric     case '1':
9995ffd83dbSDimitry Andric     case '2':
10005ffd83dbSDimitry Andric     case '3':
10015ffd83dbSDimitry Andric       T = SVEType(TS, Proto[C - '0']);
10025ffd83dbSDimitry Andric       break;
10035ffd83dbSDimitry Andric     }
10045ffd83dbSDimitry Andric 
10055ffd83dbSDimitry Andric     // Replace templated arg with the right suffix (e.g. u32)
10065ffd83dbSDimitry Andric     std::string TypeCode;
10075ffd83dbSDimitry Andric     if (T.isInteger())
10085ffd83dbSDimitry Andric       TypeCode = T.isSigned() ? 's' : 'u';
100906c3fb27SDimitry Andric     else if (T.isSvcount())
101006c3fb27SDimitry Andric       TypeCode = 'c';
10115ffd83dbSDimitry Andric     else if (T.isPredicateVector())
10125ffd83dbSDimitry Andric       TypeCode = 'b';
10135ffd83dbSDimitry Andric     else if (T.isBFloat())
10145ffd83dbSDimitry Andric       TypeCode = "bf";
10155ffd83dbSDimitry Andric     else
10165ffd83dbSDimitry Andric       TypeCode = 'f';
10175ffd83dbSDimitry Andric     Ret.replace(Pos, NumChars, TypeCode + utostr(T.getElementSizeInBits()));
10185ffd83dbSDimitry Andric   }
10195ffd83dbSDimitry Andric 
10205ffd83dbSDimitry Andric   return Ret;
10215ffd83dbSDimitry Andric }
10225ffd83dbSDimitry Andric 
102306c3fb27SDimitry Andric std::string Intrinsic::mangleLLVMName() const {
102406c3fb27SDimitry Andric   std::string S = getLLVMName();
102506c3fb27SDimitry Andric 
102606c3fb27SDimitry Andric   // Replace all {d} like expressions with e.g. 'u32'
102706c3fb27SDimitry Andric   return replaceTemplatedArgs(S, getBaseTypeSpec(), getProto());
102806c3fb27SDimitry Andric }
102906c3fb27SDimitry Andric 
10305ffd83dbSDimitry Andric std::string Intrinsic::mangleName(ClassKind LocalCK) const {
10315ffd83dbSDimitry Andric   std::string S = getName();
10325ffd83dbSDimitry Andric 
10335ffd83dbSDimitry Andric   if (LocalCK == ClassG) {
10345ffd83dbSDimitry Andric     // Remove the square brackets and everything in between.
1035e8d8bef9SDimitry Andric     while (S.find('[') != std::string::npos) {
1036e8d8bef9SDimitry Andric       auto Start = S.find('[');
10375ffd83dbSDimitry Andric       auto End = S.find(']');
10385ffd83dbSDimitry Andric       S.erase(Start, (End-Start)+1);
10395ffd83dbSDimitry Andric     }
10405ffd83dbSDimitry Andric   } else {
10415ffd83dbSDimitry Andric     // Remove the square brackets.
1042e8d8bef9SDimitry Andric     while (S.find('[') != std::string::npos) {
10435ffd83dbSDimitry Andric       auto BrPos = S.find('[');
10445ffd83dbSDimitry Andric       if (BrPos != std::string::npos)
10455ffd83dbSDimitry Andric         S.erase(BrPos, 1);
10465ffd83dbSDimitry Andric       BrPos = S.find(']');
10475ffd83dbSDimitry Andric       if (BrPos != std::string::npos)
10485ffd83dbSDimitry Andric         S.erase(BrPos, 1);
10495ffd83dbSDimitry Andric     }
10505ffd83dbSDimitry Andric   }
10515ffd83dbSDimitry Andric 
10525ffd83dbSDimitry Andric   // Replace all {d} like expressions with e.g. 'u32'
10535ffd83dbSDimitry Andric   return replaceTemplatedArgs(S, getBaseTypeSpec(), getProto()) +
10545ffd83dbSDimitry Andric          getMergeSuffix();
10555ffd83dbSDimitry Andric }
10565ffd83dbSDimitry Andric 
1057*5f757f3fSDimitry Andric void Intrinsic::emitIntrinsic(raw_ostream &OS, SVEEmitter &Emitter,
1058*5f757f3fSDimitry Andric                               ACLEKind Kind) const {
1059fe6060f1SDimitry Andric   bool IsOverloaded = getClassKind() == ClassG && getProto().size() > 1;
10605ffd83dbSDimitry Andric 
1061fe6060f1SDimitry Andric   std::string FullName = mangleName(ClassS);
1062fe6060f1SDimitry Andric   std::string ProtoName = mangleName(getClassKind());
106306c3fb27SDimitry Andric   std::string SMEAttrs = "";
106406c3fb27SDimitry Andric 
106506c3fb27SDimitry Andric   if (Flags & Emitter.getEnumValueForFlag("IsStreaming"))
106606c3fb27SDimitry Andric     SMEAttrs += ", arm_streaming";
106706c3fb27SDimitry Andric   if (Flags & Emitter.getEnumValueForFlag("IsStreamingCompatible"))
106806c3fb27SDimitry Andric     SMEAttrs += ", arm_streaming_compatible";
106906c3fb27SDimitry Andric   if (Flags & Emitter.getEnumValueForFlag("IsSharedZA"))
107006c3fb27SDimitry Andric     SMEAttrs += ", arm_shared_za";
107106c3fb27SDimitry Andric   if (Flags & Emitter.getEnumValueForFlag("IsPreservesZA"))
107206c3fb27SDimitry Andric     SMEAttrs += ", arm_preserves_za";
1073fe6060f1SDimitry Andric 
1074fe6060f1SDimitry Andric   OS << (IsOverloaded ? "__aio " : "__ai ")
1075*5f757f3fSDimitry Andric      << "__attribute__((__clang_arm_builtin_alias(";
1076*5f757f3fSDimitry Andric 
1077*5f757f3fSDimitry Andric   switch (Kind) {
1078*5f757f3fSDimitry Andric   case ACLEKind::SME:
1079*5f757f3fSDimitry Andric     OS << "__builtin_sme_" << FullName << ")";
1080*5f757f3fSDimitry Andric     break;
1081*5f757f3fSDimitry Andric   case ACLEKind::SVE:
1082*5f757f3fSDimitry Andric     OS << "__builtin_sve_" << FullName << ")";
1083*5f757f3fSDimitry Andric     break;
1084*5f757f3fSDimitry Andric   }
1085*5f757f3fSDimitry Andric 
108606c3fb27SDimitry Andric   if (!SMEAttrs.empty())
108706c3fb27SDimitry Andric     OS << SMEAttrs;
108806c3fb27SDimitry Andric   OS << "))\n";
10895ffd83dbSDimitry Andric 
10905ffd83dbSDimitry Andric   OS << getTypes()[0].str() << " " << ProtoName << "(";
10915ffd83dbSDimitry Andric   for (unsigned I = 0; I < getTypes().size() - 1; ++I) {
10925ffd83dbSDimitry Andric     if (I != 0)
10935ffd83dbSDimitry Andric       OS << ", ";
10945ffd83dbSDimitry Andric     OS << getTypes()[I + 1].str();
10955ffd83dbSDimitry Andric   }
10965ffd83dbSDimitry Andric   OS << ");\n";
10975ffd83dbSDimitry Andric }
10985ffd83dbSDimitry Andric 
10995ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
11005ffd83dbSDimitry Andric // SVEEmitter implementation
11015ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
11025ffd83dbSDimitry Andric uint64_t SVEEmitter::encodeTypeFlags(const SVEType &T) {
11035ffd83dbSDimitry Andric   if (T.isFloat()) {
11045ffd83dbSDimitry Andric     switch (T.getElementSizeInBits()) {
11055ffd83dbSDimitry Andric     case 16:
11065ffd83dbSDimitry Andric       return encodeEltType("EltTyFloat16");
11075ffd83dbSDimitry Andric     case 32:
11085ffd83dbSDimitry Andric       return encodeEltType("EltTyFloat32");
11095ffd83dbSDimitry Andric     case 64:
11105ffd83dbSDimitry Andric       return encodeEltType("EltTyFloat64");
11115ffd83dbSDimitry Andric     default:
11125ffd83dbSDimitry Andric       llvm_unreachable("Unhandled float element bitwidth!");
11135ffd83dbSDimitry Andric     }
11145ffd83dbSDimitry Andric   }
11155ffd83dbSDimitry Andric 
11165ffd83dbSDimitry Andric   if (T.isBFloat()) {
11175ffd83dbSDimitry Andric     assert(T.getElementSizeInBits() == 16 && "Not a valid BFloat.");
11185ffd83dbSDimitry Andric     return encodeEltType("EltTyBFloat16");
11195ffd83dbSDimitry Andric   }
11205ffd83dbSDimitry Andric 
112106c3fb27SDimitry Andric   if (T.isPredicateVector() || T.isSvcount()) {
11225ffd83dbSDimitry Andric     switch (T.getElementSizeInBits()) {
11235ffd83dbSDimitry Andric     case 8:
11245ffd83dbSDimitry Andric       return encodeEltType("EltTyBool8");
11255ffd83dbSDimitry Andric     case 16:
11265ffd83dbSDimitry Andric       return encodeEltType("EltTyBool16");
11275ffd83dbSDimitry Andric     case 32:
11285ffd83dbSDimitry Andric       return encodeEltType("EltTyBool32");
11295ffd83dbSDimitry Andric     case 64:
11305ffd83dbSDimitry Andric       return encodeEltType("EltTyBool64");
11315ffd83dbSDimitry Andric     default:
11325ffd83dbSDimitry Andric       llvm_unreachable("Unhandled predicate element bitwidth!");
11335ffd83dbSDimitry Andric     }
11345ffd83dbSDimitry Andric   }
11355ffd83dbSDimitry Andric 
11365ffd83dbSDimitry Andric   switch (T.getElementSizeInBits()) {
11375ffd83dbSDimitry Andric   case 8:
11385ffd83dbSDimitry Andric     return encodeEltType("EltTyInt8");
11395ffd83dbSDimitry Andric   case 16:
11405ffd83dbSDimitry Andric     return encodeEltType("EltTyInt16");
11415ffd83dbSDimitry Andric   case 32:
11425ffd83dbSDimitry Andric     return encodeEltType("EltTyInt32");
11435ffd83dbSDimitry Andric   case 64:
11445ffd83dbSDimitry Andric     return encodeEltType("EltTyInt64");
114506c3fb27SDimitry Andric   case 128:
114606c3fb27SDimitry Andric     return encodeEltType("EltTyInt128");
11475ffd83dbSDimitry Andric   default:
11485ffd83dbSDimitry Andric     llvm_unreachable("Unhandled integer element bitwidth!");
11495ffd83dbSDimitry Andric   }
11505ffd83dbSDimitry Andric }
11515ffd83dbSDimitry Andric 
11525ffd83dbSDimitry Andric void SVEEmitter::createIntrinsic(
11535ffd83dbSDimitry Andric     Record *R, SmallVectorImpl<std::unique_ptr<Intrinsic>> &Out) {
11545ffd83dbSDimitry Andric   StringRef Name = R->getValueAsString("Name");
11555ffd83dbSDimitry Andric   StringRef Proto = R->getValueAsString("Prototype");
11565ffd83dbSDimitry Andric   StringRef Types = R->getValueAsString("Types");
1157bdd1243dSDimitry Andric   StringRef Guard = R->getValueAsString("TargetGuard");
11585ffd83dbSDimitry Andric   StringRef LLVMName = R->getValueAsString("LLVMIntrinsic");
11595ffd83dbSDimitry Andric   uint64_t Merge = R->getValueAsInt("Merge");
11605ffd83dbSDimitry Andric   StringRef MergeSuffix = R->getValueAsString("MergeSuffix");
11615ffd83dbSDimitry Andric   uint64_t MemEltType = R->getValueAsInt("MemEltType");
11625ffd83dbSDimitry Andric   std::vector<Record*> FlagsList = R->getValueAsListOfDefs("Flags");
11635ffd83dbSDimitry Andric   std::vector<Record*> ImmCheckList = R->getValueAsListOfDefs("ImmChecks");
11645ffd83dbSDimitry Andric 
11655ffd83dbSDimitry Andric   int64_t Flags = 0;
11665ffd83dbSDimitry Andric   for (auto FlagRec : FlagsList)
11675ffd83dbSDimitry Andric     Flags |= FlagRec->getValueAsInt("Value");
11685ffd83dbSDimitry Andric 
11695ffd83dbSDimitry Andric   // Create a dummy TypeSpec for non-overloaded builtins.
11705ffd83dbSDimitry Andric   if (Types.empty()) {
11715ffd83dbSDimitry Andric     assert((Flags & getEnumValueForFlag("IsOverloadNone")) &&
11725ffd83dbSDimitry Andric            "Expect TypeSpec for overloaded builtin!");
11735ffd83dbSDimitry Andric     Types = "i";
11745ffd83dbSDimitry Andric   }
11755ffd83dbSDimitry Andric 
11765ffd83dbSDimitry Andric   // Extract type specs from string
11775ffd83dbSDimitry Andric   SmallVector<TypeSpec, 8> TypeSpecs;
11785ffd83dbSDimitry Andric   TypeSpec Acc;
11795ffd83dbSDimitry Andric   for (char I : Types) {
11805ffd83dbSDimitry Andric     Acc.push_back(I);
11815ffd83dbSDimitry Andric     if (islower(I)) {
11825ffd83dbSDimitry Andric       TypeSpecs.push_back(TypeSpec(Acc));
11835ffd83dbSDimitry Andric       Acc.clear();
11845ffd83dbSDimitry Andric     }
11855ffd83dbSDimitry Andric   }
11865ffd83dbSDimitry Andric 
11875ffd83dbSDimitry Andric   // Remove duplicate type specs.
11885ffd83dbSDimitry Andric   llvm::sort(TypeSpecs);
11895ffd83dbSDimitry Andric   TypeSpecs.erase(std::unique(TypeSpecs.begin(), TypeSpecs.end()),
11905ffd83dbSDimitry Andric                   TypeSpecs.end());
11915ffd83dbSDimitry Andric 
11925ffd83dbSDimitry Andric   // Create an Intrinsic for each type spec.
11935ffd83dbSDimitry Andric   for (auto TS : TypeSpecs) {
11945ffd83dbSDimitry Andric     // Collate a list of range/option checks for the immediates.
11955ffd83dbSDimitry Andric     SmallVector<ImmCheck, 2> ImmChecks;
11965ffd83dbSDimitry Andric     for (auto *R : ImmCheckList) {
11975ffd83dbSDimitry Andric       int64_t Arg = R->getValueAsInt("Arg");
11985ffd83dbSDimitry Andric       int64_t EltSizeArg = R->getValueAsInt("EltSizeArg");
11995ffd83dbSDimitry Andric       int64_t Kind = R->getValueAsDef("Kind")->getValueAsInt("Value");
12005ffd83dbSDimitry Andric       assert(Arg >= 0 && Kind >= 0 && "Arg and Kind must be nonnegative");
12015ffd83dbSDimitry Andric 
12025ffd83dbSDimitry Andric       unsigned ElementSizeInBits = 0;
1203*5f757f3fSDimitry Andric       char Mod;
1204*5f757f3fSDimitry Andric       unsigned NumVectors;
1205*5f757f3fSDimitry Andric       std::tie(Mod, NumVectors) = getProtoModifier(Proto, EltSizeArg + 1);
12065ffd83dbSDimitry Andric       if (EltSizeArg >= 0)
1207*5f757f3fSDimitry Andric         ElementSizeInBits = SVEType(TS, Mod, NumVectors).getElementSizeInBits();
12085ffd83dbSDimitry Andric       ImmChecks.push_back(ImmCheck(Arg, Kind, ElementSizeInBits));
12095ffd83dbSDimitry Andric     }
12105ffd83dbSDimitry Andric 
12115ffd83dbSDimitry Andric     Out.push_back(std::make_unique<Intrinsic>(
12125ffd83dbSDimitry Andric         Name, Proto, Merge, MergeSuffix, MemEltType, LLVMName, Flags, ImmChecks,
12135ffd83dbSDimitry Andric         TS, ClassS, *this, Guard));
12145ffd83dbSDimitry Andric 
12155ffd83dbSDimitry Andric     // Also generate the short-form (e.g. svadd_m) for the given type-spec.
12165ffd83dbSDimitry Andric     if (Intrinsic::isOverloadedIntrinsic(Name))
12175ffd83dbSDimitry Andric       Out.push_back(std::make_unique<Intrinsic>(
12185ffd83dbSDimitry Andric           Name, Proto, Merge, MergeSuffix, MemEltType, LLVMName, Flags,
12195ffd83dbSDimitry Andric           ImmChecks, TS, ClassG, *this, Guard));
12205ffd83dbSDimitry Andric   }
12215ffd83dbSDimitry Andric }
12225ffd83dbSDimitry Andric 
1223*5f757f3fSDimitry Andric void SVEEmitter::createCoreHeaderIntrinsics(raw_ostream &OS,
1224*5f757f3fSDimitry Andric                                             SVEEmitter &Emitter,
1225*5f757f3fSDimitry Andric                                             ACLEKind Kind) {
1226*5f757f3fSDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
1227*5f757f3fSDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
1228*5f757f3fSDimitry Andric   for (auto *R : RV)
1229*5f757f3fSDimitry Andric     createIntrinsic(R, Defs);
1230*5f757f3fSDimitry Andric 
1231*5f757f3fSDimitry Andric   // Sort intrinsics in header file by following order/priority:
1232*5f757f3fSDimitry Andric   // - Architectural guard (i.e. does it require SVE2 or SVE2_AES)
1233*5f757f3fSDimitry Andric   // - Class (is intrinsic overloaded or not)
1234*5f757f3fSDimitry Andric   // - Intrinsic name
1235*5f757f3fSDimitry Andric   std::stable_sort(Defs.begin(), Defs.end(),
1236*5f757f3fSDimitry Andric                    [](const std::unique_ptr<Intrinsic> &A,
1237*5f757f3fSDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
1238*5f757f3fSDimitry Andric                      auto ToTuple = [](const std::unique_ptr<Intrinsic> &I) {
1239*5f757f3fSDimitry Andric                        return std::make_tuple(I->getGuard(),
1240*5f757f3fSDimitry Andric                                               (unsigned)I->getClassKind(),
1241*5f757f3fSDimitry Andric                                               I->getName());
1242*5f757f3fSDimitry Andric                      };
1243*5f757f3fSDimitry Andric                      return ToTuple(A) < ToTuple(B);
1244*5f757f3fSDimitry Andric                    });
1245*5f757f3fSDimitry Andric 
1246*5f757f3fSDimitry Andric   // Actually emit the intrinsic declarations.
1247*5f757f3fSDimitry Andric   for (auto &I : Defs)
1248*5f757f3fSDimitry Andric     I->emitIntrinsic(OS, Emitter, Kind);
1249*5f757f3fSDimitry Andric }
1250*5f757f3fSDimitry Andric 
12515ffd83dbSDimitry Andric void SVEEmitter::createHeader(raw_ostream &OS) {
12525ffd83dbSDimitry Andric   OS << "/*===---- arm_sve.h - ARM SVE intrinsics "
12535ffd83dbSDimitry Andric         "-----------------------------------===\n"
12545ffd83dbSDimitry Andric         " *\n"
12555ffd83dbSDimitry Andric         " *\n"
12565ffd83dbSDimitry Andric         " * Part of the LLVM Project, under the Apache License v2.0 with LLVM "
12575ffd83dbSDimitry Andric         "Exceptions.\n"
12585ffd83dbSDimitry Andric         " * See https://llvm.org/LICENSE.txt for license information.\n"
12595ffd83dbSDimitry Andric         " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n"
12605ffd83dbSDimitry Andric         " *\n"
12615ffd83dbSDimitry Andric         " *===-----------------------------------------------------------------"
12625ffd83dbSDimitry Andric         "------===\n"
12635ffd83dbSDimitry Andric         " */\n\n";
12645ffd83dbSDimitry Andric 
12655ffd83dbSDimitry Andric   OS << "#ifndef __ARM_SVE_H\n";
12665ffd83dbSDimitry Andric   OS << "#define __ARM_SVE_H\n\n";
12675ffd83dbSDimitry Andric 
12685ffd83dbSDimitry Andric   OS << "#if !defined(__LITTLE_ENDIAN__)\n";
12695ffd83dbSDimitry Andric   OS << "#error \"Big endian is currently not supported for arm_sve.h\"\n";
12705ffd83dbSDimitry Andric   OS << "#endif\n";
12715ffd83dbSDimitry Andric 
12725ffd83dbSDimitry Andric   OS << "#include <stdint.h>\n\n";
12735ffd83dbSDimitry Andric   OS << "#ifdef  __cplusplus\n";
12745ffd83dbSDimitry Andric   OS << "extern \"C\" {\n";
12755ffd83dbSDimitry Andric   OS << "#else\n";
12765ffd83dbSDimitry Andric   OS << "#include <stdbool.h>\n";
12775ffd83dbSDimitry Andric   OS << "#endif\n\n";
12785ffd83dbSDimitry Andric 
12795ffd83dbSDimitry Andric   OS << "typedef __fp16 float16_t;\n";
12805ffd83dbSDimitry Andric   OS << "typedef float float32_t;\n";
12815ffd83dbSDimitry Andric   OS << "typedef double float64_t;\n";
12825ffd83dbSDimitry Andric 
12835ffd83dbSDimitry Andric   OS << "typedef __SVInt8_t svint8_t;\n";
12845ffd83dbSDimitry Andric   OS << "typedef __SVInt16_t svint16_t;\n";
12855ffd83dbSDimitry Andric   OS << "typedef __SVInt32_t svint32_t;\n";
12865ffd83dbSDimitry Andric   OS << "typedef __SVInt64_t svint64_t;\n";
12875ffd83dbSDimitry Andric   OS << "typedef __SVUint8_t svuint8_t;\n";
12885ffd83dbSDimitry Andric   OS << "typedef __SVUint16_t svuint16_t;\n";
12895ffd83dbSDimitry Andric   OS << "typedef __SVUint32_t svuint32_t;\n";
12905ffd83dbSDimitry Andric   OS << "typedef __SVUint64_t svuint64_t;\n";
12915ffd83dbSDimitry Andric   OS << "typedef __SVFloat16_t svfloat16_t;\n\n";
12925ffd83dbSDimitry Andric 
1293*5f757f3fSDimitry Andric   OS << "typedef __SVBfloat16_t svbfloat16_t;\n";
12945ffd83dbSDimitry Andric 
12955ffd83dbSDimitry Andric   OS << "#include <arm_bf16.h>\n";
1296*5f757f3fSDimitry Andric   OS << "#include <arm_vector_types.h>\n";
12975ffd83dbSDimitry Andric 
12985ffd83dbSDimitry Andric   OS << "typedef __SVFloat32_t svfloat32_t;\n";
12995ffd83dbSDimitry Andric   OS << "typedef __SVFloat64_t svfloat64_t;\n";
13005ffd83dbSDimitry Andric   OS << "typedef __clang_svint8x2_t svint8x2_t;\n";
13015ffd83dbSDimitry Andric   OS << "typedef __clang_svint16x2_t svint16x2_t;\n";
13025ffd83dbSDimitry Andric   OS << "typedef __clang_svint32x2_t svint32x2_t;\n";
13035ffd83dbSDimitry Andric   OS << "typedef __clang_svint64x2_t svint64x2_t;\n";
13045ffd83dbSDimitry Andric   OS << "typedef __clang_svuint8x2_t svuint8x2_t;\n";
13055ffd83dbSDimitry Andric   OS << "typedef __clang_svuint16x2_t svuint16x2_t;\n";
13065ffd83dbSDimitry Andric   OS << "typedef __clang_svuint32x2_t svuint32x2_t;\n";
13075ffd83dbSDimitry Andric   OS << "typedef __clang_svuint64x2_t svuint64x2_t;\n";
13085ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat16x2_t svfloat16x2_t;\n";
13095ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat32x2_t svfloat32x2_t;\n";
13105ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat64x2_t svfloat64x2_t;\n";
13115ffd83dbSDimitry Andric   OS << "typedef __clang_svint8x3_t svint8x3_t;\n";
13125ffd83dbSDimitry Andric   OS << "typedef __clang_svint16x3_t svint16x3_t;\n";
13135ffd83dbSDimitry Andric   OS << "typedef __clang_svint32x3_t svint32x3_t;\n";
13145ffd83dbSDimitry Andric   OS << "typedef __clang_svint64x3_t svint64x3_t;\n";
13155ffd83dbSDimitry Andric   OS << "typedef __clang_svuint8x3_t svuint8x3_t;\n";
13165ffd83dbSDimitry Andric   OS << "typedef __clang_svuint16x3_t svuint16x3_t;\n";
13175ffd83dbSDimitry Andric   OS << "typedef __clang_svuint32x3_t svuint32x3_t;\n";
13185ffd83dbSDimitry Andric   OS << "typedef __clang_svuint64x3_t svuint64x3_t;\n";
13195ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat16x3_t svfloat16x3_t;\n";
13205ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat32x3_t svfloat32x3_t;\n";
13215ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat64x3_t svfloat64x3_t;\n";
13225ffd83dbSDimitry Andric   OS << "typedef __clang_svint8x4_t svint8x4_t;\n";
13235ffd83dbSDimitry Andric   OS << "typedef __clang_svint16x4_t svint16x4_t;\n";
13245ffd83dbSDimitry Andric   OS << "typedef __clang_svint32x4_t svint32x4_t;\n";
13255ffd83dbSDimitry Andric   OS << "typedef __clang_svint64x4_t svint64x4_t;\n";
13265ffd83dbSDimitry Andric   OS << "typedef __clang_svuint8x4_t svuint8x4_t;\n";
13275ffd83dbSDimitry Andric   OS << "typedef __clang_svuint16x4_t svuint16x4_t;\n";
13285ffd83dbSDimitry Andric   OS << "typedef __clang_svuint32x4_t svuint32x4_t;\n";
13295ffd83dbSDimitry Andric   OS << "typedef __clang_svuint64x4_t svuint64x4_t;\n";
13305ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat16x4_t svfloat16x4_t;\n";
13315ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat32x4_t svfloat32x4_t;\n";
13325ffd83dbSDimitry Andric   OS << "typedef __clang_svfloat64x4_t svfloat64x4_t;\n";
133306c3fb27SDimitry Andric   OS << "typedef __SVBool_t  svbool_t;\n";
133406c3fb27SDimitry Andric   OS << "typedef __clang_svboolx2_t  svboolx2_t;\n";
133506c3fb27SDimitry Andric   OS << "typedef __clang_svboolx4_t  svboolx4_t;\n\n";
13365ffd83dbSDimitry Andric 
13375ffd83dbSDimitry Andric   OS << "typedef __clang_svbfloat16x2_t svbfloat16x2_t;\n";
13385ffd83dbSDimitry Andric   OS << "typedef __clang_svbfloat16x3_t svbfloat16x3_t;\n";
13395ffd83dbSDimitry Andric   OS << "typedef __clang_svbfloat16x4_t svbfloat16x4_t;\n";
13405ffd83dbSDimitry Andric 
134106c3fb27SDimitry Andric   OS << "typedef __SVCount_t svcount_t;\n\n";
134206c3fb27SDimitry Andric 
1343e8d8bef9SDimitry Andric   OS << "enum svpattern\n";
13445ffd83dbSDimitry Andric   OS << "{\n";
13455ffd83dbSDimitry Andric   OS << "  SV_POW2 = 0,\n";
13465ffd83dbSDimitry Andric   OS << "  SV_VL1 = 1,\n";
13475ffd83dbSDimitry Andric   OS << "  SV_VL2 = 2,\n";
13485ffd83dbSDimitry Andric   OS << "  SV_VL3 = 3,\n";
13495ffd83dbSDimitry Andric   OS << "  SV_VL4 = 4,\n";
13505ffd83dbSDimitry Andric   OS << "  SV_VL5 = 5,\n";
13515ffd83dbSDimitry Andric   OS << "  SV_VL6 = 6,\n";
13525ffd83dbSDimitry Andric   OS << "  SV_VL7 = 7,\n";
13535ffd83dbSDimitry Andric   OS << "  SV_VL8 = 8,\n";
13545ffd83dbSDimitry Andric   OS << "  SV_VL16 = 9,\n";
13555ffd83dbSDimitry Andric   OS << "  SV_VL32 = 10,\n";
13565ffd83dbSDimitry Andric   OS << "  SV_VL64 = 11,\n";
13575ffd83dbSDimitry Andric   OS << "  SV_VL128 = 12,\n";
13585ffd83dbSDimitry Andric   OS << "  SV_VL256 = 13,\n";
13595ffd83dbSDimitry Andric   OS << "  SV_MUL4 = 29,\n";
13605ffd83dbSDimitry Andric   OS << "  SV_MUL3 = 30,\n";
13615ffd83dbSDimitry Andric   OS << "  SV_ALL = 31\n";
1362e8d8bef9SDimitry Andric   OS << "};\n\n";
13635ffd83dbSDimitry Andric 
1364e8d8bef9SDimitry Andric   OS << "enum svprfop\n";
13655ffd83dbSDimitry Andric   OS << "{\n";
13665ffd83dbSDimitry Andric   OS << "  SV_PLDL1KEEP = 0,\n";
13675ffd83dbSDimitry Andric   OS << "  SV_PLDL1STRM = 1,\n";
13685ffd83dbSDimitry Andric   OS << "  SV_PLDL2KEEP = 2,\n";
13695ffd83dbSDimitry Andric   OS << "  SV_PLDL2STRM = 3,\n";
13705ffd83dbSDimitry Andric   OS << "  SV_PLDL3KEEP = 4,\n";
13715ffd83dbSDimitry Andric   OS << "  SV_PLDL3STRM = 5,\n";
13725ffd83dbSDimitry Andric   OS << "  SV_PSTL1KEEP = 8,\n";
13735ffd83dbSDimitry Andric   OS << "  SV_PSTL1STRM = 9,\n";
13745ffd83dbSDimitry Andric   OS << "  SV_PSTL2KEEP = 10,\n";
13755ffd83dbSDimitry Andric   OS << "  SV_PSTL2STRM = 11,\n";
13765ffd83dbSDimitry Andric   OS << "  SV_PSTL3KEEP = 12,\n";
13775ffd83dbSDimitry Andric   OS << "  SV_PSTL3STRM = 13\n";
1378e8d8bef9SDimitry Andric   OS << "};\n\n";
13795ffd83dbSDimitry Andric 
13805ffd83dbSDimitry Andric   OS << "/* Function attributes */\n";
1381fe6060f1SDimitry Andric   OS << "#define __ai static __inline__ __attribute__((__always_inline__, "
1382fe6060f1SDimitry Andric         "__nodebug__))\n\n";
1383fe6060f1SDimitry Andric   OS << "#define __aio static __inline__ __attribute__((__always_inline__, "
13845ffd83dbSDimitry Andric         "__nodebug__, __overloadable__))\n\n";
13855ffd83dbSDimitry Andric 
13865ffd83dbSDimitry Andric   // Add reinterpret functions.
1387*5f757f3fSDimitry Andric   for (auto [N, Suffix] :
1388*5f757f3fSDimitry Andric        std::initializer_list<std::pair<unsigned, const char *>>{
1389*5f757f3fSDimitry Andric            {1, ""}, {2, "_x2"}, {3, "_x3"}, {4, "_x4"}}) {
13905ffd83dbSDimitry Andric     for (auto ShortForm : {false, true})
13915ffd83dbSDimitry Andric       for (const ReinterpretTypeInfo &To : Reinterprets) {
1392*5f757f3fSDimitry Andric         SVEType ToV(To.BaseType, N);
1393*5f757f3fSDimitry Andric         for (const ReinterpretTypeInfo &From : Reinterprets) {
1394*5f757f3fSDimitry Andric           SVEType FromV(From.BaseType, N);
13955ffd83dbSDimitry Andric           if (ShortForm) {
1396*5f757f3fSDimitry Andric             OS << "__aio __attribute__((target(\"sve\"))) " << ToV.str()
1397*5f757f3fSDimitry Andric                << " svreinterpret_" << To.Suffix;
1398*5f757f3fSDimitry Andric             OS << "(" << FromV.str() << " op) __arm_streaming_compatible {\n";
1399*5f757f3fSDimitry Andric             OS << "  return __builtin_sve_reinterpret_" << To.Suffix << "_"
1400*5f757f3fSDimitry Andric                << From.Suffix << Suffix << "(op);\n";
14015ffd83dbSDimitry Andric             OS << "}\n\n";
14025ffd83dbSDimitry Andric           } else
1403*5f757f3fSDimitry Andric             OS << "#define svreinterpret_" << To.Suffix << "_" << From.Suffix
1404*5f757f3fSDimitry Andric                << Suffix << "(...) __builtin_sve_reinterpret_" << To.Suffix
1405*5f757f3fSDimitry Andric                << "_" << From.Suffix << Suffix << "(__VA_ARGS__)\n";
1406*5f757f3fSDimitry Andric         }
1407*5f757f3fSDimitry Andric       }
14085ffd83dbSDimitry Andric   }
14095ffd83dbSDimitry Andric 
1410*5f757f3fSDimitry Andric   createCoreHeaderIntrinsics(OS, *this, ACLEKind::SVE);
14115ffd83dbSDimitry Andric 
14125ffd83dbSDimitry Andric   OS << "#define svcvtnt_bf16_x      svcvtnt_bf16_m\n";
14135ffd83dbSDimitry Andric   OS << "#define svcvtnt_bf16_f32_x  svcvtnt_bf16_f32_m\n";
14145ffd83dbSDimitry Andric 
14155ffd83dbSDimitry Andric   OS << "#define svcvtnt_f16_x      svcvtnt_f16_m\n";
14165ffd83dbSDimitry Andric   OS << "#define svcvtnt_f16_f32_x  svcvtnt_f16_f32_m\n";
14175ffd83dbSDimitry Andric   OS << "#define svcvtnt_f32_x      svcvtnt_f32_m\n";
14185ffd83dbSDimitry Andric   OS << "#define svcvtnt_f32_f64_x  svcvtnt_f32_f64_m\n\n";
14195ffd83dbSDimitry Andric 
14205ffd83dbSDimitry Andric   OS << "#define svcvtxnt_f32_x     svcvtxnt_f32_m\n";
14215ffd83dbSDimitry Andric   OS << "#define svcvtxnt_f32_f64_x svcvtxnt_f32_f64_m\n\n";
14225ffd83dbSDimitry Andric 
14235ffd83dbSDimitry Andric   OS << "#ifdef __cplusplus\n";
14245ffd83dbSDimitry Andric   OS << "} // extern \"C\"\n";
14255ffd83dbSDimitry Andric   OS << "#endif\n\n";
1426a4a491e2SDimitry Andric   OS << "#undef __ai\n\n";
1427a4a491e2SDimitry Andric   OS << "#undef __aio\n\n";
14285ffd83dbSDimitry Andric   OS << "#endif /* __ARM_SVE_H */\n";
14295ffd83dbSDimitry Andric }
14305ffd83dbSDimitry Andric 
14315ffd83dbSDimitry Andric void SVEEmitter::createBuiltins(raw_ostream &OS) {
14325ffd83dbSDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
14335ffd83dbSDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
14345ffd83dbSDimitry Andric   for (auto *R : RV)
14355ffd83dbSDimitry Andric     createIntrinsic(R, Defs);
14365ffd83dbSDimitry Andric 
14375ffd83dbSDimitry Andric   // The mappings must be sorted based on BuiltinID.
14385ffd83dbSDimitry Andric   llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A,
14395ffd83dbSDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
14405ffd83dbSDimitry Andric     return A->getMangledName() < B->getMangledName();
14415ffd83dbSDimitry Andric   });
14425ffd83dbSDimitry Andric 
14435ffd83dbSDimitry Andric   OS << "#ifdef GET_SVE_BUILTINS\n";
14445ffd83dbSDimitry Andric   for (auto &Def : Defs) {
14455ffd83dbSDimitry Andric     // Only create BUILTINs for non-overloaded intrinsics, as overloaded
14465ffd83dbSDimitry Andric     // declarations only live in the header file.
14475ffd83dbSDimitry Andric     if (Def->getClassKind() != ClassG)
1448bdd1243dSDimitry Andric       OS << "TARGET_BUILTIN(__builtin_sve_" << Def->getMangledName() << ", \""
1449bdd1243dSDimitry Andric          << Def->getBuiltinTypeStr() << "\", \"n\", \"" << Def->getGuard()
1450bdd1243dSDimitry Andric          << "\")\n";
14515ffd83dbSDimitry Andric   }
14525ffd83dbSDimitry Andric 
1453*5f757f3fSDimitry Andric   // Add reinterpret functions.
1454*5f757f3fSDimitry Andric   for (auto [N, Suffix] :
1455*5f757f3fSDimitry Andric        std::initializer_list<std::pair<unsigned, const char *>>{
1456*5f757f3fSDimitry Andric            {1, ""}, {2, "_x2"}, {3, "_x3"}, {4, "_x4"}}) {
1457*5f757f3fSDimitry Andric     for (const ReinterpretTypeInfo &To : Reinterprets) {
1458*5f757f3fSDimitry Andric       SVEType ToV(To.BaseType, N);
1459*5f757f3fSDimitry Andric       for (const ReinterpretTypeInfo &From : Reinterprets) {
1460*5f757f3fSDimitry Andric         SVEType FromV(From.BaseType, N);
1461*5f757f3fSDimitry Andric         OS << "TARGET_BUILTIN(__builtin_sve_reinterpret_" << To.Suffix << "_"
1462*5f757f3fSDimitry Andric            << From.Suffix << Suffix << +", \"" << ToV.builtin_str()
1463*5f757f3fSDimitry Andric            << FromV.builtin_str() << "\", \"n\", \"sve\")\n";
1464*5f757f3fSDimitry Andric       }
1465*5f757f3fSDimitry Andric     }
1466*5f757f3fSDimitry Andric   }
14675ffd83dbSDimitry Andric 
14685ffd83dbSDimitry Andric   OS << "#endif\n\n";
14695ffd83dbSDimitry Andric }
14705ffd83dbSDimitry Andric 
14715ffd83dbSDimitry Andric void SVEEmitter::createCodeGenMap(raw_ostream &OS) {
14725ffd83dbSDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
14735ffd83dbSDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
14745ffd83dbSDimitry Andric   for (auto *R : RV)
14755ffd83dbSDimitry Andric     createIntrinsic(R, Defs);
14765ffd83dbSDimitry Andric 
14775ffd83dbSDimitry Andric   // The mappings must be sorted based on BuiltinID.
14785ffd83dbSDimitry Andric   llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A,
14795ffd83dbSDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
14805ffd83dbSDimitry Andric     return A->getMangledName() < B->getMangledName();
14815ffd83dbSDimitry Andric   });
14825ffd83dbSDimitry Andric 
14835ffd83dbSDimitry Andric   OS << "#ifdef GET_SVE_LLVM_INTRINSIC_MAP\n";
14845ffd83dbSDimitry Andric   for (auto &Def : Defs) {
14855ffd83dbSDimitry Andric     // Builtins only exist for non-overloaded intrinsics, overloaded
14865ffd83dbSDimitry Andric     // declarations only live in the header file.
14875ffd83dbSDimitry Andric     if (Def->getClassKind() == ClassG)
14885ffd83dbSDimitry Andric       continue;
14895ffd83dbSDimitry Andric 
14905ffd83dbSDimitry Andric     uint64_t Flags = Def->getFlags();
14915ffd83dbSDimitry Andric     auto FlagString = std::to_string(Flags);
14925ffd83dbSDimitry Andric 
149306c3fb27SDimitry Andric     std::string LLVMName = Def->getMangledLLVMName();
14945ffd83dbSDimitry Andric     std::string Builtin = Def->getMangledName();
14955ffd83dbSDimitry Andric     if (!LLVMName.empty())
14965ffd83dbSDimitry Andric       OS << "SVEMAP1(" << Builtin << ", " << LLVMName << ", " << FlagString
14975ffd83dbSDimitry Andric          << "),\n";
14985ffd83dbSDimitry Andric     else
14995ffd83dbSDimitry Andric       OS << "SVEMAP2(" << Builtin << ", " << FlagString << "),\n";
15005ffd83dbSDimitry Andric   }
15015ffd83dbSDimitry Andric   OS << "#endif\n\n";
15025ffd83dbSDimitry Andric }
15035ffd83dbSDimitry Andric 
15045ffd83dbSDimitry Andric void SVEEmitter::createRangeChecks(raw_ostream &OS) {
15055ffd83dbSDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
15065ffd83dbSDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
15075ffd83dbSDimitry Andric   for (auto *R : RV)
15085ffd83dbSDimitry Andric     createIntrinsic(R, Defs);
15095ffd83dbSDimitry Andric 
15105ffd83dbSDimitry Andric   // The mappings must be sorted based on BuiltinID.
15115ffd83dbSDimitry Andric   llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A,
15125ffd83dbSDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
15135ffd83dbSDimitry Andric     return A->getMangledName() < B->getMangledName();
15145ffd83dbSDimitry Andric   });
15155ffd83dbSDimitry Andric 
15165ffd83dbSDimitry Andric 
15175ffd83dbSDimitry Andric   OS << "#ifdef GET_SVE_IMMEDIATE_CHECK\n";
15185ffd83dbSDimitry Andric 
15195ffd83dbSDimitry Andric   // Ensure these are only emitted once.
15205ffd83dbSDimitry Andric   std::set<std::string> Emitted;
15215ffd83dbSDimitry Andric 
15225ffd83dbSDimitry Andric   for (auto &Def : Defs) {
15235ffd83dbSDimitry Andric     if (Emitted.find(Def->getMangledName()) != Emitted.end() ||
15245ffd83dbSDimitry Andric         Def->getImmChecks().empty())
15255ffd83dbSDimitry Andric       continue;
15265ffd83dbSDimitry Andric 
15275ffd83dbSDimitry Andric     OS << "case SVE::BI__builtin_sve_" << Def->getMangledName() << ":\n";
15285ffd83dbSDimitry Andric     for (auto &Check : Def->getImmChecks())
15295ffd83dbSDimitry Andric       OS << "ImmChecks.push_back(std::make_tuple(" << Check.getArg() << ", "
15305ffd83dbSDimitry Andric          << Check.getKind() << ", " << Check.getElementSizeInBits() << "));\n";
15315ffd83dbSDimitry Andric     OS << "  break;\n";
15325ffd83dbSDimitry Andric 
15335ffd83dbSDimitry Andric     Emitted.insert(Def->getMangledName());
15345ffd83dbSDimitry Andric   }
15355ffd83dbSDimitry Andric 
15365ffd83dbSDimitry Andric   OS << "#endif\n\n";
15375ffd83dbSDimitry Andric }
15385ffd83dbSDimitry Andric 
15395ffd83dbSDimitry Andric /// Create the SVETypeFlags used in CGBuiltins
15405ffd83dbSDimitry Andric void SVEEmitter::createTypeFlags(raw_ostream &OS) {
15415ffd83dbSDimitry Andric   OS << "#ifdef LLVM_GET_SVE_TYPEFLAGS\n";
15425ffd83dbSDimitry Andric   for (auto &KV : FlagTypes)
15435ffd83dbSDimitry Andric     OS << "const uint64_t " << KV.getKey() << " = " << KV.getValue() << ";\n";
15445ffd83dbSDimitry Andric   OS << "#endif\n\n";
15455ffd83dbSDimitry Andric 
15465ffd83dbSDimitry Andric   OS << "#ifdef LLVM_GET_SVE_ELTTYPES\n";
15475ffd83dbSDimitry Andric   for (auto &KV : EltTypes)
15485ffd83dbSDimitry Andric     OS << "  " << KV.getKey() << " = " << KV.getValue() << ",\n";
15495ffd83dbSDimitry Andric   OS << "#endif\n\n";
15505ffd83dbSDimitry Andric 
15515ffd83dbSDimitry Andric   OS << "#ifdef LLVM_GET_SVE_MEMELTTYPES\n";
15525ffd83dbSDimitry Andric   for (auto &KV : MemEltTypes)
15535ffd83dbSDimitry Andric     OS << "  " << KV.getKey() << " = " << KV.getValue() << ",\n";
15545ffd83dbSDimitry Andric   OS << "#endif\n\n";
15555ffd83dbSDimitry Andric 
15565ffd83dbSDimitry Andric   OS << "#ifdef LLVM_GET_SVE_MERGETYPES\n";
15575ffd83dbSDimitry Andric   for (auto &KV : MergeTypes)
15585ffd83dbSDimitry Andric     OS << "  " << KV.getKey() << " = " << KV.getValue() << ",\n";
15595ffd83dbSDimitry Andric   OS << "#endif\n\n";
15605ffd83dbSDimitry Andric 
15615ffd83dbSDimitry Andric   OS << "#ifdef LLVM_GET_SVE_IMMCHECKTYPES\n";
15625ffd83dbSDimitry Andric   for (auto &KV : ImmCheckTypes)
15635ffd83dbSDimitry Andric     OS << "  " << KV.getKey() << " = " << KV.getValue() << ",\n";
15645ffd83dbSDimitry Andric   OS << "#endif\n\n";
15655ffd83dbSDimitry Andric }
15665ffd83dbSDimitry Andric 
156706c3fb27SDimitry Andric void SVEEmitter::createSMEHeader(raw_ostream &OS) {
156806c3fb27SDimitry Andric   OS << "/*===---- arm_sme_draft_spec_subject_to_change.h - ARM SME intrinsics "
156906c3fb27SDimitry Andric         "------===\n"
157006c3fb27SDimitry Andric         " *\n"
157106c3fb27SDimitry Andric         " *\n"
157206c3fb27SDimitry Andric         " * Part of the LLVM Project, under the Apache License v2.0 with LLVM "
157306c3fb27SDimitry Andric         "Exceptions.\n"
157406c3fb27SDimitry Andric         " * See https://llvm.org/LICENSE.txt for license information.\n"
157506c3fb27SDimitry Andric         " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n"
157606c3fb27SDimitry Andric         " *\n"
157706c3fb27SDimitry Andric         " *===-----------------------------------------------------------------"
157806c3fb27SDimitry Andric         "------===\n"
157906c3fb27SDimitry Andric         " */\n\n";
158006c3fb27SDimitry Andric 
158106c3fb27SDimitry Andric   OS << "#ifndef __ARM_SME_H\n";
158206c3fb27SDimitry Andric   OS << "#define __ARM_SME_H\n\n";
158306c3fb27SDimitry Andric 
158406c3fb27SDimitry Andric   OS << "#if !defined(__LITTLE_ENDIAN__)\n";
158506c3fb27SDimitry Andric   OS << "#error \"Big endian is currently not supported for arm_sme_draft_spec_subject_to_change.h\"\n";
158606c3fb27SDimitry Andric   OS << "#endif\n";
158706c3fb27SDimitry Andric 
158806c3fb27SDimitry Andric   OS << "#include <arm_sve.h>\n\n";
158906c3fb27SDimitry Andric 
159006c3fb27SDimitry Andric   OS << "/* Function attributes */\n";
159106c3fb27SDimitry Andric   OS << "#define __ai static __inline__ __attribute__((__always_inline__, "
159206c3fb27SDimitry Andric         "__nodebug__))\n\n";
159306c3fb27SDimitry Andric   OS << "#define __aio static __inline__ __attribute__((__always_inline__, "
159406c3fb27SDimitry Andric         "__nodebug__, __overloadable__))\n\n";
159506c3fb27SDimitry Andric 
159606c3fb27SDimitry Andric   OS << "#ifdef  __cplusplus\n";
159706c3fb27SDimitry Andric   OS << "extern \"C\" {\n";
159806c3fb27SDimitry Andric   OS << "#endif\n\n";
159906c3fb27SDimitry Andric 
1600*5f757f3fSDimitry Andric   createCoreHeaderIntrinsics(OS, *this, ACLEKind::SME);
160106c3fb27SDimitry Andric 
160206c3fb27SDimitry Andric   OS << "#ifdef __cplusplus\n";
160306c3fb27SDimitry Andric   OS << "} // extern \"C\"\n";
160406c3fb27SDimitry Andric   OS << "#endif\n\n";
160506c3fb27SDimitry Andric   OS << "#undef __ai\n\n";
160606c3fb27SDimitry Andric   OS << "#endif /* __ARM_SME_H */\n";
160706c3fb27SDimitry Andric }
160806c3fb27SDimitry Andric 
160906c3fb27SDimitry Andric void SVEEmitter::createSMEBuiltins(raw_ostream &OS) {
161006c3fb27SDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
161106c3fb27SDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
161206c3fb27SDimitry Andric   for (auto *R : RV) {
161306c3fb27SDimitry Andric     createIntrinsic(R, Defs);
161406c3fb27SDimitry Andric   }
161506c3fb27SDimitry Andric 
161606c3fb27SDimitry Andric   // The mappings must be sorted based on BuiltinID.
161706c3fb27SDimitry Andric   llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A,
161806c3fb27SDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
161906c3fb27SDimitry Andric     return A->getMangledName() < B->getMangledName();
162006c3fb27SDimitry Andric   });
162106c3fb27SDimitry Andric 
162206c3fb27SDimitry Andric   OS << "#ifdef GET_SME_BUILTINS\n";
162306c3fb27SDimitry Andric   for (auto &Def : Defs) {
162406c3fb27SDimitry Andric     // Only create BUILTINs for non-overloaded intrinsics, as overloaded
162506c3fb27SDimitry Andric     // declarations only live in the header file.
162606c3fb27SDimitry Andric     if (Def->getClassKind() != ClassG)
162706c3fb27SDimitry Andric       OS << "TARGET_BUILTIN(__builtin_sme_" << Def->getMangledName() << ", \""
162806c3fb27SDimitry Andric          << Def->getBuiltinTypeStr() << "\", \"n\", \"" << Def->getGuard()
162906c3fb27SDimitry Andric          << "\")\n";
163006c3fb27SDimitry Andric   }
163106c3fb27SDimitry Andric 
163206c3fb27SDimitry Andric   OS << "#endif\n\n";
163306c3fb27SDimitry Andric }
163406c3fb27SDimitry Andric 
163506c3fb27SDimitry Andric void SVEEmitter::createSMECodeGenMap(raw_ostream &OS) {
163606c3fb27SDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
163706c3fb27SDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
163806c3fb27SDimitry Andric   for (auto *R : RV) {
163906c3fb27SDimitry Andric     createIntrinsic(R, Defs);
164006c3fb27SDimitry Andric   }
164106c3fb27SDimitry Andric 
164206c3fb27SDimitry Andric   // The mappings must be sorted based on BuiltinID.
164306c3fb27SDimitry Andric   llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A,
164406c3fb27SDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
164506c3fb27SDimitry Andric     return A->getMangledName() < B->getMangledName();
164606c3fb27SDimitry Andric   });
164706c3fb27SDimitry Andric 
164806c3fb27SDimitry Andric   OS << "#ifdef GET_SME_LLVM_INTRINSIC_MAP\n";
164906c3fb27SDimitry Andric   for (auto &Def : Defs) {
165006c3fb27SDimitry Andric     // Builtins only exist for non-overloaded intrinsics, overloaded
165106c3fb27SDimitry Andric     // declarations only live in the header file.
165206c3fb27SDimitry Andric     if (Def->getClassKind() == ClassG)
165306c3fb27SDimitry Andric       continue;
165406c3fb27SDimitry Andric 
165506c3fb27SDimitry Andric     uint64_t Flags = Def->getFlags();
165606c3fb27SDimitry Andric     auto FlagString = std::to_string(Flags);
165706c3fb27SDimitry Andric 
165806c3fb27SDimitry Andric     std::string LLVMName = Def->getLLVMName();
165906c3fb27SDimitry Andric     std::string Builtin = Def->getMangledName();
166006c3fb27SDimitry Andric     if (!LLVMName.empty())
166106c3fb27SDimitry Andric       OS << "SMEMAP1(" << Builtin << ", " << LLVMName << ", " << FlagString
166206c3fb27SDimitry Andric          << "),\n";
166306c3fb27SDimitry Andric     else
166406c3fb27SDimitry Andric       OS << "SMEMAP2(" << Builtin << ", " << FlagString << "),\n";
166506c3fb27SDimitry Andric   }
166606c3fb27SDimitry Andric   OS << "#endif\n\n";
166706c3fb27SDimitry Andric }
166806c3fb27SDimitry Andric 
166906c3fb27SDimitry Andric void SVEEmitter::createSMERangeChecks(raw_ostream &OS) {
167006c3fb27SDimitry Andric   std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
167106c3fb27SDimitry Andric   SmallVector<std::unique_ptr<Intrinsic>, 128> Defs;
167206c3fb27SDimitry Andric   for (auto *R : RV) {
167306c3fb27SDimitry Andric     createIntrinsic(R, Defs);
167406c3fb27SDimitry Andric   }
167506c3fb27SDimitry Andric 
167606c3fb27SDimitry Andric   // The mappings must be sorted based on BuiltinID.
167706c3fb27SDimitry Andric   llvm::sort(Defs, [](const std::unique_ptr<Intrinsic> &A,
167806c3fb27SDimitry Andric                       const std::unique_ptr<Intrinsic> &B) {
167906c3fb27SDimitry Andric     return A->getMangledName() < B->getMangledName();
168006c3fb27SDimitry Andric   });
168106c3fb27SDimitry Andric 
168206c3fb27SDimitry Andric 
168306c3fb27SDimitry Andric   OS << "#ifdef GET_SME_IMMEDIATE_CHECK\n";
168406c3fb27SDimitry Andric 
168506c3fb27SDimitry Andric   // Ensure these are only emitted once.
168606c3fb27SDimitry Andric   std::set<std::string> Emitted;
168706c3fb27SDimitry Andric 
168806c3fb27SDimitry Andric   for (auto &Def : Defs) {
168906c3fb27SDimitry Andric     if (Emitted.find(Def->getMangledName()) != Emitted.end() ||
169006c3fb27SDimitry Andric         Def->getImmChecks().empty())
169106c3fb27SDimitry Andric       continue;
169206c3fb27SDimitry Andric 
169306c3fb27SDimitry Andric     OS << "case SME::BI__builtin_sme_" << Def->getMangledName() << ":\n";
169406c3fb27SDimitry Andric     for (auto &Check : Def->getImmChecks())
169506c3fb27SDimitry Andric       OS << "ImmChecks.push_back(std::make_tuple(" << Check.getArg() << ", "
169606c3fb27SDimitry Andric          << Check.getKind() << ", " << Check.getElementSizeInBits() << "));\n";
169706c3fb27SDimitry Andric     OS << "  break;\n";
169806c3fb27SDimitry Andric 
169906c3fb27SDimitry Andric     Emitted.insert(Def->getMangledName());
170006c3fb27SDimitry Andric   }
170106c3fb27SDimitry Andric 
170206c3fb27SDimitry Andric   OS << "#endif\n\n";
170306c3fb27SDimitry Andric }
170406c3fb27SDimitry Andric 
17055ffd83dbSDimitry Andric namespace clang {
17065ffd83dbSDimitry Andric void EmitSveHeader(RecordKeeper &Records, raw_ostream &OS) {
17075ffd83dbSDimitry Andric   SVEEmitter(Records).createHeader(OS);
17085ffd83dbSDimitry Andric }
17095ffd83dbSDimitry Andric 
17105ffd83dbSDimitry Andric void EmitSveBuiltins(RecordKeeper &Records, raw_ostream &OS) {
17115ffd83dbSDimitry Andric   SVEEmitter(Records).createBuiltins(OS);
17125ffd83dbSDimitry Andric }
17135ffd83dbSDimitry Andric 
17145ffd83dbSDimitry Andric void EmitSveBuiltinCG(RecordKeeper &Records, raw_ostream &OS) {
17155ffd83dbSDimitry Andric   SVEEmitter(Records).createCodeGenMap(OS);
17165ffd83dbSDimitry Andric }
17175ffd83dbSDimitry Andric 
17185ffd83dbSDimitry Andric void EmitSveRangeChecks(RecordKeeper &Records, raw_ostream &OS) {
17195ffd83dbSDimitry Andric   SVEEmitter(Records).createRangeChecks(OS);
17205ffd83dbSDimitry Andric }
17215ffd83dbSDimitry Andric 
17225ffd83dbSDimitry Andric void EmitSveTypeFlags(RecordKeeper &Records, raw_ostream &OS) {
17235ffd83dbSDimitry Andric   SVEEmitter(Records).createTypeFlags(OS);
17245ffd83dbSDimitry Andric }
17255ffd83dbSDimitry Andric 
172606c3fb27SDimitry Andric void EmitSmeHeader(RecordKeeper &Records, raw_ostream &OS) {
172706c3fb27SDimitry Andric   SVEEmitter(Records).createSMEHeader(OS);
172806c3fb27SDimitry Andric }
172906c3fb27SDimitry Andric 
173006c3fb27SDimitry Andric void EmitSmeBuiltins(RecordKeeper &Records, raw_ostream &OS) {
173106c3fb27SDimitry Andric   SVEEmitter(Records).createSMEBuiltins(OS);
173206c3fb27SDimitry Andric }
173306c3fb27SDimitry Andric 
173406c3fb27SDimitry Andric void EmitSmeBuiltinCG(RecordKeeper &Records, raw_ostream &OS) {
173506c3fb27SDimitry Andric   SVEEmitter(Records).createSMECodeGenMap(OS);
173606c3fb27SDimitry Andric }
173706c3fb27SDimitry Andric 
173806c3fb27SDimitry Andric void EmitSmeRangeChecks(RecordKeeper &Records, raw_ostream &OS) {
173906c3fb27SDimitry Andric   SVEEmitter(Records).createSMERangeChecks(OS);
174006c3fb27SDimitry Andric }
1741*5f757f3fSDimitry Andric 
17425ffd83dbSDimitry Andric } // End namespace clang
1743