llvm-svn: 7492

llvm-svn: 7295

Now it shoudl be a bit more efficient

llvm-svn: 7292

of codes.  For example,
short kernel (short t1) {
  t1 >>= 8; t1 <<= 8;
  return t1;
}

became:

short %kernel(short %t1.1) {
        %tmp.3 = shr short %t1.1, ubyte 8               ; <short> [#uses=1]
        %tmp.5 = cast short %tmp.3 to int               ; <int> [#uses=1]
        %tmp.7 = shl int %tmp.5, ubyte 8                ; <int> [#uses=1]
        %tmp.8 = cast int %tmp.7 to short               ; <short> [#uses=1]
        ret short %tmp.8
}

before, now it becomes:
short %kernel(short %t1.1) {
        %tmp.3 = shr short %t1.1, ubyte 8               ; <short> [#uses=1]
        %tmp.8 = shl short %tmp.3, ubyte 8              ; <short> [#uses=1]
        ret short %tmp.8
}

which will become:
short %kernel(short %t1.1) {
        %tmp.3 = and short %t1.1, 0xFF00
        ret short %tmp.3
}

This implements cast-set.ll:test4 and test5

llvm-svn: 7290

llvm-svn: 7283

  - InstCombine: (X & C1) ^ C2 --> (X & C1) | C2 iff (C1&C2) == 0
  - InstCombine: (X | C1) ^ C2 --> (X | C1) & ~C2 iff (C1&C2) == C2

llvm-svn: 7282

llvm-svn: 7272

  - InstCombine: (X | C) & C --> C
  - InstCombine: (X | C1) & C2 --> (X | (C1&C2)) & C2

llvm-svn: 7269

IC: (X ^ C1) | C2 --> (X | C2) ^ (C1&~C2)

We are now guaranteed that all 'or's will be inside of 'and's, and all 'and's
will be inside of 'xor's, if the second operands are constants.

llvm-svn: 7264

Minor code cleanup

llvm-svn: 7262

llvm-svn: 7260

IC: (X | 8) == 4  --> false

llvm-svn: 7257

whether the constant is signed or unsigned, then casting

llvm-svn: 7252

llvm-svn: 7243

  - InstCombine (cast (and X, (1 << size(X)-1)) to bool) ==> x < 0

llvm-svn: 7241

a load of the global variable with the variable's constant value.

llvm-svn: 7216

an external constant.  Since external constants don't have initializers, we
were failing on an assert() call in llvm/GlobalVariable.h.

llvm-svn: 7193

llvm-svn: 6912

llvm-svn: 6904

llvm-svn: 6901

llvm-svn: 6891

want to mark it live if it is an unconditional branch.  This fixes bug:
ADCE/2002-05-28-Crash.ll and makes this pass _much_ more useful.

llvm-svn: 6887

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: 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: 6783

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: 6630

Add new combination to turn seteq X, 0 -> not(cast X to bool)

llvm-svn: 6604

llvm-svn: 6599

llvm-svn: 6506

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

llvm-svn: 6440

behavior is technically undefined

llvm-svn: 6438

llvm-svn: 6428

llvm-svn: 6425