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

llvm-svn: 6415

llvm-svn: 6352

* Implement SRoA for arrays

llvm-svn: 6349

llvm-svn: 6346

llvm-svn: 6338

llvm-svn: 6306

This hunk:
-    } else if (Src->getNumOperands() == 2 && Src->use_size() == 1) {
+    } else if (Src->getNumOperands() == 2) {

Allows GEP folding to be more aggressive, which reduces the number of instructions
and can dramatically speed up BasicAA in some cases.

llvm-svn: 6286

llvm-svn: 6251

llvm-svn: 6248

llvm-svn: 6232

llvm-svn: 6153

llvm-svn: 6030

llvm-svn: 5983

llvm-svn: 5979

llvm-svn: 5972

llvm-svn: 5971

llvm-svn: 5952

the visit function.  The worklist is for when their lattice value changes.

llvm-svn: 5927

  * Spell propagate right
  * Improve performance of phi node handling
  * Delete using directive
  * Other minor changes

llvm-svn: 5920

llvm-svn: 5872

llvm-svn: 5865

llvm-svn: 5863

llvm-svn: 5793

several ways:

 * Load expressions are not PRE'd well.  Alias Analysis should be used to
   get accurate information when computing anticipatibility.
 * The expression collection implementation does not handle PHI nodes properly,
   thus the implementation misses many opportunities to PRE.
 * This code could be sped up quite a bit

Despite these flaws, the code seems to work well, and handles PR's as one
would expect.

llvm-svn: 5759

llvm-svn: 5754

  - Implement simple reassociation: (A|c1)|(B|c2) == (A|B)|(c1|c2)
  - (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
  - (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0

llvm-svn: 5743

llvm-svn: 5740

llvm-svn: 5738

Generalize not and neg comparison testers to allow constant to be considered not'able and neg'able.  This
allows optimization of this:
int %test4(int %A, int %B) {
        %a = xor int %A, -1
        %c = and int %a, 5    ; 5 = ~c2
        %d = xor int %c, -1
        ret int %d
}

into this:
int %test4(int %A, int %B) {            ; No predecessors!
        %c.demorgan = or int %A, -6             ; <int> [#uses=1]
        ret int %c.demorgan
}

llvm-svn: 5736

llvm-svn: 5733

llvm-svn: 5731

Implement new shift optimizations for shifting the result of a shift.

llvm-svn: 5729