Further expand what a call graph pass may do.

The rationale is that after analyzing a function in the SCC, we may want to
modify it in a way that requires us to update its uses (f.e. to replace the
call with a constant) or its users (f.e. to call it with fewer arguments).

llvm-svn: 122739
This commit is contained in:
Nick Lewycky 2011-01-03 06:16:07 +00:00
parent c1ebe702b1
commit a8e288b52d

View File

@ -559,11 +559,9 @@ href="#BasicBlockPass">BasicBlockPass</a></tt>, you should derive from
<ol>
<li>... <em>not allowed</em> to modify any <tt>Function</tt>s that are not in
the current SCC.</li>
<li>... <em>not allowed</em> to inspect any <tt>Function</tt>s other than those
in the current SCC and the direct callers and direct callees of the SCC.</li>
<li>... <em>not allowed</em> to inspect or modify any <tt>Function</tt>s other
than those in the current SCC and the direct callers and direct callees of the
SCC.</li>
<li>... <em>required</em> to preserve the current CallGraph object, updating it
to reflect any changes made to the program.</li>