llvm-svn: 89116

llvm-svn: 89110

Fix an expensive-checks error.

The Mask and LHSMask may not be of the same size, so don't do the
transformation if they're different.

llvm-svn: 88972

a name.

llvm-svn: 88908

llvm-svn: 88865

llvm-svn: 88864

grief. I suspect this patch merely exposed a bug else.

llvm-svn: 88841

zext(icmp). It may be able to optimize that away. This fixes one of the cases
in PR5438.

llvm-svn: 88830

ultimately never used.

llvm-svn: 88763

llvm-svn: 88742

llvm-svn: 87042

  cannot be folded into target cmp instruction.
- Avoid a phase ordering issue where early cmp optimization would prevent the
  later count-to-zero optimization.
- Add missing checks which could cause LSR to reuse stride that does not have
  users.
- Fix a bug in count-to-zero optimization code which failed to find the pre-inc
  iv's phi node.
- Remove, tighten, loosen some incorrect checks disable valid transformations.
- Quite a bit of code clean up.

llvm-svn: 86969

which implements GCC PR18046.  This also gets us 360 more
jump threads on 176.gcc.

llvm-svn: 86953

llvm-svn: 86952

making the new LVI stuff smart enough to subsume some special
cases in the old code.  Disable them when LVI is around, the
testcase still passes.

llvm-svn: 86951

allows us to handle the test10 testcase.

llvm-svn: 86924

llvm-svn: 86923

llvm-svn: 86920

uses LVI info when -enable-jump-threading-lvi is passed.

llvm-svn: 86886

llvm-svn: 86810

start using them in a trivial way when -enable-jump-threading-lvi
is passed.  enable-jump-threading-lvi will be my playground for 
awhile.

llvm-svn: 86789

llvm-svn: 86766

llvm-svn: 86761

llvm-svn: 86739

into libanalysis and transformutils.

llvm-svn: 86735

tracked down by Stephan Reiter!

llvm-svn: 86726

llvm-svn: 86723

debug intrinsics, and an unconditional branch when possible.  This
reuses the TryToSimplifyUncondBranchFromEmptyBlock function split
out of simplifycfg.

llvm-svn: 86722

llvm-svn: 86715

llvm-svn: 86705

llvm-svn: 86694

llvm-svn: 86689

llvm-svn: 86683

llvm-svn: 86681

of a computation.  This fixes some infinite loops when dealing with TD that
has no native types.

llvm-svn: 86670

llvm-svn: 86668

memory just like a store" with bug fixed (partial-overwrite.ll is the
regression test).

llvm-svn: 86667

just one level deep.  On the testcase we go from getting this:

F1:                                               ; preds = %T2
  %F = and i1 true, %cond                         ; <i1> [#uses=1]
  br i1 %F, label %X, label %Y

to a fully threaded:

F1:                                               ; preds = %T2
  br label %Y


This changes gets us to the point where we're forming (too many) switch 
instructions on doug's strswitch testcase.

llvm-svn: 86646

llvm-svn: 86639

except that the result may not be a constant.  Switch jump threading to 
use it so that it gets things like (X & 0) -> 0, which occur when phi preds
are deleted and the remaining phi pred was a zero.

llvm-svn: 86637