llvm-svn: 47258

llvm-svn: 47251

the second half of PR2047

llvm-svn: 47244

llvm-svn: 47242

that is also a subtract.  This implements PR2047 and Transforms/Reassociate/subtest2.ll 

llvm-svn: 47241

functionality change.

llvm-svn: 47239

llvm-svn: 47150

Fixes PR 2030.

llvm-svn: 47141

llvm-svn: 47116

llvm-svn: 47111

llvm-svn: 47093

actually does.

llvm-svn: 47090

llvm-svn: 47089

llvm-svn: 47082

bugs fixed.  This now passes PPC bootstrap.

llvm-svn: 47026

checks for a malloc/alloca immediately followed by a load.

llvm-svn: 47006

This fixes the store case, my previous patch just fixed the load
case.  rdar://5707076.

llvm-svn: 46932

llvm-svn: 46898

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080128/057882.html

This is causing a miscompilation on PPC G5 and just now seeing it on iMac x86-64.

llvm-svn: 46822

was incorrectly simplifying "x == (gep x, 1, i)" into false, even 
though i could be negative.  As it turns out, all the code to 
handle this already existed, we just need to disable the incorrect
optimization case and let the general case handle it.

llvm-svn: 46739

stores to be deleted in some cases.

llvm-svn: 46694

llvm-svn: 46693

llvm-svn: 46687

llvm-svn: 46684

reassociate anyways, but they could be generated during instcombine's run.

llvm-svn: 46683

list just to see if whether the list is empty.

llvm-svn: 46555

llvm-svn: 46554

llvm-svn: 46553

Make DSE much more aggressive by performing DCE earlier.  Update a testcase to reflect this increased aggressiveness.

llvm-svn: 46542

In practice this can only happen on code with already undefined behavior, 
but this is still a good thing to handle correctly.

llvm-svn: 46539

llvm-svn: 46514

avoid turning -0.0 + 0.0 -> -0.0 which is incorrect.

llvm-svn: 46499

the handling of eliminating stores to byval arguments.

llvm-svn: 46494

These loops are not yet handled.

Fix PR 1912.

llvm-svn: 46484

llvm-svn: 46431

llvm-svn: 46429

way or the other.  Rewriting the code itself prevents subsequent analysis
passes from making contradictory conclusions about the code that could 
cause an infeasible path to be made feasible.

llvm-svn: 46427

llvm-svn: 46417

This fixes PR1769.

llvm-svn: 46408

llvm-svn: 46406