10b57cec5SDimitry Andric //===- NeonEmitter.cpp - Generate arm_neon.h for use with clang -*- C++ -*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This tablegen backend is responsible for emitting arm_neon.h, which includes
100b57cec5SDimitry Andric // a declaration and definition of each function specified by the ARM NEON
110b57cec5SDimitry Andric // compiler interface. See ARM document DUI0348B.
120b57cec5SDimitry Andric //
130b57cec5SDimitry Andric // Each NEON instruction is implemented in terms of 1 or more functions which
140b57cec5SDimitry Andric // are suffixed with the element type of the input vectors. Functions may be
150b57cec5SDimitry Andric // implemented in terms of generic vector operations such as +, *, -, etc. or
160b57cec5SDimitry Andric // by calling a __builtin_-prefixed function which will be handled by clang's
170b57cec5SDimitry Andric // CodeGen library.
180b57cec5SDimitry Andric //
190b57cec5SDimitry Andric // Additional validation code can be generated by this file when runHeader() is
200b57cec5SDimitry Andric // called, rather than the normal run() entry point.
210b57cec5SDimitry Andric //
220b57cec5SDimitry Andric // See also the documentation in include/clang/Basic/arm_neon.td.
230b57cec5SDimitry Andric //
240b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
250b57cec5SDimitry Andric
26a7dea167SDimitry Andric #include "TableGenBackends.h"
270b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
280b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h"
290b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
305ffd83dbSDimitry Andric #include "llvm/ADT/SmallVector.h"
310b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h"
320b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
330b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
340b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
350b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
360b57cec5SDimitry Andric #include "llvm/TableGen/Error.h"
370b57cec5SDimitry Andric #include "llvm/TableGen/Record.h"
380b57cec5SDimitry Andric #include "llvm/TableGen/SetTheory.h"
390b57cec5SDimitry Andric #include <algorithm>
400b57cec5SDimitry Andric #include <cassert>
410b57cec5SDimitry Andric #include <cctype>
420b57cec5SDimitry Andric #include <cstddef>
430b57cec5SDimitry Andric #include <cstdint>
440b57cec5SDimitry Andric #include <deque>
450b57cec5SDimitry Andric #include <map>
46bdd1243dSDimitry Andric #include <optional>
470b57cec5SDimitry Andric #include <set>
480b57cec5SDimitry Andric #include <sstream>
490b57cec5SDimitry Andric #include <string>
500b57cec5SDimitry Andric #include <utility>
510b57cec5SDimitry Andric #include <vector>
520b57cec5SDimitry Andric
530b57cec5SDimitry Andric using namespace llvm;
540b57cec5SDimitry Andric
550b57cec5SDimitry Andric namespace {
560b57cec5SDimitry Andric
570b57cec5SDimitry Andric // While globals are generally bad, this one allows us to perform assertions
580b57cec5SDimitry Andric // liberally and somehow still trace them back to the def they indirectly
590b57cec5SDimitry Andric // came from.
600b57cec5SDimitry Andric static Record *CurrentRecord = nullptr;
assert_with_loc(bool Assertion,const std::string & Str)610b57cec5SDimitry Andric static void assert_with_loc(bool Assertion, const std::string &Str) {
620b57cec5SDimitry Andric if (!Assertion) {
630b57cec5SDimitry Andric if (CurrentRecord)
640b57cec5SDimitry Andric PrintFatalError(CurrentRecord->getLoc(), Str);
650b57cec5SDimitry Andric else
660b57cec5SDimitry Andric PrintFatalError(Str);
670b57cec5SDimitry Andric }
680b57cec5SDimitry Andric }
690b57cec5SDimitry Andric
700b57cec5SDimitry Andric enum ClassKind {
710b57cec5SDimitry Andric ClassNone,
720b57cec5SDimitry Andric ClassI, // generic integer instruction, e.g., "i8" suffix
730b57cec5SDimitry Andric ClassS, // signed/unsigned/poly, e.g., "s8", "u8" or "p8" suffix
740b57cec5SDimitry Andric ClassW, // width-specific instruction, e.g., "8" suffix
750b57cec5SDimitry Andric ClassB, // bitcast arguments with enum argument to specify type
760b57cec5SDimitry Andric ClassL, // Logical instructions which are op instructions
770b57cec5SDimitry Andric // but we need to not emit any suffix for in our
780b57cec5SDimitry Andric // tests.
790b57cec5SDimitry Andric ClassNoTest // Instructions which we do not test since they are
800b57cec5SDimitry Andric // not TRUE instructions.
810b57cec5SDimitry Andric };
820b57cec5SDimitry Andric
830b57cec5SDimitry Andric /// NeonTypeFlags - Flags to identify the types for overloaded Neon
840b57cec5SDimitry Andric /// builtins. These must be kept in sync with the flags in
850b57cec5SDimitry Andric /// include/clang/Basic/TargetBuiltins.h.
860b57cec5SDimitry Andric namespace NeonTypeFlags {
870b57cec5SDimitry Andric
880b57cec5SDimitry Andric enum { EltTypeMask = 0xf, UnsignedFlag = 0x10, QuadFlag = 0x20 };
890b57cec5SDimitry Andric
900b57cec5SDimitry Andric enum EltType {
910b57cec5SDimitry Andric Int8,
920b57cec5SDimitry Andric Int16,
930b57cec5SDimitry Andric Int32,
940b57cec5SDimitry Andric Int64,
950b57cec5SDimitry Andric Poly8,
960b57cec5SDimitry Andric Poly16,
970b57cec5SDimitry Andric Poly64,
980b57cec5SDimitry Andric Poly128,
990b57cec5SDimitry Andric Float16,
1000b57cec5SDimitry Andric Float32,
1015ffd83dbSDimitry Andric Float64,
1025ffd83dbSDimitry Andric BFloat16
1030b57cec5SDimitry Andric };
1040b57cec5SDimitry Andric
1050b57cec5SDimitry Andric } // end namespace NeonTypeFlags
1060b57cec5SDimitry Andric
1070b57cec5SDimitry Andric class NeonEmitter;
1080b57cec5SDimitry Andric
1090b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1100b57cec5SDimitry Andric // TypeSpec
1110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1120b57cec5SDimitry Andric
1130b57cec5SDimitry Andric /// A TypeSpec is just a simple wrapper around a string, but gets its own type
1140b57cec5SDimitry Andric /// for strong typing purposes.
1150b57cec5SDimitry Andric ///
1160b57cec5SDimitry Andric /// A TypeSpec can be used to create a type.
1170b57cec5SDimitry Andric class TypeSpec : public std::string {
1180b57cec5SDimitry Andric public:
fromTypeSpecs(StringRef Str)1190b57cec5SDimitry Andric static std::vector<TypeSpec> fromTypeSpecs(StringRef Str) {
1200b57cec5SDimitry Andric std::vector<TypeSpec> Ret;
1210b57cec5SDimitry Andric TypeSpec Acc;
1220b57cec5SDimitry Andric for (char I : Str.str()) {
1230b57cec5SDimitry Andric if (islower(I)) {
1240b57cec5SDimitry Andric Acc.push_back(I);
1250b57cec5SDimitry Andric Ret.push_back(TypeSpec(Acc));
1260b57cec5SDimitry Andric Acc.clear();
1270b57cec5SDimitry Andric } else {
1280b57cec5SDimitry Andric Acc.push_back(I);
1290b57cec5SDimitry Andric }
1300b57cec5SDimitry Andric }
1310b57cec5SDimitry Andric return Ret;
1320b57cec5SDimitry Andric }
1330b57cec5SDimitry Andric };
1340b57cec5SDimitry Andric
1350b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1360b57cec5SDimitry Andric // Type
1370b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1380b57cec5SDimitry Andric
1390b57cec5SDimitry Andric /// A Type. Not much more to say here.
1400b57cec5SDimitry Andric class Type {
1410b57cec5SDimitry Andric private:
1420b57cec5SDimitry Andric TypeSpec TS;
1430b57cec5SDimitry Andric
144480093f4SDimitry Andric enum TypeKind {
145480093f4SDimitry Andric Void,
146480093f4SDimitry Andric Float,
147480093f4SDimitry Andric SInt,
148480093f4SDimitry Andric UInt,
149480093f4SDimitry Andric Poly,
1505ffd83dbSDimitry Andric BFloat16,
151480093f4SDimitry Andric };
152480093f4SDimitry Andric TypeKind Kind;
153480093f4SDimitry Andric bool Immediate, Constant, Pointer;
1540b57cec5SDimitry Andric // ScalarForMangling and NoManglingQ are really not suited to live here as
1550b57cec5SDimitry Andric // they are not related to the type. But they live in the TypeSpec (not the
1560b57cec5SDimitry Andric // prototype), so this is really the only place to store them.
1570b57cec5SDimitry Andric bool ScalarForMangling, NoManglingQ;
1580b57cec5SDimitry Andric unsigned Bitwidth, ElementBitwidth, NumVectors;
1590b57cec5SDimitry Andric
1600b57cec5SDimitry Andric public:
Type()1610b57cec5SDimitry Andric Type()
162480093f4SDimitry Andric : Kind(Void), Immediate(false), Constant(false),
163480093f4SDimitry Andric Pointer(false), ScalarForMangling(false), NoManglingQ(false),
164480093f4SDimitry Andric Bitwidth(0), ElementBitwidth(0), NumVectors(0) {}
1650b57cec5SDimitry Andric
Type(TypeSpec TS,StringRef CharMods)166480093f4SDimitry Andric Type(TypeSpec TS, StringRef CharMods)
167480093f4SDimitry Andric : TS(std::move(TS)), Kind(Void), Immediate(false),
168480093f4SDimitry Andric Constant(false), Pointer(false), ScalarForMangling(false),
169480093f4SDimitry Andric NoManglingQ(false), Bitwidth(0), ElementBitwidth(0), NumVectors(0) {
170480093f4SDimitry Andric applyModifiers(CharMods);
1710b57cec5SDimitry Andric }
1720b57cec5SDimitry Andric
1730b57cec5SDimitry Andric /// Returns a type representing "void".
getVoid()1740b57cec5SDimitry Andric static Type getVoid() { return Type(); }
1750b57cec5SDimitry Andric
operator ==(const Type & Other) const1760b57cec5SDimitry Andric bool operator==(const Type &Other) const { return str() == Other.str(); }
operator !=(const Type & Other) const1770b57cec5SDimitry Andric bool operator!=(const Type &Other) const { return !operator==(Other); }
1780b57cec5SDimitry Andric
1790b57cec5SDimitry Andric //
1800b57cec5SDimitry Andric // Query functions
1810b57cec5SDimitry Andric //
isScalarForMangling() const1820b57cec5SDimitry Andric bool isScalarForMangling() const { return ScalarForMangling; }
noManglingQ() const1830b57cec5SDimitry Andric bool noManglingQ() const { return NoManglingQ; }
1840b57cec5SDimitry Andric
isPointer() const1850b57cec5SDimitry Andric bool isPointer() const { return Pointer; }
isValue() const186480093f4SDimitry Andric bool isValue() const { return !isVoid() && !isPointer(); }
isScalar() const187480093f4SDimitry Andric bool isScalar() const { return isValue() && NumVectors == 0; }
isVector() const188480093f4SDimitry Andric bool isVector() const { return isValue() && NumVectors > 0; }
isConstPointer() const189480093f4SDimitry Andric bool isConstPointer() const { return Constant; }
isFloating() const190480093f4SDimitry Andric bool isFloating() const { return Kind == Float; }
isInteger() const191480093f4SDimitry Andric bool isInteger() const { return Kind == SInt || Kind == UInt; }
isPoly() const192480093f4SDimitry Andric bool isPoly() const { return Kind == Poly; }
isSigned() const193480093f4SDimitry Andric bool isSigned() const { return Kind == SInt; }
isImmediate() const1940b57cec5SDimitry Andric bool isImmediate() const { return Immediate; }
isFloat() const195480093f4SDimitry Andric bool isFloat() const { return isFloating() && ElementBitwidth == 32; }
isDouble() const196480093f4SDimitry Andric bool isDouble() const { return isFloating() && ElementBitwidth == 64; }
isHalf() const197480093f4SDimitry Andric bool isHalf() const { return isFloating() && ElementBitwidth == 16; }
isChar() const1980b57cec5SDimitry Andric bool isChar() const { return ElementBitwidth == 8; }
isShort() const199480093f4SDimitry Andric bool isShort() const { return isInteger() && ElementBitwidth == 16; }
isInt() const200480093f4SDimitry Andric bool isInt() const { return isInteger() && ElementBitwidth == 32; }
isLong() const201480093f4SDimitry Andric bool isLong() const { return isInteger() && ElementBitwidth == 64; }
isVoid() const202480093f4SDimitry Andric bool isVoid() const { return Kind == Void; }
isBFloat16() const2035ffd83dbSDimitry Andric bool isBFloat16() const { return Kind == BFloat16; }
getNumElements() const2040b57cec5SDimitry Andric unsigned getNumElements() const { return Bitwidth / ElementBitwidth; }
getSizeInBits() const2050b57cec5SDimitry Andric unsigned getSizeInBits() const { return Bitwidth; }
getElementSizeInBits() const2060b57cec5SDimitry Andric unsigned getElementSizeInBits() const { return ElementBitwidth; }
getNumVectors() const2070b57cec5SDimitry Andric unsigned getNumVectors() const { return NumVectors; }
2080b57cec5SDimitry Andric
2090b57cec5SDimitry Andric //
2100b57cec5SDimitry Andric // Mutator functions
2110b57cec5SDimitry Andric //
makeUnsigned()212480093f4SDimitry Andric void makeUnsigned() {
213480093f4SDimitry Andric assert(!isVoid() && "not a potentially signed type");
214480093f4SDimitry Andric Kind = UInt;
215480093f4SDimitry Andric }
makeSigned()216480093f4SDimitry Andric void makeSigned() {
217480093f4SDimitry Andric assert(!isVoid() && "not a potentially signed type");
218480093f4SDimitry Andric Kind = SInt;
219480093f4SDimitry Andric }
2200b57cec5SDimitry Andric
makeInteger(unsigned ElemWidth,bool Sign)2210b57cec5SDimitry Andric void makeInteger(unsigned ElemWidth, bool Sign) {
222480093f4SDimitry Andric assert(!isVoid() && "converting void to int probably not useful");
223480093f4SDimitry Andric Kind = Sign ? SInt : UInt;
2240b57cec5SDimitry Andric Immediate = false;
2250b57cec5SDimitry Andric ElementBitwidth = ElemWidth;
2260b57cec5SDimitry Andric }
2270b57cec5SDimitry Andric
makeImmediate(unsigned ElemWidth)2280b57cec5SDimitry Andric void makeImmediate(unsigned ElemWidth) {
229480093f4SDimitry Andric Kind = SInt;
2300b57cec5SDimitry Andric Immediate = true;
2310b57cec5SDimitry Andric ElementBitwidth = ElemWidth;
2320b57cec5SDimitry Andric }
2330b57cec5SDimitry Andric
makeScalar()2340b57cec5SDimitry Andric void makeScalar() {
2350b57cec5SDimitry Andric Bitwidth = ElementBitwidth;
2360b57cec5SDimitry Andric NumVectors = 0;
2370b57cec5SDimitry Andric }
2380b57cec5SDimitry Andric
makeOneVector()2390b57cec5SDimitry Andric void makeOneVector() {
2400b57cec5SDimitry Andric assert(isVector());
2410b57cec5SDimitry Andric NumVectors = 1;
2420b57cec5SDimitry Andric }
2430b57cec5SDimitry Andric
make32BitElement()2445ffd83dbSDimitry Andric void make32BitElement() {
2455ffd83dbSDimitry Andric assert_with_loc(Bitwidth > 32, "Not enough bits to make it 32!");
2465ffd83dbSDimitry Andric ElementBitwidth = 32;
2475ffd83dbSDimitry Andric }
2485ffd83dbSDimitry Andric
doubleLanes()2490b57cec5SDimitry Andric void doubleLanes() {
2500b57cec5SDimitry Andric assert_with_loc(Bitwidth != 128, "Can't get bigger than 128!");
2510b57cec5SDimitry Andric Bitwidth = 128;
2520b57cec5SDimitry Andric }
2530b57cec5SDimitry Andric
halveLanes()2540b57cec5SDimitry Andric void halveLanes() {
2550b57cec5SDimitry Andric assert_with_loc(Bitwidth != 64, "Can't get smaller than 64!");
2560b57cec5SDimitry Andric Bitwidth = 64;
2570b57cec5SDimitry Andric }
2580b57cec5SDimitry Andric
2590b57cec5SDimitry Andric /// Return the C string representation of a type, which is the typename
2600b57cec5SDimitry Andric /// defined in stdint.h or arm_neon.h.
2610b57cec5SDimitry Andric std::string str() const;
2620b57cec5SDimitry Andric
2630b57cec5SDimitry Andric /// Return the string representation of a type, which is an encoded
2640b57cec5SDimitry Andric /// string for passing to the BUILTIN() macro in Builtins.def.
2650b57cec5SDimitry Andric std::string builtin_str() const;
2660b57cec5SDimitry Andric
2670b57cec5SDimitry Andric /// Return the value in NeonTypeFlags for this type.
2680b57cec5SDimitry Andric unsigned getNeonEnum() const;
2690b57cec5SDimitry Andric
2700b57cec5SDimitry Andric /// Parse a type from a stdint.h or arm_neon.h typedef name,
2710b57cec5SDimitry Andric /// for example uint32x2_t or int64_t.
2720b57cec5SDimitry Andric static Type fromTypedefName(StringRef Name);
2730b57cec5SDimitry Andric
2740b57cec5SDimitry Andric private:
2750b57cec5SDimitry Andric /// Creates the type based on the typespec string in TS.
2760b57cec5SDimitry Andric /// Sets "Quad" to true if the "Q" or "H" modifiers were
2770b57cec5SDimitry Andric /// seen. This is needed by applyModifier as some modifiers
2780b57cec5SDimitry Andric /// only take effect if the type size was changed by "Q" or "H".
2790b57cec5SDimitry Andric void applyTypespec(bool &Quad);
280480093f4SDimitry Andric /// Applies prototype modifiers to the type.
281480093f4SDimitry Andric void applyModifiers(StringRef Mods);
2820b57cec5SDimitry Andric };
2830b57cec5SDimitry Andric
2840b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
2850b57cec5SDimitry Andric // Variable
2860b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
2870b57cec5SDimitry Andric
2880b57cec5SDimitry Andric /// A variable is a simple class that just has a type and a name.
2890b57cec5SDimitry Andric class Variable {
2900b57cec5SDimitry Andric Type T;
2910b57cec5SDimitry Andric std::string N;
2920b57cec5SDimitry Andric
2930b57cec5SDimitry Andric public:
Variable()29404eeddc0SDimitry Andric Variable() : T(Type::getVoid()) {}
Variable(Type T,std::string N)2950b57cec5SDimitry Andric Variable(Type T, std::string N) : T(std::move(T)), N(std::move(N)) {}
2960b57cec5SDimitry Andric
getType() const2970b57cec5SDimitry Andric Type getType() const { return T; }
getName() const2980b57cec5SDimitry Andric std::string getName() const { return "__" + N; }
2990b57cec5SDimitry Andric };
3000b57cec5SDimitry Andric
3010b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
3020b57cec5SDimitry Andric // Intrinsic
3030b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
3040b57cec5SDimitry Andric
3050b57cec5SDimitry Andric /// The main grunt class. This represents an instantiation of an intrinsic with
3060b57cec5SDimitry Andric /// a particular typespec and prototype.
3070b57cec5SDimitry Andric class Intrinsic {
3080b57cec5SDimitry Andric /// The Record this intrinsic was created from.
3090b57cec5SDimitry Andric Record *R;
310480093f4SDimitry Andric /// The unmangled name.
311480093f4SDimitry Andric std::string Name;
3120b57cec5SDimitry Andric /// The input and output typespecs. InTS == OutTS except when
3135ffd83dbSDimitry Andric /// CartesianProductWith is non-empty - this is the case for vreinterpret.
3140b57cec5SDimitry Andric TypeSpec OutTS, InTS;
3150b57cec5SDimitry Andric /// The base class kind. Most intrinsics use ClassS, which has full type
3160b57cec5SDimitry Andric /// info for integers (s32/u32). Some use ClassI, which doesn't care about
3170b57cec5SDimitry Andric /// signedness (i32), while some (ClassB) have no type at all, only a width
3180b57cec5SDimitry Andric /// (32).
3190b57cec5SDimitry Andric ClassKind CK;
3200b57cec5SDimitry Andric /// The list of DAGs for the body. May be empty, in which case we should
3210b57cec5SDimitry Andric /// emit a builtin call.
3220b57cec5SDimitry Andric ListInit *Body;
323bdd1243dSDimitry Andric /// The architectural ifdef guard.
324bdd1243dSDimitry Andric std::string ArchGuard;
325bdd1243dSDimitry Andric /// The architectural target() guard.
326bdd1243dSDimitry Andric std::string TargetGuard;
3270b57cec5SDimitry Andric /// Set if the Unavailable bit is 1. This means we don't generate a body,
3280b57cec5SDimitry Andric /// just an "unavailable" attribute on a declaration.
3290b57cec5SDimitry Andric bool IsUnavailable;
3300b57cec5SDimitry Andric /// Is this intrinsic safe for big-endian? or does it need its arguments
3310b57cec5SDimitry Andric /// reversing?
3320b57cec5SDimitry Andric bool BigEndianSafe;
3330b57cec5SDimitry Andric
3340b57cec5SDimitry Andric /// The types of return value [0] and parameters [1..].
3350b57cec5SDimitry Andric std::vector<Type> Types;
336480093f4SDimitry Andric /// The index of the key type passed to CGBuiltin.cpp for polymorphic calls.
337480093f4SDimitry Andric int PolymorphicKeyType;
3380b57cec5SDimitry Andric /// The local variables defined.
3390b57cec5SDimitry Andric std::map<std::string, Variable> Variables;
3400b57cec5SDimitry Andric /// NeededEarly - set if any other intrinsic depends on this intrinsic.
3410b57cec5SDimitry Andric bool NeededEarly;
3420b57cec5SDimitry Andric /// UseMacro - set if we should implement using a macro or unset for a
3430b57cec5SDimitry Andric /// function.
3440b57cec5SDimitry Andric bool UseMacro;
3450b57cec5SDimitry Andric /// The set of intrinsics that this intrinsic uses/requires.
3460b57cec5SDimitry Andric std::set<Intrinsic *> Dependencies;
3470b57cec5SDimitry Andric /// The "base type", which is Type('d', OutTS). InBaseType is only
3485ffd83dbSDimitry Andric /// different if CartesianProductWith is non-empty (for vreinterpret).
3490b57cec5SDimitry Andric Type BaseType, InBaseType;
3500b57cec5SDimitry Andric /// The return variable.
3510b57cec5SDimitry Andric Variable RetVar;
3520b57cec5SDimitry Andric /// A postfix to apply to every variable. Defaults to "".
3530b57cec5SDimitry Andric std::string VariablePostfix;
3540b57cec5SDimitry Andric
3550b57cec5SDimitry Andric NeonEmitter &Emitter;
3560b57cec5SDimitry Andric std::stringstream OS;
3570b57cec5SDimitry Andric
isBigEndianSafe() const358a7dea167SDimitry Andric bool isBigEndianSafe() const {
359a7dea167SDimitry Andric if (BigEndianSafe)
360a7dea167SDimitry Andric return true;
361a7dea167SDimitry Andric
362a7dea167SDimitry Andric for (const auto &T : Types){
363a7dea167SDimitry Andric if (T.isVector() && T.getNumElements() > 1)
364a7dea167SDimitry Andric return false;
365a7dea167SDimitry Andric }
366a7dea167SDimitry Andric return true;
367a7dea167SDimitry Andric }
368a7dea167SDimitry Andric
3690b57cec5SDimitry Andric public:
Intrinsic(Record * R,StringRef Name,StringRef Proto,TypeSpec OutTS,TypeSpec InTS,ClassKind CK,ListInit * Body,NeonEmitter & Emitter,StringRef ArchGuard,StringRef TargetGuard,bool IsUnavailable,bool BigEndianSafe)3700b57cec5SDimitry Andric Intrinsic(Record *R, StringRef Name, StringRef Proto, TypeSpec OutTS,
3710b57cec5SDimitry Andric TypeSpec InTS, ClassKind CK, ListInit *Body, NeonEmitter &Emitter,
372bdd1243dSDimitry Andric StringRef ArchGuard, StringRef TargetGuard, bool IsUnavailable, bool BigEndianSafe)
373480093f4SDimitry Andric : R(R), Name(Name.str()), OutTS(OutTS), InTS(InTS), CK(CK), Body(Body),
374bdd1243dSDimitry Andric ArchGuard(ArchGuard.str()), TargetGuard(TargetGuard.str()), IsUnavailable(IsUnavailable),
375480093f4SDimitry Andric BigEndianSafe(BigEndianSafe), PolymorphicKeyType(0), NeededEarly(false),
376480093f4SDimitry Andric UseMacro(false), BaseType(OutTS, "."), InBaseType(InTS, "."),
377480093f4SDimitry Andric Emitter(Emitter) {
3780b57cec5SDimitry Andric // Modify the TypeSpec per-argument to get a concrete Type, and create
3790b57cec5SDimitry Andric // known variables for each.
3800b57cec5SDimitry Andric // Types[0] is the return value.
381480093f4SDimitry Andric unsigned Pos = 0;
382480093f4SDimitry Andric Types.emplace_back(OutTS, getNextModifiers(Proto, Pos));
383480093f4SDimitry Andric StringRef Mods = getNextModifiers(Proto, Pos);
384480093f4SDimitry Andric while (!Mods.empty()) {
385480093f4SDimitry Andric Types.emplace_back(InTS, Mods);
386349cc55cSDimitry Andric if (Mods.contains('!'))
387480093f4SDimitry Andric PolymorphicKeyType = Types.size() - 1;
388480093f4SDimitry Andric
389480093f4SDimitry Andric Mods = getNextModifiers(Proto, Pos);
390480093f4SDimitry Andric }
391480093f4SDimitry Andric
39206c3fb27SDimitry Andric for (const auto &Type : Types) {
393480093f4SDimitry Andric // If this builtin takes an immediate argument, we need to #define it rather
394480093f4SDimitry Andric // than use a standard declaration, so that SemaChecking can range check
395480093f4SDimitry Andric // the immediate passed by the user.
396480093f4SDimitry Andric
397480093f4SDimitry Andric // Pointer arguments need to use macros to avoid hiding aligned attributes
398480093f4SDimitry Andric // from the pointer type.
399480093f4SDimitry Andric
400480093f4SDimitry Andric // It is not permitted to pass or return an __fp16 by value, so intrinsics
401480093f4SDimitry Andric // taking a scalar float16_t must be implemented as macros.
402480093f4SDimitry Andric if (Type.isImmediate() || Type.isPointer() ||
403480093f4SDimitry Andric (Type.isScalar() && Type.isHalf()))
404480093f4SDimitry Andric UseMacro = true;
405480093f4SDimitry Andric }
4060b57cec5SDimitry Andric }
4070b57cec5SDimitry Andric
4080b57cec5SDimitry Andric /// Get the Record that this intrinsic is based off.
getRecord() const4090b57cec5SDimitry Andric Record *getRecord() const { return R; }
4100b57cec5SDimitry Andric /// Get the set of Intrinsics that this intrinsic calls.
4110b57cec5SDimitry Andric /// this is the set of immediate dependencies, NOT the
4120b57cec5SDimitry Andric /// transitive closure.
getDependencies() const4130b57cec5SDimitry Andric const std::set<Intrinsic *> &getDependencies() const { return Dependencies; }
4140b57cec5SDimitry Andric /// Get the architectural guard string (#ifdef).
getArchGuard() const415bdd1243dSDimitry Andric std::string getArchGuard() const { return ArchGuard; }
getTargetGuard() const416bdd1243dSDimitry Andric std::string getTargetGuard() const { return TargetGuard; }
4170b57cec5SDimitry Andric /// Get the non-mangled name.
getName() const4180b57cec5SDimitry Andric std::string getName() const { return Name; }
4190b57cec5SDimitry Andric
4200b57cec5SDimitry Andric /// Return true if the intrinsic takes an immediate operand.
hasImmediate() const4210b57cec5SDimitry Andric bool hasImmediate() const {
422349cc55cSDimitry Andric return llvm::any_of(Types, [](const Type &T) { return T.isImmediate(); });
4230b57cec5SDimitry Andric }
4240b57cec5SDimitry Andric
4250b57cec5SDimitry Andric /// Return the parameter index of the immediate operand.
getImmediateIdx() const4260b57cec5SDimitry Andric unsigned getImmediateIdx() const {
427480093f4SDimitry Andric for (unsigned Idx = 0; Idx < Types.size(); ++Idx)
428480093f4SDimitry Andric if (Types[Idx].isImmediate())
4290b57cec5SDimitry Andric return Idx - 1;
430480093f4SDimitry Andric llvm_unreachable("Intrinsic has no immediate");
4310b57cec5SDimitry Andric }
4320b57cec5SDimitry Andric
4330b57cec5SDimitry Andric
getNumParams() const434480093f4SDimitry Andric unsigned getNumParams() const { return Types.size() - 1; }
getReturnType() const4350b57cec5SDimitry Andric Type getReturnType() const { return Types[0]; }
getParamType(unsigned I) const4360b57cec5SDimitry Andric Type getParamType(unsigned I) const { return Types[I + 1]; }
getBaseType() const4370b57cec5SDimitry Andric Type getBaseType() const { return BaseType; }
getPolymorphicKeyType() const438480093f4SDimitry Andric Type getPolymorphicKeyType() const { return Types[PolymorphicKeyType]; }
4390b57cec5SDimitry Andric
4400b57cec5SDimitry Andric /// Return true if the prototype has a scalar argument.
4410b57cec5SDimitry Andric bool protoHasScalar() const;
4420b57cec5SDimitry Andric
4430b57cec5SDimitry Andric /// Return the index that parameter PIndex will sit at
4440b57cec5SDimitry Andric /// in a generated function call. This is often just PIndex,
4450b57cec5SDimitry Andric /// but may not be as things such as multiple-vector operands
446bdd1243dSDimitry Andric /// and sret parameters need to be taken into account.
getGeneratedParamIdx(unsigned PIndex)4470b57cec5SDimitry Andric unsigned getGeneratedParamIdx(unsigned PIndex) {
4480b57cec5SDimitry Andric unsigned Idx = 0;
4490b57cec5SDimitry Andric if (getReturnType().getNumVectors() > 1)
4500b57cec5SDimitry Andric // Multiple vectors are passed as sret.
4510b57cec5SDimitry Andric ++Idx;
4520b57cec5SDimitry Andric
4530b57cec5SDimitry Andric for (unsigned I = 0; I < PIndex; ++I)
4540b57cec5SDimitry Andric Idx += std::max(1U, getParamType(I).getNumVectors());
4550b57cec5SDimitry Andric
4560b57cec5SDimitry Andric return Idx;
4570b57cec5SDimitry Andric }
4580b57cec5SDimitry Andric
hasBody() const4590b57cec5SDimitry Andric bool hasBody() const { return Body && !Body->getValues().empty(); }
4600b57cec5SDimitry Andric
setNeededEarly()4610b57cec5SDimitry Andric void setNeededEarly() { NeededEarly = true; }
4620b57cec5SDimitry Andric
operator <(const Intrinsic & Other) const4630b57cec5SDimitry Andric bool operator<(const Intrinsic &Other) const {
464bdd1243dSDimitry Andric // Sort lexicographically on a three-tuple (ArchGuard, TargetGuard, Name)
465bdd1243dSDimitry Andric if (ArchGuard != Other.ArchGuard)
466bdd1243dSDimitry Andric return ArchGuard < Other.ArchGuard;
467bdd1243dSDimitry Andric if (TargetGuard != Other.TargetGuard)
468bdd1243dSDimitry Andric return TargetGuard < Other.TargetGuard;
4690b57cec5SDimitry Andric return Name < Other.Name;
4700b57cec5SDimitry Andric }
4710b57cec5SDimitry Andric
getClassKind(bool UseClassBIfScalar=false)4720b57cec5SDimitry Andric ClassKind getClassKind(bool UseClassBIfScalar = false) {
4730b57cec5SDimitry Andric if (UseClassBIfScalar && !protoHasScalar())
4740b57cec5SDimitry Andric return ClassB;
4750b57cec5SDimitry Andric return CK;
4760b57cec5SDimitry Andric }
4770b57cec5SDimitry Andric
4780b57cec5SDimitry Andric /// Return the name, mangled with type information.
4790b57cec5SDimitry Andric /// If ForceClassS is true, use ClassS (u32/s32) instead
4800b57cec5SDimitry Andric /// of the intrinsic's own type class.
4810b57cec5SDimitry Andric std::string getMangledName(bool ForceClassS = false) const;
4820b57cec5SDimitry Andric /// Return the type code for a builtin function call.
4830b57cec5SDimitry Andric std::string getInstTypeCode(Type T, ClassKind CK) const;
4840b57cec5SDimitry Andric /// Return the type string for a BUILTIN() macro in Builtins.def.
4850b57cec5SDimitry Andric std::string getBuiltinTypeStr();
4860b57cec5SDimitry Andric
4870b57cec5SDimitry Andric /// Generate the intrinsic, returning code.
4880b57cec5SDimitry Andric std::string generate();
4890b57cec5SDimitry Andric /// Perform type checking and populate the dependency graph, but
4900b57cec5SDimitry Andric /// don't generate code yet.
4910b57cec5SDimitry Andric void indexBody();
4920b57cec5SDimitry Andric
4930b57cec5SDimitry Andric private:
494480093f4SDimitry Andric StringRef getNextModifiers(StringRef Proto, unsigned &Pos) const;
495480093f4SDimitry Andric
4960b57cec5SDimitry Andric std::string mangleName(std::string Name, ClassKind CK) const;
4970b57cec5SDimitry Andric
4980b57cec5SDimitry Andric void initVariables();
4990b57cec5SDimitry Andric std::string replaceParamsIn(std::string S);
5000b57cec5SDimitry Andric
5010b57cec5SDimitry Andric void emitBodyAsBuiltinCall();
5020b57cec5SDimitry Andric
5030b57cec5SDimitry Andric void generateImpl(bool ReverseArguments,
5040b57cec5SDimitry Andric StringRef NamePrefix, StringRef CallPrefix);
5050b57cec5SDimitry Andric void emitReturn();
5060b57cec5SDimitry Andric void emitBody(StringRef CallPrefix);
5070b57cec5SDimitry Andric void emitShadowedArgs();
5080b57cec5SDimitry Andric void emitArgumentReversal();
5093a9a9c0cSDimitry Andric void emitReturnVarDecl();
5100b57cec5SDimitry Andric void emitReturnReversal();
5110b57cec5SDimitry Andric void emitReverseVariable(Variable &Dest, Variable &Src);
5120b57cec5SDimitry Andric void emitNewLine();
5130b57cec5SDimitry Andric void emitClosingBrace();
5140b57cec5SDimitry Andric void emitOpeningBrace();
5150b57cec5SDimitry Andric void emitPrototype(StringRef NamePrefix);
5160b57cec5SDimitry Andric
5170b57cec5SDimitry Andric class DagEmitter {
5180b57cec5SDimitry Andric Intrinsic &Intr;
5190b57cec5SDimitry Andric StringRef CallPrefix;
5200b57cec5SDimitry Andric
5210b57cec5SDimitry Andric public:
DagEmitter(Intrinsic & Intr,StringRef CallPrefix)5220b57cec5SDimitry Andric DagEmitter(Intrinsic &Intr, StringRef CallPrefix) :
5230b57cec5SDimitry Andric Intr(Intr), CallPrefix(CallPrefix) {
5240b57cec5SDimitry Andric }
5250b57cec5SDimitry Andric std::pair<Type, std::string> emitDagArg(Init *Arg, std::string ArgName);
5260b57cec5SDimitry Andric std::pair<Type, std::string> emitDagSaveTemp(DagInit *DI);
5270b57cec5SDimitry Andric std::pair<Type, std::string> emitDagSplat(DagInit *DI);
5280b57cec5SDimitry Andric std::pair<Type, std::string> emitDagDup(DagInit *DI);
5290b57cec5SDimitry Andric std::pair<Type, std::string> emitDagDupTyped(DagInit *DI);
5300b57cec5SDimitry Andric std::pair<Type, std::string> emitDagShuffle(DagInit *DI);
5310b57cec5SDimitry Andric std::pair<Type, std::string> emitDagCast(DagInit *DI, bool IsBitCast);
5325ffd83dbSDimitry Andric std::pair<Type, std::string> emitDagCall(DagInit *DI,
5335ffd83dbSDimitry Andric bool MatchMangledName);
5340b57cec5SDimitry Andric std::pair<Type, std::string> emitDagNameReplace(DagInit *DI);
5350b57cec5SDimitry Andric std::pair<Type, std::string> emitDagLiteral(DagInit *DI);
5360b57cec5SDimitry Andric std::pair<Type, std::string> emitDagOp(DagInit *DI);
5370b57cec5SDimitry Andric std::pair<Type, std::string> emitDag(DagInit *DI);
5380b57cec5SDimitry Andric };
5390b57cec5SDimitry Andric };
5400b57cec5SDimitry Andric
5410b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
5420b57cec5SDimitry Andric // NeonEmitter
5430b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
5440b57cec5SDimitry Andric
5450b57cec5SDimitry Andric class NeonEmitter {
5460b57cec5SDimitry Andric RecordKeeper &Records;
5470b57cec5SDimitry Andric DenseMap<Record *, ClassKind> ClassMap;
5480b57cec5SDimitry Andric std::map<std::string, std::deque<Intrinsic>> IntrinsicMap;
5490b57cec5SDimitry Andric unsigned UniqueNumber;
5500b57cec5SDimitry Andric
5510b57cec5SDimitry Andric void createIntrinsic(Record *R, SmallVectorImpl<Intrinsic *> &Out);
5520b57cec5SDimitry Andric void genBuiltinsDef(raw_ostream &OS, SmallVectorImpl<Intrinsic *> &Defs);
553cb14a3feSDimitry Andric void genStreamingSVECompatibleList(raw_ostream &OS,
554cb14a3feSDimitry Andric SmallVectorImpl<Intrinsic *> &Defs);
5550b57cec5SDimitry Andric void genOverloadTypeCheckCode(raw_ostream &OS,
5560b57cec5SDimitry Andric SmallVectorImpl<Intrinsic *> &Defs);
5570b57cec5SDimitry Andric void genIntrinsicRangeCheckCode(raw_ostream &OS,
5580b57cec5SDimitry Andric SmallVectorImpl<Intrinsic *> &Defs);
5590b57cec5SDimitry Andric
5600b57cec5SDimitry Andric public:
5610b57cec5SDimitry Andric /// Called by Intrinsic - this attempts to get an intrinsic that takes
5620b57cec5SDimitry Andric /// the given types as arguments.
5635ffd83dbSDimitry Andric Intrinsic &getIntrinsic(StringRef Name, ArrayRef<Type> Types,
564bdd1243dSDimitry Andric std::optional<std::string> MangledName);
5650b57cec5SDimitry Andric
5660b57cec5SDimitry Andric /// Called by Intrinsic - returns a globally-unique number.
getUniqueNumber()5670b57cec5SDimitry Andric unsigned getUniqueNumber() { return UniqueNumber++; }
5680b57cec5SDimitry Andric
NeonEmitter(RecordKeeper & R)5690b57cec5SDimitry Andric NeonEmitter(RecordKeeper &R) : Records(R), UniqueNumber(0) {
5700b57cec5SDimitry Andric Record *SI = R.getClass("SInst");
5710b57cec5SDimitry Andric Record *II = R.getClass("IInst");
5720b57cec5SDimitry Andric Record *WI = R.getClass("WInst");
5730b57cec5SDimitry Andric Record *SOpI = R.getClass("SOpInst");
5740b57cec5SDimitry Andric Record *IOpI = R.getClass("IOpInst");
5750b57cec5SDimitry Andric Record *WOpI = R.getClass("WOpInst");
5760b57cec5SDimitry Andric Record *LOpI = R.getClass("LOpInst");
5770b57cec5SDimitry Andric Record *NoTestOpI = R.getClass("NoTestOpInst");
5780b57cec5SDimitry Andric
5790b57cec5SDimitry Andric ClassMap[SI] = ClassS;
5800b57cec5SDimitry Andric ClassMap[II] = ClassI;
5810b57cec5SDimitry Andric ClassMap[WI] = ClassW;
5820b57cec5SDimitry Andric ClassMap[SOpI] = ClassS;
5830b57cec5SDimitry Andric ClassMap[IOpI] = ClassI;
5840b57cec5SDimitry Andric ClassMap[WOpI] = ClassW;
5850b57cec5SDimitry Andric ClassMap[LOpI] = ClassL;
5860b57cec5SDimitry Andric ClassMap[NoTestOpI] = ClassNoTest;
5870b57cec5SDimitry Andric }
5880b57cec5SDimitry Andric
589e8d8bef9SDimitry Andric // Emit arm_neon.h.inc
5900b57cec5SDimitry Andric void run(raw_ostream &o);
5910b57cec5SDimitry Andric
592e8d8bef9SDimitry Andric // Emit arm_fp16.h.inc
5930b57cec5SDimitry Andric void runFP16(raw_ostream &o);
5940b57cec5SDimitry Andric
595e8d8bef9SDimitry Andric // Emit arm_bf16.h.inc
5965ffd83dbSDimitry Andric void runBF16(raw_ostream &o);
5975ffd83dbSDimitry Andric
5985f757f3fSDimitry Andric void runVectorTypes(raw_ostream &o);
5995f757f3fSDimitry Andric
600e8d8bef9SDimitry Andric // Emit all the __builtin prototypes used in arm_neon.h, arm_fp16.h and
601e8d8bef9SDimitry Andric // arm_bf16.h
6020b57cec5SDimitry Andric void runHeader(raw_ostream &o);
6030b57cec5SDimitry Andric };
6040b57cec5SDimitry Andric
6050b57cec5SDimitry Andric } // end anonymous namespace
6060b57cec5SDimitry Andric
6070b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
6080b57cec5SDimitry Andric // Type implementation
6090b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
6100b57cec5SDimitry Andric
str() const6110b57cec5SDimitry Andric std::string Type::str() const {
612480093f4SDimitry Andric if (isVoid())
6130b57cec5SDimitry Andric return "void";
6140b57cec5SDimitry Andric std::string S;
6150b57cec5SDimitry Andric
616480093f4SDimitry Andric if (isInteger() && !isSigned())
6170b57cec5SDimitry Andric S += "u";
6180b57cec5SDimitry Andric
619480093f4SDimitry Andric if (isPoly())
6200b57cec5SDimitry Andric S += "poly";
621480093f4SDimitry Andric else if (isFloating())
6220b57cec5SDimitry Andric S += "float";
6235ffd83dbSDimitry Andric else if (isBFloat16())
6245ffd83dbSDimitry Andric S += "bfloat";
6250b57cec5SDimitry Andric else
6260b57cec5SDimitry Andric S += "int";
6270b57cec5SDimitry Andric
6280b57cec5SDimitry Andric S += utostr(ElementBitwidth);
6290b57cec5SDimitry Andric if (isVector())
6300b57cec5SDimitry Andric S += "x" + utostr(getNumElements());
6310b57cec5SDimitry Andric if (NumVectors > 1)
6320b57cec5SDimitry Andric S += "x" + utostr(NumVectors);
6330b57cec5SDimitry Andric S += "_t";
6340b57cec5SDimitry Andric
6350b57cec5SDimitry Andric if (Constant)
6360b57cec5SDimitry Andric S += " const";
6370b57cec5SDimitry Andric if (Pointer)
6380b57cec5SDimitry Andric S += " *";
6390b57cec5SDimitry Andric
6400b57cec5SDimitry Andric return S;
6410b57cec5SDimitry Andric }
6420b57cec5SDimitry Andric
builtin_str() const6430b57cec5SDimitry Andric std::string Type::builtin_str() const {
6440b57cec5SDimitry Andric std::string S;
6450b57cec5SDimitry Andric if (isVoid())
6460b57cec5SDimitry Andric return "v";
6470b57cec5SDimitry Andric
648480093f4SDimitry Andric if (isPointer()) {
6490b57cec5SDimitry Andric // All pointers are void pointers.
650480093f4SDimitry Andric S = "v";
651480093f4SDimitry Andric if (isConstPointer())
652480093f4SDimitry Andric S += "C";
653480093f4SDimitry Andric S += "*";
654480093f4SDimitry Andric return S;
655480093f4SDimitry Andric } else if (isInteger())
6560b57cec5SDimitry Andric switch (ElementBitwidth) {
6570b57cec5SDimitry Andric case 8: S += "c"; break;
6580b57cec5SDimitry Andric case 16: S += "s"; break;
6590b57cec5SDimitry Andric case 32: S += "i"; break;
6600b57cec5SDimitry Andric case 64: S += "Wi"; break;
6610b57cec5SDimitry Andric case 128: S += "LLLi"; break;
6620b57cec5SDimitry Andric default: llvm_unreachable("Unhandled case!");
6630b57cec5SDimitry Andric }
6645ffd83dbSDimitry Andric else if (isBFloat16()) {
6655ffd83dbSDimitry Andric assert(ElementBitwidth == 16 && "BFloat16 can only be 16 bits");
6665ffd83dbSDimitry Andric S += "y";
6675ffd83dbSDimitry Andric } else
6680b57cec5SDimitry Andric switch (ElementBitwidth) {
6690b57cec5SDimitry Andric case 16: S += "h"; break;
6700b57cec5SDimitry Andric case 32: S += "f"; break;
6710b57cec5SDimitry Andric case 64: S += "d"; break;
6720b57cec5SDimitry Andric default: llvm_unreachable("Unhandled case!");
6730b57cec5SDimitry Andric }
6740b57cec5SDimitry Andric
675480093f4SDimitry Andric // FIXME: NECESSARY???????????????????????????????????????????????????????????????????????
676480093f4SDimitry Andric if (isChar() && !isPointer() && isSigned())
6770b57cec5SDimitry Andric // Make chars explicitly signed.
6780b57cec5SDimitry Andric S = "S" + S;
679480093f4SDimitry Andric else if (isInteger() && !isSigned())
6800b57cec5SDimitry Andric S = "U" + S;
6810b57cec5SDimitry Andric
6820b57cec5SDimitry Andric // Constant indices are "int", but have the "constant expression" modifier.
6830b57cec5SDimitry Andric if (isImmediate()) {
6840b57cec5SDimitry Andric assert(isInteger() && isSigned());
6850b57cec5SDimitry Andric S = "I" + S;
6860b57cec5SDimitry Andric }
6870b57cec5SDimitry Andric
688480093f4SDimitry Andric if (isScalar())
6890b57cec5SDimitry Andric return S;
6900b57cec5SDimitry Andric
6910b57cec5SDimitry Andric std::string Ret;
6920b57cec5SDimitry Andric for (unsigned I = 0; I < NumVectors; ++I)
6930b57cec5SDimitry Andric Ret += "V" + utostr(getNumElements()) + S;
6940b57cec5SDimitry Andric
6950b57cec5SDimitry Andric return Ret;
6960b57cec5SDimitry Andric }
6970b57cec5SDimitry Andric
getNeonEnum() const6980b57cec5SDimitry Andric unsigned Type::getNeonEnum() const {
6990b57cec5SDimitry Andric unsigned Addend;
7000b57cec5SDimitry Andric switch (ElementBitwidth) {
7010b57cec5SDimitry Andric case 8: Addend = 0; break;
7020b57cec5SDimitry Andric case 16: Addend = 1; break;
7030b57cec5SDimitry Andric case 32: Addend = 2; break;
7040b57cec5SDimitry Andric case 64: Addend = 3; break;
7050b57cec5SDimitry Andric case 128: Addend = 4; break;
7060b57cec5SDimitry Andric default: llvm_unreachable("Unhandled element bitwidth!");
7070b57cec5SDimitry Andric }
7080b57cec5SDimitry Andric
7090b57cec5SDimitry Andric unsigned Base = (unsigned)NeonTypeFlags::Int8 + Addend;
710480093f4SDimitry Andric if (isPoly()) {
7110b57cec5SDimitry Andric // Adjustment needed because Poly32 doesn't exist.
7120b57cec5SDimitry Andric if (Addend >= 2)
7130b57cec5SDimitry Andric --Addend;
7140b57cec5SDimitry Andric Base = (unsigned)NeonTypeFlags::Poly8 + Addend;
7150b57cec5SDimitry Andric }
716480093f4SDimitry Andric if (isFloating()) {
7170b57cec5SDimitry Andric assert(Addend != 0 && "Float8 doesn't exist!");
7180b57cec5SDimitry Andric Base = (unsigned)NeonTypeFlags::Float16 + (Addend - 1);
7190b57cec5SDimitry Andric }
7200b57cec5SDimitry Andric
7215ffd83dbSDimitry Andric if (isBFloat16()) {
7225ffd83dbSDimitry Andric assert(Addend == 1 && "BFloat16 is only 16 bit");
7235ffd83dbSDimitry Andric Base = (unsigned)NeonTypeFlags::BFloat16;
7245ffd83dbSDimitry Andric }
7255ffd83dbSDimitry Andric
7260b57cec5SDimitry Andric if (Bitwidth == 128)
7270b57cec5SDimitry Andric Base |= (unsigned)NeonTypeFlags::QuadFlag;
728480093f4SDimitry Andric if (isInteger() && !isSigned())
7290b57cec5SDimitry Andric Base |= (unsigned)NeonTypeFlags::UnsignedFlag;
7300b57cec5SDimitry Andric
7310b57cec5SDimitry Andric return Base;
7320b57cec5SDimitry Andric }
7330b57cec5SDimitry Andric
fromTypedefName(StringRef Name)7340b57cec5SDimitry Andric Type Type::fromTypedefName(StringRef Name) {
7350b57cec5SDimitry Andric Type T;
736480093f4SDimitry Andric T.Kind = SInt;
7370b57cec5SDimitry Andric
738*0fca6ea1SDimitry Andric if (Name.consume_front("u"))
739480093f4SDimitry Andric T.Kind = UInt;
7400b57cec5SDimitry Andric
741*0fca6ea1SDimitry Andric if (Name.consume_front("float")) {
742480093f4SDimitry Andric T.Kind = Float;
743*0fca6ea1SDimitry Andric } else if (Name.consume_front("poly")) {
744480093f4SDimitry Andric T.Kind = Poly;
745*0fca6ea1SDimitry Andric } else if (Name.consume_front("bfloat")) {
7465ffd83dbSDimitry Andric T.Kind = BFloat16;
7470b57cec5SDimitry Andric } else {
7485f757f3fSDimitry Andric assert(Name.starts_with("int"));
7490b57cec5SDimitry Andric Name = Name.drop_front(3);
7500b57cec5SDimitry Andric }
7510b57cec5SDimitry Andric
7520b57cec5SDimitry Andric unsigned I = 0;
7530b57cec5SDimitry Andric for (I = 0; I < Name.size(); ++I) {
7540b57cec5SDimitry Andric if (!isdigit(Name[I]))
7550b57cec5SDimitry Andric break;
7560b57cec5SDimitry Andric }
7570b57cec5SDimitry Andric Name.substr(0, I).getAsInteger(10, T.ElementBitwidth);
7580b57cec5SDimitry Andric Name = Name.drop_front(I);
7590b57cec5SDimitry Andric
7600b57cec5SDimitry Andric T.Bitwidth = T.ElementBitwidth;
7610b57cec5SDimitry Andric T.NumVectors = 1;
7620b57cec5SDimitry Andric
763*0fca6ea1SDimitry Andric if (Name.consume_front("x")) {
7640b57cec5SDimitry Andric unsigned I = 0;
7650b57cec5SDimitry Andric for (I = 0; I < Name.size(); ++I) {
7660b57cec5SDimitry Andric if (!isdigit(Name[I]))
7670b57cec5SDimitry Andric break;
7680b57cec5SDimitry Andric }
7690b57cec5SDimitry Andric unsigned NumLanes;
7700b57cec5SDimitry Andric Name.substr(0, I).getAsInteger(10, NumLanes);
7710b57cec5SDimitry Andric Name = Name.drop_front(I);
7720b57cec5SDimitry Andric T.Bitwidth = T.ElementBitwidth * NumLanes;
7730b57cec5SDimitry Andric } else {
7740b57cec5SDimitry Andric // Was scalar.
7750b57cec5SDimitry Andric T.NumVectors = 0;
7760b57cec5SDimitry Andric }
777*0fca6ea1SDimitry Andric if (Name.consume_front("x")) {
7780b57cec5SDimitry Andric unsigned I = 0;
7790b57cec5SDimitry Andric for (I = 0; I < Name.size(); ++I) {
7800b57cec5SDimitry Andric if (!isdigit(Name[I]))
7810b57cec5SDimitry Andric break;
7820b57cec5SDimitry Andric }
7830b57cec5SDimitry Andric Name.substr(0, I).getAsInteger(10, T.NumVectors);
7840b57cec5SDimitry Andric Name = Name.drop_front(I);
7850b57cec5SDimitry Andric }
7860b57cec5SDimitry Andric
7875f757f3fSDimitry Andric assert(Name.starts_with("_t") && "Malformed typedef!");
7880b57cec5SDimitry Andric return T;
7890b57cec5SDimitry Andric }
7900b57cec5SDimitry Andric
applyTypespec(bool & Quad)7910b57cec5SDimitry Andric void Type::applyTypespec(bool &Quad) {
7920b57cec5SDimitry Andric std::string S = TS;
7930b57cec5SDimitry Andric ScalarForMangling = false;
794480093f4SDimitry Andric Kind = SInt;
7950b57cec5SDimitry Andric ElementBitwidth = ~0U;
7960b57cec5SDimitry Andric NumVectors = 1;
7970b57cec5SDimitry Andric
7980b57cec5SDimitry Andric for (char I : S) {
7990b57cec5SDimitry Andric switch (I) {
8000b57cec5SDimitry Andric case 'S':
8010b57cec5SDimitry Andric ScalarForMangling = true;
8020b57cec5SDimitry Andric break;
8030b57cec5SDimitry Andric case 'H':
8040b57cec5SDimitry Andric NoManglingQ = true;
8050b57cec5SDimitry Andric Quad = true;
8060b57cec5SDimitry Andric break;
8070b57cec5SDimitry Andric case 'Q':
8080b57cec5SDimitry Andric Quad = true;
8090b57cec5SDimitry Andric break;
8100b57cec5SDimitry Andric case 'P':
811480093f4SDimitry Andric Kind = Poly;
8120b57cec5SDimitry Andric break;
8130b57cec5SDimitry Andric case 'U':
814480093f4SDimitry Andric Kind = UInt;
8150b57cec5SDimitry Andric break;
8160b57cec5SDimitry Andric case 'c':
8170b57cec5SDimitry Andric ElementBitwidth = 8;
8180b57cec5SDimitry Andric break;
8190b57cec5SDimitry Andric case 'h':
820480093f4SDimitry Andric Kind = Float;
821bdd1243dSDimitry Andric [[fallthrough]];
8220b57cec5SDimitry Andric case 's':
8230b57cec5SDimitry Andric ElementBitwidth = 16;
8240b57cec5SDimitry Andric break;
8250b57cec5SDimitry Andric case 'f':
826480093f4SDimitry Andric Kind = Float;
827bdd1243dSDimitry Andric [[fallthrough]];
8280b57cec5SDimitry Andric case 'i':
8290b57cec5SDimitry Andric ElementBitwidth = 32;
8300b57cec5SDimitry Andric break;
8310b57cec5SDimitry Andric case 'd':
832480093f4SDimitry Andric Kind = Float;
833bdd1243dSDimitry Andric [[fallthrough]];
8340b57cec5SDimitry Andric case 'l':
8350b57cec5SDimitry Andric ElementBitwidth = 64;
8360b57cec5SDimitry Andric break;
8370b57cec5SDimitry Andric case 'k':
8380b57cec5SDimitry Andric ElementBitwidth = 128;
8390b57cec5SDimitry Andric // Poly doesn't have a 128x1 type.
840480093f4SDimitry Andric if (isPoly())
8410b57cec5SDimitry Andric NumVectors = 0;
8420b57cec5SDimitry Andric break;
8435ffd83dbSDimitry Andric case 'b':
8445ffd83dbSDimitry Andric Kind = BFloat16;
8455ffd83dbSDimitry Andric ElementBitwidth = 16;
8465ffd83dbSDimitry Andric break;
8470b57cec5SDimitry Andric default:
8480b57cec5SDimitry Andric llvm_unreachable("Unhandled type code!");
8490b57cec5SDimitry Andric }
8500b57cec5SDimitry Andric }
8510b57cec5SDimitry Andric assert(ElementBitwidth != ~0U && "Bad element bitwidth!");
8520b57cec5SDimitry Andric
8530b57cec5SDimitry Andric Bitwidth = Quad ? 128 : 64;
8540b57cec5SDimitry Andric }
8550b57cec5SDimitry Andric
applyModifiers(StringRef Mods)856480093f4SDimitry Andric void Type::applyModifiers(StringRef Mods) {
8570b57cec5SDimitry Andric bool AppliedQuad = false;
8580b57cec5SDimitry Andric applyTypespec(AppliedQuad);
8590b57cec5SDimitry Andric
860480093f4SDimitry Andric for (char Mod : Mods) {
8610b57cec5SDimitry Andric switch (Mod) {
862480093f4SDimitry Andric case '.':
863480093f4SDimitry Andric break;
8640b57cec5SDimitry Andric case 'v':
865480093f4SDimitry Andric Kind = Void;
8660b57cec5SDimitry Andric break;
867480093f4SDimitry Andric case 'S':
868480093f4SDimitry Andric Kind = SInt;
8690b57cec5SDimitry Andric break;
8700b57cec5SDimitry Andric case 'U':
871480093f4SDimitry Andric Kind = UInt;
8720b57cec5SDimitry Andric break;
8735ffd83dbSDimitry Andric case 'B':
8745ffd83dbSDimitry Andric Kind = BFloat16;
8755ffd83dbSDimitry Andric ElementBitwidth = 16;
8765ffd83dbSDimitry Andric break;
8770b57cec5SDimitry Andric case 'F':
878480093f4SDimitry Andric Kind = Float;
8790b57cec5SDimitry Andric break;
880480093f4SDimitry Andric case 'P':
881480093f4SDimitry Andric Kind = Poly;
8820b57cec5SDimitry Andric break;
883480093f4SDimitry Andric case '>':
884480093f4SDimitry Andric assert(ElementBitwidth < 128);
885480093f4SDimitry Andric ElementBitwidth *= 2;
886480093f4SDimitry Andric break;
887480093f4SDimitry Andric case '<':
888480093f4SDimitry Andric assert(ElementBitwidth > 8);
889480093f4SDimitry Andric ElementBitwidth /= 2;
8900b57cec5SDimitry Andric break;
8910b57cec5SDimitry Andric case '1':
8920b57cec5SDimitry Andric NumVectors = 0;
8930b57cec5SDimitry Andric break;
8940b57cec5SDimitry Andric case '2':
8950b57cec5SDimitry Andric NumVectors = 2;
8960b57cec5SDimitry Andric break;
8970b57cec5SDimitry Andric case '3':
8980b57cec5SDimitry Andric NumVectors = 3;
8990b57cec5SDimitry Andric break;
9000b57cec5SDimitry Andric case '4':
9010b57cec5SDimitry Andric NumVectors = 4;
9020b57cec5SDimitry Andric break;
903480093f4SDimitry Andric case '*':
904480093f4SDimitry Andric Pointer = true;
9050b57cec5SDimitry Andric break;
906480093f4SDimitry Andric case 'c':
907480093f4SDimitry Andric Constant = true;
9080b57cec5SDimitry Andric break;
909480093f4SDimitry Andric case 'Q':
910480093f4SDimitry Andric Bitwidth = 128;
9110b57cec5SDimitry Andric break;
912480093f4SDimitry Andric case 'q':
913480093f4SDimitry Andric Bitwidth = 64;
9140b57cec5SDimitry Andric break;
915480093f4SDimitry Andric case 'I':
916480093f4SDimitry Andric Kind = SInt;
917480093f4SDimitry Andric ElementBitwidth = Bitwidth = 32;
918480093f4SDimitry Andric NumVectors = 0;
919480093f4SDimitry Andric Immediate = true;
9200b57cec5SDimitry Andric break;
921480093f4SDimitry Andric case 'p':
922480093f4SDimitry Andric if (isPoly())
923480093f4SDimitry Andric Kind = UInt;
924480093f4SDimitry Andric break;
925480093f4SDimitry Andric case '!':
926480093f4SDimitry Andric // Key type, handled elsewhere.
9270b57cec5SDimitry Andric break;
9280b57cec5SDimitry Andric default:
9290b57cec5SDimitry Andric llvm_unreachable("Unhandled character!");
9300b57cec5SDimitry Andric }
9310b57cec5SDimitry Andric }
932480093f4SDimitry Andric }
9330b57cec5SDimitry Andric
9340b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
9350b57cec5SDimitry Andric // Intrinsic implementation
9360b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
9370b57cec5SDimitry Andric
getNextModifiers(StringRef Proto,unsigned & Pos) const938480093f4SDimitry Andric StringRef Intrinsic::getNextModifiers(StringRef Proto, unsigned &Pos) const {
939480093f4SDimitry Andric if (Proto.size() == Pos)
940480093f4SDimitry Andric return StringRef();
941480093f4SDimitry Andric else if (Proto[Pos] != '(')
942480093f4SDimitry Andric return Proto.substr(Pos++, 1);
943480093f4SDimitry Andric
944480093f4SDimitry Andric size_t Start = Pos + 1;
945480093f4SDimitry Andric size_t End = Proto.find(')', Start);
946480093f4SDimitry Andric assert_with_loc(End != StringRef::npos, "unmatched modifier group paren");
947480093f4SDimitry Andric Pos = End + 1;
948480093f4SDimitry Andric return Proto.slice(Start, End);
949480093f4SDimitry Andric }
950480093f4SDimitry Andric
getInstTypeCode(Type T,ClassKind CK) const9510b57cec5SDimitry Andric std::string Intrinsic::getInstTypeCode(Type T, ClassKind CK) const {
9520b57cec5SDimitry Andric char typeCode = '\0';
9530b57cec5SDimitry Andric bool printNumber = true;
9540b57cec5SDimitry Andric
955*0fca6ea1SDimitry Andric if (CK == ClassB && TargetGuard == "neon")
9560b57cec5SDimitry Andric return "";
9570b57cec5SDimitry Andric
9585ffd83dbSDimitry Andric if (T.isBFloat16())
9595ffd83dbSDimitry Andric return "bf16";
9605ffd83dbSDimitry Andric
9610b57cec5SDimitry Andric if (T.isPoly())
9620b57cec5SDimitry Andric typeCode = 'p';
9630b57cec5SDimitry Andric else if (T.isInteger())
9640b57cec5SDimitry Andric typeCode = T.isSigned() ? 's' : 'u';
9650b57cec5SDimitry Andric else
9660b57cec5SDimitry Andric typeCode = 'f';
9670b57cec5SDimitry Andric
9680b57cec5SDimitry Andric if (CK == ClassI) {
9690b57cec5SDimitry Andric switch (typeCode) {
9700b57cec5SDimitry Andric default:
9710b57cec5SDimitry Andric break;
9720b57cec5SDimitry Andric case 's':
9730b57cec5SDimitry Andric case 'u':
9740b57cec5SDimitry Andric case 'p':
9750b57cec5SDimitry Andric typeCode = 'i';
9760b57cec5SDimitry Andric break;
9770b57cec5SDimitry Andric }
9780b57cec5SDimitry Andric }
979*0fca6ea1SDimitry Andric if (CK == ClassB && TargetGuard == "neon") {
9800b57cec5SDimitry Andric typeCode = '\0';
9810b57cec5SDimitry Andric }
9820b57cec5SDimitry Andric
9830b57cec5SDimitry Andric std::string S;
9840b57cec5SDimitry Andric if (typeCode != '\0')
9850b57cec5SDimitry Andric S.push_back(typeCode);
9860b57cec5SDimitry Andric if (printNumber)
9870b57cec5SDimitry Andric S += utostr(T.getElementSizeInBits());
9880b57cec5SDimitry Andric
9890b57cec5SDimitry Andric return S;
9900b57cec5SDimitry Andric }
9910b57cec5SDimitry Andric
getBuiltinTypeStr()9920b57cec5SDimitry Andric std::string Intrinsic::getBuiltinTypeStr() {
9930b57cec5SDimitry Andric ClassKind LocalCK = getClassKind(true);
9940b57cec5SDimitry Andric std::string S;
9950b57cec5SDimitry Andric
9960b57cec5SDimitry Andric Type RetT = getReturnType();
9970b57cec5SDimitry Andric if ((LocalCK == ClassI || LocalCK == ClassW) && RetT.isScalar() &&
9985ffd83dbSDimitry Andric !RetT.isFloating() && !RetT.isBFloat16())
9990b57cec5SDimitry Andric RetT.makeInteger(RetT.getElementSizeInBits(), false);
10000b57cec5SDimitry Andric
10010b57cec5SDimitry Andric // Since the return value must be one type, return a vector type of the
10020b57cec5SDimitry Andric // appropriate width which we will bitcast. An exception is made for
10030b57cec5SDimitry Andric // returning structs of 2, 3, or 4 vectors which are returned in a sret-like
10040b57cec5SDimitry Andric // fashion, storing them to a pointer arg.
10050b57cec5SDimitry Andric if (RetT.getNumVectors() > 1) {
10060b57cec5SDimitry Andric S += "vv*"; // void result with void* first argument
10070b57cec5SDimitry Andric } else {
10080b57cec5SDimitry Andric if (RetT.isPoly())
10090b57cec5SDimitry Andric RetT.makeInteger(RetT.getElementSizeInBits(), false);
1010480093f4SDimitry Andric if (!RetT.isScalar() && RetT.isInteger() && !RetT.isSigned())
10110b57cec5SDimitry Andric RetT.makeSigned();
10120b57cec5SDimitry Andric
1013480093f4SDimitry Andric if (LocalCK == ClassB && RetT.isValue() && !RetT.isScalar())
10140b57cec5SDimitry Andric // Cast to vector of 8-bit elements.
10150b57cec5SDimitry Andric RetT.makeInteger(8, true);
10160b57cec5SDimitry Andric
10170b57cec5SDimitry Andric S += RetT.builtin_str();
10180b57cec5SDimitry Andric }
10190b57cec5SDimitry Andric
10200b57cec5SDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) {
10210b57cec5SDimitry Andric Type T = getParamType(I);
10220b57cec5SDimitry Andric if (T.isPoly())
10230b57cec5SDimitry Andric T.makeInteger(T.getElementSizeInBits(), false);
10240b57cec5SDimitry Andric
1025480093f4SDimitry Andric if (LocalCK == ClassB && !T.isScalar())
10260b57cec5SDimitry Andric T.makeInteger(8, true);
10270b57cec5SDimitry Andric // Halves always get converted to 8-bit elements.
10280b57cec5SDimitry Andric if (T.isHalf() && T.isVector() && !T.isScalarForMangling())
10290b57cec5SDimitry Andric T.makeInteger(8, true);
10300b57cec5SDimitry Andric
1031480093f4SDimitry Andric if (LocalCK == ClassI && T.isInteger())
10320b57cec5SDimitry Andric T.makeSigned();
10330b57cec5SDimitry Andric
10340b57cec5SDimitry Andric if (hasImmediate() && getImmediateIdx() == I)
10350b57cec5SDimitry Andric T.makeImmediate(32);
10360b57cec5SDimitry Andric
10370b57cec5SDimitry Andric S += T.builtin_str();
10380b57cec5SDimitry Andric }
10390b57cec5SDimitry Andric
10400b57cec5SDimitry Andric // Extra constant integer to hold type class enum for this function, e.g. s8
10410b57cec5SDimitry Andric if (LocalCK == ClassB)
10420b57cec5SDimitry Andric S += "i";
10430b57cec5SDimitry Andric
10440b57cec5SDimitry Andric return S;
10450b57cec5SDimitry Andric }
10460b57cec5SDimitry Andric
getMangledName(bool ForceClassS) const10470b57cec5SDimitry Andric std::string Intrinsic::getMangledName(bool ForceClassS) const {
10480b57cec5SDimitry Andric // Check if the prototype has a scalar operand with the type of the vector
10490b57cec5SDimitry Andric // elements. If not, bitcasting the args will take care of arg checking.
10500b57cec5SDimitry Andric // The actual signedness etc. will be taken care of with special enums.
10510b57cec5SDimitry Andric ClassKind LocalCK = CK;
10520b57cec5SDimitry Andric if (!protoHasScalar())
10530b57cec5SDimitry Andric LocalCK = ClassB;
10540b57cec5SDimitry Andric
10550b57cec5SDimitry Andric return mangleName(Name, ForceClassS ? ClassS : LocalCK);
10560b57cec5SDimitry Andric }
10570b57cec5SDimitry Andric
mangleName(std::string Name,ClassKind LocalCK) const10580b57cec5SDimitry Andric std::string Intrinsic::mangleName(std::string Name, ClassKind LocalCK) const {
10590b57cec5SDimitry Andric std::string typeCode = getInstTypeCode(BaseType, LocalCK);
10600b57cec5SDimitry Andric std::string S = Name;
10610b57cec5SDimitry Andric
10620b57cec5SDimitry Andric if (Name == "vcvt_f16_f32" || Name == "vcvt_f32_f16" ||
10635ffd83dbSDimitry Andric Name == "vcvt_f32_f64" || Name == "vcvt_f64_f32" ||
10645ffd83dbSDimitry Andric Name == "vcvt_f32_bf16")
10650b57cec5SDimitry Andric return Name;
10660b57cec5SDimitry Andric
10670b57cec5SDimitry Andric if (!typeCode.empty()) {
10680b57cec5SDimitry Andric // If the name ends with _xN (N = 2,3,4), insert the typeCode before _xN.
10690b57cec5SDimitry Andric if (Name.size() >= 3 && isdigit(Name.back()) &&
10700b57cec5SDimitry Andric Name[Name.length() - 2] == 'x' && Name[Name.length() - 3] == '_')
10710b57cec5SDimitry Andric S.insert(S.length() - 3, "_" + typeCode);
10720b57cec5SDimitry Andric else
10730b57cec5SDimitry Andric S += "_" + typeCode;
10740b57cec5SDimitry Andric }
10750b57cec5SDimitry Andric
10760b57cec5SDimitry Andric if (BaseType != InBaseType) {
10770b57cec5SDimitry Andric // A reinterpret - out the input base type at the end.
10780b57cec5SDimitry Andric S += "_" + getInstTypeCode(InBaseType, LocalCK);
10790b57cec5SDimitry Andric }
10800b57cec5SDimitry Andric
1081*0fca6ea1SDimitry Andric if (LocalCK == ClassB && TargetGuard == "neon")
10820b57cec5SDimitry Andric S += "_v";
10830b57cec5SDimitry Andric
10840b57cec5SDimitry Andric // Insert a 'q' before the first '_' character so that it ends up before
10850b57cec5SDimitry Andric // _lane or _n on vector-scalar operations.
10860b57cec5SDimitry Andric if (BaseType.getSizeInBits() == 128 && !BaseType.noManglingQ()) {
10870b57cec5SDimitry Andric size_t Pos = S.find('_');
10880b57cec5SDimitry Andric S.insert(Pos, "q");
10890b57cec5SDimitry Andric }
10900b57cec5SDimitry Andric
10910b57cec5SDimitry Andric char Suffix = '\0';
10920b57cec5SDimitry Andric if (BaseType.isScalarForMangling()) {
10930b57cec5SDimitry Andric switch (BaseType.getElementSizeInBits()) {
10940b57cec5SDimitry Andric case 8: Suffix = 'b'; break;
10950b57cec5SDimitry Andric case 16: Suffix = 'h'; break;
10960b57cec5SDimitry Andric case 32: Suffix = 's'; break;
10970b57cec5SDimitry Andric case 64: Suffix = 'd'; break;
10980b57cec5SDimitry Andric default: llvm_unreachable("Bad suffix!");
10990b57cec5SDimitry Andric }
11000b57cec5SDimitry Andric }
11010b57cec5SDimitry Andric if (Suffix != '\0') {
11020b57cec5SDimitry Andric size_t Pos = S.find('_');
11030b57cec5SDimitry Andric S.insert(Pos, &Suffix, 1);
11040b57cec5SDimitry Andric }
11050b57cec5SDimitry Andric
11060b57cec5SDimitry Andric return S;
11070b57cec5SDimitry Andric }
11080b57cec5SDimitry Andric
replaceParamsIn(std::string S)11090b57cec5SDimitry Andric std::string Intrinsic::replaceParamsIn(std::string S) {
11100b57cec5SDimitry Andric while (S.find('$') != std::string::npos) {
11110b57cec5SDimitry Andric size_t Pos = S.find('$');
11120b57cec5SDimitry Andric size_t End = Pos + 1;
11130b57cec5SDimitry Andric while (isalpha(S[End]))
11140b57cec5SDimitry Andric ++End;
11150b57cec5SDimitry Andric
11160b57cec5SDimitry Andric std::string VarName = S.substr(Pos + 1, End - Pos - 1);
11170b57cec5SDimitry Andric assert_with_loc(Variables.find(VarName) != Variables.end(),
11180b57cec5SDimitry Andric "Variable not defined!");
11190b57cec5SDimitry Andric S.replace(Pos, End - Pos, Variables.find(VarName)->second.getName());
11200b57cec5SDimitry Andric }
11210b57cec5SDimitry Andric
11220b57cec5SDimitry Andric return S;
11230b57cec5SDimitry Andric }
11240b57cec5SDimitry Andric
initVariables()11250b57cec5SDimitry Andric void Intrinsic::initVariables() {
11260b57cec5SDimitry Andric Variables.clear();
11270b57cec5SDimitry Andric
11280b57cec5SDimitry Andric // Modify the TypeSpec per-argument to get a concrete Type, and create
11290b57cec5SDimitry Andric // known variables for each.
1130480093f4SDimitry Andric for (unsigned I = 1; I < Types.size(); ++I) {
11310b57cec5SDimitry Andric char NameC = '0' + (I - 1);
11320b57cec5SDimitry Andric std::string Name = "p";
11330b57cec5SDimitry Andric Name.push_back(NameC);
11340b57cec5SDimitry Andric
11350b57cec5SDimitry Andric Variables[Name] = Variable(Types[I], Name + VariablePostfix);
11360b57cec5SDimitry Andric }
11370b57cec5SDimitry Andric RetVar = Variable(Types[0], "ret" + VariablePostfix);
11380b57cec5SDimitry Andric }
11390b57cec5SDimitry Andric
emitPrototype(StringRef NamePrefix)11400b57cec5SDimitry Andric void Intrinsic::emitPrototype(StringRef NamePrefix) {
1141bdd1243dSDimitry Andric if (UseMacro) {
11420b57cec5SDimitry Andric OS << "#define ";
1143bdd1243dSDimitry Andric } else {
1144bdd1243dSDimitry Andric OS << "__ai ";
1145bdd1243dSDimitry Andric if (TargetGuard != "")
1146bdd1243dSDimitry Andric OS << "__attribute__((target(\"" << TargetGuard << "\"))) ";
1147bdd1243dSDimitry Andric OS << Types[0].str() << " ";
1148bdd1243dSDimitry Andric }
11490b57cec5SDimitry Andric
11500b57cec5SDimitry Andric OS << NamePrefix.str() << mangleName(Name, ClassS) << "(";
11510b57cec5SDimitry Andric
11520b57cec5SDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) {
11530b57cec5SDimitry Andric if (I != 0)
11540b57cec5SDimitry Andric OS << ", ";
11550b57cec5SDimitry Andric
11560b57cec5SDimitry Andric char NameC = '0' + I;
11570b57cec5SDimitry Andric std::string Name = "p";
11580b57cec5SDimitry Andric Name.push_back(NameC);
11590b57cec5SDimitry Andric assert(Variables.find(Name) != Variables.end());
11600b57cec5SDimitry Andric Variable &V = Variables[Name];
11610b57cec5SDimitry Andric
11620b57cec5SDimitry Andric if (!UseMacro)
11630b57cec5SDimitry Andric OS << V.getType().str() << " ";
11640b57cec5SDimitry Andric OS << V.getName();
11650b57cec5SDimitry Andric }
11660b57cec5SDimitry Andric
11670b57cec5SDimitry Andric OS << ")";
11680b57cec5SDimitry Andric }
11690b57cec5SDimitry Andric
emitOpeningBrace()11700b57cec5SDimitry Andric void Intrinsic::emitOpeningBrace() {
11710b57cec5SDimitry Andric if (UseMacro)
11720b57cec5SDimitry Andric OS << " __extension__ ({";
11730b57cec5SDimitry Andric else
11740b57cec5SDimitry Andric OS << " {";
11750b57cec5SDimitry Andric emitNewLine();
11760b57cec5SDimitry Andric }
11770b57cec5SDimitry Andric
emitClosingBrace()11780b57cec5SDimitry Andric void Intrinsic::emitClosingBrace() {
11790b57cec5SDimitry Andric if (UseMacro)
11800b57cec5SDimitry Andric OS << "})";
11810b57cec5SDimitry Andric else
11820b57cec5SDimitry Andric OS << "}";
11830b57cec5SDimitry Andric }
11840b57cec5SDimitry Andric
emitNewLine()11850b57cec5SDimitry Andric void Intrinsic::emitNewLine() {
11860b57cec5SDimitry Andric if (UseMacro)
11870b57cec5SDimitry Andric OS << " \\\n";
11880b57cec5SDimitry Andric else
11890b57cec5SDimitry Andric OS << "\n";
11900b57cec5SDimitry Andric }
11910b57cec5SDimitry Andric
emitReverseVariable(Variable & Dest,Variable & Src)11920b57cec5SDimitry Andric void Intrinsic::emitReverseVariable(Variable &Dest, Variable &Src) {
11930b57cec5SDimitry Andric if (Dest.getType().getNumVectors() > 1) {
11940b57cec5SDimitry Andric emitNewLine();
11950b57cec5SDimitry Andric
11960b57cec5SDimitry Andric for (unsigned K = 0; K < Dest.getType().getNumVectors(); ++K) {
11970b57cec5SDimitry Andric OS << " " << Dest.getName() << ".val[" << K << "] = "
11980b57cec5SDimitry Andric << "__builtin_shufflevector("
11990b57cec5SDimitry Andric << Src.getName() << ".val[" << K << "], "
12000b57cec5SDimitry Andric << Src.getName() << ".val[" << K << "]";
12010b57cec5SDimitry Andric for (int J = Dest.getType().getNumElements() - 1; J >= 0; --J)
12020b57cec5SDimitry Andric OS << ", " << J;
12030b57cec5SDimitry Andric OS << ");";
12040b57cec5SDimitry Andric emitNewLine();
12050b57cec5SDimitry Andric }
12060b57cec5SDimitry Andric } else {
12070b57cec5SDimitry Andric OS << " " << Dest.getName()
12080b57cec5SDimitry Andric << " = __builtin_shufflevector(" << Src.getName() << ", " << Src.getName();
12090b57cec5SDimitry Andric for (int J = Dest.getType().getNumElements() - 1; J >= 0; --J)
12100b57cec5SDimitry Andric OS << ", " << J;
12110b57cec5SDimitry Andric OS << ");";
12120b57cec5SDimitry Andric emitNewLine();
12130b57cec5SDimitry Andric }
12140b57cec5SDimitry Andric }
12150b57cec5SDimitry Andric
emitArgumentReversal()12160b57cec5SDimitry Andric void Intrinsic::emitArgumentReversal() {
1217a7dea167SDimitry Andric if (isBigEndianSafe())
12180b57cec5SDimitry Andric return;
12190b57cec5SDimitry Andric
12200b57cec5SDimitry Andric // Reverse all vector arguments.
12210b57cec5SDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) {
12220b57cec5SDimitry Andric std::string Name = "p" + utostr(I);
12230b57cec5SDimitry Andric std::string NewName = "rev" + utostr(I);
12240b57cec5SDimitry Andric
12250b57cec5SDimitry Andric Variable &V = Variables[Name];
12260b57cec5SDimitry Andric Variable NewV(V.getType(), NewName + VariablePostfix);
12270b57cec5SDimitry Andric
12280b57cec5SDimitry Andric if (!NewV.getType().isVector() || NewV.getType().getNumElements() == 1)
12290b57cec5SDimitry Andric continue;
12300b57cec5SDimitry Andric
12310b57cec5SDimitry Andric OS << " " << NewV.getType().str() << " " << NewV.getName() << ";";
12320b57cec5SDimitry Andric emitReverseVariable(NewV, V);
12330b57cec5SDimitry Andric V = NewV;
12340b57cec5SDimitry Andric }
12350b57cec5SDimitry Andric }
12360b57cec5SDimitry Andric
emitReturnVarDecl()12373a9a9c0cSDimitry Andric void Intrinsic::emitReturnVarDecl() {
12383a9a9c0cSDimitry Andric assert(RetVar.getType() == Types[0]);
12393a9a9c0cSDimitry Andric // Create a return variable, if we're not void.
12403a9a9c0cSDimitry Andric if (!RetVar.getType().isVoid()) {
12413a9a9c0cSDimitry Andric OS << " " << RetVar.getType().str() << " " << RetVar.getName() << ";";
12423a9a9c0cSDimitry Andric emitNewLine();
12433a9a9c0cSDimitry Andric }
12443a9a9c0cSDimitry Andric }
12453a9a9c0cSDimitry Andric
emitReturnReversal()12460b57cec5SDimitry Andric void Intrinsic::emitReturnReversal() {
1247a7dea167SDimitry Andric if (isBigEndianSafe())
12480b57cec5SDimitry Andric return;
12490b57cec5SDimitry Andric if (!getReturnType().isVector() || getReturnType().isVoid() ||
12500b57cec5SDimitry Andric getReturnType().getNumElements() == 1)
12510b57cec5SDimitry Andric return;
12520b57cec5SDimitry Andric emitReverseVariable(RetVar, RetVar);
12530b57cec5SDimitry Andric }
12540b57cec5SDimitry Andric
emitShadowedArgs()12550b57cec5SDimitry Andric void Intrinsic::emitShadowedArgs() {
12560b57cec5SDimitry Andric // Macro arguments are not type-checked like inline function arguments,
12570b57cec5SDimitry Andric // so assign them to local temporaries to get the right type checking.
12580b57cec5SDimitry Andric if (!UseMacro)
12590b57cec5SDimitry Andric return;
12600b57cec5SDimitry Andric
12610b57cec5SDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) {
12620b57cec5SDimitry Andric // Do not create a temporary for an immediate argument.
12630b57cec5SDimitry Andric // That would defeat the whole point of using a macro!
1264480093f4SDimitry Andric if (getParamType(I).isImmediate())
12650b57cec5SDimitry Andric continue;
12660b57cec5SDimitry Andric // Do not create a temporary for pointer arguments. The input
12670b57cec5SDimitry Andric // pointer may have an alignment hint.
12680b57cec5SDimitry Andric if (getParamType(I).isPointer())
12690b57cec5SDimitry Andric continue;
12700b57cec5SDimitry Andric
12710b57cec5SDimitry Andric std::string Name = "p" + utostr(I);
12720b57cec5SDimitry Andric
12730b57cec5SDimitry Andric assert(Variables.find(Name) != Variables.end());
12740b57cec5SDimitry Andric Variable &V = Variables[Name];
12750b57cec5SDimitry Andric
12760b57cec5SDimitry Andric std::string NewName = "s" + utostr(I);
12770b57cec5SDimitry Andric Variable V2(V.getType(), NewName + VariablePostfix);
12780b57cec5SDimitry Andric
12790b57cec5SDimitry Andric OS << " " << V2.getType().str() << " " << V2.getName() << " = "
12800b57cec5SDimitry Andric << V.getName() << ";";
12810b57cec5SDimitry Andric emitNewLine();
12820b57cec5SDimitry Andric
12830b57cec5SDimitry Andric V = V2;
12840b57cec5SDimitry Andric }
12850b57cec5SDimitry Andric }
12860b57cec5SDimitry Andric
protoHasScalar() const12870b57cec5SDimitry Andric bool Intrinsic::protoHasScalar() const {
1288349cc55cSDimitry Andric return llvm::any_of(
1289349cc55cSDimitry Andric Types, [](const Type &T) { return T.isScalar() && !T.isImmediate(); });
12900b57cec5SDimitry Andric }
12910b57cec5SDimitry Andric
emitBodyAsBuiltinCall()12920b57cec5SDimitry Andric void Intrinsic::emitBodyAsBuiltinCall() {
12930b57cec5SDimitry Andric std::string S;
12940b57cec5SDimitry Andric
12950b57cec5SDimitry Andric // If this builtin returns a struct 2, 3, or 4 vectors, pass it as an implicit
12960b57cec5SDimitry Andric // sret-like argument.
12970b57cec5SDimitry Andric bool SRet = getReturnType().getNumVectors() >= 2;
12980b57cec5SDimitry Andric
12990b57cec5SDimitry Andric StringRef N = Name;
13000b57cec5SDimitry Andric ClassKind LocalCK = CK;
13010b57cec5SDimitry Andric if (!protoHasScalar())
13020b57cec5SDimitry Andric LocalCK = ClassB;
13030b57cec5SDimitry Andric
13040b57cec5SDimitry Andric if (!getReturnType().isVoid() && !SRet)
13050b57cec5SDimitry Andric S += "(" + RetVar.getType().str() + ") ";
13060b57cec5SDimitry Andric
13075ffd83dbSDimitry Andric S += "__builtin_neon_" + mangleName(std::string(N), LocalCK) + "(";
13080b57cec5SDimitry Andric
13090b57cec5SDimitry Andric if (SRet)
13100b57cec5SDimitry Andric S += "&" + RetVar.getName() + ", ";
13110b57cec5SDimitry Andric
13120b57cec5SDimitry Andric for (unsigned I = 0; I < getNumParams(); ++I) {
13130b57cec5SDimitry Andric Variable &V = Variables["p" + utostr(I)];
13140b57cec5SDimitry Andric Type T = V.getType();
13150b57cec5SDimitry Andric
13160b57cec5SDimitry Andric // Handle multiple-vector values specially, emitting each subvector as an
13170b57cec5SDimitry Andric // argument to the builtin.
13180b57cec5SDimitry Andric if (T.getNumVectors() > 1) {
13190b57cec5SDimitry Andric // Check if an explicit cast is needed.
13200b57cec5SDimitry Andric std::string Cast;
1321a7dea167SDimitry Andric if (LocalCK == ClassB) {
13220b57cec5SDimitry Andric Type T2 = T;
13230b57cec5SDimitry Andric T2.makeOneVector();
132404eeddc0SDimitry Andric T2.makeInteger(8, /*Sign=*/true);
13250b57cec5SDimitry Andric Cast = "(" + T2.str() + ")";
13260b57cec5SDimitry Andric }
13270b57cec5SDimitry Andric
13280b57cec5SDimitry Andric for (unsigned J = 0; J < T.getNumVectors(); ++J)
13290b57cec5SDimitry Andric S += Cast + V.getName() + ".val[" + utostr(J) + "], ";
13300b57cec5SDimitry Andric continue;
13310b57cec5SDimitry Andric }
13320b57cec5SDimitry Andric
1333480093f4SDimitry Andric std::string Arg = V.getName();
13340b57cec5SDimitry Andric Type CastToType = T;
13350b57cec5SDimitry Andric
13360b57cec5SDimitry Andric // Check if an explicit cast is needed.
1337a7dea167SDimitry Andric if (CastToType.isVector() &&
1338a7dea167SDimitry Andric (LocalCK == ClassB || (T.isHalf() && !T.isScalarForMangling()))) {
13390b57cec5SDimitry Andric CastToType.makeInteger(8, true);
13400b57cec5SDimitry Andric Arg = "(" + CastToType.str() + ")" + Arg;
1341a7dea167SDimitry Andric } else if (CastToType.isVector() && LocalCK == ClassI) {
1342480093f4SDimitry Andric if (CastToType.isInteger())
1343a7dea167SDimitry Andric CastToType.makeSigned();
1344a7dea167SDimitry Andric Arg = "(" + CastToType.str() + ")" + Arg;
13450b57cec5SDimitry Andric }
13460b57cec5SDimitry Andric
13470b57cec5SDimitry Andric S += Arg + ", ";
13480b57cec5SDimitry Andric }
13490b57cec5SDimitry Andric
13500b57cec5SDimitry Andric // Extra constant integer to hold type class enum for this function, e.g. s8
13510b57cec5SDimitry Andric if (getClassKind(true) == ClassB) {
1352480093f4SDimitry Andric S += utostr(getPolymorphicKeyType().getNeonEnum());
13530b57cec5SDimitry Andric } else {
13540b57cec5SDimitry Andric // Remove extraneous ", ".
13550b57cec5SDimitry Andric S.pop_back();
13560b57cec5SDimitry Andric S.pop_back();
13570b57cec5SDimitry Andric }
13580b57cec5SDimitry Andric S += ");";
13590b57cec5SDimitry Andric
13600b57cec5SDimitry Andric std::string RetExpr;
13610b57cec5SDimitry Andric if (!SRet && !RetVar.getType().isVoid())
13620b57cec5SDimitry Andric RetExpr = RetVar.getName() + " = ";
13630b57cec5SDimitry Andric
13640b57cec5SDimitry Andric OS << " " << RetExpr << S;
13650b57cec5SDimitry Andric emitNewLine();
13660b57cec5SDimitry Andric }
13670b57cec5SDimitry Andric
emitBody(StringRef CallPrefix)13680b57cec5SDimitry Andric void Intrinsic::emitBody(StringRef CallPrefix) {
13690b57cec5SDimitry Andric std::vector<std::string> Lines;
13700b57cec5SDimitry Andric
13710b57cec5SDimitry Andric if (!Body || Body->getValues().empty()) {
13720b57cec5SDimitry Andric // Nothing specific to output - must output a builtin.
13730b57cec5SDimitry Andric emitBodyAsBuiltinCall();
13740b57cec5SDimitry Andric return;
13750b57cec5SDimitry Andric }
13760b57cec5SDimitry Andric
13770b57cec5SDimitry Andric // We have a list of "things to output". The last should be returned.
13780b57cec5SDimitry Andric for (auto *I : Body->getValues()) {
13790b57cec5SDimitry Andric if (StringInit *SI = dyn_cast<StringInit>(I)) {
13800b57cec5SDimitry Andric Lines.push_back(replaceParamsIn(SI->getAsString()));
13810b57cec5SDimitry Andric } else if (DagInit *DI = dyn_cast<DagInit>(I)) {
13820b57cec5SDimitry Andric DagEmitter DE(*this, CallPrefix);
13830b57cec5SDimitry Andric Lines.push_back(DE.emitDag(DI).second + ";");
13840b57cec5SDimitry Andric }
13850b57cec5SDimitry Andric }
13860b57cec5SDimitry Andric
13870b57cec5SDimitry Andric assert(!Lines.empty() && "Empty def?");
13880b57cec5SDimitry Andric if (!RetVar.getType().isVoid())
13890b57cec5SDimitry Andric Lines.back().insert(0, RetVar.getName() + " = ");
13900b57cec5SDimitry Andric
13910b57cec5SDimitry Andric for (auto &L : Lines) {
13920b57cec5SDimitry Andric OS << " " << L;
13930b57cec5SDimitry Andric emitNewLine();
13940b57cec5SDimitry Andric }
13950b57cec5SDimitry Andric }
13960b57cec5SDimitry Andric
emitReturn()13970b57cec5SDimitry Andric void Intrinsic::emitReturn() {
13980b57cec5SDimitry Andric if (RetVar.getType().isVoid())
13990b57cec5SDimitry Andric return;
14000b57cec5SDimitry Andric if (UseMacro)
14010b57cec5SDimitry Andric OS << " " << RetVar.getName() << ";";
14020b57cec5SDimitry Andric else
14030b57cec5SDimitry Andric OS << " return " << RetVar.getName() << ";";
14040b57cec5SDimitry Andric emitNewLine();
14050b57cec5SDimitry Andric }
14060b57cec5SDimitry Andric
emitDag(DagInit * DI)14070b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDag(DagInit *DI) {
14080b57cec5SDimitry Andric // At this point we should only be seeing a def.
14090b57cec5SDimitry Andric DefInit *DefI = cast<DefInit>(DI->getOperator());
14100b57cec5SDimitry Andric std::string Op = DefI->getAsString();
14110b57cec5SDimitry Andric
14120b57cec5SDimitry Andric if (Op == "cast" || Op == "bitcast")
14130b57cec5SDimitry Andric return emitDagCast(DI, Op == "bitcast");
14140b57cec5SDimitry Andric if (Op == "shuffle")
14150b57cec5SDimitry Andric return emitDagShuffle(DI);
14160b57cec5SDimitry Andric if (Op == "dup")
14170b57cec5SDimitry Andric return emitDagDup(DI);
14180b57cec5SDimitry Andric if (Op == "dup_typed")
14190b57cec5SDimitry Andric return emitDagDupTyped(DI);
14200b57cec5SDimitry Andric if (Op == "splat")
14210b57cec5SDimitry Andric return emitDagSplat(DI);
14220b57cec5SDimitry Andric if (Op == "save_temp")
14230b57cec5SDimitry Andric return emitDagSaveTemp(DI);
14240b57cec5SDimitry Andric if (Op == "op")
14250b57cec5SDimitry Andric return emitDagOp(DI);
14265ffd83dbSDimitry Andric if (Op == "call" || Op == "call_mangled")
14275ffd83dbSDimitry Andric return emitDagCall(DI, Op == "call_mangled");
14280b57cec5SDimitry Andric if (Op == "name_replace")
14290b57cec5SDimitry Andric return emitDagNameReplace(DI);
14300b57cec5SDimitry Andric if (Op == "literal")
14310b57cec5SDimitry Andric return emitDagLiteral(DI);
14320b57cec5SDimitry Andric assert_with_loc(false, "Unknown operation!");
14330b57cec5SDimitry Andric return std::make_pair(Type::getVoid(), "");
14340b57cec5SDimitry Andric }
14350b57cec5SDimitry Andric
emitDagOp(DagInit * DI)14360b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagOp(DagInit *DI) {
14370b57cec5SDimitry Andric std::string Op = cast<StringInit>(DI->getArg(0))->getAsUnquotedString();
14380b57cec5SDimitry Andric if (DI->getNumArgs() == 2) {
14390b57cec5SDimitry Andric // Unary op.
14400b57cec5SDimitry Andric std::pair<Type, std::string> R =
14415ffd83dbSDimitry Andric emitDagArg(DI->getArg(1), std::string(DI->getArgNameStr(1)));
14420b57cec5SDimitry Andric return std::make_pair(R.first, Op + R.second);
14430b57cec5SDimitry Andric } else {
14440b57cec5SDimitry Andric assert(DI->getNumArgs() == 3 && "Can only handle unary and binary ops!");
14450b57cec5SDimitry Andric std::pair<Type, std::string> R1 =
14465ffd83dbSDimitry Andric emitDagArg(DI->getArg(1), std::string(DI->getArgNameStr(1)));
14470b57cec5SDimitry Andric std::pair<Type, std::string> R2 =
14485ffd83dbSDimitry Andric emitDagArg(DI->getArg(2), std::string(DI->getArgNameStr(2)));
14490b57cec5SDimitry Andric assert_with_loc(R1.first == R2.first, "Argument type mismatch!");
14500b57cec5SDimitry Andric return std::make_pair(R1.first, R1.second + " " + Op + " " + R2.second);
14510b57cec5SDimitry Andric }
14520b57cec5SDimitry Andric }
14530b57cec5SDimitry Andric
14545ffd83dbSDimitry Andric std::pair<Type, std::string>
emitDagCall(DagInit * DI,bool MatchMangledName)14555ffd83dbSDimitry Andric Intrinsic::DagEmitter::emitDagCall(DagInit *DI, bool MatchMangledName) {
14560b57cec5SDimitry Andric std::vector<Type> Types;
14570b57cec5SDimitry Andric std::vector<std::string> Values;
14580b57cec5SDimitry Andric for (unsigned I = 0; I < DI->getNumArgs() - 1; ++I) {
14590b57cec5SDimitry Andric std::pair<Type, std::string> R =
14605ffd83dbSDimitry Andric emitDagArg(DI->getArg(I + 1), std::string(DI->getArgNameStr(I + 1)));
14610b57cec5SDimitry Andric Types.push_back(R.first);
14620b57cec5SDimitry Andric Values.push_back(R.second);
14630b57cec5SDimitry Andric }
14640b57cec5SDimitry Andric
14650b57cec5SDimitry Andric // Look up the called intrinsic.
14660b57cec5SDimitry Andric std::string N;
14670b57cec5SDimitry Andric if (StringInit *SI = dyn_cast<StringInit>(DI->getArg(0)))
14680b57cec5SDimitry Andric N = SI->getAsUnquotedString();
14690b57cec5SDimitry Andric else
14700b57cec5SDimitry Andric N = emitDagArg(DI->getArg(0), "").second;
1471bdd1243dSDimitry Andric std::optional<std::string> MangledName;
14725ffd83dbSDimitry Andric if (MatchMangledName) {
14735ffd83dbSDimitry Andric if (Intr.getRecord()->getValueAsBit("isLaneQ"))
14745ffd83dbSDimitry Andric N += "q";
14755ffd83dbSDimitry Andric MangledName = Intr.mangleName(N, ClassS);
14765ffd83dbSDimitry Andric }
14775ffd83dbSDimitry Andric Intrinsic &Callee = Intr.Emitter.getIntrinsic(N, Types, MangledName);
14780b57cec5SDimitry Andric
14790b57cec5SDimitry Andric // Make sure the callee is known as an early def.
14800b57cec5SDimitry Andric Callee.setNeededEarly();
14810b57cec5SDimitry Andric Intr.Dependencies.insert(&Callee);
14820b57cec5SDimitry Andric
14830b57cec5SDimitry Andric // Now create the call itself.
148404eeddc0SDimitry Andric std::string S;
1485a7dea167SDimitry Andric if (!Callee.isBigEndianSafe())
1486a7dea167SDimitry Andric S += CallPrefix.str();
1487a7dea167SDimitry Andric S += Callee.getMangledName(true) + "(";
14880b57cec5SDimitry Andric for (unsigned I = 0; I < DI->getNumArgs() - 1; ++I) {
14890b57cec5SDimitry Andric if (I != 0)
14900b57cec5SDimitry Andric S += ", ";
14910b57cec5SDimitry Andric S += Values[I];
14920b57cec5SDimitry Andric }
14930b57cec5SDimitry Andric S += ")";
14940b57cec5SDimitry Andric
14950b57cec5SDimitry Andric return std::make_pair(Callee.getReturnType(), S);
14960b57cec5SDimitry Andric }
14970b57cec5SDimitry Andric
emitDagCast(DagInit * DI,bool IsBitCast)14980b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagCast(DagInit *DI,
14990b57cec5SDimitry Andric bool IsBitCast){
15000b57cec5SDimitry Andric // (cast MOD* VAL) -> cast VAL to type given by MOD.
15015ffd83dbSDimitry Andric std::pair<Type, std::string> R =
15025ffd83dbSDimitry Andric emitDagArg(DI->getArg(DI->getNumArgs() - 1),
15035ffd83dbSDimitry Andric std::string(DI->getArgNameStr(DI->getNumArgs() - 1)));
15040b57cec5SDimitry Andric Type castToType = R.first;
15050b57cec5SDimitry Andric for (unsigned ArgIdx = 0; ArgIdx < DI->getNumArgs() - 1; ++ArgIdx) {
15060b57cec5SDimitry Andric
15070b57cec5SDimitry Andric // MOD can take several forms:
15080b57cec5SDimitry Andric // 1. $X - take the type of parameter / variable X.
15090b57cec5SDimitry Andric // 2. The value "R" - take the type of the return type.
15100b57cec5SDimitry Andric // 3. a type string
15110b57cec5SDimitry Andric // 4. The value "U" or "S" to switch the signedness.
15120b57cec5SDimitry Andric // 5. The value "H" or "D" to half or double the bitwidth.
15130b57cec5SDimitry Andric // 6. The value "8" to convert to 8-bit (signed) integer lanes.
15140b57cec5SDimitry Andric if (!DI->getArgNameStr(ArgIdx).empty()) {
15155ffd83dbSDimitry Andric assert_with_loc(Intr.Variables.find(std::string(
15165ffd83dbSDimitry Andric DI->getArgNameStr(ArgIdx))) != Intr.Variables.end(),
15170b57cec5SDimitry Andric "Variable not found");
15185ffd83dbSDimitry Andric castToType =
15195ffd83dbSDimitry Andric Intr.Variables[std::string(DI->getArgNameStr(ArgIdx))].getType();
15200b57cec5SDimitry Andric } else {
15210b57cec5SDimitry Andric StringInit *SI = dyn_cast<StringInit>(DI->getArg(ArgIdx));
15220b57cec5SDimitry Andric assert_with_loc(SI, "Expected string type or $Name for cast type");
15230b57cec5SDimitry Andric
15240b57cec5SDimitry Andric if (SI->getAsUnquotedString() == "R") {
15250b57cec5SDimitry Andric castToType = Intr.getReturnType();
15260b57cec5SDimitry Andric } else if (SI->getAsUnquotedString() == "U") {
15270b57cec5SDimitry Andric castToType.makeUnsigned();
15280b57cec5SDimitry Andric } else if (SI->getAsUnquotedString() == "S") {
15290b57cec5SDimitry Andric castToType.makeSigned();
15300b57cec5SDimitry Andric } else if (SI->getAsUnquotedString() == "H") {
15310b57cec5SDimitry Andric castToType.halveLanes();
15320b57cec5SDimitry Andric } else if (SI->getAsUnquotedString() == "D") {
15330b57cec5SDimitry Andric castToType.doubleLanes();
15340b57cec5SDimitry Andric } else if (SI->getAsUnquotedString() == "8") {
15350b57cec5SDimitry Andric castToType.makeInteger(8, true);
15365ffd83dbSDimitry Andric } else if (SI->getAsUnquotedString() == "32") {
15375ffd83dbSDimitry Andric castToType.make32BitElement();
15380b57cec5SDimitry Andric } else {
15390b57cec5SDimitry Andric castToType = Type::fromTypedefName(SI->getAsUnquotedString());
15400b57cec5SDimitry Andric assert_with_loc(!castToType.isVoid(), "Unknown typedef");
15410b57cec5SDimitry Andric }
15420b57cec5SDimitry Andric }
15430b57cec5SDimitry Andric }
15440b57cec5SDimitry Andric
15450b57cec5SDimitry Andric std::string S;
15460b57cec5SDimitry Andric if (IsBitCast) {
15470b57cec5SDimitry Andric // Emit a reinterpret cast. The second operand must be an lvalue, so create
15480b57cec5SDimitry Andric // a temporary.
15490b57cec5SDimitry Andric std::string N = "reint";
15500b57cec5SDimitry Andric unsigned I = 0;
15510b57cec5SDimitry Andric while (Intr.Variables.find(N) != Intr.Variables.end())
15520b57cec5SDimitry Andric N = "reint" + utostr(++I);
15530b57cec5SDimitry Andric Intr.Variables[N] = Variable(R.first, N + Intr.VariablePostfix);
15540b57cec5SDimitry Andric
15550b57cec5SDimitry Andric Intr.OS << R.first.str() << " " << Intr.Variables[N].getName() << " = "
15560b57cec5SDimitry Andric << R.second << ";";
15570b57cec5SDimitry Andric Intr.emitNewLine();
15580b57cec5SDimitry Andric
15590b57cec5SDimitry Andric S = "*(" + castToType.str() + " *) &" + Intr.Variables[N].getName() + "";
15600b57cec5SDimitry Andric } else {
15610b57cec5SDimitry Andric // Emit a normal (static) cast.
15620b57cec5SDimitry Andric S = "(" + castToType.str() + ")(" + R.second + ")";
15630b57cec5SDimitry Andric }
15640b57cec5SDimitry Andric
15650b57cec5SDimitry Andric return std::make_pair(castToType, S);
15660b57cec5SDimitry Andric }
15670b57cec5SDimitry Andric
emitDagShuffle(DagInit * DI)15680b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagShuffle(DagInit *DI){
15690b57cec5SDimitry Andric // See the documentation in arm_neon.td for a description of these operators.
15700b57cec5SDimitry Andric class LowHalf : public SetTheory::Operator {
15710b57cec5SDimitry Andric public:
15720b57cec5SDimitry Andric void apply(SetTheory &ST, DagInit *Expr, SetTheory::RecSet &Elts,
15730b57cec5SDimitry Andric ArrayRef<SMLoc> Loc) override {
15740b57cec5SDimitry Andric SetTheory::RecSet Elts2;
15750b57cec5SDimitry Andric ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts2, Loc);
15760b57cec5SDimitry Andric Elts.insert(Elts2.begin(), Elts2.begin() + (Elts2.size() / 2));
15770b57cec5SDimitry Andric }
15780b57cec5SDimitry Andric };
15790b57cec5SDimitry Andric
15800b57cec5SDimitry Andric class HighHalf : public SetTheory::Operator {
15810b57cec5SDimitry Andric public:
15820b57cec5SDimitry Andric void apply(SetTheory &ST, DagInit *Expr, SetTheory::RecSet &Elts,
15830b57cec5SDimitry Andric ArrayRef<SMLoc> Loc) override {
15840b57cec5SDimitry Andric SetTheory::RecSet Elts2;
15850b57cec5SDimitry Andric ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts2, Loc);
15860b57cec5SDimitry Andric Elts.insert(Elts2.begin() + (Elts2.size() / 2), Elts2.end());
15870b57cec5SDimitry Andric }
15880b57cec5SDimitry Andric };
15890b57cec5SDimitry Andric
15900b57cec5SDimitry Andric class Rev : public SetTheory::Operator {
15910b57cec5SDimitry Andric unsigned ElementSize;
15920b57cec5SDimitry Andric
15930b57cec5SDimitry Andric public:
15940b57cec5SDimitry Andric Rev(unsigned ElementSize) : ElementSize(ElementSize) {}
15950b57cec5SDimitry Andric
15960b57cec5SDimitry Andric void apply(SetTheory &ST, DagInit *Expr, SetTheory::RecSet &Elts,
15970b57cec5SDimitry Andric ArrayRef<SMLoc> Loc) override {
15980b57cec5SDimitry Andric SetTheory::RecSet Elts2;
15990b57cec5SDimitry Andric ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Elts2, Loc);
16000b57cec5SDimitry Andric
16010b57cec5SDimitry Andric int64_t VectorSize = cast<IntInit>(Expr->getArg(0))->getValue();
16020b57cec5SDimitry Andric VectorSize /= ElementSize;
16030b57cec5SDimitry Andric
16040b57cec5SDimitry Andric std::vector<Record *> Revved;
16050b57cec5SDimitry Andric for (unsigned VI = 0; VI < Elts2.size(); VI += VectorSize) {
16060b57cec5SDimitry Andric for (int LI = VectorSize - 1; LI >= 0; --LI) {
16070b57cec5SDimitry Andric Revved.push_back(Elts2[VI + LI]);
16080b57cec5SDimitry Andric }
16090b57cec5SDimitry Andric }
16100b57cec5SDimitry Andric
16110b57cec5SDimitry Andric Elts.insert(Revved.begin(), Revved.end());
16120b57cec5SDimitry Andric }
16130b57cec5SDimitry Andric };
16140b57cec5SDimitry Andric
16150b57cec5SDimitry Andric class MaskExpander : public SetTheory::Expander {
16160b57cec5SDimitry Andric unsigned N;
16170b57cec5SDimitry Andric
16180b57cec5SDimitry Andric public:
16190b57cec5SDimitry Andric MaskExpander(unsigned N) : N(N) {}
16200b57cec5SDimitry Andric
16210b57cec5SDimitry Andric void expand(SetTheory &ST, Record *R, SetTheory::RecSet &Elts) override {
16220b57cec5SDimitry Andric unsigned Addend = 0;
16230b57cec5SDimitry Andric if (R->getName() == "mask0")
16240b57cec5SDimitry Andric Addend = 0;
16250b57cec5SDimitry Andric else if (R->getName() == "mask1")
16260b57cec5SDimitry Andric Addend = N;
16270b57cec5SDimitry Andric else
16280b57cec5SDimitry Andric return;
16290b57cec5SDimitry Andric for (unsigned I = 0; I < N; ++I)
16300b57cec5SDimitry Andric Elts.insert(R->getRecords().getDef("sv" + utostr(I + Addend)));
16310b57cec5SDimitry Andric }
16320b57cec5SDimitry Andric };
16330b57cec5SDimitry Andric
16340b57cec5SDimitry Andric // (shuffle arg1, arg2, sequence)
16350b57cec5SDimitry Andric std::pair<Type, std::string> Arg1 =
16365ffd83dbSDimitry Andric emitDagArg(DI->getArg(0), std::string(DI->getArgNameStr(0)));
16370b57cec5SDimitry Andric std::pair<Type, std::string> Arg2 =
16385ffd83dbSDimitry Andric emitDagArg(DI->getArg(1), std::string(DI->getArgNameStr(1)));
16390b57cec5SDimitry Andric assert_with_loc(Arg1.first == Arg2.first,
16400b57cec5SDimitry Andric "Different types in arguments to shuffle!");
16410b57cec5SDimitry Andric
16420b57cec5SDimitry Andric SetTheory ST;
16430b57cec5SDimitry Andric SetTheory::RecSet Elts;
1644a7dea167SDimitry Andric ST.addOperator("lowhalf", std::make_unique<LowHalf>());
1645a7dea167SDimitry Andric ST.addOperator("highhalf", std::make_unique<HighHalf>());
16460b57cec5SDimitry Andric ST.addOperator("rev",
1647a7dea167SDimitry Andric std::make_unique<Rev>(Arg1.first.getElementSizeInBits()));
16480b57cec5SDimitry Andric ST.addExpander("MaskExpand",
1649a7dea167SDimitry Andric std::make_unique<MaskExpander>(Arg1.first.getNumElements()));
1650bdd1243dSDimitry Andric ST.evaluate(DI->getArg(2), Elts, std::nullopt);
16510b57cec5SDimitry Andric
16520b57cec5SDimitry Andric std::string S = "__builtin_shufflevector(" + Arg1.second + ", " + Arg2.second;
16530b57cec5SDimitry Andric for (auto &E : Elts) {
16540b57cec5SDimitry Andric StringRef Name = E->getName();
16555f757f3fSDimitry Andric assert_with_loc(Name.starts_with("sv"),
16560b57cec5SDimitry Andric "Incorrect element kind in shuffle mask!");
16570b57cec5SDimitry Andric S += ", " + Name.drop_front(2).str();
16580b57cec5SDimitry Andric }
16590b57cec5SDimitry Andric S += ")";
16600b57cec5SDimitry Andric
16610b57cec5SDimitry Andric // Recalculate the return type - the shuffle may have halved or doubled it.
16620b57cec5SDimitry Andric Type T(Arg1.first);
16630b57cec5SDimitry Andric if (Elts.size() > T.getNumElements()) {
16640b57cec5SDimitry Andric assert_with_loc(
16650b57cec5SDimitry Andric Elts.size() == T.getNumElements() * 2,
16660b57cec5SDimitry Andric "Can only double or half the number of elements in a shuffle!");
16670b57cec5SDimitry Andric T.doubleLanes();
16680b57cec5SDimitry Andric } else if (Elts.size() < T.getNumElements()) {
16690b57cec5SDimitry Andric assert_with_loc(
16700b57cec5SDimitry Andric Elts.size() == T.getNumElements() / 2,
16710b57cec5SDimitry Andric "Can only double or half the number of elements in a shuffle!");
16720b57cec5SDimitry Andric T.halveLanes();
16730b57cec5SDimitry Andric }
16740b57cec5SDimitry Andric
16750b57cec5SDimitry Andric return std::make_pair(T, S);
16760b57cec5SDimitry Andric }
16770b57cec5SDimitry Andric
emitDagDup(DagInit * DI)16780b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagDup(DagInit *DI) {
16790b57cec5SDimitry Andric assert_with_loc(DI->getNumArgs() == 1, "dup() expects one argument");
16805ffd83dbSDimitry Andric std::pair<Type, std::string> A =
16815ffd83dbSDimitry Andric emitDagArg(DI->getArg(0), std::string(DI->getArgNameStr(0)));
16820b57cec5SDimitry Andric assert_with_loc(A.first.isScalar(), "dup() expects a scalar argument");
16830b57cec5SDimitry Andric
16840b57cec5SDimitry Andric Type T = Intr.getBaseType();
16850b57cec5SDimitry Andric assert_with_loc(T.isVector(), "dup() used but default type is scalar!");
16860b57cec5SDimitry Andric std::string S = "(" + T.str() + ") {";
16870b57cec5SDimitry Andric for (unsigned I = 0; I < T.getNumElements(); ++I) {
16880b57cec5SDimitry Andric if (I != 0)
16890b57cec5SDimitry Andric S += ", ";
16900b57cec5SDimitry Andric S += A.second;
16910b57cec5SDimitry Andric }
16920b57cec5SDimitry Andric S += "}";
16930b57cec5SDimitry Andric
16940b57cec5SDimitry Andric return std::make_pair(T, S);
16950b57cec5SDimitry Andric }
16960b57cec5SDimitry Andric
emitDagDupTyped(DagInit * DI)16970b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagDupTyped(DagInit *DI) {
16980b57cec5SDimitry Andric assert_with_loc(DI->getNumArgs() == 2, "dup_typed() expects two arguments");
16995ffd83dbSDimitry Andric std::pair<Type, std::string> B =
17005ffd83dbSDimitry Andric emitDagArg(DI->getArg(1), std::string(DI->getArgNameStr(1)));
17010b57cec5SDimitry Andric assert_with_loc(B.first.isScalar(),
17020b57cec5SDimitry Andric "dup_typed() requires a scalar as the second argument");
1703e8d8bef9SDimitry Andric Type T;
1704e8d8bef9SDimitry Andric // If the type argument is a constant string, construct the type directly.
1705e8d8bef9SDimitry Andric if (StringInit *SI = dyn_cast<StringInit>(DI->getArg(0))) {
1706e8d8bef9SDimitry Andric T = Type::fromTypedefName(SI->getAsUnquotedString());
1707e8d8bef9SDimitry Andric assert_with_loc(!T.isVoid(), "Unknown typedef");
1708e8d8bef9SDimitry Andric } else
1709e8d8bef9SDimitry Andric T = emitDagArg(DI->getArg(0), std::string(DI->getArgNameStr(0))).first;
17100b57cec5SDimitry Andric
17110b57cec5SDimitry Andric assert_with_loc(T.isVector(), "dup_typed() used but target type is scalar!");
17120b57cec5SDimitry Andric std::string S = "(" + T.str() + ") {";
17130b57cec5SDimitry Andric for (unsigned I = 0; I < T.getNumElements(); ++I) {
17140b57cec5SDimitry Andric if (I != 0)
17150b57cec5SDimitry Andric S += ", ";
17160b57cec5SDimitry Andric S += B.second;
17170b57cec5SDimitry Andric }
17180b57cec5SDimitry Andric S += "}";
17190b57cec5SDimitry Andric
17200b57cec5SDimitry Andric return std::make_pair(T, S);
17210b57cec5SDimitry Andric }
17220b57cec5SDimitry Andric
emitDagSplat(DagInit * DI)17230b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagSplat(DagInit *DI) {
17240b57cec5SDimitry Andric assert_with_loc(DI->getNumArgs() == 2, "splat() expects two arguments");
17255ffd83dbSDimitry Andric std::pair<Type, std::string> A =
17265ffd83dbSDimitry Andric emitDagArg(DI->getArg(0), std::string(DI->getArgNameStr(0)));
17275ffd83dbSDimitry Andric std::pair<Type, std::string> B =
17285ffd83dbSDimitry Andric emitDagArg(DI->getArg(1), std::string(DI->getArgNameStr(1)));
17290b57cec5SDimitry Andric
17300b57cec5SDimitry Andric assert_with_loc(B.first.isScalar(),
17310b57cec5SDimitry Andric "splat() requires a scalar int as the second argument");
17320b57cec5SDimitry Andric
17330b57cec5SDimitry Andric std::string S = "__builtin_shufflevector(" + A.second + ", " + A.second;
17340b57cec5SDimitry Andric for (unsigned I = 0; I < Intr.getBaseType().getNumElements(); ++I) {
17350b57cec5SDimitry Andric S += ", " + B.second;
17360b57cec5SDimitry Andric }
17370b57cec5SDimitry Andric S += ")";
17380b57cec5SDimitry Andric
17390b57cec5SDimitry Andric return std::make_pair(Intr.getBaseType(), S);
17400b57cec5SDimitry Andric }
17410b57cec5SDimitry Andric
emitDagSaveTemp(DagInit * DI)17420b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagSaveTemp(DagInit *DI) {
17430b57cec5SDimitry Andric assert_with_loc(DI->getNumArgs() == 2, "save_temp() expects two arguments");
17445ffd83dbSDimitry Andric std::pair<Type, std::string> A =
17455ffd83dbSDimitry Andric emitDagArg(DI->getArg(1), std::string(DI->getArgNameStr(1)));
17460b57cec5SDimitry Andric
17470b57cec5SDimitry Andric assert_with_loc(!A.first.isVoid(),
17480b57cec5SDimitry Andric "Argument to save_temp() must have non-void type!");
17490b57cec5SDimitry Andric
17505ffd83dbSDimitry Andric std::string N = std::string(DI->getArgNameStr(0));
17510b57cec5SDimitry Andric assert_with_loc(!N.empty(),
17520b57cec5SDimitry Andric "save_temp() expects a name as the first argument");
17530b57cec5SDimitry Andric
17540b57cec5SDimitry Andric assert_with_loc(Intr.Variables.find(N) == Intr.Variables.end(),
17550b57cec5SDimitry Andric "Variable already defined!");
17560b57cec5SDimitry Andric Intr.Variables[N] = Variable(A.first, N + Intr.VariablePostfix);
17570b57cec5SDimitry Andric
17580b57cec5SDimitry Andric std::string S =
17590b57cec5SDimitry Andric A.first.str() + " " + Intr.Variables[N].getName() + " = " + A.second;
17600b57cec5SDimitry Andric
17610b57cec5SDimitry Andric return std::make_pair(Type::getVoid(), S);
17620b57cec5SDimitry Andric }
17630b57cec5SDimitry Andric
17640b57cec5SDimitry Andric std::pair<Type, std::string>
emitDagNameReplace(DagInit * DI)17650b57cec5SDimitry Andric Intrinsic::DagEmitter::emitDagNameReplace(DagInit *DI) {
17660b57cec5SDimitry Andric std::string S = Intr.Name;
17670b57cec5SDimitry Andric
17680b57cec5SDimitry Andric assert_with_loc(DI->getNumArgs() == 2, "name_replace requires 2 arguments!");
17690b57cec5SDimitry Andric std::string ToReplace = cast<StringInit>(DI->getArg(0))->getAsUnquotedString();
17700b57cec5SDimitry Andric std::string ReplaceWith = cast<StringInit>(DI->getArg(1))->getAsUnquotedString();
17710b57cec5SDimitry Andric
17720b57cec5SDimitry Andric size_t Idx = S.find(ToReplace);
17730b57cec5SDimitry Andric
17740b57cec5SDimitry Andric assert_with_loc(Idx != std::string::npos, "name should contain '" + ToReplace + "'!");
17750b57cec5SDimitry Andric S.replace(Idx, ToReplace.size(), ReplaceWith);
17760b57cec5SDimitry Andric
17770b57cec5SDimitry Andric return std::make_pair(Type::getVoid(), S);
17780b57cec5SDimitry Andric }
17790b57cec5SDimitry Andric
emitDagLiteral(DagInit * DI)17800b57cec5SDimitry Andric std::pair<Type, std::string> Intrinsic::DagEmitter::emitDagLiteral(DagInit *DI){
17810b57cec5SDimitry Andric std::string Ty = cast<StringInit>(DI->getArg(0))->getAsUnquotedString();
17820b57cec5SDimitry Andric std::string Value = cast<StringInit>(DI->getArg(1))->getAsUnquotedString();
17830b57cec5SDimitry Andric return std::make_pair(Type::fromTypedefName(Ty), Value);
17840b57cec5SDimitry Andric }
17850b57cec5SDimitry Andric
17860b57cec5SDimitry Andric std::pair<Type, std::string>
emitDagArg(Init * Arg,std::string ArgName)17870b57cec5SDimitry Andric Intrinsic::DagEmitter::emitDagArg(Init *Arg, std::string ArgName) {
17880b57cec5SDimitry Andric if (!ArgName.empty()) {
17890b57cec5SDimitry Andric assert_with_loc(!Arg->isComplete(),
17900b57cec5SDimitry Andric "Arguments must either be DAGs or names, not both!");
17910b57cec5SDimitry Andric assert_with_loc(Intr.Variables.find(ArgName) != Intr.Variables.end(),
17920b57cec5SDimitry Andric "Variable not defined!");
17930b57cec5SDimitry Andric Variable &V = Intr.Variables[ArgName];
17940b57cec5SDimitry Andric return std::make_pair(V.getType(), V.getName());
17950b57cec5SDimitry Andric }
17960b57cec5SDimitry Andric
17970b57cec5SDimitry Andric assert(Arg && "Neither ArgName nor Arg?!");
17980b57cec5SDimitry Andric DagInit *DI = dyn_cast<DagInit>(Arg);
17990b57cec5SDimitry Andric assert_with_loc(DI, "Arguments must either be DAGs or names!");
18000b57cec5SDimitry Andric
18010b57cec5SDimitry Andric return emitDag(DI);
18020b57cec5SDimitry Andric }
18030b57cec5SDimitry Andric
generate()18040b57cec5SDimitry Andric std::string Intrinsic::generate() {
1805a7dea167SDimitry Andric // Avoid duplicated code for big and little endian
1806a7dea167SDimitry Andric if (isBigEndianSafe()) {
1807a7dea167SDimitry Andric generateImpl(false, "", "");
1808a7dea167SDimitry Andric return OS.str();
1809a7dea167SDimitry Andric }
18100b57cec5SDimitry Andric // Little endian intrinsics are simple and don't require any argument
18110b57cec5SDimitry Andric // swapping.
18120b57cec5SDimitry Andric OS << "#ifdef __LITTLE_ENDIAN__\n";
18130b57cec5SDimitry Andric
18140b57cec5SDimitry Andric generateImpl(false, "", "");
18150b57cec5SDimitry Andric
18160b57cec5SDimitry Andric OS << "#else\n";
18170b57cec5SDimitry Andric
18180b57cec5SDimitry Andric // Big endian intrinsics are more complex. The user intended these
18190b57cec5SDimitry Andric // intrinsics to operate on a vector "as-if" loaded by (V)LDR,
18200b57cec5SDimitry Andric // but we load as-if (V)LD1. So we should swap all arguments and
18210b57cec5SDimitry Andric // swap the return value too.
18220b57cec5SDimitry Andric //
18230b57cec5SDimitry Andric // If we call sub-intrinsics, we should call a version that does
18240b57cec5SDimitry Andric // not re-swap the arguments!
18250b57cec5SDimitry Andric generateImpl(true, "", "__noswap_");
18260b57cec5SDimitry Andric
18270b57cec5SDimitry Andric // If we're needed early, create a non-swapping variant for
18280b57cec5SDimitry Andric // big-endian.
18290b57cec5SDimitry Andric if (NeededEarly) {
18300b57cec5SDimitry Andric generateImpl(false, "__noswap_", "__noswap_");
18310b57cec5SDimitry Andric }
18320b57cec5SDimitry Andric OS << "#endif\n\n";
18330b57cec5SDimitry Andric
18340b57cec5SDimitry Andric return OS.str();
18350b57cec5SDimitry Andric }
18360b57cec5SDimitry Andric
generateImpl(bool ReverseArguments,StringRef NamePrefix,StringRef CallPrefix)18370b57cec5SDimitry Andric void Intrinsic::generateImpl(bool ReverseArguments,
18380b57cec5SDimitry Andric StringRef NamePrefix, StringRef CallPrefix) {
18390b57cec5SDimitry Andric CurrentRecord = R;
18400b57cec5SDimitry Andric
18410b57cec5SDimitry Andric // If we call a macro, our local variables may be corrupted due to
18420b57cec5SDimitry Andric // lack of proper lexical scoping. So, add a globally unique postfix
18430b57cec5SDimitry Andric // to every variable.
18440b57cec5SDimitry Andric //
18450b57cec5SDimitry Andric // indexBody() should have set up the Dependencies set by now.
18460b57cec5SDimitry Andric for (auto *I : Dependencies)
18470b57cec5SDimitry Andric if (I->UseMacro) {
18480b57cec5SDimitry Andric VariablePostfix = "_" + utostr(Emitter.getUniqueNumber());
18490b57cec5SDimitry Andric break;
18500b57cec5SDimitry Andric }
18510b57cec5SDimitry Andric
18520b57cec5SDimitry Andric initVariables();
18530b57cec5SDimitry Andric
18540b57cec5SDimitry Andric emitPrototype(NamePrefix);
18550b57cec5SDimitry Andric
18560b57cec5SDimitry Andric if (IsUnavailable) {
18570b57cec5SDimitry Andric OS << " __attribute__((unavailable));";
18580b57cec5SDimitry Andric } else {
18590b57cec5SDimitry Andric emitOpeningBrace();
18603a9a9c0cSDimitry Andric // Emit return variable declaration first as to not trigger
18613a9a9c0cSDimitry Andric // -Wdeclaration-after-statement.
18623a9a9c0cSDimitry Andric emitReturnVarDecl();
18630b57cec5SDimitry Andric emitShadowedArgs();
18640b57cec5SDimitry Andric if (ReverseArguments)
18650b57cec5SDimitry Andric emitArgumentReversal();
18660b57cec5SDimitry Andric emitBody(CallPrefix);
18670b57cec5SDimitry Andric if (ReverseArguments)
18680b57cec5SDimitry Andric emitReturnReversal();
18690b57cec5SDimitry Andric emitReturn();
18700b57cec5SDimitry Andric emitClosingBrace();
18710b57cec5SDimitry Andric }
18720b57cec5SDimitry Andric OS << "\n";
18730b57cec5SDimitry Andric
18740b57cec5SDimitry Andric CurrentRecord = nullptr;
18750b57cec5SDimitry Andric }
18760b57cec5SDimitry Andric
indexBody()18770b57cec5SDimitry Andric void Intrinsic::indexBody() {
18780b57cec5SDimitry Andric CurrentRecord = R;
18790b57cec5SDimitry Andric
18800b57cec5SDimitry Andric initVariables();
18813a9a9c0cSDimitry Andric // Emit return variable declaration first as to not trigger
18823a9a9c0cSDimitry Andric // -Wdeclaration-after-statement.
18833a9a9c0cSDimitry Andric emitReturnVarDecl();
18840b57cec5SDimitry Andric emitBody("");
18850b57cec5SDimitry Andric OS.str("");
18860b57cec5SDimitry Andric
18870b57cec5SDimitry Andric CurrentRecord = nullptr;
18880b57cec5SDimitry Andric }
18890b57cec5SDimitry Andric
18900b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
18910b57cec5SDimitry Andric // NeonEmitter implementation
18920b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
18930b57cec5SDimitry Andric
getIntrinsic(StringRef Name,ArrayRef<Type> Types,std::optional<std::string> MangledName)18945ffd83dbSDimitry Andric Intrinsic &NeonEmitter::getIntrinsic(StringRef Name, ArrayRef<Type> Types,
1895bdd1243dSDimitry Andric std::optional<std::string> MangledName) {
18960b57cec5SDimitry Andric // First, look up the name in the intrinsic map.
18970b57cec5SDimitry Andric assert_with_loc(IntrinsicMap.find(Name.str()) != IntrinsicMap.end(),
18980b57cec5SDimitry Andric ("Intrinsic '" + Name + "' not found!").str());
18990b57cec5SDimitry Andric auto &V = IntrinsicMap.find(Name.str())->second;
19000b57cec5SDimitry Andric std::vector<Intrinsic *> GoodVec;
19010b57cec5SDimitry Andric
19020b57cec5SDimitry Andric // Create a string to print if we end up failing.
19030b57cec5SDimitry Andric std::string ErrMsg = "looking up intrinsic '" + Name.str() + "(";
19040b57cec5SDimitry Andric for (unsigned I = 0; I < Types.size(); ++I) {
19050b57cec5SDimitry Andric if (I != 0)
19060b57cec5SDimitry Andric ErrMsg += ", ";
19070b57cec5SDimitry Andric ErrMsg += Types[I].str();
19080b57cec5SDimitry Andric }
19090b57cec5SDimitry Andric ErrMsg += ")'\n";
19100b57cec5SDimitry Andric ErrMsg += "Available overloads:\n";
19110b57cec5SDimitry Andric
19120b57cec5SDimitry Andric // Now, look through each intrinsic implementation and see if the types are
19130b57cec5SDimitry Andric // compatible.
19140b57cec5SDimitry Andric for (auto &I : V) {
19150b57cec5SDimitry Andric ErrMsg += " - " + I.getReturnType().str() + " " + I.getMangledName();
19160b57cec5SDimitry Andric ErrMsg += "(";
19170b57cec5SDimitry Andric for (unsigned A = 0; A < I.getNumParams(); ++A) {
19180b57cec5SDimitry Andric if (A != 0)
19190b57cec5SDimitry Andric ErrMsg += ", ";
19200b57cec5SDimitry Andric ErrMsg += I.getParamType(A).str();
19210b57cec5SDimitry Andric }
19220b57cec5SDimitry Andric ErrMsg += ")\n";
19230b57cec5SDimitry Andric
19245ffd83dbSDimitry Andric if (MangledName && MangledName != I.getMangledName(true))
19255ffd83dbSDimitry Andric continue;
19265ffd83dbSDimitry Andric
19270b57cec5SDimitry Andric if (I.getNumParams() != Types.size())
19280b57cec5SDimitry Andric continue;
19290b57cec5SDimitry Andric
19305ffd83dbSDimitry Andric unsigned ArgNum = 0;
1931349cc55cSDimitry Andric bool MatchingArgumentTypes = llvm::all_of(Types, [&](const auto &Type) {
19325ffd83dbSDimitry Andric return Type == I.getParamType(ArgNum++);
19335ffd83dbSDimitry Andric });
19345ffd83dbSDimitry Andric
19355ffd83dbSDimitry Andric if (MatchingArgumentTypes)
19360b57cec5SDimitry Andric GoodVec.push_back(&I);
19370b57cec5SDimitry Andric }
19380b57cec5SDimitry Andric
19390b57cec5SDimitry Andric assert_with_loc(!GoodVec.empty(),
19400b57cec5SDimitry Andric "No compatible intrinsic found - " + ErrMsg);
19410b57cec5SDimitry Andric assert_with_loc(GoodVec.size() == 1, "Multiple overloads found - " + ErrMsg);
19420b57cec5SDimitry Andric
19430b57cec5SDimitry Andric return *GoodVec.front();
19440b57cec5SDimitry Andric }
19450b57cec5SDimitry Andric
createIntrinsic(Record * R,SmallVectorImpl<Intrinsic * > & Out)19460b57cec5SDimitry Andric void NeonEmitter::createIntrinsic(Record *R,
19470b57cec5SDimitry Andric SmallVectorImpl<Intrinsic *> &Out) {
19485ffd83dbSDimitry Andric std::string Name = std::string(R->getValueAsString("Name"));
19495ffd83dbSDimitry Andric std::string Proto = std::string(R->getValueAsString("Prototype"));
19505ffd83dbSDimitry Andric std::string Types = std::string(R->getValueAsString("Types"));
19510b57cec5SDimitry Andric Record *OperationRec = R->getValueAsDef("Operation");
19520b57cec5SDimitry Andric bool BigEndianSafe = R->getValueAsBit("BigEndianSafe");
1953bdd1243dSDimitry Andric std::string ArchGuard = std::string(R->getValueAsString("ArchGuard"));
1954bdd1243dSDimitry Andric std::string TargetGuard = std::string(R->getValueAsString("TargetGuard"));
19550b57cec5SDimitry Andric bool IsUnavailable = OperationRec->getValueAsBit("Unavailable");
19565ffd83dbSDimitry Andric std::string CartesianProductWith = std::string(R->getValueAsString("CartesianProductWith"));
19570b57cec5SDimitry Andric
19580b57cec5SDimitry Andric // Set the global current record. This allows assert_with_loc to produce
19590b57cec5SDimitry Andric // decent location information even when highly nested.
19600b57cec5SDimitry Andric CurrentRecord = R;
19610b57cec5SDimitry Andric
19620b57cec5SDimitry Andric ListInit *Body = OperationRec->getValueAsListInit("Ops");
19630b57cec5SDimitry Andric
19640b57cec5SDimitry Andric std::vector<TypeSpec> TypeSpecs = TypeSpec::fromTypeSpecs(Types);
19650b57cec5SDimitry Andric
19660b57cec5SDimitry Andric ClassKind CK = ClassNone;
19670b57cec5SDimitry Andric if (R->getSuperClasses().size() >= 2)
19680b57cec5SDimitry Andric CK = ClassMap[R->getSuperClasses()[1].first];
19690b57cec5SDimitry Andric
19700b57cec5SDimitry Andric std::vector<std::pair<TypeSpec, TypeSpec>> NewTypeSpecs;
19715ffd83dbSDimitry Andric if (!CartesianProductWith.empty()) {
19725ffd83dbSDimitry Andric std::vector<TypeSpec> ProductTypeSpecs = TypeSpec::fromTypeSpecs(CartesianProductWith);
19730b57cec5SDimitry Andric for (auto TS : TypeSpecs) {
1974480093f4SDimitry Andric Type DefaultT(TS, ".");
19755ffd83dbSDimitry Andric for (auto SrcTS : ProductTypeSpecs) {
1976480093f4SDimitry Andric Type DefaultSrcT(SrcTS, ".");
19770b57cec5SDimitry Andric if (TS == SrcTS ||
19780b57cec5SDimitry Andric DefaultSrcT.getSizeInBits() != DefaultT.getSizeInBits())
19790b57cec5SDimitry Andric continue;
19800b57cec5SDimitry Andric NewTypeSpecs.push_back(std::make_pair(TS, SrcTS));
19810b57cec5SDimitry Andric }
19825ffd83dbSDimitry Andric }
19830b57cec5SDimitry Andric } else {
19845ffd83dbSDimitry Andric for (auto TS : TypeSpecs) {
19850b57cec5SDimitry Andric NewTypeSpecs.push_back(std::make_pair(TS, TS));
19860b57cec5SDimitry Andric }
19870b57cec5SDimitry Andric }
19880b57cec5SDimitry Andric
19890b57cec5SDimitry Andric llvm::sort(NewTypeSpecs);
19900b57cec5SDimitry Andric NewTypeSpecs.erase(std::unique(NewTypeSpecs.begin(), NewTypeSpecs.end()),
19910b57cec5SDimitry Andric NewTypeSpecs.end());
19920b57cec5SDimitry Andric auto &Entry = IntrinsicMap[Name];
19930b57cec5SDimitry Andric
19940b57cec5SDimitry Andric for (auto &I : NewTypeSpecs) {
19950b57cec5SDimitry Andric Entry.emplace_back(R, Name, Proto, I.first, I.second, CK, Body, *this,
1996bdd1243dSDimitry Andric ArchGuard, TargetGuard, IsUnavailable, BigEndianSafe);
19970b57cec5SDimitry Andric Out.push_back(&Entry.back());
19980b57cec5SDimitry Andric }
19990b57cec5SDimitry Andric
20000b57cec5SDimitry Andric CurrentRecord = nullptr;
20010b57cec5SDimitry Andric }
20020b57cec5SDimitry Andric
20030b57cec5SDimitry Andric /// genBuiltinsDef: Generate the BuiltinsARM.def and BuiltinsAArch64.def
20040b57cec5SDimitry Andric /// declaration of builtins, checking for unique builtin declarations.
genBuiltinsDef(raw_ostream & OS,SmallVectorImpl<Intrinsic * > & Defs)20050b57cec5SDimitry Andric void NeonEmitter::genBuiltinsDef(raw_ostream &OS,
20060b57cec5SDimitry Andric SmallVectorImpl<Intrinsic *> &Defs) {
20070b57cec5SDimitry Andric OS << "#ifdef GET_NEON_BUILTINS\n";
20080b57cec5SDimitry Andric
20090b57cec5SDimitry Andric // We only want to emit a builtin once, and we want to emit them in
20100b57cec5SDimitry Andric // alphabetical order, so use a std::set.
2011bdd1243dSDimitry Andric std::set<std::pair<std::string, std::string>> Builtins;
20120b57cec5SDimitry Andric
20130b57cec5SDimitry Andric for (auto *Def : Defs) {
20140b57cec5SDimitry Andric if (Def->hasBody())
20150b57cec5SDimitry Andric continue;
20160b57cec5SDimitry Andric
2017bdd1243dSDimitry Andric std::string S = "__builtin_neon_" + Def->getMangledName() + ", \"";
20180b57cec5SDimitry Andric S += Def->getBuiltinTypeStr();
2019bdd1243dSDimitry Andric S += "\", \"n\"";
20200b57cec5SDimitry Andric
2021bdd1243dSDimitry Andric Builtins.emplace(S, Def->getTargetGuard());
20220b57cec5SDimitry Andric }
20230b57cec5SDimitry Andric
2024bdd1243dSDimitry Andric for (auto &S : Builtins) {
2025bdd1243dSDimitry Andric if (S.second == "")
2026bdd1243dSDimitry Andric OS << "BUILTIN(";
2027bdd1243dSDimitry Andric else
2028bdd1243dSDimitry Andric OS << "TARGET_BUILTIN(";
2029bdd1243dSDimitry Andric OS << S.first;
2030bdd1243dSDimitry Andric if (S.second == "")
2031bdd1243dSDimitry Andric OS << ")\n";
2032bdd1243dSDimitry Andric else
2033bdd1243dSDimitry Andric OS << ", \"" << S.second << "\")\n";
2034bdd1243dSDimitry Andric }
2035bdd1243dSDimitry Andric
20360b57cec5SDimitry Andric OS << "#endif\n\n";
20370b57cec5SDimitry Andric }
20380b57cec5SDimitry Andric
genStreamingSVECompatibleList(raw_ostream & OS,SmallVectorImpl<Intrinsic * > & Defs)2039cb14a3feSDimitry Andric void NeonEmitter::genStreamingSVECompatibleList(
2040cb14a3feSDimitry Andric raw_ostream &OS, SmallVectorImpl<Intrinsic *> &Defs) {
2041cb14a3feSDimitry Andric OS << "#ifdef GET_NEON_STREAMING_COMPAT_FLAG\n";
2042cb14a3feSDimitry Andric
2043cb14a3feSDimitry Andric std::set<std::string> Emitted;
2044cb14a3feSDimitry Andric for (auto *Def : Defs) {
2045cb14a3feSDimitry Andric // If the def has a body (that is, it has Operation DAGs), it won't call
2046cb14a3feSDimitry Andric // __builtin_neon_* so we don't need to generate a definition for it.
2047cb14a3feSDimitry Andric if (Def->hasBody())
2048cb14a3feSDimitry Andric continue;
2049cb14a3feSDimitry Andric
2050cb14a3feSDimitry Andric std::string Name = Def->getMangledName();
2051cb14a3feSDimitry Andric if (Emitted.find(Name) != Emitted.end())
2052cb14a3feSDimitry Andric continue;
2053cb14a3feSDimitry Andric
2054cb14a3feSDimitry Andric // FIXME: We should make exceptions here for some NEON builtins that are
2055cb14a3feSDimitry Andric // permitted in streaming mode.
2056cb14a3feSDimitry Andric OS << "case NEON::BI__builtin_neon_" << Name
2057cb14a3feSDimitry Andric << ": BuiltinType = ArmNonStreaming; break;\n";
2058cb14a3feSDimitry Andric Emitted.insert(Name);
2059cb14a3feSDimitry Andric }
2060cb14a3feSDimitry Andric OS << "#endif\n\n";
2061cb14a3feSDimitry Andric }
2062cb14a3feSDimitry Andric
20630b57cec5SDimitry Andric /// Generate the ARM and AArch64 overloaded type checking code for
20640b57cec5SDimitry Andric /// SemaChecking.cpp, checking for unique builtin declarations.
genOverloadTypeCheckCode(raw_ostream & OS,SmallVectorImpl<Intrinsic * > & Defs)20650b57cec5SDimitry Andric void NeonEmitter::genOverloadTypeCheckCode(raw_ostream &OS,
20660b57cec5SDimitry Andric SmallVectorImpl<Intrinsic *> &Defs) {
20670b57cec5SDimitry Andric OS << "#ifdef GET_NEON_OVERLOAD_CHECK\n";
20680b57cec5SDimitry Andric
20690b57cec5SDimitry Andric // We record each overload check line before emitting because subsequent Inst
20700b57cec5SDimitry Andric // definitions may extend the number of permitted types (i.e. augment the
20710b57cec5SDimitry Andric // Mask). Use std::map to avoid sorting the table by hash number.
20720b57cec5SDimitry Andric struct OverloadInfo {
20735f757f3fSDimitry Andric uint64_t Mask = 0ULL;
20745f757f3fSDimitry Andric int PtrArgNum = 0;
20755f757f3fSDimitry Andric bool HasConstPtr = false;
20765f757f3fSDimitry Andric OverloadInfo() = default;
20770b57cec5SDimitry Andric };
20780b57cec5SDimitry Andric std::map<std::string, OverloadInfo> OverloadMap;
20790b57cec5SDimitry Andric
20800b57cec5SDimitry Andric for (auto *Def : Defs) {
20810b57cec5SDimitry Andric // If the def has a body (that is, it has Operation DAGs), it won't call
20820b57cec5SDimitry Andric // __builtin_neon_* so we don't need to generate a definition for it.
20830b57cec5SDimitry Andric if (Def->hasBody())
20840b57cec5SDimitry Andric continue;
20850b57cec5SDimitry Andric // Functions which have a scalar argument cannot be overloaded, no need to
20860b57cec5SDimitry Andric // check them if we are emitting the type checking code.
20870b57cec5SDimitry Andric if (Def->protoHasScalar())
20880b57cec5SDimitry Andric continue;
20890b57cec5SDimitry Andric
20900b57cec5SDimitry Andric uint64_t Mask = 0ULL;
2091480093f4SDimitry Andric Mask |= 1ULL << Def->getPolymorphicKeyType().getNeonEnum();
20920b57cec5SDimitry Andric
20930b57cec5SDimitry Andric // Check if the function has a pointer or const pointer argument.
20940b57cec5SDimitry Andric int PtrArgNum = -1;
20950b57cec5SDimitry Andric bool HasConstPtr = false;
20960b57cec5SDimitry Andric for (unsigned I = 0; I < Def->getNumParams(); ++I) {
2097480093f4SDimitry Andric const auto &Type = Def->getParamType(I);
2098480093f4SDimitry Andric if (Type.isPointer()) {
20990b57cec5SDimitry Andric PtrArgNum = I;
2100480093f4SDimitry Andric HasConstPtr = Type.isConstPointer();
21010b57cec5SDimitry Andric }
21020b57cec5SDimitry Andric }
2103480093f4SDimitry Andric
21040b57cec5SDimitry Andric // For sret builtins, adjust the pointer argument index.
21050b57cec5SDimitry Andric if (PtrArgNum >= 0 && Def->getReturnType().getNumVectors() > 1)
21060b57cec5SDimitry Andric PtrArgNum += 1;
21070b57cec5SDimitry Andric
21080b57cec5SDimitry Andric std::string Name = Def->getName();
21090b57cec5SDimitry Andric // Omit type checking for the pointer arguments of vld1_lane, vld1_dup,
211006c3fb27SDimitry Andric // vst1_lane, vldap1_lane, and vstl1_lane intrinsics. Using a pointer to
211106c3fb27SDimitry Andric // the vector element type with one of those operations causes codegen to
211206c3fb27SDimitry Andric // select an aligned load/store instruction. If you want an unaligned
211306c3fb27SDimitry Andric // operation, the pointer argument needs to have less alignment than element
211406c3fb27SDimitry Andric // type, so just accept any pointer type.
211506c3fb27SDimitry Andric if (Name == "vld1_lane" || Name == "vld1_dup" || Name == "vst1_lane" ||
211606c3fb27SDimitry Andric Name == "vldap1_lane" || Name == "vstl1_lane") {
21170b57cec5SDimitry Andric PtrArgNum = -1;
21180b57cec5SDimitry Andric HasConstPtr = false;
21190b57cec5SDimitry Andric }
21200b57cec5SDimitry Andric
21210b57cec5SDimitry Andric if (Mask) {
21220b57cec5SDimitry Andric std::string Name = Def->getMangledName();
21230b57cec5SDimitry Andric OverloadMap.insert(std::make_pair(Name, OverloadInfo()));
21240b57cec5SDimitry Andric OverloadInfo &OI = OverloadMap[Name];
21250b57cec5SDimitry Andric OI.Mask |= Mask;
21260b57cec5SDimitry Andric OI.PtrArgNum |= PtrArgNum;
21270b57cec5SDimitry Andric OI.HasConstPtr = HasConstPtr;
21280b57cec5SDimitry Andric }
21290b57cec5SDimitry Andric }
21300b57cec5SDimitry Andric
21310b57cec5SDimitry Andric for (auto &I : OverloadMap) {
21320b57cec5SDimitry Andric OverloadInfo &OI = I.second;
21330b57cec5SDimitry Andric
21340b57cec5SDimitry Andric OS << "case NEON::BI__builtin_neon_" << I.first << ": ";
21350b57cec5SDimitry Andric OS << "mask = 0x" << Twine::utohexstr(OI.Mask) << "ULL";
21360b57cec5SDimitry Andric if (OI.PtrArgNum >= 0)
21370b57cec5SDimitry Andric OS << "; PtrArgNum = " << OI.PtrArgNum;
21380b57cec5SDimitry Andric if (OI.HasConstPtr)
21390b57cec5SDimitry Andric OS << "; HasConstPtr = true";
21400b57cec5SDimitry Andric OS << "; break;\n";
21410b57cec5SDimitry Andric }
21420b57cec5SDimitry Andric OS << "#endif\n\n";
21430b57cec5SDimitry Andric }
21440b57cec5SDimitry Andric
genIntrinsicRangeCheckCode(raw_ostream & OS,SmallVectorImpl<Intrinsic * > & Defs)21450b57cec5SDimitry Andric void NeonEmitter::genIntrinsicRangeCheckCode(raw_ostream &OS,
21460b57cec5SDimitry Andric SmallVectorImpl<Intrinsic *> &Defs) {
21470b57cec5SDimitry Andric OS << "#ifdef GET_NEON_IMMEDIATE_CHECK\n";
21480b57cec5SDimitry Andric
21490b57cec5SDimitry Andric std::set<std::string> Emitted;
21500b57cec5SDimitry Andric
21510b57cec5SDimitry Andric for (auto *Def : Defs) {
21520b57cec5SDimitry Andric if (Def->hasBody())
21530b57cec5SDimitry Andric continue;
21540b57cec5SDimitry Andric // Functions which do not have an immediate do not need to have range
21550b57cec5SDimitry Andric // checking code emitted.
21560b57cec5SDimitry Andric if (!Def->hasImmediate())
21570b57cec5SDimitry Andric continue;
21580b57cec5SDimitry Andric if (Emitted.find(Def->getMangledName()) != Emitted.end())
21590b57cec5SDimitry Andric continue;
21600b57cec5SDimitry Andric
21610b57cec5SDimitry Andric std::string LowerBound, UpperBound;
21620b57cec5SDimitry Andric
21630b57cec5SDimitry Andric Record *R = Def->getRecord();
2164fe6060f1SDimitry Andric if (R->getValueAsBit("isVXAR")) {
2165fe6060f1SDimitry Andric //VXAR takes an immediate in the range [0, 63]
2166fe6060f1SDimitry Andric LowerBound = "0";
2167fe6060f1SDimitry Andric UpperBound = "63";
2168fe6060f1SDimitry Andric } else if (R->getValueAsBit("isVCVT_N")) {
21690b57cec5SDimitry Andric // VCVT between floating- and fixed-point values takes an immediate
21700b57cec5SDimitry Andric // in the range [1, 32) for f32 or [1, 64) for f64 or [1, 16) for f16.
21710b57cec5SDimitry Andric LowerBound = "1";
21720b57cec5SDimitry Andric if (Def->getBaseType().getElementSizeInBits() == 16 ||
21730b57cec5SDimitry Andric Def->getName().find('h') != std::string::npos)
21740b57cec5SDimitry Andric // VCVTh operating on FP16 intrinsics in range [1, 16)
21750b57cec5SDimitry Andric UpperBound = "15";
21760b57cec5SDimitry Andric else if (Def->getBaseType().getElementSizeInBits() == 32)
21770b57cec5SDimitry Andric UpperBound = "31";
21780b57cec5SDimitry Andric else
21790b57cec5SDimitry Andric UpperBound = "63";
21800b57cec5SDimitry Andric } else if (R->getValueAsBit("isScalarShift")) {
21810b57cec5SDimitry Andric // Right shifts have an 'r' in the name, left shifts do not. Convert
21820b57cec5SDimitry Andric // instructions have the same bounds and right shifts.
21830b57cec5SDimitry Andric if (Def->getName().find('r') != std::string::npos ||
21840b57cec5SDimitry Andric Def->getName().find("cvt") != std::string::npos)
21850b57cec5SDimitry Andric LowerBound = "1";
21860b57cec5SDimitry Andric
21870b57cec5SDimitry Andric UpperBound = utostr(Def->getReturnType().getElementSizeInBits() - 1);
21880b57cec5SDimitry Andric } else if (R->getValueAsBit("isShift")) {
21890b57cec5SDimitry Andric // Builtins which are overloaded by type will need to have their upper
21900b57cec5SDimitry Andric // bound computed at Sema time based on the type constant.
21910b57cec5SDimitry Andric
21920b57cec5SDimitry Andric // Right shifts have an 'r' in the name, left shifts do not.
21930b57cec5SDimitry Andric if (Def->getName().find('r') != std::string::npos)
21940b57cec5SDimitry Andric LowerBound = "1";
21950b57cec5SDimitry Andric UpperBound = "RFT(TV, true)";
21960b57cec5SDimitry Andric } else if (Def->getClassKind(true) == ClassB) {
21970b57cec5SDimitry Andric // ClassB intrinsics have a type (and hence lane number) that is only
21980b57cec5SDimitry Andric // known at runtime.
21990b57cec5SDimitry Andric if (R->getValueAsBit("isLaneQ"))
22000b57cec5SDimitry Andric UpperBound = "RFT(TV, false, true)";
22010b57cec5SDimitry Andric else
22020b57cec5SDimitry Andric UpperBound = "RFT(TV, false, false)";
22030b57cec5SDimitry Andric } else {
22040b57cec5SDimitry Andric // The immediate generally refers to a lane in the preceding argument.
22050b57cec5SDimitry Andric assert(Def->getImmediateIdx() > 0);
22060b57cec5SDimitry Andric Type T = Def->getParamType(Def->getImmediateIdx() - 1);
22070b57cec5SDimitry Andric UpperBound = utostr(T.getNumElements() - 1);
22080b57cec5SDimitry Andric }
22090b57cec5SDimitry Andric
22100b57cec5SDimitry Andric // Calculate the index of the immediate that should be range checked.
22110b57cec5SDimitry Andric unsigned Idx = Def->getNumParams();
22120b57cec5SDimitry Andric if (Def->hasImmediate())
22130b57cec5SDimitry Andric Idx = Def->getGeneratedParamIdx(Def->getImmediateIdx());
22140b57cec5SDimitry Andric
22150b57cec5SDimitry Andric OS << "case NEON::BI__builtin_neon_" << Def->getMangledName() << ": "
22160b57cec5SDimitry Andric << "i = " << Idx << ";";
22170b57cec5SDimitry Andric if (!LowerBound.empty())
22180b57cec5SDimitry Andric OS << " l = " << LowerBound << ";";
22190b57cec5SDimitry Andric if (!UpperBound.empty())
22200b57cec5SDimitry Andric OS << " u = " << UpperBound << ";";
22210b57cec5SDimitry Andric OS << " break;\n";
22220b57cec5SDimitry Andric
22230b57cec5SDimitry Andric Emitted.insert(Def->getMangledName());
22240b57cec5SDimitry Andric }
22250b57cec5SDimitry Andric
22260b57cec5SDimitry Andric OS << "#endif\n\n";
22270b57cec5SDimitry Andric }
22280b57cec5SDimitry Andric
22290b57cec5SDimitry Andric /// runHeader - Emit a file with sections defining:
22300b57cec5SDimitry Andric /// 1. the NEON section of BuiltinsARM.def and BuiltinsAArch64.def.
22310b57cec5SDimitry Andric /// 2. the SemaChecking code for the type overload checking.
22320b57cec5SDimitry Andric /// 3. the SemaChecking code for validation of intrinsic immediate arguments.
runHeader(raw_ostream & OS)22330b57cec5SDimitry Andric void NeonEmitter::runHeader(raw_ostream &OS) {
22340b57cec5SDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
22350b57cec5SDimitry Andric
22360b57cec5SDimitry Andric SmallVector<Intrinsic *, 128> Defs;
22370b57cec5SDimitry Andric for (auto *R : RV)
22380b57cec5SDimitry Andric createIntrinsic(R, Defs);
22390b57cec5SDimitry Andric
22400b57cec5SDimitry Andric // Generate shared BuiltinsXXX.def
22410b57cec5SDimitry Andric genBuiltinsDef(OS, Defs);
22420b57cec5SDimitry Andric
22430b57cec5SDimitry Andric // Generate ARM overloaded type checking code for SemaChecking.cpp
22440b57cec5SDimitry Andric genOverloadTypeCheckCode(OS, Defs);
22450b57cec5SDimitry Andric
2246cb14a3feSDimitry Andric genStreamingSVECompatibleList(OS, Defs);
2247cb14a3feSDimitry Andric
22480b57cec5SDimitry Andric // Generate ARM range checking code for shift/lane immediates.
22490b57cec5SDimitry Andric genIntrinsicRangeCheckCode(OS, Defs);
22500b57cec5SDimitry Andric }
22510b57cec5SDimitry Andric
emitNeonTypeDefs(const std::string & types,raw_ostream & OS)22525ffd83dbSDimitry Andric static void emitNeonTypeDefs(const std::string& types, raw_ostream &OS) {
22535ffd83dbSDimitry Andric std::string TypedefTypes(types);
22545ffd83dbSDimitry Andric std::vector<TypeSpec> TDTypeVec = TypeSpec::fromTypeSpecs(TypedefTypes);
22555ffd83dbSDimitry Andric
22565ffd83dbSDimitry Andric // Emit vector typedefs.
22575ffd83dbSDimitry Andric bool InIfdef = false;
22585ffd83dbSDimitry Andric for (auto &TS : TDTypeVec) {
22595ffd83dbSDimitry Andric bool IsA64 = false;
22605ffd83dbSDimitry Andric Type T(TS, ".");
22615ffd83dbSDimitry Andric if (T.isDouble())
22625ffd83dbSDimitry Andric IsA64 = true;
22635ffd83dbSDimitry Andric
22645ffd83dbSDimitry Andric if (InIfdef && !IsA64) {
22655ffd83dbSDimitry Andric OS << "#endif\n";
22665ffd83dbSDimitry Andric InIfdef = false;
22675ffd83dbSDimitry Andric }
22685ffd83dbSDimitry Andric if (!InIfdef && IsA64) {
2269*0fca6ea1SDimitry Andric OS << "#if defined(__aarch64__) || defined(__arm64ec__)\n";
22705ffd83dbSDimitry Andric InIfdef = true;
22715ffd83dbSDimitry Andric }
22725ffd83dbSDimitry Andric
22735ffd83dbSDimitry Andric if (T.isPoly())
22745ffd83dbSDimitry Andric OS << "typedef __attribute__((neon_polyvector_type(";
22755ffd83dbSDimitry Andric else
22765ffd83dbSDimitry Andric OS << "typedef __attribute__((neon_vector_type(";
22775ffd83dbSDimitry Andric
22785ffd83dbSDimitry Andric Type T2 = T;
22795ffd83dbSDimitry Andric T2.makeScalar();
22805ffd83dbSDimitry Andric OS << T.getNumElements() << "))) ";
22815ffd83dbSDimitry Andric OS << T2.str();
22825ffd83dbSDimitry Andric OS << " " << T.str() << ";\n";
22835ffd83dbSDimitry Andric }
22845ffd83dbSDimitry Andric if (InIfdef)
22855ffd83dbSDimitry Andric OS << "#endif\n";
22865ffd83dbSDimitry Andric OS << "\n";
22875ffd83dbSDimitry Andric
22885ffd83dbSDimitry Andric // Emit struct typedefs.
22895ffd83dbSDimitry Andric InIfdef = false;
22905ffd83dbSDimitry Andric for (unsigned NumMembers = 2; NumMembers <= 4; ++NumMembers) {
22915ffd83dbSDimitry Andric for (auto &TS : TDTypeVec) {
22925ffd83dbSDimitry Andric bool IsA64 = false;
22935ffd83dbSDimitry Andric Type T(TS, ".");
22945ffd83dbSDimitry Andric if (T.isDouble())
22955ffd83dbSDimitry Andric IsA64 = true;
22965ffd83dbSDimitry Andric
22975ffd83dbSDimitry Andric if (InIfdef && !IsA64) {
22985ffd83dbSDimitry Andric OS << "#endif\n";
22995ffd83dbSDimitry Andric InIfdef = false;
23005ffd83dbSDimitry Andric }
23015ffd83dbSDimitry Andric if (!InIfdef && IsA64) {
2302*0fca6ea1SDimitry Andric OS << "#if defined(__aarch64__) || defined(__arm64ec__)\n";
23035ffd83dbSDimitry Andric InIfdef = true;
23045ffd83dbSDimitry Andric }
23055ffd83dbSDimitry Andric
23065ffd83dbSDimitry Andric const char Mods[] = { static_cast<char>('2' + (NumMembers - 2)), 0};
23075ffd83dbSDimitry Andric Type VT(TS, Mods);
23085ffd83dbSDimitry Andric OS << "typedef struct " << VT.str() << " {\n";
23095ffd83dbSDimitry Andric OS << " " << T.str() << " val";
23105ffd83dbSDimitry Andric OS << "[" << NumMembers << "]";
23115ffd83dbSDimitry Andric OS << ";\n} ";
23125ffd83dbSDimitry Andric OS << VT.str() << ";\n";
23135ffd83dbSDimitry Andric OS << "\n";
23145ffd83dbSDimitry Andric }
23155ffd83dbSDimitry Andric }
23165ffd83dbSDimitry Andric if (InIfdef)
23175ffd83dbSDimitry Andric OS << "#endif\n";
23185ffd83dbSDimitry Andric }
23195ffd83dbSDimitry Andric
23200b57cec5SDimitry Andric /// run - Read the records in arm_neon.td and output arm_neon.h. arm_neon.h
23210b57cec5SDimitry Andric /// is comprised of type definitions and function declarations.
run(raw_ostream & OS)23220b57cec5SDimitry Andric void NeonEmitter::run(raw_ostream &OS) {
23230b57cec5SDimitry Andric OS << "/*===---- arm_neon.h - ARM Neon intrinsics "
23240b57cec5SDimitry Andric "------------------------------"
23250b57cec5SDimitry Andric "---===\n"
23260b57cec5SDimitry Andric " *\n"
23270b57cec5SDimitry Andric " * Permission is hereby granted, free of charge, to any person "
23280b57cec5SDimitry Andric "obtaining "
23290b57cec5SDimitry Andric "a copy\n"
23300b57cec5SDimitry Andric " * of this software and associated documentation files (the "
23310b57cec5SDimitry Andric "\"Software\"),"
23320b57cec5SDimitry Andric " to deal\n"
23330b57cec5SDimitry Andric " * in the Software without restriction, including without limitation "
23340b57cec5SDimitry Andric "the "
23350b57cec5SDimitry Andric "rights\n"
23360b57cec5SDimitry Andric " * to use, copy, modify, merge, publish, distribute, sublicense, "
23370b57cec5SDimitry Andric "and/or sell\n"
23380b57cec5SDimitry Andric " * copies of the Software, and to permit persons to whom the Software "
23390b57cec5SDimitry Andric "is\n"
23400b57cec5SDimitry Andric " * furnished to do so, subject to the following conditions:\n"
23410b57cec5SDimitry Andric " *\n"
23420b57cec5SDimitry Andric " * The above copyright notice and this permission notice shall be "
23430b57cec5SDimitry Andric "included in\n"
23440b57cec5SDimitry Andric " * all copies or substantial portions of the Software.\n"
23450b57cec5SDimitry Andric " *\n"
23460b57cec5SDimitry Andric " * THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, "
23470b57cec5SDimitry Andric "EXPRESS OR\n"
23480b57cec5SDimitry Andric " * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF "
23490b57cec5SDimitry Andric "MERCHANTABILITY,\n"
23500b57cec5SDimitry Andric " * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT "
23510b57cec5SDimitry Andric "SHALL THE\n"
23520b57cec5SDimitry Andric " * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR "
23530b57cec5SDimitry Andric "OTHER\n"
23540b57cec5SDimitry Andric " * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, "
23550b57cec5SDimitry Andric "ARISING FROM,\n"
23560b57cec5SDimitry Andric " * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER "
23570b57cec5SDimitry Andric "DEALINGS IN\n"
23580b57cec5SDimitry Andric " * THE SOFTWARE.\n"
23590b57cec5SDimitry Andric " *\n"
23600b57cec5SDimitry Andric " *===-----------------------------------------------------------------"
23610b57cec5SDimitry Andric "---"
23620b57cec5SDimitry Andric "---===\n"
23630b57cec5SDimitry Andric " */\n\n";
23640b57cec5SDimitry Andric
23650b57cec5SDimitry Andric OS << "#ifndef __ARM_NEON_H\n";
23660b57cec5SDimitry Andric OS << "#define __ARM_NEON_H\n\n";
23670b57cec5SDimitry Andric
23685ffd83dbSDimitry Andric OS << "#ifndef __ARM_FP\n";
23695ffd83dbSDimitry Andric OS << "#error \"NEON intrinsics not available with the soft-float ABI. "
23705ffd83dbSDimitry Andric "Please use -mfloat-abi=softfp or -mfloat-abi=hard\"\n";
23715ffd83dbSDimitry Andric OS << "#else\n\n";
23725ffd83dbSDimitry Andric
23730b57cec5SDimitry Andric OS << "#include <stdint.h>\n\n";
23740b57cec5SDimitry Andric
23755ffd83dbSDimitry Andric OS << "#include <arm_bf16.h>\n";
23765ffd83dbSDimitry Andric
23775f757f3fSDimitry Andric OS << "#include <arm_vector_types.h>\n";
23780b57cec5SDimitry Andric
23790b57cec5SDimitry Andric // For now, signedness of polynomial types depends on target
2380*0fca6ea1SDimitry Andric OS << "#if defined(__aarch64__) || defined(__arm64ec__)\n";
23810b57cec5SDimitry Andric OS << "typedef uint8_t poly8_t;\n";
23820b57cec5SDimitry Andric OS << "typedef uint16_t poly16_t;\n";
23830b57cec5SDimitry Andric OS << "typedef uint64_t poly64_t;\n";
23840b57cec5SDimitry Andric OS << "typedef __uint128_t poly128_t;\n";
23850b57cec5SDimitry Andric OS << "#else\n";
23860b57cec5SDimitry Andric OS << "typedef int8_t poly8_t;\n";
23870b57cec5SDimitry Andric OS << "typedef int16_t poly16_t;\n";
23885ffd83dbSDimitry Andric OS << "typedef int64_t poly64_t;\n";
23890b57cec5SDimitry Andric OS << "#endif\n";
23905f757f3fSDimitry Andric emitNeonTypeDefs("PcQPcPsQPsPlQPl", OS);
23910b57cec5SDimitry Andric
23920b57cec5SDimitry Andric OS << "#define __ai static __inline__ __attribute__((__always_inline__, "
23930b57cec5SDimitry Andric "__nodebug__))\n\n";
23940b57cec5SDimitry Andric
23950b57cec5SDimitry Andric SmallVector<Intrinsic *, 128> Defs;
23960b57cec5SDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
23970b57cec5SDimitry Andric for (auto *R : RV)
23980b57cec5SDimitry Andric createIntrinsic(R, Defs);
23990b57cec5SDimitry Andric
24000b57cec5SDimitry Andric for (auto *I : Defs)
24010b57cec5SDimitry Andric I->indexBody();
24020b57cec5SDimitry Andric
2403a7dea167SDimitry Andric llvm::stable_sort(Defs, llvm::deref<std::less<>>());
24040b57cec5SDimitry Andric
24050b57cec5SDimitry Andric // Only emit a def when its requirements have been met.
24060b57cec5SDimitry Andric // FIXME: This loop could be made faster, but it's fast enough for now.
24070b57cec5SDimitry Andric bool MadeProgress = true;
24080b57cec5SDimitry Andric std::string InGuard;
24090b57cec5SDimitry Andric while (!Defs.empty() && MadeProgress) {
24100b57cec5SDimitry Andric MadeProgress = false;
24110b57cec5SDimitry Andric
24120b57cec5SDimitry Andric for (SmallVector<Intrinsic *, 128>::iterator I = Defs.begin();
24130b57cec5SDimitry Andric I != Defs.end(); /*No step*/) {
24140b57cec5SDimitry Andric bool DependenciesSatisfied = true;
24150b57cec5SDimitry Andric for (auto *II : (*I)->getDependencies()) {
24160b57cec5SDimitry Andric if (llvm::is_contained(Defs, II))
24170b57cec5SDimitry Andric DependenciesSatisfied = false;
24180b57cec5SDimitry Andric }
24190b57cec5SDimitry Andric if (!DependenciesSatisfied) {
24200b57cec5SDimitry Andric // Try the next one.
24210b57cec5SDimitry Andric ++I;
24220b57cec5SDimitry Andric continue;
24230b57cec5SDimitry Andric }
24240b57cec5SDimitry Andric
24250b57cec5SDimitry Andric // Emit #endif/#if pair if needed.
2426bdd1243dSDimitry Andric if ((*I)->getArchGuard() != InGuard) {
24270b57cec5SDimitry Andric if (!InGuard.empty())
24280b57cec5SDimitry Andric OS << "#endif\n";
2429bdd1243dSDimitry Andric InGuard = (*I)->getArchGuard();
24300b57cec5SDimitry Andric if (!InGuard.empty())
24310b57cec5SDimitry Andric OS << "#if " << InGuard << "\n";
24320b57cec5SDimitry Andric }
24330b57cec5SDimitry Andric
24340b57cec5SDimitry Andric // Actually generate the intrinsic code.
24350b57cec5SDimitry Andric OS << (*I)->generate();
24360b57cec5SDimitry Andric
24370b57cec5SDimitry Andric MadeProgress = true;
24380b57cec5SDimitry Andric I = Defs.erase(I);
24390b57cec5SDimitry Andric }
24400b57cec5SDimitry Andric }
24410b57cec5SDimitry Andric assert(Defs.empty() && "Some requirements were not satisfied!");
24420b57cec5SDimitry Andric if (!InGuard.empty())
24430b57cec5SDimitry Andric OS << "#endif\n";
24440b57cec5SDimitry Andric
24450b57cec5SDimitry Andric OS << "\n";
24460b57cec5SDimitry Andric OS << "#undef __ai\n\n";
24475ffd83dbSDimitry Andric OS << "#endif /* if !defined(__ARM_NEON) */\n";
24485ffd83dbSDimitry Andric OS << "#endif /* ifndef __ARM_FP */\n";
24490b57cec5SDimitry Andric }
24500b57cec5SDimitry Andric
24510b57cec5SDimitry Andric /// run - Read the records in arm_fp16.td and output arm_fp16.h. arm_fp16.h
24520b57cec5SDimitry Andric /// is comprised of type definitions and function declarations.
runFP16(raw_ostream & OS)24530b57cec5SDimitry Andric void NeonEmitter::runFP16(raw_ostream &OS) {
24540b57cec5SDimitry Andric OS << "/*===---- arm_fp16.h - ARM FP16 intrinsics "
24550b57cec5SDimitry Andric "------------------------------"
24560b57cec5SDimitry Andric "---===\n"
24570b57cec5SDimitry Andric " *\n"
24580b57cec5SDimitry Andric " * Permission is hereby granted, free of charge, to any person "
24590b57cec5SDimitry Andric "obtaining a copy\n"
24600b57cec5SDimitry Andric " * of this software and associated documentation files (the "
24610b57cec5SDimitry Andric "\"Software\"), to deal\n"
24620b57cec5SDimitry Andric " * in the Software without restriction, including without limitation "
24630b57cec5SDimitry Andric "the rights\n"
24640b57cec5SDimitry Andric " * to use, copy, modify, merge, publish, distribute, sublicense, "
24650b57cec5SDimitry Andric "and/or sell\n"
24660b57cec5SDimitry Andric " * copies of the Software, and to permit persons to whom the Software "
24670b57cec5SDimitry Andric "is\n"
24680b57cec5SDimitry Andric " * furnished to do so, subject to the following conditions:\n"
24690b57cec5SDimitry Andric " *\n"
24700b57cec5SDimitry Andric " * The above copyright notice and this permission notice shall be "
24710b57cec5SDimitry Andric "included in\n"
24720b57cec5SDimitry Andric " * all copies or substantial portions of the Software.\n"
24730b57cec5SDimitry Andric " *\n"
24740b57cec5SDimitry Andric " * THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, "
24750b57cec5SDimitry Andric "EXPRESS OR\n"
24760b57cec5SDimitry Andric " * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF "
24770b57cec5SDimitry Andric "MERCHANTABILITY,\n"
24780b57cec5SDimitry Andric " * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT "
24790b57cec5SDimitry Andric "SHALL THE\n"
24800b57cec5SDimitry Andric " * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR "
24810b57cec5SDimitry Andric "OTHER\n"
24820b57cec5SDimitry Andric " * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, "
24830b57cec5SDimitry Andric "ARISING FROM,\n"
24840b57cec5SDimitry Andric " * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER "
24850b57cec5SDimitry Andric "DEALINGS IN\n"
24860b57cec5SDimitry Andric " * THE SOFTWARE.\n"
24870b57cec5SDimitry Andric " *\n"
24880b57cec5SDimitry Andric " *===-----------------------------------------------------------------"
24890b57cec5SDimitry Andric "---"
24900b57cec5SDimitry Andric "---===\n"
24910b57cec5SDimitry Andric " */\n\n";
24920b57cec5SDimitry Andric
24930b57cec5SDimitry Andric OS << "#ifndef __ARM_FP16_H\n";
24940b57cec5SDimitry Andric OS << "#define __ARM_FP16_H\n\n";
24950b57cec5SDimitry Andric
24960b57cec5SDimitry Andric OS << "#include <stdint.h>\n\n";
24970b57cec5SDimitry Andric
24980b57cec5SDimitry Andric OS << "typedef __fp16 float16_t;\n";
24990b57cec5SDimitry Andric
25000b57cec5SDimitry Andric OS << "#define __ai static __inline__ __attribute__((__always_inline__, "
25010b57cec5SDimitry Andric "__nodebug__))\n\n";
25020b57cec5SDimitry Andric
25030b57cec5SDimitry Andric SmallVector<Intrinsic *, 128> Defs;
25040b57cec5SDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
25050b57cec5SDimitry Andric for (auto *R : RV)
25060b57cec5SDimitry Andric createIntrinsic(R, Defs);
25070b57cec5SDimitry Andric
25080b57cec5SDimitry Andric for (auto *I : Defs)
25090b57cec5SDimitry Andric I->indexBody();
25100b57cec5SDimitry Andric
2511a7dea167SDimitry Andric llvm::stable_sort(Defs, llvm::deref<std::less<>>());
25120b57cec5SDimitry Andric
25130b57cec5SDimitry Andric // Only emit a def when its requirements have been met.
25140b57cec5SDimitry Andric // FIXME: This loop could be made faster, but it's fast enough for now.
25150b57cec5SDimitry Andric bool MadeProgress = true;
25160b57cec5SDimitry Andric std::string InGuard;
25170b57cec5SDimitry Andric while (!Defs.empty() && MadeProgress) {
25180b57cec5SDimitry Andric MadeProgress = false;
25190b57cec5SDimitry Andric
25200b57cec5SDimitry Andric for (SmallVector<Intrinsic *, 128>::iterator I = Defs.begin();
25210b57cec5SDimitry Andric I != Defs.end(); /*No step*/) {
25220b57cec5SDimitry Andric bool DependenciesSatisfied = true;
25230b57cec5SDimitry Andric for (auto *II : (*I)->getDependencies()) {
25240b57cec5SDimitry Andric if (llvm::is_contained(Defs, II))
25250b57cec5SDimitry Andric DependenciesSatisfied = false;
25260b57cec5SDimitry Andric }
25270b57cec5SDimitry Andric if (!DependenciesSatisfied) {
25280b57cec5SDimitry Andric // Try the next one.
25290b57cec5SDimitry Andric ++I;
25300b57cec5SDimitry Andric continue;
25310b57cec5SDimitry Andric }
25320b57cec5SDimitry Andric
25330b57cec5SDimitry Andric // Emit #endif/#if pair if needed.
2534bdd1243dSDimitry Andric if ((*I)->getArchGuard() != InGuard) {
25350b57cec5SDimitry Andric if (!InGuard.empty())
25360b57cec5SDimitry Andric OS << "#endif\n";
2537bdd1243dSDimitry Andric InGuard = (*I)->getArchGuard();
25380b57cec5SDimitry Andric if (!InGuard.empty())
25390b57cec5SDimitry Andric OS << "#if " << InGuard << "\n";
25400b57cec5SDimitry Andric }
25410b57cec5SDimitry Andric
25420b57cec5SDimitry Andric // Actually generate the intrinsic code.
25430b57cec5SDimitry Andric OS << (*I)->generate();
25440b57cec5SDimitry Andric
25450b57cec5SDimitry Andric MadeProgress = true;
25460b57cec5SDimitry Andric I = Defs.erase(I);
25470b57cec5SDimitry Andric }
25480b57cec5SDimitry Andric }
25490b57cec5SDimitry Andric assert(Defs.empty() && "Some requirements were not satisfied!");
25500b57cec5SDimitry Andric if (!InGuard.empty())
25510b57cec5SDimitry Andric OS << "#endif\n";
25520b57cec5SDimitry Andric
25530b57cec5SDimitry Andric OS << "\n";
25540b57cec5SDimitry Andric OS << "#undef __ai\n\n";
25550b57cec5SDimitry Andric OS << "#endif /* __ARM_FP16_H */\n";
25560b57cec5SDimitry Andric }
25570b57cec5SDimitry Andric
runVectorTypes(raw_ostream & OS)25585f757f3fSDimitry Andric void NeonEmitter::runVectorTypes(raw_ostream &OS) {
25595f757f3fSDimitry Andric OS << "/*===---- arm_vector_types - ARM vector type "
25605f757f3fSDimitry Andric "------===\n"
25615f757f3fSDimitry Andric " *\n"
25625f757f3fSDimitry Andric " *\n"
25635f757f3fSDimitry Andric " * Part of the LLVM Project, under the Apache License v2.0 with LLVM "
25645f757f3fSDimitry Andric "Exceptions.\n"
25655f757f3fSDimitry Andric " * See https://llvm.org/LICENSE.txt for license information.\n"
25665f757f3fSDimitry Andric " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n"
25675f757f3fSDimitry Andric " *\n"
25685f757f3fSDimitry Andric " *===-----------------------------------------------------------------"
25695f757f3fSDimitry Andric "------===\n"
25705f757f3fSDimitry Andric " */\n\n";
25715f757f3fSDimitry Andric OS << "#if !defined(__ARM_NEON_H) && !defined(__ARM_SVE_H)\n";
25725f757f3fSDimitry Andric OS << "#error \"This file should not be used standalone. Please include"
25735f757f3fSDimitry Andric " arm_neon.h or arm_sve.h instead\"\n\n";
25745f757f3fSDimitry Andric OS << "#endif\n";
25755f757f3fSDimitry Andric OS << "#ifndef __ARM_NEON_TYPES_H\n";
25765f757f3fSDimitry Andric OS << "#define __ARM_NEON_TYPES_H\n";
25775f757f3fSDimitry Andric OS << "typedef float float32_t;\n";
25785f757f3fSDimitry Andric OS << "typedef __fp16 float16_t;\n";
25795f757f3fSDimitry Andric
2580*0fca6ea1SDimitry Andric OS << "#if defined(__aarch64__) || defined(__arm64ec__)\n";
25815f757f3fSDimitry Andric OS << "typedef double float64_t;\n";
25825f757f3fSDimitry Andric OS << "#endif\n\n";
25835f757f3fSDimitry Andric
25845f757f3fSDimitry Andric emitNeonTypeDefs("cQcsQsiQilQlUcQUcUsQUsUiQUiUlQUlhQhfQfdQd", OS);
25855f757f3fSDimitry Andric
25865f757f3fSDimitry Andric emitNeonTypeDefs("bQb", OS);
25875f757f3fSDimitry Andric OS << "#endif // __ARM_NEON_TYPES_H\n";
25885f757f3fSDimitry Andric }
25895f757f3fSDimitry Andric
runBF16(raw_ostream & OS)25905ffd83dbSDimitry Andric void NeonEmitter::runBF16(raw_ostream &OS) {
25915ffd83dbSDimitry Andric OS << "/*===---- arm_bf16.h - ARM BF16 intrinsics "
25925ffd83dbSDimitry Andric "-----------------------------------===\n"
25935ffd83dbSDimitry Andric " *\n"
25945ffd83dbSDimitry Andric " *\n"
25955ffd83dbSDimitry Andric " * Part of the LLVM Project, under the Apache License v2.0 with LLVM "
25965ffd83dbSDimitry Andric "Exceptions.\n"
25975ffd83dbSDimitry Andric " * See https://llvm.org/LICENSE.txt for license information.\n"
25985ffd83dbSDimitry Andric " * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception\n"
25995ffd83dbSDimitry Andric " *\n"
26005ffd83dbSDimitry Andric " *===-----------------------------------------------------------------"
26015ffd83dbSDimitry Andric "------===\n"
26025ffd83dbSDimitry Andric " */\n\n";
26035ffd83dbSDimitry Andric
26045ffd83dbSDimitry Andric OS << "#ifndef __ARM_BF16_H\n";
26055ffd83dbSDimitry Andric OS << "#define __ARM_BF16_H\n\n";
26065ffd83dbSDimitry Andric
26075ffd83dbSDimitry Andric OS << "typedef __bf16 bfloat16_t;\n";
26085ffd83dbSDimitry Andric
26095ffd83dbSDimitry Andric OS << "#define __ai static __inline__ __attribute__((__always_inline__, "
26105ffd83dbSDimitry Andric "__nodebug__))\n\n";
26115ffd83dbSDimitry Andric
26125ffd83dbSDimitry Andric SmallVector<Intrinsic *, 128> Defs;
26135ffd83dbSDimitry Andric std::vector<Record *> RV = Records.getAllDerivedDefinitions("Inst");
26145ffd83dbSDimitry Andric for (auto *R : RV)
26155ffd83dbSDimitry Andric createIntrinsic(R, Defs);
26165ffd83dbSDimitry Andric
26175ffd83dbSDimitry Andric for (auto *I : Defs)
26185ffd83dbSDimitry Andric I->indexBody();
26195ffd83dbSDimitry Andric
26205ffd83dbSDimitry Andric llvm::stable_sort(Defs, llvm::deref<std::less<>>());
26215ffd83dbSDimitry Andric
26225ffd83dbSDimitry Andric // Only emit a def when its requirements have been met.
26235ffd83dbSDimitry Andric // FIXME: This loop could be made faster, but it's fast enough for now.
26245ffd83dbSDimitry Andric bool MadeProgress = true;
26255ffd83dbSDimitry Andric std::string InGuard;
26265ffd83dbSDimitry Andric while (!Defs.empty() && MadeProgress) {
26275ffd83dbSDimitry Andric MadeProgress = false;
26285ffd83dbSDimitry Andric
26295ffd83dbSDimitry Andric for (SmallVector<Intrinsic *, 128>::iterator I = Defs.begin();
26305ffd83dbSDimitry Andric I != Defs.end(); /*No step*/) {
26315ffd83dbSDimitry Andric bool DependenciesSatisfied = true;
26325ffd83dbSDimitry Andric for (auto *II : (*I)->getDependencies()) {
26335ffd83dbSDimitry Andric if (llvm::is_contained(Defs, II))
26345ffd83dbSDimitry Andric DependenciesSatisfied = false;
26355ffd83dbSDimitry Andric }
26365ffd83dbSDimitry Andric if (!DependenciesSatisfied) {
26375ffd83dbSDimitry Andric // Try the next one.
26385ffd83dbSDimitry Andric ++I;
26395ffd83dbSDimitry Andric continue;
26405ffd83dbSDimitry Andric }
26415ffd83dbSDimitry Andric
26425ffd83dbSDimitry Andric // Emit #endif/#if pair if needed.
2643bdd1243dSDimitry Andric if ((*I)->getArchGuard() != InGuard) {
26445ffd83dbSDimitry Andric if (!InGuard.empty())
26455ffd83dbSDimitry Andric OS << "#endif\n";
2646bdd1243dSDimitry Andric InGuard = (*I)->getArchGuard();
26475ffd83dbSDimitry Andric if (!InGuard.empty())
26485ffd83dbSDimitry Andric OS << "#if " << InGuard << "\n";
26495ffd83dbSDimitry Andric }
26505ffd83dbSDimitry Andric
26515ffd83dbSDimitry Andric // Actually generate the intrinsic code.
26525ffd83dbSDimitry Andric OS << (*I)->generate();
26535ffd83dbSDimitry Andric
26545ffd83dbSDimitry Andric MadeProgress = true;
26555ffd83dbSDimitry Andric I = Defs.erase(I);
26565ffd83dbSDimitry Andric }
26575ffd83dbSDimitry Andric }
26585ffd83dbSDimitry Andric assert(Defs.empty() && "Some requirements were not satisfied!");
26595ffd83dbSDimitry Andric if (!InGuard.empty())
26605ffd83dbSDimitry Andric OS << "#endif\n";
26615ffd83dbSDimitry Andric
26625ffd83dbSDimitry Andric OS << "\n";
26635ffd83dbSDimitry Andric OS << "#undef __ai\n\n";
26645ffd83dbSDimitry Andric
26655ffd83dbSDimitry Andric OS << "#endif\n";
26665ffd83dbSDimitry Andric }
26675ffd83dbSDimitry Andric
EmitNeon(RecordKeeper & Records,raw_ostream & OS)2668a7dea167SDimitry Andric void clang::EmitNeon(RecordKeeper &Records, raw_ostream &OS) {
26690b57cec5SDimitry Andric NeonEmitter(Records).run(OS);
26700b57cec5SDimitry Andric }
26710b57cec5SDimitry Andric
EmitFP16(RecordKeeper & Records,raw_ostream & OS)2672a7dea167SDimitry Andric void clang::EmitFP16(RecordKeeper &Records, raw_ostream &OS) {
26730b57cec5SDimitry Andric NeonEmitter(Records).runFP16(OS);
26740b57cec5SDimitry Andric }
26750b57cec5SDimitry Andric
EmitBF16(RecordKeeper & Records,raw_ostream & OS)26765ffd83dbSDimitry Andric void clang::EmitBF16(RecordKeeper &Records, raw_ostream &OS) {
26775ffd83dbSDimitry Andric NeonEmitter(Records).runBF16(OS);
26785ffd83dbSDimitry Andric }
26795ffd83dbSDimitry Andric
EmitNeonSema(RecordKeeper & Records,raw_ostream & OS)2680a7dea167SDimitry Andric void clang::EmitNeonSema(RecordKeeper &Records, raw_ostream &OS) {
26810b57cec5SDimitry Andric NeonEmitter(Records).runHeader(OS);
26820b57cec5SDimitry Andric }
26830b57cec5SDimitry Andric
EmitVectorTypes(RecordKeeper & Records,raw_ostream & OS)26845f757f3fSDimitry Andric void clang::EmitVectorTypes(RecordKeeper &Records, raw_ostream &OS) {
26855f757f3fSDimitry Andric NeonEmitter(Records).runVectorTypes(OS);
26865f757f3fSDimitry Andric }
26875f757f3fSDimitry Andric
EmitNeonTest(RecordKeeper & Records,raw_ostream & OS)2688a7dea167SDimitry Andric void clang::EmitNeonTest(RecordKeeper &Records, raw_ostream &OS) {
26890b57cec5SDimitry Andric llvm_unreachable("Neon test generation no longer implemented!");
26900b57cec5SDimitry Andric }
2691