llvm-svn: 37622

llvm-svn: 37621

llvm-svn: 37620

these though.

llvm-svn: 37619

llvm-svn: 37618

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

Use SmallPtrSet instead of std::vector to eliminate duplicate uses in a
function generated with -gen-function. This prevents the output from having
multiple duplicate declarations of constants and gvals.

llvm-svn: 37616

When printing the uses of a function (-gen-function only), make sure to
include the constants referenced by intializers of global variables.

llvm-svn: 37615

llvm-svn: 37614

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

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

llvm-svn: 37608

llvm-svn: 37607

llvm-svn: 37606

Added CanBeDuplicated(). It returns true if an instruction can be safely duplicated (e.g. during ifcvt).

llvm-svn: 37605

llvm-svn: 37604

llvm-svn: 37603

llvm-svn: 37602

for tied register constraints.

llvm-svn: 37601

llvm-svn: 37600

llvm-svn: 37599

llvm-svn: 37598

llvm-svn: 37597

integer constant SCEV.

llvm-svn: 37596

llvm-svn: 37595

llvm-svn: 37594

llvm-svn: 37593

llvm-svn: 37592

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

llvm-svn: 37588

llvm-svn: 37587

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

llvm-svn: 37583