Handle constants in phi nodes properly.  This fixes test/Transforms/GVNPRE/2007-06-18-ConstantInPhi.ll

llvm-svn: 37655

llvm-svn: 37649

Be careful to erase values from all of the appropriate sets when they're not needed anymore.  This fixes a few more memory-related issues.

llvm-svn: 37647

Thanks to Nicholas for valgrinding this.

llvm-svn: 37646

Refactor GVNPRE to use a much smart method of uniquing value sets, and centralize a lot of the value numbering information.  No functionality change.

llvm-svn: 37645

llvm-svn: 37622

llvm-svn: 37621

llvm-svn: 37620

Fix test/Transforms/GVNPRE/2007-06-15-InvokeInst.ll by ignoring all instructions that depend on invokes.

llvm-svn: 37610

integer constant SCEV.

llvm-svn: 37596

llvm-svn: 37595

This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.

llvm-svn: 37591

integer ops.  This implements Transforms/InstCombine/and-or-not.ll
test3/test4, and finishes off PR1510

llvm-svn: 37589

1. ~(~X | Y) === (X & ~Y)
2. (A|B) & ~(A&B) -> A^B

This allows us to transform  ~(~(a|b) | (a&b)) -> a^b.

This implements PR1510 for scalar values.

llvm-svn: 37584

operations from Duraids example.

llvm-svn: 37582

llvm-svn: 37564

Refactor some code, and fix test/Transforms/GVNPRE/2007-06-12-NoExit.ll by being more careful when using
post-dominator information.

llvm-svn: 37556

llvm-svn: 37554

Fix a few more bugs, including an instance of walking in reverse topological rather than topological order.  This
fixes a testcase extracted from llvm-test.

llvm-svn: 37550

llvm-svn: 37545

llvm-svn: 37542

llvm-svn: 37541

llvm-svn: 37540

llvm-svn: 37539

llvm-svn: 37536

llvm-svn: 37530

llvm-svn: 37526

With this patch, GVN-PRE now correctly optimizes the example from the thesis.

Many thanks to Daniel Berlin for helping me find errors in this.

llvm-svn: 37525

llvm-svn: 37513

Now LoopSimplify does not require nor preserve ETForest.

llvm-svn: 37512

llvm-svn: 37510

llvm-svn: 37506

llvm-svn: 37502

llvm-svn: 37501

This allows faster immediate domiantor walk.

llvm-svn: 37500

llvm-svn: 37499

llvm-svn: 37498

llvm-svn: 37495

llvm-svn: 37494

This adds redundancy for now.

llvm-svn: 37492