[llvm] fe7b38c - llvm-tblgen: Split out CodeGenIntrinsics.cpp from CodeGenTarget.cpp
NAKAMURA Takumi via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 14 16:10:25 PDT 2023
Author: NAKAMURA Takumi
Date: 2023-03-15T08:09:35+09:00
New Revision: fe7b38cb6b7438be9981c741fbbec715c234c1ca
URL: https://github.com/llvm/llvm-project/commit/fe7b38cb6b7438be9981c741fbbec715c234c1ca
DIFF: https://github.com/llvm/llvm-project/commit/fe7b38cb6b7438be9981c741fbbec715c234c1ca.diff
LOG: llvm-tblgen: Split out CodeGenIntrinsics.cpp from CodeGenTarget.cpp
Differential Revision: https://reviews.llvm.org/D143844
Added:
llvm/utils/TableGen/CodeGenIntrinsics.cpp
Modified:
llvm/utils/TableGen/CMakeLists.txt
llvm/utils/TableGen/CodeGenTarget.cpp
Removed:
################################################################################
diff --git a/llvm/utils/TableGen/CMakeLists.txt b/llvm/utils/TableGen/CMakeLists.txt
index 44ed5549c8ea3..42f20a6b7164d 100644
--- a/llvm/utils/TableGen/CMakeLists.txt
+++ b/llvm/utils/TableGen/CMakeLists.txt
@@ -15,6 +15,7 @@ add_tablegen(llvm-tblgen LLVM
CodeGenHwModes.cpp
CodeGenInstAlias.cpp
CodeGenInstruction.cpp
+ CodeGenIntrinsics.cpp
CodeGenMapTable.cpp
CodeGenRegisters.cpp
CodeGenSchedule.cpp
diff --git a/llvm/utils/TableGen/CodeGenIntrinsics.cpp b/llvm/utils/TableGen/CodeGenIntrinsics.cpp
new file mode 100644
index 0000000000000..602da4c0edab2
--- /dev/null
+++ b/llvm/utils/TableGen/CodeGenIntrinsics.cpp
@@ -0,0 +1,339 @@
+//===- CodeGenIntrinsics.cpp - Intrinsic Class Wrapper --------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This file defines a wrapper class for the 'Intrinsic' TableGen class.
+//
+//===----------------------------------------------------------------------===//
+
+#include "CodeGenIntrinsics.h"
+#include "CodeGenTarget.h"
+#include "llvm/ADT/ArrayRef.h"
+#include "llvm/ADT/STLExtras.h"
+#include "llvm/ADT/Twine.h"
+#include "llvm/Support/ErrorHandling.h"
+#include "llvm/TableGen/Error.h"
+#include "llvm/TableGen/Record.h"
+#include <algorithm>
+#include <cassert>
+using namespace llvm;
+
+//===----------------------------------------------------------------------===//
+// CodeGenIntrinsic Implementation
+//===----------------------------------------------------------------------===//
+
+CodeGenIntrinsicTable::CodeGenIntrinsicTable(const RecordKeeper &RC) {
+ std::vector<Record *> IntrProperties =
+ RC.getAllDerivedDefinitions("IntrinsicProperty");
+
+ std::vector<Record *> DefaultProperties;
+ for (Record *Rec : IntrProperties)
+ if (Rec->getValueAsBit("IsDefault"))
+ DefaultProperties.push_back(Rec);
+
+ std::vector<Record *> Defs = RC.getAllDerivedDefinitions("Intrinsic");
+ Intrinsics.reserve(Defs.size());
+
+ for (unsigned I = 0, e = Defs.size(); I != e; ++I)
+ Intrinsics.push_back(CodeGenIntrinsic(Defs[I], DefaultProperties));
+
+ llvm::sort(Intrinsics,
+ [](const CodeGenIntrinsic &LHS, const CodeGenIntrinsic &RHS) {
+ return std::tie(LHS.TargetPrefix, LHS.Name) <
+ std::tie(RHS.TargetPrefix, RHS.Name);
+ });
+ Targets.push_back({"", 0, 0});
+ for (size_t I = 0, E = Intrinsics.size(); I < E; ++I)
+ if (Intrinsics[I].TargetPrefix != Targets.back().Name) {
+ Targets.back().Count = I - Targets.back().Offset;
+ Targets.push_back({Intrinsics[I].TargetPrefix, I, 0});
+ }
+ Targets.back().Count = Intrinsics.size() - Targets.back().Offset;
+}
+
+CodeGenIntrinsic::CodeGenIntrinsic(Record *R,
+ std::vector<Record *> DefaultProperties) {
+ TheDef = R;
+ std::string DefName = std::string(R->getName());
+ ArrayRef<SMLoc> DefLoc = R->getLoc();
+ Properties = 0;
+ isOverloaded = false;
+ isCommutative = false;
+ canThrow = false;
+ isNoReturn = false;
+ isNoCallback = false;
+ isNoSync = false;
+ isNoFree = false;
+ isWillReturn = false;
+ isCold = false;
+ isNoDuplicate = false;
+ isNoMerge = false;
+ isConvergent = false;
+ isSpeculatable = false;
+ hasSideEffects = false;
+
+ if (DefName.size() <= 4 || DefName.substr(0, 4) != "int_")
+ PrintFatalError(DefLoc,
+ "Intrinsic '" + DefName + "' does not start with 'int_'!");
+
+ EnumName = DefName.substr(4);
+
+ if (R->getValue(
+ "ClangBuiltinName")) // Ignore a missing ClangBuiltinName field.
+ ClangBuiltinName = std::string(R->getValueAsString("ClangBuiltinName"));
+ if (R->getValue("MSBuiltinName")) // Ignore a missing MSBuiltinName field.
+ MSBuiltinName = std::string(R->getValueAsString("MSBuiltinName"));
+
+ TargetPrefix = std::string(R->getValueAsString("TargetPrefix"));
+ Name = std::string(R->getValueAsString("LLVMName"));
+
+ if (Name == "") {
+ // If an explicit name isn't specified, derive one from the DefName.
+ Name = "llvm.";
+
+ for (unsigned i = 0, e = EnumName.size(); i != e; ++i)
+ Name += (EnumName[i] == '_') ? '.' : EnumName[i];
+ } else {
+ // Verify it starts with "llvm.".
+ if (Name.size() <= 5 || Name.substr(0, 5) != "llvm.")
+ PrintFatalError(DefLoc, "Intrinsic '" + DefName +
+ "'s name does not start with 'llvm.'!");
+ }
+
+ // If TargetPrefix is specified, make sure that Name starts with
+ // "llvm.<targetprefix>.".
+ if (!TargetPrefix.empty()) {
+ if (Name.size() < 6 + TargetPrefix.size() ||
+ Name.substr(5, 1 + TargetPrefix.size()) != (TargetPrefix + "."))
+ PrintFatalError(DefLoc, "Intrinsic '" + DefName +
+ "' does not start with 'llvm." +
+ TargetPrefix + ".'!");
+ }
+
+ ListInit *RetTypes = R->getValueAsListInit("RetTypes");
+ ListInit *ParamTypes = R->getValueAsListInit("ParamTypes");
+
+ // First collate a list of overloaded types.
+ std::vector<MVT::SimpleValueType> OverloadedVTs;
+ for (ListInit *TypeList : {RetTypes, ParamTypes}) {
+ for (unsigned i = 0, e = TypeList->size(); i != e; ++i) {
+ Record *TyEl = TypeList->getElementAsRecord(i);
+ assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
+
+ if (TyEl->isSubClassOf("LLVMMatchType"))
+ continue;
+
+ MVT::SimpleValueType VT = getValueType(TyEl->getValueAsDef("VT"));
+ if (MVT(VT).isOverloaded()) {
+ OverloadedVTs.push_back(VT);
+ isOverloaded = true;
+ }
+ }
+ }
+
+ // Parse the list of return types.
+ ListInit *TypeList = RetTypes;
+ for (unsigned i = 0, e = TypeList->size(); i != e; ++i) {
+ Record *TyEl = TypeList->getElementAsRecord(i);
+ assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
+ MVT::SimpleValueType VT;
+ if (TyEl->isSubClassOf("LLVMMatchType")) {
+ unsigned MatchTy = TyEl->getValueAsInt("Number");
+ assert(MatchTy < OverloadedVTs.size() && "Invalid matching number!");
+ VT = OverloadedVTs[MatchTy];
+ // It only makes sense to use the extended and truncated vector element
+ // variants with iAny types; otherwise, if the intrinsic is not
+ // overloaded, all the types can be specified directly.
+ assert(((!TyEl->isSubClassOf("LLVMExtendedType") &&
+ !TyEl->isSubClassOf("LLVMTruncatedType")) ||
+ VT == MVT::iAny || VT == MVT::vAny) &&
+ "Expected iAny or vAny type");
+ } else {
+ VT = getValueType(TyEl->getValueAsDef("VT"));
+ }
+
+ // Reject invalid types.
+ if (VT == MVT::isVoid)
+ PrintFatalError(DefLoc, "Intrinsic '" + DefName +
+ " has void in result type list!");
+
+ IS.RetVTs.push_back(VT);
+ IS.RetTypeDefs.push_back(TyEl);
+ }
+
+ // Parse the list of parameter types.
+ TypeList = ParamTypes;
+ for (unsigned i = 0, e = TypeList->size(); i != e; ++i) {
+ Record *TyEl = TypeList->getElementAsRecord(i);
+ assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
+ MVT::SimpleValueType VT;
+ if (TyEl->isSubClassOf("LLVMMatchType")) {
+ unsigned MatchTy = TyEl->getValueAsInt("Number");
+ if (MatchTy >= OverloadedVTs.size()) {
+ PrintError(R->getLoc(), "Parameter #" + Twine(i) +
+ " has out of bounds matching "
+ "number " +
+ Twine(MatchTy));
+ PrintFatalError(DefLoc,
+ Twine("ParamTypes is ") + TypeList->getAsString());
+ }
+ VT = OverloadedVTs[MatchTy];
+ // It only makes sense to use the extended and truncated vector element
+ // variants with iAny types; otherwise, if the intrinsic is not
+ // overloaded, all the types can be specified directly.
+ assert(((!TyEl->isSubClassOf("LLVMExtendedType") &&
+ !TyEl->isSubClassOf("LLVMTruncatedType")) ||
+ VT == MVT::iAny || VT == MVT::vAny) &&
+ "Expected iAny or vAny type");
+ } else
+ VT = getValueType(TyEl->getValueAsDef("VT"));
+
+ // Reject invalid types.
+ if (VT == MVT::isVoid && i != e - 1 /*void at end means varargs*/)
+ PrintFatalError(DefLoc, "Intrinsic '" + DefName +
+ " has void in result type list!");
+
+ IS.ParamVTs.push_back(VT);
+ IS.ParamTypeDefs.push_back(TyEl);
+ }
+
+ // Parse the intrinsic properties.
+ ListInit *PropList = R->getValueAsListInit("IntrProperties");
+ for (unsigned i = 0, e = PropList->size(); i != e; ++i) {
+ Record *Property = PropList->getElementAsRecord(i);
+ assert(Property->isSubClassOf("IntrinsicProperty") &&
+ "Expected a property!");
+
+ setProperty(Property);
+ }
+
+ // Set default properties to true.
+ setDefaultProperties(R, DefaultProperties);
+
+ // Also record the SDPatternOperator Properties.
+ Properties = parseSDPatternOperatorProperties(R);
+
+ // Sort the argument attributes for later benefit.
+ for (auto &Attrs : ArgumentAttributes)
+ llvm::sort(Attrs);
+}
+
+void CodeGenIntrinsic::setDefaultProperties(
+ Record *R, std::vector<Record *> DefaultProperties) {
+ // opt-out of using default attributes.
+ if (R->getValueAsBit("DisableDefaultAttributes"))
+ return;
+
+ for (Record *Rec : DefaultProperties)
+ setProperty(Rec);
+}
+
+void CodeGenIntrinsic::setProperty(Record *R) {
+ if (R->getName() == "IntrNoMem")
+ ME = MemoryEffects::none();
+ else if (R->getName() == "IntrReadMem") {
+ if (ME.onlyWritesMemory())
+ PrintFatalError(TheDef->getLoc(),
+ Twine("IntrReadMem cannot be used after IntrNoMem or "
+ "IntrWriteMem. Default is ReadWrite"));
+ ME &= MemoryEffects::readOnly();
+ } else if (R->getName() == "IntrWriteMem") {
+ if (ME.onlyReadsMemory())
+ PrintFatalError(TheDef->getLoc(),
+ Twine("IntrWriteMem cannot be used after IntrNoMem or "
+ "IntrReadMem. Default is ReadWrite"));
+ ME &= MemoryEffects::writeOnly();
+ } else if (R->getName() == "IntrArgMemOnly")
+ ME &= MemoryEffects::argMemOnly();
+ else if (R->getName() == "IntrInaccessibleMemOnly")
+ ME &= MemoryEffects::inaccessibleMemOnly();
+ else if (R->getName() == "IntrInaccessibleMemOrArgMemOnly")
+ ME &= MemoryEffects::inaccessibleOrArgMemOnly();
+ else if (R->getName() == "Commutative")
+ isCommutative = true;
+ else if (R->getName() == "Throws")
+ canThrow = true;
+ else if (R->getName() == "IntrNoDuplicate")
+ isNoDuplicate = true;
+ else if (R->getName() == "IntrNoMerge")
+ isNoMerge = true;
+ else if (R->getName() == "IntrConvergent")
+ isConvergent = true;
+ else if (R->getName() == "IntrNoReturn")
+ isNoReturn = true;
+ else if (R->getName() == "IntrNoCallback")
+ isNoCallback = true;
+ else if (R->getName() == "IntrNoSync")
+ isNoSync = true;
+ else if (R->getName() == "IntrNoFree")
+ isNoFree = true;
+ else if (R->getName() == "IntrWillReturn")
+ isWillReturn = !isNoReturn;
+ else if (R->getName() == "IntrCold")
+ isCold = true;
+ else if (R->getName() == "IntrSpeculatable")
+ isSpeculatable = true;
+ else if (R->getName() == "IntrHasSideEffects")
+ hasSideEffects = true;
+ else if (R->isSubClassOf("NoCapture")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, NoCapture);
+ } else if (R->isSubClassOf("NoAlias")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, NoAlias);
+ } else if (R->isSubClassOf("NoUndef")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, NoUndef);
+ } else if (R->isSubClassOf("NonNull")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, NonNull);
+ } else if (R->isSubClassOf("Returned")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, Returned);
+ } else if (R->isSubClassOf("ReadOnly")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, ReadOnly);
+ } else if (R->isSubClassOf("WriteOnly")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, WriteOnly);
+ } else if (R->isSubClassOf("ReadNone")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, ReadNone);
+ } else if (R->isSubClassOf("ImmArg")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ addArgAttribute(ArgNo, ImmArg);
+ } else if (R->isSubClassOf("Align")) {
+ unsigned ArgNo = R->getValueAsInt("ArgNo");
+ uint64_t Align = R->getValueAsInt("Align");
+ addArgAttribute(ArgNo, Alignment, Align);
+ } else
+ llvm_unreachable("Unknown property!");
+}
+
+bool CodeGenIntrinsic::isParamAPointer(unsigned ParamIdx) const {
+ if (ParamIdx >= IS.ParamVTs.size())
+ return false;
+ MVT ParamType = MVT(IS.ParamVTs[ParamIdx]);
+ return ParamType == MVT::iPTR || ParamType == MVT::iPTRAny;
+}
+
+bool CodeGenIntrinsic::isParamImmArg(unsigned ParamIdx) const {
+ // Convert argument index to attribute index starting from `FirstArgIndex`.
+ ++ParamIdx;
+ if (ParamIdx >= ArgumentAttributes.size())
+ return false;
+ ArgAttribute Val{ImmArg, 0};
+ return std::binary_search(ArgumentAttributes[ParamIdx].begin(),
+ ArgumentAttributes[ParamIdx].end(), Val);
+}
+
+void CodeGenIntrinsic::addArgAttribute(unsigned Idx, ArgAttrKind AK,
+ uint64_t V) {
+ if (Idx >= ArgumentAttributes.size())
+ ArgumentAttributes.resize(Idx + 1);
+ ArgumentAttributes[Idx].emplace_back(AK, V);
+}
diff --git a/llvm/utils/TableGen/CodeGenTarget.cpp b/llvm/utils/TableGen/CodeGenTarget.cpp
index 672728ae16c20..ca8ce48c31034 100644
--- a/llvm/utils/TableGen/CodeGenTarget.cpp
+++ b/llvm/utils/TableGen/CodeGenTarget.cpp
@@ -15,13 +15,11 @@
#include "CodeGenTarget.h"
#include "CodeGenInstruction.h"
-#include "CodeGenIntrinsics.h"
#include "CodeGenSchedule.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/Twine.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/ErrorHandling.h"
-#include "llvm/Support/ModRef.h"
#include "llvm/TableGen/Error.h"
#include "llvm/TableGen/Record.h"
#include <algorithm>
@@ -641,319 +639,3 @@ ComplexPattern::ComplexPattern(Record *R) {
"'!");
}
}
-
-//===----------------------------------------------------------------------===//
-// CodeGenIntrinsic Implementation
-//===----------------------------------------------------------------------===//
-
-CodeGenIntrinsicTable::CodeGenIntrinsicTable(const RecordKeeper &RC) {
- std::vector<Record *> IntrProperties =
- RC.getAllDerivedDefinitions("IntrinsicProperty");
-
- std::vector<Record *> DefaultProperties;
- for (Record *Rec : IntrProperties)
- if (Rec->getValueAsBit("IsDefault"))
- DefaultProperties.push_back(Rec);
-
- std::vector<Record *> Defs = RC.getAllDerivedDefinitions("Intrinsic");
- Intrinsics.reserve(Defs.size());
-
- for (unsigned I = 0, e = Defs.size(); I != e; ++I)
- Intrinsics.push_back(CodeGenIntrinsic(Defs[I], DefaultProperties));
-
- llvm::sort(Intrinsics,
- [](const CodeGenIntrinsic &LHS, const CodeGenIntrinsic &RHS) {
- return std::tie(LHS.TargetPrefix, LHS.Name) <
- std::tie(RHS.TargetPrefix, RHS.Name);
- });
- Targets.push_back({"", 0, 0});
- for (size_t I = 0, E = Intrinsics.size(); I < E; ++I)
- if (Intrinsics[I].TargetPrefix != Targets.back().Name) {
- Targets.back().Count = I - Targets.back().Offset;
- Targets.push_back({Intrinsics[I].TargetPrefix, I, 0});
- }
- Targets.back().Count = Intrinsics.size() - Targets.back().Offset;
-}
-
-CodeGenIntrinsic::CodeGenIntrinsic(Record *R,
- std::vector<Record *> DefaultProperties) {
- TheDef = R;
- std::string DefName = std::string(R->getName());
- ArrayRef<SMLoc> DefLoc = R->getLoc();
- Properties = 0;
- isOverloaded = false;
- isCommutative = false;
- canThrow = false;
- isNoReturn = false;
- isNoCallback = false;
- isNoSync = false;
- isNoFree = false;
- isWillReturn = false;
- isCold = false;
- isNoDuplicate = false;
- isNoMerge = false;
- isConvergent = false;
- isSpeculatable = false;
- hasSideEffects = false;
-
- if (DefName.size() <= 4 || DefName.substr(0, 4) != "int_")
- PrintFatalError(DefLoc,
- "Intrinsic '" + DefName + "' does not start with 'int_'!");
-
- EnumName = DefName.substr(4);
-
- if (R->getValue(
- "ClangBuiltinName")) // Ignore a missing ClangBuiltinName field.
- ClangBuiltinName = std::string(R->getValueAsString("ClangBuiltinName"));
- if (R->getValue("MSBuiltinName")) // Ignore a missing MSBuiltinName field.
- MSBuiltinName = std::string(R->getValueAsString("MSBuiltinName"));
-
- TargetPrefix = std::string(R->getValueAsString("TargetPrefix"));
- Name = std::string(R->getValueAsString("LLVMName"));
-
- if (Name == "") {
- // If an explicit name isn't specified, derive one from the DefName.
- Name = "llvm.";
-
- for (unsigned i = 0, e = EnumName.size(); i != e; ++i)
- Name += (EnumName[i] == '_') ? '.' : EnumName[i];
- } else {
- // Verify it starts with "llvm.".
- if (Name.size() <= 5 || Name.substr(0, 5) != "llvm.")
- PrintFatalError(DefLoc, "Intrinsic '" + DefName +
- "'s name does not start with 'llvm.'!");
- }
-
- // If TargetPrefix is specified, make sure that Name starts with
- // "llvm.<targetprefix>.".
- if (!TargetPrefix.empty()) {
- if (Name.size() < 6 + TargetPrefix.size() ||
- Name.substr(5, 1 + TargetPrefix.size()) != (TargetPrefix + "."))
- PrintFatalError(DefLoc, "Intrinsic '" + DefName +
- "' does not start with 'llvm." +
- TargetPrefix + ".'!");
- }
-
- ListInit *RetTypes = R->getValueAsListInit("RetTypes");
- ListInit *ParamTypes = R->getValueAsListInit("ParamTypes");
-
- // First collate a list of overloaded types.
- std::vector<MVT::SimpleValueType> OverloadedVTs;
- for (ListInit *TypeList : {RetTypes, ParamTypes}) {
- for (unsigned i = 0, e = TypeList->size(); i != e; ++i) {
- Record *TyEl = TypeList->getElementAsRecord(i);
- assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
-
- if (TyEl->isSubClassOf("LLVMMatchType"))
- continue;
-
- MVT::SimpleValueType VT = getValueType(TyEl->getValueAsDef("VT"));
- if (MVT(VT).isOverloaded()) {
- OverloadedVTs.push_back(VT);
- isOverloaded = true;
- }
- }
- }
-
- // Parse the list of return types.
- ListInit *TypeList = RetTypes;
- for (unsigned i = 0, e = TypeList->size(); i != e; ++i) {
- Record *TyEl = TypeList->getElementAsRecord(i);
- assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
- MVT::SimpleValueType VT;
- if (TyEl->isSubClassOf("LLVMMatchType")) {
- unsigned MatchTy = TyEl->getValueAsInt("Number");
- assert(MatchTy < OverloadedVTs.size() && "Invalid matching number!");
- VT = OverloadedVTs[MatchTy];
- // It only makes sense to use the extended and truncated vector element
- // variants with iAny types; otherwise, if the intrinsic is not
- // overloaded, all the types can be specified directly.
- assert(((!TyEl->isSubClassOf("LLVMExtendedType") &&
- !TyEl->isSubClassOf("LLVMTruncatedType")) ||
- VT == MVT::iAny || VT == MVT::vAny) &&
- "Expected iAny or vAny type");
- } else {
- VT = getValueType(TyEl->getValueAsDef("VT"));
- }
-
- // Reject invalid types.
- if (VT == MVT::isVoid)
- PrintFatalError(DefLoc, "Intrinsic '" + DefName +
- " has void in result type list!");
-
- IS.RetVTs.push_back(VT);
- IS.RetTypeDefs.push_back(TyEl);
- }
-
- // Parse the list of parameter types.
- TypeList = ParamTypes;
- for (unsigned i = 0, e = TypeList->size(); i != e; ++i) {
- Record *TyEl = TypeList->getElementAsRecord(i);
- assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
- MVT::SimpleValueType VT;
- if (TyEl->isSubClassOf("LLVMMatchType")) {
- unsigned MatchTy = TyEl->getValueAsInt("Number");
- if (MatchTy >= OverloadedVTs.size()) {
- PrintError(R->getLoc(), "Parameter #" + Twine(i) +
- " has out of bounds matching "
- "number " +
- Twine(MatchTy));
- PrintFatalError(DefLoc,
- Twine("ParamTypes is ") + TypeList->getAsString());
- }
- VT = OverloadedVTs[MatchTy];
- // It only makes sense to use the extended and truncated vector element
- // variants with iAny types; otherwise, if the intrinsic is not
- // overloaded, all the types can be specified directly.
- assert(((!TyEl->isSubClassOf("LLVMExtendedType") &&
- !TyEl->isSubClassOf("LLVMTruncatedType")) ||
- VT == MVT::iAny || VT == MVT::vAny) &&
- "Expected iAny or vAny type");
- } else
- VT = getValueType(TyEl->getValueAsDef("VT"));
-
- // Reject invalid types.
- if (VT == MVT::isVoid && i != e - 1 /*void at end means varargs*/)
- PrintFatalError(DefLoc, "Intrinsic '" + DefName +
- " has void in result type list!");
-
- IS.ParamVTs.push_back(VT);
- IS.ParamTypeDefs.push_back(TyEl);
- }
-
- // Parse the intrinsic properties.
- ListInit *PropList = R->getValueAsListInit("IntrProperties");
- for (unsigned i = 0, e = PropList->size(); i != e; ++i) {
- Record *Property = PropList->getElementAsRecord(i);
- assert(Property->isSubClassOf("IntrinsicProperty") &&
- "Expected a property!");
-
- setProperty(Property);
- }
-
- // Set default properties to true.
- setDefaultProperties(R, DefaultProperties);
-
- // Also record the SDPatternOperator Properties.
- Properties = parseSDPatternOperatorProperties(R);
-
- // Sort the argument attributes for later benefit.
- for (auto &Attrs : ArgumentAttributes)
- llvm::sort(Attrs);
-}
-
-void CodeGenIntrinsic::setDefaultProperties(
- Record *R, std::vector<Record *> DefaultProperties) {
- // opt-out of using default attributes.
- if (R->getValueAsBit("DisableDefaultAttributes"))
- return;
-
- for (Record *Rec : DefaultProperties)
- setProperty(Rec);
-}
-
-void CodeGenIntrinsic::setProperty(Record *R) {
- if (R->getName() == "IntrNoMem")
- ME = MemoryEffects::none();
- else if (R->getName() == "IntrReadMem") {
- if (ME.onlyWritesMemory())
- PrintFatalError(TheDef->getLoc(),
- Twine("IntrReadMem cannot be used after IntrNoMem or "
- "IntrWriteMem. Default is ReadWrite"));
- ME &= MemoryEffects::readOnly();
- } else if (R->getName() == "IntrWriteMem") {
- if (ME.onlyReadsMemory())
- PrintFatalError(TheDef->getLoc(),
- Twine("IntrWriteMem cannot be used after IntrNoMem or "
- "IntrReadMem. Default is ReadWrite"));
- ME &= MemoryEffects::writeOnly();
- } else if (R->getName() == "IntrArgMemOnly")
- ME &= MemoryEffects::argMemOnly();
- else if (R->getName() == "IntrInaccessibleMemOnly")
- ME &= MemoryEffects::inaccessibleMemOnly();
- else if (R->getName() == "IntrInaccessibleMemOrArgMemOnly")
- ME &= MemoryEffects::inaccessibleOrArgMemOnly();
- else if (R->getName() == "Commutative")
- isCommutative = true;
- else if (R->getName() == "Throws")
- canThrow = true;
- else if (R->getName() == "IntrNoDuplicate")
- isNoDuplicate = true;
- else if (R->getName() == "IntrNoMerge")
- isNoMerge = true;
- else if (R->getName() == "IntrConvergent")
- isConvergent = true;
- else if (R->getName() == "IntrNoReturn")
- isNoReturn = true;
- else if (R->getName() == "IntrNoCallback")
- isNoCallback = true;
- else if (R->getName() == "IntrNoSync")
- isNoSync = true;
- else if (R->getName() == "IntrNoFree")
- isNoFree = true;
- else if (R->getName() == "IntrWillReturn")
- isWillReturn = !isNoReturn;
- else if (R->getName() == "IntrCold")
- isCold = true;
- else if (R->getName() == "IntrSpeculatable")
- isSpeculatable = true;
- else if (R->getName() == "IntrHasSideEffects")
- hasSideEffects = true;
- else if (R->isSubClassOf("NoCapture")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, NoCapture);
- } else if (R->isSubClassOf("NoAlias")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, NoAlias);
- } else if (R->isSubClassOf("NoUndef")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, NoUndef);
- } else if (R->isSubClassOf("NonNull")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, NonNull);
- } else if (R->isSubClassOf("Returned")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, Returned);
- } else if (R->isSubClassOf("ReadOnly")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, ReadOnly);
- } else if (R->isSubClassOf("WriteOnly")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, WriteOnly);
- } else if (R->isSubClassOf("ReadNone")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, ReadNone);
- } else if (R->isSubClassOf("ImmArg")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- addArgAttribute(ArgNo, ImmArg);
- } else if (R->isSubClassOf("Align")) {
- unsigned ArgNo = R->getValueAsInt("ArgNo");
- uint64_t Align = R->getValueAsInt("Align");
- addArgAttribute(ArgNo, Alignment, Align);
- } else
- llvm_unreachable("Unknown property!");
-}
-
-bool CodeGenIntrinsic::isParamAPointer(unsigned ParamIdx) const {
- if (ParamIdx >= IS.ParamVTs.size())
- return false;
- MVT ParamType = MVT(IS.ParamVTs[ParamIdx]);
- return ParamType == MVT::iPTR || ParamType == MVT::iPTRAny;
-}
-
-bool CodeGenIntrinsic::isParamImmArg(unsigned ParamIdx) const {
- // Convert argument index to attribute index starting from `FirstArgIndex`.
- ++ParamIdx;
- if (ParamIdx >= ArgumentAttributes.size())
- return false;
- ArgAttribute Val{ImmArg, 0};
- return std::binary_search(ArgumentAttributes[ParamIdx].begin(),
- ArgumentAttributes[ParamIdx].end(), Val);
-}
-
-void CodeGenIntrinsic::addArgAttribute(unsigned Idx, ArgAttrKind AK,
- uint64_t V) {
- if (Idx >= ArgumentAttributes.size())
- ArgumentAttributes.resize(Idx + 1);
- ArgumentAttributes[Idx].emplace_back(AK, V);
-}
More information about the llvm-commits
mailing list