mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 02:52:53 +02:00
811dc2eda3
Summary: * ARM is omitted from this patch because this check appears to expose bugs in this target. * Mips is omitted from this patch because this check either detects bugs or deliberate emission of instructions that don't satisfy their predicates. One deliberate use is the SYNC instruction where the version with an operand is correctly defined as requiring MIPS32 while the version without an operand is defined as an alias of 'SYNC 0' and requires MIPS2. * X86 is omitted from this patch because it doesn't use the tablegen-erated MCCodeEmitter infrastructure. Patches for ARM and Mips will follow. Depends on D25617 Reviewers: tstellarAMD, jmolloy Subscribers: wdng, jmolloy, aemerson, rengolin, arsenm, jyknight, nemanjai, nhaehnle, tstellarAMD, llvm-commits Differential Revision: https://reviews.llvm.org/D25618 llvm-svn: 287439
120 lines
3.8 KiB
C++
120 lines
3.8 KiB
C++
//===- SubtargetFeatureInfo.cpp - Helpers for subtarget features ----------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "SubtargetFeatureInfo.h"
|
|
|
|
#include "Types.h"
|
|
#include "llvm/TableGen/Record.h"
|
|
|
|
#include <map>
|
|
|
|
using namespace llvm;
|
|
|
|
void SubtargetFeatureInfo::dump() const {
|
|
errs() << getEnumName() << " " << Index << "\n";
|
|
TheDef->dump();
|
|
}
|
|
|
|
std::vector<std::pair<Record *, SubtargetFeatureInfo>>
|
|
SubtargetFeatureInfo::getAll(const RecordKeeper &Records) {
|
|
std::vector<std::pair<Record *, SubtargetFeatureInfo>> SubtargetFeatures;
|
|
std::vector<Record *> AllPredicates =
|
|
Records.getAllDerivedDefinitions("Predicate");
|
|
for (Record *Pred : AllPredicates) {
|
|
// Ignore predicates that are not intended for the assembler.
|
|
//
|
|
// The "AssemblerMatcherPredicate" string should be promoted to an argument
|
|
// if we re-use the machinery for non-assembler purposes in future.
|
|
if (!Pred->getValueAsBit("AssemblerMatcherPredicate"))
|
|
continue;
|
|
|
|
if (Pred->getName().empty())
|
|
PrintFatalError(Pred->getLoc(), "Predicate has no name!");
|
|
|
|
SubtargetFeatures.emplace_back(
|
|
Pred, SubtargetFeatureInfo(Pred, SubtargetFeatures.size()));
|
|
}
|
|
return SubtargetFeatures;
|
|
}
|
|
|
|
void SubtargetFeatureInfo::emitSubtargetFeatureFlagEnumeration(
|
|
std::map<Record *, SubtargetFeatureInfo, LessRecordByID> &SubtargetFeatures,
|
|
raw_ostream &OS) {
|
|
OS << "// Flags for subtarget features that participate in "
|
|
<< "instruction matching.\n";
|
|
OS << "enum SubtargetFeatureFlag : "
|
|
<< getMinimalTypeForEnumBitfield(SubtargetFeatures.size()) << " {\n";
|
|
for (const auto &SF : SubtargetFeatures) {
|
|
const SubtargetFeatureInfo &SFI = SF.second;
|
|
OS << " " << SFI.getEnumName() << " = (1ULL << " << SFI.Index << "),\n";
|
|
}
|
|
OS << " Feature_None = 0\n";
|
|
OS << "};\n\n";
|
|
}
|
|
|
|
void SubtargetFeatureInfo::emitNameTable(
|
|
std::map<Record *, SubtargetFeatureInfo, LessRecordByID> &SubtargetFeatures,
|
|
raw_ostream &OS) {
|
|
OS << "static const char *SubtargetFeatureNames[] = {\n";
|
|
for (const auto &SF : SubtargetFeatures) {
|
|
const SubtargetFeatureInfo &SFI = SF.second;
|
|
OS << " \"" << SFI.getEnumName() << "\",\n";
|
|
}
|
|
// A small number of targets have no predicates. Null terminate the array to
|
|
// avoid a zero-length array.
|
|
OS << " nullptr\n"
|
|
<< "};\n\n";
|
|
}
|
|
|
|
void SubtargetFeatureInfo::emitComputeAvailableFeatures(
|
|
StringRef TargetName, StringRef ClassName, StringRef FuncName,
|
|
std::map<Record *, SubtargetFeatureInfo, LessRecordByID> &SubtargetFeatures,
|
|
raw_ostream &OS) {
|
|
OS << "uint64_t " << TargetName << ClassName << "::\n"
|
|
<< FuncName << "(const FeatureBitset& FB) const {\n";
|
|
OS << " uint64_t Features = 0;\n";
|
|
for (const auto &SF : SubtargetFeatures) {
|
|
const SubtargetFeatureInfo &SFI = SF.second;
|
|
|
|
OS << " if (";
|
|
std::string CondStorage =
|
|
SFI.TheDef->getValueAsString("AssemblerCondString");
|
|
StringRef Conds = CondStorage;
|
|
std::pair<StringRef, StringRef> Comma = Conds.split(',');
|
|
bool First = true;
|
|
do {
|
|
if (!First)
|
|
OS << " && ";
|
|
|
|
bool Neg = false;
|
|
StringRef Cond = Comma.first;
|
|
if (Cond[0] == '!') {
|
|
Neg = true;
|
|
Cond = Cond.substr(1);
|
|
}
|
|
|
|
OS << "(";
|
|
if (Neg)
|
|
OS << "!";
|
|
OS << "FB[" << TargetName << "::" << Cond << "])";
|
|
|
|
if (Comma.second.empty())
|
|
break;
|
|
|
|
First = false;
|
|
Comma = Comma.second.split(',');
|
|
} while (true);
|
|
|
|
OS << ")\n";
|
|
OS << " Features |= " << SFI.getEnumName() << ";\n";
|
|
}
|
|
OS << " return Features;\n";
|
|
OS << "}\n\n";
|
|
}
|