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