llvm-svn: 8875

llvm-svn: 8874

llvm-svn: 8873

llvm-svn: 8872

llvm-svn: 8871

functionpass

llvm-svn: 8870

do not support stack unwinding yet

llvm-svn: 8869

llvm-svn: 8868

This reduces the time to verify a function from eon with a large number of
large PHI nodes from 22996s (6.38 hours) to 10.5499s

llvm-svn: 8866

llvm-svn: 8865

The VersionNumbers vector is only used during PHI placement.  Turn it into an argument, allowing us to get rid of the vector.

llvm-svn: 8864

*** Revamp the code which handled unreachable code in the function.  Now the
    code is much more efficient for high-degree basic blocks, such as those
    that occur in the 252.eon SPEC benchmark.

For the interested, the time to promote a SINGLE alloca in _ZN7mrScene4ReadERSi
function used to be > 3.5s.  Now it is < .075s.  The function has a LOT of
allocas in it, so it appeared to be infinite looping, this should make it much
nicer.  :)

llvm-svn: 8863

llvm-svn: 8862

work-list of value definitions.  This allows elimination of the explicit
'iterative' step of the algorithm, and also reuses temporary memory better.

llvm-svn: 8861

need to be an instance variable!

llvm-svn: 8860

* Fuse two parallel loops
* Use a more specific type for AllocaLookup

llvm-svn: 8859

 * Do not insert a new entry into NewPhiNodes during the rename pass if there are no PHIs in a block.
 * Do not compute WriteSets in parallel

llvm-svn: 8858

* Eliminate the KillList instance variable, instead, just delete loads and
  stores as they are "renamed", and delete allocas when they are done
* Make the 'visited' set an instance variable to avoid passing it on the stack.

llvm-svn: 8857

llvm-svn: 8856

Print literal doubles using ftostr instead of <<, because it yields higher precision numbers.

llvm-svn: 8855

constants as necessary due to type resolution.  With this change, the
following spec benchmarks now link: 176.gcc, 177.mesa, 252.eon,
253.perlbmk, & 300.twolf.  IOW, all SPEC INT and FP benchmarks now link.

llvm-svn: 8853

llvm-svn: 8852

and because, while the class used by the interface is abstract, the actual
concept is not.

llvm-svn: 8850

as 'by reference' arguments.

llvm-svn: 8849

llvm-svn: 8848

llvm-svn: 8847

llvm-svn: 8846

once!

llvm-svn: 8845

llvm-svn: 8844

llvm-svn: 8843

machinery.  This dramatically simplifies how things works, removes irritating
little corner cases, and overall improves speed and reliability.

Highlights of this change are:

1. The exponential algorithm built into the code is now gone.  For example
   the time to disassemble one bytecode file from the mesa benchmark went
   from taking 12.5s to taking 0.16s.
2. The linker bugs should be dramatically reduced.  The one remaining bug
   has to do with constant handling, which I actually introduced in
   "union-find" checkins.
3. The code is much easier to follow, as a result of fewer special cases.
   It's probably also smaller.  yaay.

llvm-svn: 8842

TestRunner tests).
This makes creating the new test database class easier to implement.

llvm-svn: 8841

ressurected, just ifdef them out for now.

llvm-svn: 8840

llvm-svn: 8839

This interferes with QMTest and the new test database.

llvm-svn: 8838

llvm-svn: 8836

llvm-svn: 8835

This makes use of the new PATypeHolder's to keep types from being deleted
prematurely, instead of the wierd "self reference" garbage.  This is easier
to understand and more efficient as well.

llvm-svn: 8834

merging of types.  This makes it MUCH more efficient than before, also
making things simpler.

llvm-svn: 8833

can just use PATypeHolders

llvm-svn: 8832