llvm-svn: 37643

Anton for half of this patch.

llvm-svn: 37641

llvm-svn: 37640

Look for VECTOR_SHUFFLE that's identity operation on either LHS or RHS. This can happen before DAGCombiner catches it.

llvm-svn: 37636

llvm-svn: 37634

llvm-svn: 37633

llvm-svn: 37630

by making it non-recursive

llvm-svn: 37629

add operands after constant operands. The recent change to recognize
sign-extend expressions caused this to be exposed more often.

llvm-svn: 37628

llvm-svn: 37627

llvm-svn: 37626

llvm-svn: 37625

llvm-svn: 37623

llvm-svn: 37622

llvm-svn: 37621

llvm-svn: 37620

define double @test2(i64 %A) {
   %B = bitcast i64 %A to double
   ret double %B
}

$ llvm-as < t.ll | llc -march=x86-64

before:

         .align  4
         .globl  _test2
_test2:
         movd %rdi, %xmm0
         ret

after:

_test2:
         subq $8, %rsp
         movq %rdi, (%rsp)
         movsd (%rsp), %xmm0
         addq $8, %rsp
         ret

llvm-svn: 37617

1. Consider all possible ifcvt cases at once. No longer restricted to bottom
   up iterative approach.
2. Sort all possible cases based on a cost function. Perform the most profitable
   ones first invalidate others that target the same blocks.
3. Fixed a number of bugs related to block duplication.

llvm-svn: 37613

llvm-svn: 37611

Fix test/Transforms/GVNPRE/2007-06-15-InvokeInst.ll by ignoring all instructions that depend on invokes.

llvm-svn: 37610

llvm-svn: 37608

llvm-svn: 37607

llvm-svn: 37606

llvm-svn: 37602

for tied register constraints.

llvm-svn: 37601

llvm-svn: 37599

llvm-svn: 37597

integer constant SCEV.

llvm-svn: 37596

llvm-svn: 37595

llvm-svn: 37593

This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.

llvm-svn: 37591

llvm-svn: 37590

integer ops.  This implements Transforms/InstCombine/and-or-not.ll
test3/test4, and finishes off PR1510

llvm-svn: 37589

AND vectors.

llvm-svn: 37586

llvm-svn: 37585

1. ~(~X | Y) === (X & ~Y)
2. (A|B) & ~(A&B) -> A^B

This allows us to transform  ~(~(a|b) | (a&b)) -> a^b.

This implements PR1510 for scalar values.

llvm-svn: 37584

operations from Duraids example.

llvm-svn: 37582

llvm-svn: 37581

If BB is predicated, invalidate its predecessor(s) which would if-convert it. It needs to be re-analyzed.

llvm-svn: 37580

llvm-svn: 37579