llvm-svn: 9913

llvm-svn: 9903

llvm-svn: 9895

llvm-svn: 9880

used to eliminate the hard coded, hacked in, sparc specific, global TargetData.
Changing the TargetData used to actually match the code fixes problems, and
eliminates a crash.

llvm-svn: 9659

llvm-svn: 9658

Header files will be on the way.

llvm-svn: 9298

llvm-svn: 8634

CallSite class.  Now we can represent function calls by invoke instructions
too!

llvm-svn: 8629

llvm-svn: 8478

llvm-svn: 7610

Added function mergeInGlobalsGraph which merges in the entire globals graph with the graph of a function

llvm-svn: 7606

llvm-svn: 7492

llvm-svn: 7227

and (2) faster inlining by cloning only reachable nodes.  In particular:
(1) Added DSGraph::cloneReachableSubgraph and DSGraph::cloneReachableNodes
    to clone the subgraph reachable from a set of root nodes, into the
    current graph, merging the global nodes into thos in the current graph.
    The TD pass now uses this for faster inlining, and so does the
    next function.
(2) Added DSGraph::updateFromGlobalGraph() to rematerialize nodes from the
    globals graph into the current graph in both BU and TD passes.
(3) `I' flags are removed from all nodes in the globals graph, because they
    are difficult to maintain correctly and are not needed anyway.
(4) Aux. function calls are only removed to the globals graph if they
    will never be resovled.  (This is what fixed gap.)  The immediate
    reason is that if we took these out of a function (and moved them to
    the globals graph) we would need to rematerialize these nodes into the
    function graph for every function in the BU pass.  The longer term
    problem is that we would need to find a way to remove them from the
    globals graph iff they have been resolved on all paths through the
    call graph.

llvm-svn: 7187

Fix a bug where we removed nodes that were marked U.

llvm-svn: 7090

llvm-svn: 7088

Minor cleanups, reenable folding of call nodes to external functions

llvm-svn: 7061

llvm-svn: 7031

llvm-svn: 7007

llvm-svn: 7005

llvm-svn: 7003

llvm-svn: 7000

llvm-svn: 6996

DSGraph at one time

llvm-svn: 6994

llvm-svn: 6986

DSGraph/2003-06-29-NodeCollapsing2.ll & DSGraph/PhysicalSubtyping.ll

llvm-svn: 6982

llvm-svn: 6945

llvm-svn: 6840

* Add new MultiObject flag to DSNode which keeps track of whether or not
  multiple objects have been merged into the node, allowing must-alias info
  to be tracked.

llvm-svn: 6794

Remove bogus assertion: a node with no referrers could be collapsed if field-sensitivity was disabled

llvm-svn: 6695

llvm-svn: 6248

llvm-svn: 5684

llvm-svn: 5576

This helps a lot of testcases, for example:
            New Time  New #Nodes     Old Time    Old #Nodes
254.gap:    91.1024     21605        91.1397     22657
povray31:    2.7807      8613         3.0152     10338
255.vortex:  1.2034      8153         1.2172     8822
moria:        .6756      3150          .7054     3877
300.twolf:    .1652      2010          .1851     3270

Typically, testcases which use long and ulong integers a lot get better, f.e. povray above.

llvm-svn: 5566

This brings a 11.6% speedup to steens, and a 3.6 overall speedup to ds-aa

llvm-svn: 5552

Referrers list on DSNodes.

llvm-svn: 5536

llvm-svn: 5532

llvm-svn: 5530

  itself incomplete!
* Allow incompleteness callers to specify they don't want globals to be
  considered sources of incompleteness.

llvm-svn: 5513