llvm-svn: 20466

llvm-svn: 20463

sparc, and testcase Regression/Transforms/InstCombine/2005-03-04-ShiftOverflow.ll

llvm-svn: 20445

power of two.  This emphatically includes the zeroeth power of two.

llvm-svn: 20429

to a "sizeof" expression.

llvm-svn: 20414

  * Loop invariant code does not dominate the loop header, but rather
    the end of the loop preheader.

  * The base for a reduced GEP isn't a constant unless all of its
    operands (preceding the induction variable) are constant.

  * Allow induction variable elimination for the simple case after all.

Also made changes recommended by Chris for properly deleting
instructions.

llvm-svn: 20383

for reasons explained in the comments, I also deactivated this code as it needs
more thought.

llvm-svn: 20367

llvm-svn: 20360

llvm-svn: 20358

llvm-svn: 20352

llvm-svn: 20343

llvm-svn: 20334

This does a simple form of "jump threading", which eliminates CFG edges that
are provably dead.  This triggers 90 times in the external tests, and
eliminating CFG edges is always always a good thing! :)

llvm-svn: 20300

llvm-svn: 20289

llvm-svn: 20276

and handle incomplete control dependences correctly.  This fixes:

Regression/Transforms/ADCE/dead-phi-edge.ll
  -> a missed optimization

Regression/Transforms/ADCE/dead-phi-edge.ll
  -> a compiler crash distilled from QT4

llvm-svn: 20227

llvm-svn: 20181

and PR504.

llvm-svn: 20129

global with an alloca, which eventually gets promoted into a
register. This enables a lot of other optimizations later on.

llvm-svn: 20109

llvm-svn: 19988

llvm-svn: 19959

llvm-svn: 19958

llvm-svn: 19957

in spec

llvm-svn: 19953

llvm-svn: 19950

11 indirect calls in perlbmk.

llvm-svn: 19947

llvm-svn: 19900

llvm-svn: 19899

llvm-svn: 19898

llvm-svn: 19897

* Properly compile this:

struct a {};
int test() {
  struct a b[2];
  if (&b[0] != &b[1])
    abort ();
  return 0;
}

to 'return 0', not abort().

llvm-svn: 19875

automatically.

llvm-svn: 19828

llvm-svn: 19786

as long as they are the same size.

llvm-svn: 19734

The second folds operations into selects, e.g. (select C, (X+Y), (Y+Z))
-> (Y+(select C, X, Z)

This occurs a few times across spec, e.g.

         select    add/sub
mesa:    83        0
povray:  5         2
gcc      4         2
parser   0         22
perlbmk  13        30
twolf    0         3

llvm-svn: 19706

llvm-svn: 19693

useness.

llvm-svn: 19629

Disable the xform for < > cases.  It turns out that the following is being
miscompiled:

bool %test(sbyte %S) {
        %T = cast sbyte %S to uint
        %V = setgt uint %T, 255
        ret bool %V
}

llvm-svn: 19628

llvm-svn: 19553

llvm-svn: 19552