llvm-svn: 6918

until DSA is working all of the time and is totally reliable, we do this.

llvm-svn: 6917

llvm-svn: 6912

llvm-svn: 6904

llvm-svn: 6901

llvm-svn: 6895

llvm-svn: 6891

want to mark it live if it is an unconditional branch.  This fixes bug:
ADCE/2002-05-28-Crash.ll and makes this pass _much_ more useful.

llvm-svn: 6887

llvm-svn: 6883

llvm-svn: 6881

  Replace (cast (sub A, B) to bool) -> (setne A, B)
  Replace (cast (add A, B) to bool) -> (setne A, -B)

llvm-svn: 6873

llvm-svn: 6862

llvm-svn: 6856

llvm-svn: 6852

llvm-svn: 6846

This fixes type safety problems in a variety of benchmarks that were confusing
DSA.

llvm-svn: 6837

llvm-svn: 6797

llvm-svn: 6795

llvm-svn: 6783

llvm-svn: 6782

llvm-svn: 6769

llvm-svn: 6759

not the worklist

llvm-svn: 6733

This was because we were deleting large chunks of functions without an exit block, because the post-dominance
information was not useful.  This broke crafty and twolf.

llvm-svn: 6698

llvm-svn: 6669

llvm-svn: 6667

llvm-svn: 6630

llvm-svn: 6622

llvm-svn: 6620

llvm-svn: 6613

llvm-svn: 6606

Add new combination to turn seteq X, 0 -> not(cast X to bool)

llvm-svn: 6604

llvm-svn: 6599

llvm-svn: 6506

llvm-svn: 6502

llvm-svn: 6486

Count resolutions correctly.

llvm-svn: 6482

llvm-svn: 6480

llvm-svn: 6479

llvm-svn: 6476