llvm-svn: 25472

Here is an example where the load ended up being done twice:

%A = global uint 0

uint %test(uint %B, ubyte %C) {
	%tmp = load uint *%A;
	%X = shl uint %tmp, ubyte %C
	%Cv = sub ubyte 32, %C
	%Y = shr uint %B, ubyte %Cv
	%Z = or uint %Y, %X
	store uint %Z, uint* %A
	ret uint %Z
}

==>

	subl $4, %esp
	movl %ebx, (%esp)
	movl 8(%esp), %edx
	movl A, %eax
	movb 12(%esp), %bl
	movb %bl, %cl
	shldl %cl, %edx, %eax
	movb %bl, %cl
	shldl %cl, %edx, A
	movl (%esp), %ebx
	addl $4, %esp
	ret

llvm-svn: 25471

packed types correctly.

llvm-svn: 25470

llvm-svn: 25469

llvm-svn: 25468

llvm-svn: 25467

llvm-svn: 25466

llvm-svn: 25465

llvm-svn: 25464

llvm-svn: 25463

fix boolean XOR (which fixes up comparisons..)

llvm-svn: 25462

BOOM!

llvm-svn: 25460

llvm-svn: 25459

instruction to produce a result. e.g MUL8m, the instruction does not
produce a explicit result. However it produces an implicit result in
AL which would be copied to a temp. The root operator of the matching
pattern is a mul so the use would expect it to produce a result.

llvm-svn: 25458

llvm-svn: 25457

Don't do floor->floorf conversion if floorf is not available. This checks
the compiler's host, not its target, which is incorrect for cross-compilers
Not sure that's important as we don't build many cross-compilers.

llvm-svn: 25456

llvm-svn: 25455

friends are actually detected.

llvm-svn: 25454

Add checks for ceil, ceilf, floor, and floorf

llvm-svn: 25453

need the float->double part.

llvm-svn: 25452

llvm-svn: 25451

llvm-svn: 25450

llvm-svn: 25449

   boolean flag if we read a function prototype that needs upgrading.
2. Don't upgrade the CallInst instruction until after its been inserted
   into the basic block, and only if we know that we have seen an
   upgraded intrinsic function.

llvm-svn: 25448

in the case where it needs to cast back to a signed type.

llvm-svn: 25447

2. Have UpgradeInstrinicCall return an Instruction* instead of a CallInst*
   and return the needed CastInst* if the result of the upgraded call needs
   to be casted back to a signed type.

llvm-svn: 25446

need to be upgraded.

llvm-svn: 25445

from add / sub.

llvm-svn: 25444

llvm-svn: 25443

llvm-svn: 25442

of comparisons on the various type objects.

llvm-svn: 25441

llvm-svn: 25440

llvm-svn: 25439

(or (x >> c) | (y << (32 - c))) ==> (shrd x, y, c)
(or (x << c) | (y >> (32 - c))) ==> (shld x, y, c)

llvm-svn: 25438

in the pattern.

llvm-svn: 25437

llvm-svn: 25436

llvm-svn: 25435

llvm-svn: 25434

interface requires unsigned arguments.

llvm-svn: 25433

the Function and the CallInst: UpgradeCallsToIntrinsic(Function*). Also,
re-factor the AutoUpgrade implementation to eliminate some duplication of
code.

llvm-svn: 25432