[LLVMdev] data structure analysis

Suhabe Bugrara 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 mailing list