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

broken up into their elements.  Too many programs break because of this.

llvm-svn: 6440

behavior is technically undefined

llvm-svn: 6438

internal phi nodes, and returns a new vector of basic blocks.

llvm-svn: 6431

llvm-svn: 6428

llvm-svn: 6425

llvm-svn: 6420

llvm-svn: 6415

llvm-svn: 6397