Add a variety of new transformations:
  * A & ~A == 0
  * A / (2^c) == A >> c  if unsigned
  * 0 / A == 0
  * 1.0 * A == A
  * A * (2^c) == A << c
  * A ^ ~A == -1
  * A | ~A == -1
  * 0 % X = 0
  * A % (2^c) == A & (c-1) if unsigned
  * A - (A & B) == A & ~B
  * -1 - A == ~A

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5587 91177308-0d34-0410-b5e6-96231b3b80d8

modernize testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5586 91177308-0d34-0410-b5e6-96231b3b80d8

Modernize testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5585 91177308-0d34-0410-b5e6-96231b3b80d8

Fix resolution of indirect function calls... whoops

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5576 91177308-0d34-0410-b5e6-96231b3b80d8

Changes to runtime framework

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5572 91177308-0d34-0410-b5e6-96231b3b80d8

Mark function edges

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5571 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a bug that cause a crash resolving questionable function calls

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5567 91177308-0d34-0410-b5e6-96231b3b80d8

- Eliminate provably non-pointer nodes from graphs.

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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5566 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a misunderstanding of the standard associative containers

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5565 91177308-0d34-0410-b5e6-96231b3b80d8

Don't put integer pointers (longs) into the scalar map.
This speeds stuff up by 10% on some tests, woot!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5564 91177308-0d34-0410-b5e6-96231b3b80d8

Clarify the Makefile.config settings

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5563 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: LevelRaise/2003-02-13-CallRaise.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5562 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase distilled from LARN

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5561 91177308-0d34-0410-b5e6-96231b3b80d8

Hax0r around a deficiency in the Pass infrastructure

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5555 91177308-0d34-0410-b5e6-96231b3b80d8

Use the new tailclip property new added to graphviz CVS to make call nodes
actually intelligable

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5554 91177308-0d34-0410-b5e6-96231b3b80d8

This speeds up processing LLVM a _lot_, 17% in the case of loading and destroying "vortex"

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5553 91177308-0d34-0410-b5e6-96231b3b80d8

Move node forwarding code from being inlined to being out-of-line.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5552 91177308-0d34-0410-b5e6-96231b3b80d8

Fix profile builds

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5551 91177308-0d34-0410-b5e6-96231b3b80d8

Make more compatible with GCC 2.96

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5550 91177308-0d34-0410-b5e6-96231b3b80d8

Remove gunk that was supposed to make space evaluation more precise, but never worked.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5549 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase, for something we may never really want to support :)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5548 91177308-0d34-0410-b5e6-96231b3b80d8

Add -fomit-frame-pointer when optimizing

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5547 91177308-0d34-0410-b5e6-96231b3b80d8

Fixed alloca declaration problem on sun.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5546 91177308-0d34-0410-b5e6-96231b3b80d8

Don't output times in "scientific" notation

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5544 91177308-0d34-0410-b5e6-96231b3b80d8

Add new -no-verify option

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5542 91177308-0d34-0410-b5e6-96231b3b80d8

Add a new -no-output option, useful for -aa-eval tests.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5541 91177308-0d34-0410-b5e6-96231b3b80d8

Implement more functions

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5538 91177308-0d34-0410-b5e6-96231b3b80d8

Rename options

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5537 91177308-0d34-0410-b5e6-96231b3b80d8

Implement a "union-findy" version of DS-Analysis, which eliminates the
Referrers list on DSNodes.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5536 91177308-0d34-0410-b5e6-96231b3b80d8

Minor tweaks to printing.  Close the file before viewing it in viewGraph

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5535 91177308-0d34-0410-b5e6-96231b3b80d8

Fix uninitialized member problem

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5534 91177308-0d34-0410-b5e6-96231b3b80d8

Bugfix for calling dump() after the links vector has been cleared

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5533 91177308-0d34-0410-b5e6-96231b3b80d8

Modest speedup which seems to help steens quite a bit on large graphs

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5532 91177308-0d34-0410-b5e6-96231b3b80d8

Move getNode() out of line

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5531 91177308-0d34-0410-b5e6-96231b3b80d8

Fix problem breaking GAP, use hasNoReferrers more

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5530 91177308-0d34-0410-b5e6-96231b3b80d8

Implement a new method "viewGraph" which can be used to instantly view a graph from GDB.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5529 91177308-0d34-0410-b5e6-96231b3b80d8

Implement a new "viewGraph" method which can be used to instantly view a graph from gdb

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5528 91177308-0d34-0410-b5e6-96231b3b80d8

Rearrange code

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5527 91177308-0d34-0410-b5e6-96231b3b80d8

Fix problem breaking Fhourstones

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5526 91177308-0d34-0410-b5e6-96231b3b80d8

Revert Anand's patch which broke the build

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5525 91177308-0d34-0410-b5e6-96231b3b80d8

Make steensgaards performance not shameful

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5524 91177308-0d34-0410-b5e6-96231b3b80d8

Don't insert null entries into the scalar map for constexpr (cast null to Ty)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5523 91177308-0d34-0410-b5e6-96231b3b80d8

*** empty log message ***

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5522 91177308-0d34-0410-b5e6-96231b3b80d8

Remove the -debug option from release executables

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5521 91177308-0d34-0410-b5e6-96231b3b80d8

Allow printing of various types of alias analysis results

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5520 91177308-0d34-0410-b5e6-96231b3b80d8

Implement knowledge in BasicAA that &A->field != &A and (P+1) != P

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5519 91177308-0d34-0410-b5e6-96231b3b80d8

 - Fix BasicAA to correctly detect the non-aliasness of A[1] & A[2]

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5518 91177308-0d34-0410-b5e6-96231b3b80d8

Switch to using the right call vector

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5517 91177308-0d34-0410-b5e6-96231b3b80d8

Add a basic-aa test

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5516 91177308-0d34-0410-b5e6-96231b3b80d8

Fix major bugs in incompleteness marking that were pessimizing results

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5515 91177308-0d34-0410-b5e6-96231b3b80d8

Print out the steens graph if -debug is specified

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5514 91177308-0d34-0410-b5e6-96231b3b80d8

* Fix a bug where global incompleteness marking would not mark the global
  itself incomplete!
* Allow incompleteness callers to specify they don't want globals to be
  considered sources of incompleteness.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5513 91177308-0d34-0410-b5e6-96231b3b80d8

TD Pass now does not cause globals to mark nodes incomplete.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5512 91177308-0d34-0410-b5e6-96231b3b80d8

Add a special case for main because we know it's incoming arguments don't alias

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5511 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a bug where we would mark the callees arguments incomplete if the caller was external.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5510 91177308-0d34-0410-b5e6-96231b3b80d8

Fix division by zero problem

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5509 91177308-0d34-0410-b5e6-96231b3b80d8

Remove explicit result counters

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5508 91177308-0d34-0410-b5e6-96231b3b80d8

Add a flag which effectively disables field sensitivity

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5506 91177308-0d34-0410-b5e6-96231b3b80d8

Don't bother counting alias results, allow the AliasAnalysisCounter to do that.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5505 91177308-0d34-0410-b5e6-96231b3b80d8

Allow counting multiple passes, and print the pass name counted

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5504 91177308-0d34-0410-b5e6-96231b3b80d8

New general purpose alias analysis result auditor

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5503 91177308-0d34-0410-b5e6-96231b3b80d8

Add notes from Vikram's email

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5502 91177308-0d34-0410-b5e6-96231b3b80d8

Remove obsolete page

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5501 91177308-0d34-0410-b5e6-96231b3b80d8

Add a summary

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5500 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a problem Sumant was running into

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5499 91177308-0d34-0410-b5e6-96231b3b80d8

Simple N^2 alias anlysis accuracy checker

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5498 91177308-0d34-0410-b5e6-96231b3b80d8

New "open projects" document

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5497 91177308-0d34-0410-b5e6-96231b3b80d8

Fix an assertion failure

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5496 91177308-0d34-0410-b5e6-96231b3b80d8

Implement optimization for direct function call case.  This dramatically
reduces the number of function nodes created and speeds up analysis by
about 10% overall.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5495 91177308-0d34-0410-b5e6-96231b3b80d8

Squelch warning

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5494 91177308-0d34-0410-b5e6-96231b3b80d8

Allow the addition of edge source labels

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5493 91177308-0d34-0410-b5e6-96231b3b80d8

Remove bogus assertion

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5492 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a huge bug with handling non-pointer instructions

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5491 91177308-0d34-0410-b5e6-96231b3b80d8

Make the TD pass not include all of the call nodes from the local pass,
eliminating incomplete markers from them

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5490 91177308-0d34-0410-b5e6-96231b3b80d8

Add sanity check

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5489 91177308-0d34-0410-b5e6-96231b3b80d8

Fix steensgaard to work on a lot more cases...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5488 91177308-0d34-0410-b5e6-96231b3b80d8

Fix printing of nonfunction graphs

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5487 91177308-0d34-0410-b5e6-96231b3b80d8

Rename variable

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5486 91177308-0d34-0410-b5e6-96231b3b80d8

Hack to work around deficiency in pass infrastructure

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5485 91177308-0d34-0410-b5e6-96231b3b80d8

Initial implementation of ds-aa

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5484 91177308-0d34-0410-b5e6-96231b3b80d8

Check field sensitivity

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5483 91177308-0d34-0410-b5e6-96231b3b80d8

Build DS-AA tests

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5482 91177308-0d34-0410-b5e6-96231b3b80d8

Initial tests for DS alias analysis

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5481 91177308-0d34-0410-b5e6-96231b3b80d8

Add statistics to basicAA pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5480 91177308-0d34-0410-b5e6-96231b3b80d8

* Fix a bug introduced in the last checkin wrt Stack markers
* Make cloning more efficient in the process...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5479 91177308-0d34-0410-b5e6-96231b3b80d8

Implement feof and xmalloc

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5478 91177308-0d34-0410-b5e6-96231b3b80d8

Implement the globals graph!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5477 91177308-0d34-0410-b5e6-96231b3b80d8

Add better debug output

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5476 91177308-0d34-0410-b5e6-96231b3b80d8

Eliminate unused resolving caller stuff

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5475 91177308-0d34-0410-b5e6-96231b3b80d8

* Add a bunch of stuff for checking the integrity of the graph
* remove the isNodeDead method

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5474 91177308-0d34-0410-b5e6-96231b3b80d8

Remove pool alloc accessor

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5473 91177308-0d34-0410-b5e6-96231b3b80d8

Split public interface out into header file

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5472 91177308-0d34-0410-b5e6-96231b3b80d8

Expose information about pool allocation

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5471 91177308-0d34-0410-b5e6-96231b3b80d8

Indent for uniformity

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5470 91177308-0d34-0410-b5e6-96231b3b80d8

Be a bit more specific in caption

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5469 91177308-0d34-0410-b5e6-96231b3b80d8

Allow modifying a global variables constness property

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5468 91177308-0d34-0410-b5e6-96231b3b80d8

Fix bug: Assembler/2003-02-02-ConstGlobal.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5467 91177308-0d34-0410-b5e6-96231b3b80d8

New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5466 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a bug where we would delete neccesary calls in bu pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5465 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a bug where we would incorrectly delete globals which had edges to alive nodes in
a graph in the t-d pass.  This slows down the TD pass by quite a bit (1/3), but is
needed for correctness.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5464 91177308-0d34-0410-b5e6-96231b3b80d8