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

Delete nodes more efficiently

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

Remove dead nodes more efficiently

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

Improve efficiency of aliveness traversal code

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

Change DSGraph stuff to use hash_(set|map) instead of std::(set|map)
This change provides a small (3%) but consistent speedup

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

Add a bunch more stubs

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

Fix typo

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

Add hash_multimap support

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

Remove using declarations

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

Simplify assertions

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

Add new composition mask

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

Added protos for two alternate, convenient CallInst constructors.

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

Added implementation of alternate CallInst constructors (one ctor is
for no actual parameters, and one ctor is for one actual parameter).

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

Remove globals on the bottom up pass which do not contain any information

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

Add functions to the ban list

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

Fix strip issue Joel ran into

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

* Add new -track-memory option to tools which enables the mem usage column in the reports.

This is now optional (and defaults to off) because mallinfo can be VERY slow as it
seems to touch every page of allocated memory.

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

Fix a bug resolving sprintf(...) to sprintf(char*, char*, ...)

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

Fix bug: Assembler/2003-01-30-UnsignedString.ll

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

New testcase

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

Actually print the function _name_ if there is a problem

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

Add new function to allow removal of typed named elements

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

* Fix linking of opaque types and their non-opaque versions
* Fix bug: Linker/2003-01-30-LinkerTypeRename.ll

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

New testcase

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

Eliminate using decls

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

NEw testcase

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

* Fix function resolution for varargs function to generate incorrect bytecode instead of crashing
* remove using decls
 CVS: ----------------------------------------------------------------------

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

Bug that is unfixable with current frontend

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

Fix levelraise/2003-01-30-ShiftCrash.ll

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

New testcase

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

Initial checkin of pool allocation code

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

Use and implement API for graph traversals

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

New API for traversing graph

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

Initial checkin of pool allocator library

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

Fix build problem on sparc

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

Fix warnings on sparc

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

Fix warning on sparc

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

free instructions mark their operands as being heap nodes.

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

Initial checking: defult the make_vector function

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

New helper header

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

Disable construction of pool allocator

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

Make sure the files get sorted correctly

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

* Eliminate boolean arguments in favor of using enums

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

* Eliminate boolean arguments in favor of using enums
* T-D pass now eliminates unreachable globals

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

Slight efficiency improvement

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

Add notes about LLVM and CygWin from Brian Gaeke

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

Fix broken testcase

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

Remove testcases that never could have worked anyway (they print out pointer values)

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

Compress large logs

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

Limit the amount of time the test will run

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

Dont' stop the build

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

* Only run LLVM tests so that testing is not stopped.
* This directory should only contain LLVM tests anyway

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

Fix problem with flex scanners and huge token sizes

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

Make bugpoint *much* more powerful, giving it the capability to delete instructions
out of a large function to reduce it.

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

Fix bug: LevelRaise/2003-01-22-GEPProblem.ll

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

; Testcase reduced from 197.parser by bugpoint

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

Fix bug: ADCE/2003-01-22-PredecessorProblem.ll

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

New testcase reduced from 197.parser by bugpoint

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

Allow creating of passes like levelraise which use a targetdata ctor

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

link with static versions of some libs to avoid having to pull in all of ipo/ipa and datastructure at all

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

Fix analysis of the Burg program

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

Implement "new/removed/broken/fixed" tests

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

Implement program tests, and test for compile time problems

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

Fix lli build problem with parallel makes

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

Add support for program tests

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

Fix didn't fix the race condition in the makefiles

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