123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263 |
- //===- GraphPrinter.cpp - Create a DOT output describing the Scop. --------===//
- //
- // 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
- //
- //===----------------------------------------------------------------------===//
- //
- // Create a DOT output describing the Scop.
- //
- // For each function a dot file is created that shows the control flow graph of
- // the function and highlights the detected Scops.
- //
- //===----------------------------------------------------------------------===//
- #include "polly/LinkAllPasses.h"
- #include "polly/ScopDetection.h"
- #include "polly/Support/ScopLocation.h"
- #include "llvm/Analysis/DOTGraphTraitsPass.h"
- #include "llvm/Analysis/RegionInfo.h"
- #include "llvm/Analysis/RegionIterator.h"
- #include "llvm/Support/CommandLine.h"
- using namespace polly;
- using namespace llvm;
- static cl::opt<std::string>
- ViewFilter("polly-view-only",
- cl::desc("Only view functions that match this pattern"),
- cl::Hidden, cl::init(""), cl::ZeroOrMore);
- static cl::opt<bool> ViewAll("polly-view-all",
- cl::desc("Also show functions without any scops"),
- cl::Hidden, cl::init(false), cl::ZeroOrMore);
- namespace llvm {
- template <>
- struct GraphTraits<ScopDetection *> : public GraphTraits<RegionInfo *> {
- static NodeRef getEntryNode(ScopDetection *SD) {
- return GraphTraits<RegionInfo *>::getEntryNode(SD->getRI());
- }
- static nodes_iterator nodes_begin(ScopDetection *SD) {
- return nodes_iterator::begin(getEntryNode(SD));
- }
- static nodes_iterator nodes_end(ScopDetection *SD) {
- return nodes_iterator::end(getEntryNode(SD));
- }
- };
- template <>
- struct GraphTraits<ScopDetectionWrapperPass *>
- : public GraphTraits<ScopDetection *> {
- static NodeRef getEntryNode(ScopDetectionWrapperPass *P) {
- return GraphTraits<ScopDetection *>::getEntryNode(&P->getSD());
- }
- static nodes_iterator nodes_begin(ScopDetectionWrapperPass *P) {
- return nodes_iterator::begin(getEntryNode(P));
- }
- static nodes_iterator nodes_end(ScopDetectionWrapperPass *P) {
- return nodes_iterator::end(getEntryNode(P));
- }
- };
- template <> struct DOTGraphTraits<RegionNode *> : public DefaultDOTGraphTraits {
- DOTGraphTraits(bool isSimple = false) : DefaultDOTGraphTraits(isSimple) {}
- std::string getNodeLabel(RegionNode *Node, RegionNode *Graph) {
- if (!Node->isSubRegion()) {
- BasicBlock *BB = Node->getNodeAs<BasicBlock>();
- if (isSimple())
- return DOTGraphTraits<DOTFuncInfo *>::getSimpleNodeLabel(BB, nullptr);
- else
- return DOTGraphTraits<DOTFuncInfo *>::getCompleteNodeLabel(BB, nullptr);
- }
- return "Not implemented";
- }
- };
- template <>
- struct DOTGraphTraits<ScopDetectionWrapperPass *>
- : public DOTGraphTraits<RegionNode *> {
- DOTGraphTraits(bool isSimple = false)
- : DOTGraphTraits<RegionNode *>(isSimple) {}
- static std::string getGraphName(ScopDetectionWrapperPass *SD) {
- return "Scop Graph";
- }
- std::string getEdgeAttributes(RegionNode *srcNode,
- GraphTraits<RegionInfo *>::ChildIteratorType CI,
- ScopDetectionWrapperPass *P) {
- RegionNode *destNode = *CI;
- auto *SD = &P->getSD();
- if (srcNode->isSubRegion() || destNode->isSubRegion())
- return "";
- // In case of a backedge, do not use it to define the layout of the nodes.
- BasicBlock *srcBB = srcNode->getNodeAs<BasicBlock>();
- BasicBlock *destBB = destNode->getNodeAs<BasicBlock>();
- RegionInfo *RI = SD->getRI();
- Region *R = RI->getRegionFor(destBB);
- while (R && R->getParent())
- if (R->getParent()->getEntry() == destBB)
- R = R->getParent();
- else
- break;
- if (R && R->getEntry() == destBB && R->contains(srcBB))
- return "constraint=false";
- return "";
- }
- std::string getNodeLabel(RegionNode *Node, ScopDetectionWrapperPass *P) {
- return DOTGraphTraits<RegionNode *>::getNodeLabel(
- Node, reinterpret_cast<RegionNode *>(
- P->getSD().getRI()->getTopLevelRegion()));
- }
- static std::string escapeString(std::string String) {
- std::string Escaped;
- for (const auto &C : String) {
- if (C == '"')
- Escaped += '\\';
- Escaped += C;
- }
- return Escaped;
- }
- // Print the cluster of the subregions. This groups the single basic blocks
- // and adds a different background color for each group.
- static void printRegionCluster(ScopDetection *SD, const Region *R,
- raw_ostream &O, unsigned depth = 0) {
- O.indent(2 * depth) << "subgraph cluster_" << static_cast<const void *>(R)
- << " {\n";
- unsigned LineBegin, LineEnd;
- std::string FileName;
- getDebugLocation(R, LineBegin, LineEnd, FileName);
- std::string Location;
- if (LineBegin != (unsigned)-1) {
- Location = escapeString(FileName + ":" + std::to_string(LineBegin) + "-" +
- std::to_string(LineEnd) + "\n");
- }
- std::string ErrorMessage = SD->regionIsInvalidBecause(R);
- ErrorMessage = escapeString(ErrorMessage);
- O.indent(2 * (depth + 1))
- << "label = \"" << Location << ErrorMessage << "\";\n";
- if (SD->isMaxRegionInScop(*R)) {
- O.indent(2 * (depth + 1)) << "style = filled;\n";
- // Set color to green.
- O.indent(2 * (depth + 1)) << "color = 3";
- } else {
- O.indent(2 * (depth + 1)) << "style = solid;\n";
- int color = (R->getDepth() * 2 % 12) + 1;
- // We do not want green again.
- if (color == 3)
- color = 6;
- O.indent(2 * (depth + 1)) << "color = " << color << "\n";
- }
- for (const auto &SubRegion : *R)
- printRegionCluster(SD, SubRegion.get(), O, depth + 1);
- RegionInfo *RI = R->getRegionInfo();
- for (BasicBlock *BB : R->blocks())
- if (RI->getRegionFor(BB) == R)
- O.indent(2 * (depth + 1))
- << "Node"
- << static_cast<void *>(RI->getTopLevelRegion()->getBBNode(BB))
- << ";\n";
- O.indent(2 * depth) << "}\n";
- }
- static void
- addCustomGraphFeatures(const ScopDetectionWrapperPass *SD,
- GraphWriter<ScopDetectionWrapperPass *> &GW) {
- raw_ostream &O = GW.getOStream();
- O << "\tcolorscheme = \"paired12\"\n";
- printRegionCluster(&SD->getSD(), SD->getSD().getRI()->getTopLevelRegion(),
- O, 4);
- }
- };
- } // end namespace llvm
- struct ScopViewer
- : public DOTGraphTraitsViewer<ScopDetectionWrapperPass, false> {
- static char ID;
- ScopViewer()
- : DOTGraphTraitsViewer<ScopDetectionWrapperPass, false>("scops", ID) {}
- bool processFunction(Function &F, ScopDetectionWrapperPass &SD) override {
- if (ViewFilter != "" && !F.getName().count(ViewFilter))
- return false;
- if (ViewAll)
- return true;
- // Check that at least one scop was detected.
- return std::distance(SD.getSD().begin(), SD.getSD().end()) > 0;
- }
- };
- char ScopViewer::ID = 0;
- struct ScopOnlyViewer
- : public DOTGraphTraitsViewer<ScopDetectionWrapperPass, true> {
- static char ID;
- ScopOnlyViewer()
- : DOTGraphTraitsViewer<ScopDetectionWrapperPass, true>("scopsonly", ID) {}
- };
- char ScopOnlyViewer::ID = 0;
- struct ScopPrinter
- : public DOTGraphTraitsPrinter<ScopDetectionWrapperPass, false> {
- static char ID;
- ScopPrinter()
- : DOTGraphTraitsPrinter<ScopDetectionWrapperPass, false>("scops", ID) {}
- };
- char ScopPrinter::ID = 0;
- struct ScopOnlyPrinter
- : public DOTGraphTraitsPrinter<ScopDetectionWrapperPass, true> {
- static char ID;
- ScopOnlyPrinter()
- : DOTGraphTraitsPrinter<ScopDetectionWrapperPass, true>("scopsonly", ID) {
- }
- };
- char ScopOnlyPrinter::ID = 0;
- static RegisterPass<ScopViewer> X("view-scops",
- "Polly - View Scops of function");
- static RegisterPass<ScopOnlyViewer>
- Y("view-scops-only",
- "Polly - View Scops of function (with no function bodies)");
- static RegisterPass<ScopPrinter> M("dot-scops",
- "Polly - Print Scops of function");
- static RegisterPass<ScopOnlyPrinter>
- N("dot-scops-only",
- "Polly - Print Scops of function (with no function bodies)");
- Pass *polly::createDOTViewerPass() { return new ScopViewer(); }
- Pass *polly::createDOTOnlyViewerPass() { return new ScopOnlyViewer(); }
- Pass *polly::createDOTPrinterPass() { return new ScopPrinter(); }
- Pass *polly::createDOTOnlyPrinterPass() { return new ScopOnlyPrinter(); }
|