fixes bug: DSGraph/buglobals.ll

llvm-svn: 6947

read or written to.  Keep track of how many times this happens.  This should
be good for deleting things like references to type information in C++ classes

llvm-svn: 6946

llvm-svn: 6945

globals into constants if we can prove it's safe

llvm-svn: 6941

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

llvm-svn: 6696

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: 5638

llvm-svn: 5576

llvm-svn: 5571

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 speeds stuff up by 10% on some tests, woot!

llvm-svn: 5564

llvm-svn: 5555

actually intelligable

llvm-svn: 5554

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: 5535

llvm-svn: 5532

llvm-svn: 5530

llvm-svn: 5528

llvm-svn: 5527

llvm-svn: 5526

llvm-svn: 5524

llvm-svn: 5523

llvm-svn: 5517

llvm-svn: 5515

llvm-svn: 5514

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

llvm-svn: 5513

llvm-svn: 5511

llvm-svn: 5510

llvm-svn: 5508

llvm-svn: 5506

llvm-svn: 5505

llvm-svn: 5496

reduces the number of function nodes created and speeds up analysis by
about 10% overall.

llvm-svn: 5495

llvm-svn: 5492

llvm-svn: 5491