[LLVMdev] data structure analysis
suhabe at stanford.edu
Tue Sep 1 17:13:44 PDT 2009
In the poolalloc module, the
DSAA::getModRefInfo(CallSite,Value*,unsigned) function in
DataStructureAA.cpp uses the top-down graph of the caller, but the the
bottom-up graph of the callee to compute the caller-callee node
mapping which it uses to answer mod/ref queries. There is a comment in
the code that says:
"// Get the graphs for the callee and caller. Note that we want the BU graph
// for the callee because we don't want all caller's effects incorporated!"
Why is it that we don't want the caller's effects to be incorporated?
More information about the llvm-dev