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

 - (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: 5741

llvm-svn: 5740

llvm-svn: 5739

llvm-svn: 5738

Add test for other form of demorgans

llvm-svn: 5737

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

* Add testcase for or ubyte, 255 which was broken before

llvm-svn: 5735

llvm-svn: 5734

llvm-svn: 5733

llvm-svn: 5732

llvm-svn: 5731

llvm-svn: 5730

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

llvm-svn: 5729

llvm-svn: 5728

llvm-svn: 5727

llvm-svn: 5726

llvm-svn: 5724

llvm-svn: 5723

llvm-svn: 5722

llvm-svn: 5721

llvm-svn: 5720

llvm-svn: 5719

Extend getNullValue to work with struct and array types

llvm-svn: 5718

llvm-svn: 5717

llvm-svn: 5716

llvm-svn: 5715

llvm-svn: 5714

llvm-svn: 5713

llvm-svn: 5712

llvm-svn: 5711

llvm-svn: 5710

Relax a bit about constness

llvm-svn: 5709

llvm-svn: 5708

llvm-svn: 5707

llvm-svn: 5706

llvm-svn: 5705

llvm-svn: 5704

llvm-svn: 5703