Skip to content

Commit

Permalink
Fix GraphTraits for "const CallGraphNode *" and "const CallGraph *"
Browse files Browse the repository at this point in the history
The specializations were broken. For example,

void foo(const CallGraph *G) {
  auto I = GraphTraits<const CallGraph *>::nodes_begin(G);
  auto K = I++;

  ...
}

or

void bar(const CallGraphNode *N) {
  auto I = GraphTraits<const CallGraphNode *>::nodes_begin(G);
  auto K = I++;

  ....
}

would not compile.

Patch by Speziale Ettore!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222149 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
espindola committed Nov 17, 2014
1 parent 29e8a62 commit 95764ec
Show file tree
Hide file tree
Showing 4 changed files with 93 additions and 8 deletions.
35 changes: 28 additions & 7 deletions include/llvm/Analysis/CallGraph.h
Original file line number Diff line number Diff line change
Expand Up @@ -417,13 +417,24 @@ template <> struct GraphTraits<CallGraphNode *> {

template <> struct GraphTraits<const CallGraphNode *> {
typedef const CallGraphNode NodeType;
typedef NodeType::const_iterator ChildIteratorType;

typedef CallGraphNode::CallRecord CGNPairTy;
typedef std::pointer_to_unary_function<CGNPairTy, const CallGraphNode *>
CGNDerefFun;

static NodeType *getEntryNode(const CallGraphNode *CGN) { return CGN; }

typedef mapped_iterator<NodeType::const_iterator, CGNDerefFun>
ChildIteratorType;

static inline ChildIteratorType child_begin(NodeType *N) {
return N->begin();
return map_iterator(N->begin(), CGNDerefFun(CGNDeref));
}
static inline ChildIteratorType child_end(NodeType *N) {
return map_iterator(N->end(), CGNDerefFun(CGNDeref));
}
static inline ChildIteratorType child_end(NodeType *N) { return N->end(); }

static const CallGraphNode *CGNDeref(CGNPairTy P) { return P.second; }
};

template <>
Expand All @@ -450,12 +461,22 @@ template <>
struct GraphTraits<const CallGraph *> : public GraphTraits<
const CallGraphNode *> {
static NodeType *getEntryNode(const CallGraph *CGN) {
return CGN->getExternalCallingNode();
return CGN->getExternalCallingNode(); // Start at the external node!
}
typedef std::pair<const Function *, const CallGraphNode *> PairTy;
typedef std::pointer_to_unary_function<PairTy, const CallGraphNode &>
DerefFun;

// nodes_iterator/begin/end - Allow iteration over all nodes in the graph
typedef CallGraph::const_iterator nodes_iterator;
static nodes_iterator nodes_begin(const CallGraph *CG) { return CG->begin(); }
static nodes_iterator nodes_end(const CallGraph *CG) { return CG->end(); }
typedef mapped_iterator<CallGraph::const_iterator, DerefFun> nodes_iterator;
static nodes_iterator nodes_begin(const CallGraph *CG) {
return map_iterator(CG->begin(), DerefFun(CGdereference));
}
static nodes_iterator nodes_end(const CallGraph *CG) {
return map_iterator(CG->end(), DerefFun(CGdereference));
}

static const CallGraphNode &CGdereference(PairTy P) { return *P.second; }
};

} // End llvm namespace
Expand Down
2 changes: 2 additions & 0 deletions unittests/Analysis/CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,11 +1,13 @@
set(LLVM_LINK_COMPONENTS
IPA
Analysis
AsmParser
Core
Support
)

add_llvm_unittest(AnalysisTests
CallGraphTest.cpp
CFGTest.cpp
LazyCallGraphTest.cpp
ScalarEvolutionTest.cpp
Expand Down
62 changes: 62 additions & 0 deletions unittests/Analysis/CallGraphTest.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
//=======- CallGraphTest.cpp - Unit tests for the CG analysis -------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#include "llvm/Analysis/CallGraph.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "gtest/gtest.h"

using namespace llvm;

namespace {

template <typename Ty> void canSpecializeGraphTraitsIterators(Ty *G) {
typedef typename GraphTraits<Ty *>::NodeType NodeTy;

auto I = GraphTraits<Ty *>::nodes_begin(G);
auto E = GraphTraits<Ty *>::nodes_end(G);
auto X = ++I;

// Should be able to iterate over all nodes of the graph.
static_assert(std::is_same<decltype(*I), NodeTy &>::value,
"Node type does not match");
static_assert(std::is_same<decltype(*X), NodeTy &>::value,
"Node type does not match");
static_assert(std::is_same<decltype(*E), NodeTy &>::value,
"Node type does not match");

NodeTy *N = GraphTraits<Ty *>::getEntryNode(G);

auto S = GraphTraits<NodeTy *>::child_begin(N);
auto F = GraphTraits<NodeTy *>::child_end(N);
auto Y = ++S;

// Should be able to iterate over immediate successors of a node.
static_assert(std::is_same<decltype(*S), NodeTy *>::value,
"Node type does not match");
static_assert(std::is_same<decltype(*F), NodeTy *>::value,
"Node type does not match");
static_assert(std::is_same<decltype(*Y), NodeTy *>::value,
"Node type does not match");
}

TEST(CallGraphTest, GraphTraitsSpecialization) {
Module M("", getGlobalContext());
CallGraph CG(M);

canSpecializeGraphTraitsIterators(&CG);
}

TEST(CallGraphTest, GraphTraitsConstSpecialization) {
Module M("", getGlobalContext());
CallGraph CG(M);

canSpecializeGraphTraitsIterators(const_cast<const CallGraph *>(&CG));
}
}
2 changes: 1 addition & 1 deletion unittests/Analysis/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@

LEVEL = ../..
TESTNAME = Analysis
LINK_COMPONENTS := analysis asmparser
LINK_COMPONENTS := ipa analysis asmparser

include $(LEVEL)/Makefile.config
include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest

0 comments on commit 95764ec

Please sign in to comment.