mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 04:02:41 +01:00
[DDG] Data Dependence Graph - DOT printer - recommit
This is being recommitted to try and address the MSVC complaint. This patch implements a DDG printer pass that generates a graph in the DOT description language, providing a more visually appealing representation of the DDG. Similar to the CFG DOT printer, this functionality is provided under an option called -dot-ddg and can be generated in a less verbose mode under -dot-ddg-only option. Reviewed By: Meinersbur Differential Revision: https://reviews.llvm.org/D90159
This commit is contained in:
parent
7287b9953b
commit
b2e0054ca0
@ -295,7 +295,7 @@ struct DOTGraphTraits<DOTFuncInfo *> : public DefaultDOTGraphTraits {
|
||||
" fillcolor=\"" + Color + "70\"";
|
||||
return Attrs;
|
||||
}
|
||||
bool isNodeHidden(const BasicBlock *Node);
|
||||
bool isNodeHidden(const BasicBlock *Node, const DOTFuncInfo *CFGInfo);
|
||||
void computeHiddenNodes(const Function *F);
|
||||
};
|
||||
} // End llvm namespace
|
||||
|
@ -290,6 +290,12 @@ public:
|
||||
bool getDependencies(const NodeType &Src, const NodeType &Dst,
|
||||
DependenceList &Deps) const;
|
||||
|
||||
/// Return a string representing the type of dependence that the dependence
|
||||
/// analysis identified between the two given nodes. This function assumes
|
||||
/// that there is a memory dependence between the given two nodes.
|
||||
const std::string getDependenceString(const NodeType &Src,
|
||||
const NodeType &Dst) const;
|
||||
|
||||
protected:
|
||||
// Name of the graph.
|
||||
std::string Name;
|
||||
@ -463,6 +469,26 @@ bool DependenceGraphInfo<NodeType>::getDependencies(
|
||||
return !Deps.empty();
|
||||
}
|
||||
|
||||
template <typename NodeType>
|
||||
const std::string
|
||||
DependenceGraphInfo<NodeType>::getDependenceString(const NodeType &Src,
|
||||
const NodeType &Dst) const {
|
||||
std::string Str;
|
||||
raw_string_ostream OS(Str);
|
||||
DependenceList Deps;
|
||||
if (!getDependencies(Src, Dst, Deps))
|
||||
return OS.str();
|
||||
interleaveComma(Deps, OS, [&](const std::unique_ptr<Dependence> &D) {
|
||||
D->dump(OS);
|
||||
// Remove the extra new-line character printed by the dump
|
||||
// method
|
||||
if (OS.str().back() == '\n')
|
||||
OS.str().pop_back();
|
||||
});
|
||||
|
||||
return OS.str();
|
||||
}
|
||||
|
||||
//===--------------------------------------------------------------------===//
|
||||
// GraphTraits specializations for the DDG
|
||||
//===--------------------------------------------------------------------===//
|
||||
|
91
include/llvm/Analysis/DDGPrinter.h
Normal file
91
include/llvm/Analysis/DDGPrinter.h
Normal file
@ -0,0 +1,91 @@
|
||||
//===- llvm/Analysis/DDGPrinter.h -------------------------------*- C++ -*-===//
|
||||
//
|
||||
// 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 the DOT printer for the Data-Dependence Graph (DDG).
|
||||
//
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
#ifndef LLVM_ANALYSIS_DDGPRINTER_H
|
||||
#define LLVM_ANALYSIS_DDGPRINTER_H
|
||||
|
||||
#include "llvm/Analysis/DDG.h"
|
||||
#include "llvm/Pass.h"
|
||||
#include "llvm/Support/DOTGraphTraits.h"
|
||||
|
||||
namespace llvm {
|
||||
|
||||
//===--------------------------------------------------------------------===//
|
||||
// Implementation of DDG DOT Printer for a loop.
|
||||
//===--------------------------------------------------------------------===//
|
||||
class DDGDotPrinterPass : public PassInfoMixin<DDGDotPrinterPass> {
|
||||
public:
|
||||
PreservedAnalyses run(Loop &L, LoopAnalysisManager &AM,
|
||||
LoopStandardAnalysisResults &AR, LPMUpdater &U);
|
||||
};
|
||||
|
||||
//===--------------------------------------------------------------------===//
|
||||
// Specialization of DOTGraphTraits.
|
||||
//===--------------------------------------------------------------------===//
|
||||
template <>
|
||||
struct DOTGraphTraits<const DataDependenceGraph *>
|
||||
: public DefaultDOTGraphTraits {
|
||||
|
||||
DOTGraphTraits(bool IsSimple = false) : DefaultDOTGraphTraits(IsSimple) {}
|
||||
|
||||
/// Generate a title for the graph in DOT format
|
||||
std::string getGraphName(const DataDependenceGraph *G) {
|
||||
assert(G && "expected a valid pointer to the graph.");
|
||||
return "DDG for '" + std::string(G->getName()) + "'";
|
||||
}
|
||||
|
||||
/// Print a DDG node either in concise form (-ddg-dot-only) or
|
||||
/// verbose mode (-ddg-dot).
|
||||
std::string getNodeLabel(const DDGNode *Node,
|
||||
const DataDependenceGraph *Graph);
|
||||
|
||||
/// Print attributes of an edge in the DDG graph. If the edge
|
||||
/// is a MemoryDependence edge, then detailed dependence info
|
||||
/// available from DependenceAnalysis is displayed.
|
||||
std::string
|
||||
getEdgeAttributes(const DDGNode *Node,
|
||||
GraphTraits<const DDGNode *>::ChildIteratorType I,
|
||||
const DataDependenceGraph *G);
|
||||
|
||||
/// Do not print nodes that are part of a pi-block separately. They
|
||||
/// will be printed when their containing pi-block is being printed.
|
||||
bool isNodeHidden(const DDGNode *Node, const DataDependenceGraph *G);
|
||||
|
||||
private:
|
||||
/// Print a DDG node in concise form.
|
||||
static std::string getSimpleNodeLabel(const DDGNode *Node,
|
||||
const DataDependenceGraph *G);
|
||||
|
||||
/// Print a DDG node with more information including containing instructions
|
||||
/// and detailed information about the dependence edges.
|
||||
static std::string getVerboseNodeLabel(const DDGNode *Node,
|
||||
const DataDependenceGraph *G);
|
||||
|
||||
/// Print a DDG edge in concise form.
|
||||
static std::string getSimpleEdgeAttributes(const DDGNode *Src,
|
||||
const DDGEdge *Edge,
|
||||
const DataDependenceGraph *G);
|
||||
|
||||
/// Print a DDG edge with more information including detailed information
|
||||
/// about the dependence edges.
|
||||
static std::string getVerboseEdgeAttributes(const DDGNode *Src,
|
||||
const DDGEdge *Edge,
|
||||
const DataDependenceGraph *G);
|
||||
};
|
||||
|
||||
using DDGDotGraphTraits = DOTGraphTraits<const DataDependenceGraph *>;
|
||||
|
||||
} // namespace llvm
|
||||
|
||||
#endif // LLVM_ANALYSIS_DDGPRINTER_H
|
@ -60,7 +60,8 @@ public:
|
||||
|
||||
/// isNodeHidden - If the function returns true, the given node is not
|
||||
/// displayed in the graph.
|
||||
static bool isNodeHidden(const void *) {
|
||||
template <typename GraphType>
|
||||
static bool isNodeHidden(const void *, const GraphType &) {
|
||||
return false;
|
||||
}
|
||||
|
||||
|
@ -158,9 +158,7 @@ public:
|
||||
writeNode(Node);
|
||||
}
|
||||
|
||||
bool isNodeHidden(NodeRef Node) {
|
||||
return DTraits.isNodeHidden(Node);
|
||||
}
|
||||
bool isNodeHidden(NodeRef Node) { return DTraits.isNodeHidden(Node, G); }
|
||||
|
||||
void writeNode(NodeRef Node) {
|
||||
std::string NodeAttributes = DTraits.getNodeAttributes(Node, G);
|
||||
@ -228,10 +226,10 @@ public:
|
||||
child_iterator EI = GTraits::child_begin(Node);
|
||||
child_iterator EE = GTraits::child_end(Node);
|
||||
for (unsigned i = 0; EI != EE && i != 64; ++EI, ++i)
|
||||
if (!DTraits.isNodeHidden(*EI))
|
||||
if (!DTraits.isNodeHidden(*EI, G))
|
||||
writeEdge(Node, i, EI);
|
||||
for (; EI != EE; ++EI)
|
||||
if (!DTraits.isNodeHidden(*EI))
|
||||
if (!DTraits.isNodeHidden(*EI, G))
|
||||
writeEdge(Node, 64, EI);
|
||||
}
|
||||
|
||||
|
@ -289,7 +289,8 @@ void DOTGraphTraits<DOTFuncInfo *>::computeHiddenNodes(const Function *F) {
|
||||
evaluateBB);
|
||||
}
|
||||
|
||||
bool DOTGraphTraits<DOTFuncInfo *>::isNodeHidden(const BasicBlock *Node) {
|
||||
bool DOTGraphTraits<DOTFuncInfo *>::isNodeHidden(const BasicBlock *Node,
|
||||
const DOTFuncInfo *CFGInfo) {
|
||||
// If both restricting flags are false, all nodes are displayed.
|
||||
if (!HideUnreachablePaths && !HideDeoptimizePaths)
|
||||
return false;
|
||||
|
@ -39,6 +39,7 @@ add_llvm_component_library(LLVMAnalysis
|
||||
CodeMetrics.cpp
|
||||
ConstantFolding.cpp
|
||||
DDG.cpp
|
||||
DDGPrinter.cpp
|
||||
ConstraintSystem.cpp
|
||||
Delinearization.cpp
|
||||
DemandedBits.cpp
|
||||
|
@ -143,7 +143,8 @@ struct DOTGraphTraits<CallGraphDOTInfo *> : public DefaultDOTGraphTraits {
|
||||
std::string(CGInfo->getModule()->getModuleIdentifier());
|
||||
}
|
||||
|
||||
static bool isNodeHidden(const CallGraphNode *Node) {
|
||||
static bool isNodeHidden(const CallGraphNode *Node,
|
||||
const CallGraphDOTInfo *CGInfo) {
|
||||
if (CallMultiGraph || Node->getFunction())
|
||||
return false;
|
||||
return true;
|
||||
|
150
lib/Analysis/DDGPrinter.cpp
Normal file
150
lib/Analysis/DDGPrinter.cpp
Normal file
@ -0,0 +1,150 @@
|
||||
//===- DDGPrinter.cpp - DOT printer for the data dependence graph ----------==//
|
||||
//
|
||||
// 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 the `-dot-ddg` analysis pass, which emits DDG in DOT format
|
||||
// in a file named `ddg.<graph-name>.dot` for each loop in a function.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
#include "llvm/Analysis/DDGPrinter.h"
|
||||
#include "llvm/Support/CommandLine.h"
|
||||
#include "llvm/Support/GraphWriter.h"
|
||||
|
||||
using namespace llvm;
|
||||
|
||||
static cl::opt<bool> DotOnly("dot-ddg-only", cl::init(false), cl::Hidden,
|
||||
cl::ZeroOrMore, cl::desc("simple ddg dot graph"));
|
||||
static cl::opt<std::string> DDGDotFilenamePrefix(
|
||||
"dot-ddg-filename-prefix", cl::init("ddg"), cl::Hidden,
|
||||
cl::desc("The prefix used for the DDG dot file names."));
|
||||
|
||||
static void writeDDGToDotFile(DataDependenceGraph &G, bool DOnly = false);
|
||||
|
||||
//===--------------------------------------------------------------------===//
|
||||
// Implementation of DDG DOT Printer for a loop
|
||||
//===--------------------------------------------------------------------===//
|
||||
PreservedAnalyses DDGDotPrinterPass::run(Loop &L, LoopAnalysisManager &AM,
|
||||
LoopStandardAnalysisResults &AR,
|
||||
LPMUpdater &U) {
|
||||
writeDDGToDotFile(*AM.getResult<DDGAnalysis>(L, AR), DotOnly);
|
||||
return PreservedAnalyses::all();
|
||||
}
|
||||
|
||||
static void writeDDGToDotFile(DataDependenceGraph &G, bool DOnly) {
|
||||
std::string Filename =
|
||||
Twine(DDGDotFilenamePrefix + "." + G.getName() + ".dot").str();
|
||||
errs() << "Writing '" << Filename << "'...";
|
||||
|
||||
std::error_code EC;
|
||||
raw_fd_ostream File(Filename, EC, sys::fs::F_Text);
|
||||
|
||||
if (!EC)
|
||||
// We only provide the constant verson of the DOTGraphTrait specialization,
|
||||
// hence the conversion to const pointer
|
||||
WriteGraph(File, (const DataDependenceGraph *)&G, DOnly);
|
||||
else
|
||||
errs() << " error opening file for writing!";
|
||||
errs() << "\n";
|
||||
}
|
||||
|
||||
//===--------------------------------------------------------------------===//
|
||||
// DDG DOT Printer Implementation
|
||||
//===--------------------------------------------------------------------===//
|
||||
std::string DDGDotGraphTraits::getNodeLabel(const DDGNode *Node,
|
||||
const DataDependenceGraph *Graph) {
|
||||
if (isSimple())
|
||||
return getSimpleNodeLabel(Node, Graph);
|
||||
else
|
||||
return getVerboseNodeLabel(Node, Graph);
|
||||
}
|
||||
|
||||
std::string DDGDotGraphTraits::getEdgeAttributes(
|
||||
const DDGNode *Node, GraphTraits<const DDGNode *>::ChildIteratorType I,
|
||||
const DataDependenceGraph *G) {
|
||||
const DDGEdge *E = static_cast<const DDGEdge *>(*I.getCurrent());
|
||||
if (isSimple())
|
||||
return getSimpleEdgeAttributes(Node, E, G);
|
||||
else
|
||||
return getVerboseEdgeAttributes(Node, E, G);
|
||||
}
|
||||
|
||||
bool DDGDotGraphTraits::isNodeHidden(const DDGNode *Node,
|
||||
const DataDependenceGraph *Graph) {
|
||||
if (isSimple() && isa<RootDDGNode>(Node))
|
||||
return true;
|
||||
assert(Graph && "expected a valid graph pointer");
|
||||
return Graph->getPiBlock(*Node) != nullptr;
|
||||
}
|
||||
|
||||
std::string
|
||||
DDGDotGraphTraits::getSimpleNodeLabel(const DDGNode *Node,
|
||||
const DataDependenceGraph *G) {
|
||||
std::string Str;
|
||||
raw_string_ostream OS(Str);
|
||||
if (isa<SimpleDDGNode>(Node))
|
||||
for (auto *II : static_cast<const SimpleDDGNode *>(Node)->getInstructions())
|
||||
OS << *II << "\n";
|
||||
else if (isa<PiBlockDDGNode>(Node))
|
||||
OS << "pi-block\nwith\n"
|
||||
<< cast<PiBlockDDGNode>(Node)->getNodes().size() << " nodes\n";
|
||||
else if (isa<RootDDGNode>(Node))
|
||||
OS << "root\n";
|
||||
else
|
||||
llvm_unreachable("Unimplemented type of node");
|
||||
return OS.str();
|
||||
}
|
||||
|
||||
std::string
|
||||
DDGDotGraphTraits::getVerboseNodeLabel(const DDGNode *Node,
|
||||
const DataDependenceGraph *G) {
|
||||
std::string Str;
|
||||
raw_string_ostream OS(Str);
|
||||
OS << "<kind:" << Node->getKind() << ">\n";
|
||||
if (isa<SimpleDDGNode>(Node))
|
||||
for (auto *II : static_cast<const SimpleDDGNode *>(Node)->getInstructions())
|
||||
OS << *II << "\n";
|
||||
else if (isa<PiBlockDDGNode>(Node)) {
|
||||
OS << "--- start of nodes in pi-block ---\n";
|
||||
unsigned Count = 0;
|
||||
const auto &PNodes = cast<PiBlockDDGNode>(Node)->getNodes();
|
||||
for (auto *PN : PNodes) {
|
||||
OS << getVerboseNodeLabel(PN, G);
|
||||
if (++Count != PNodes.size())
|
||||
OS << "\n";
|
||||
}
|
||||
OS << "--- end of nodes in pi-block ---\n";
|
||||
} else if (isa<RootDDGNode>(Node))
|
||||
OS << "root\n";
|
||||
else
|
||||
llvm_unreachable("Unimplemented type of node");
|
||||
return OS.str();
|
||||
}
|
||||
|
||||
std::string DDGDotGraphTraits::getSimpleEdgeAttributes(
|
||||
const DDGNode *Src, const DDGEdge *Edge, const DataDependenceGraph *G) {
|
||||
std::string Str;
|
||||
raw_string_ostream OS(Str);
|
||||
DDGEdge::EdgeKind Kind = Edge->getKind();
|
||||
OS << "label=\"[" << Kind << "]\"";
|
||||
return OS.str();
|
||||
}
|
||||
|
||||
std::string DDGDotGraphTraits::getVerboseEdgeAttributes(
|
||||
const DDGNode *Src, const DDGEdge *Edge, const DataDependenceGraph *G) {
|
||||
std::string Str;
|
||||
raw_string_ostream OS(Str);
|
||||
DDGEdge::EdgeKind Kind = Edge->getKind();
|
||||
OS << "label=\"[";
|
||||
if (Kind == DDGEdge::EdgeKind::MemoryDependence)
|
||||
OS << G->getDependenceString(*Src, Edge->getTargetNode());
|
||||
else
|
||||
OS << Kind;
|
||||
OS << "]\"";
|
||||
return OS.str();
|
||||
}
|
@ -3836,7 +3836,7 @@ struct DOTGraphTraits<ScheduleDAGMI*> : public DefaultDOTGraphTraits {
|
||||
return true;
|
||||
}
|
||||
|
||||
static bool isNodeHidden(const SUnit *Node) {
|
||||
static bool isNodeHidden(const SUnit *Node, const ScheduleDAG *G) {
|
||||
if (ViewMISchedCutoff == 0)
|
||||
return false;
|
||||
return (Node->Preds.size() > ViewMISchedCutoff
|
||||
|
@ -35,7 +35,7 @@ namespace llvm {
|
||||
return true;
|
||||
}
|
||||
|
||||
static bool isNodeHidden(const SUnit *Node) {
|
||||
static bool isNodeHidden(const SUnit *Node, const ScheduleDAG *G) {
|
||||
return (Node->NumPreds > 10 || Node->NumSuccs > 10);
|
||||
}
|
||||
|
||||
|
@ -29,6 +29,7 @@
|
||||
#include "llvm/Analysis/CGSCCPassManager.h"
|
||||
#include "llvm/Analysis/CallGraph.h"
|
||||
#include "llvm/Analysis/DDG.h"
|
||||
#include "llvm/Analysis/DDGPrinter.h"
|
||||
#include "llvm/Analysis/Delinearization.h"
|
||||
#include "llvm/Analysis/DemandedBits.h"
|
||||
#include "llvm/Analysis/DependenceAnalysis.h"
|
||||
|
@ -384,6 +384,7 @@ LOOP_ANALYSIS("pass-instrumentation", PassInstrumentationAnalysis(PIC))
|
||||
#define LOOP_PASS(NAME, CREATE_PASS)
|
||||
#endif
|
||||
LOOP_PASS("canon-freeze", CanonicalizeFreezeInLoopsPass())
|
||||
LOOP_PASS("dot-ddg", DDGDotPrinterPass())
|
||||
LOOP_PASS("invalidate<all>", InvalidateAllAnalysesPass())
|
||||
LOOP_PASS("licm", LICMPass())
|
||||
LOOP_PASS("loop-idiom", LoopIdiomRecognizePass())
|
||||
|
Loading…
Reference in New Issue
Block a user