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