llvm-svn: 18381

   addi r3, r3, -1
instead of
   addi r3, r3, 1

for 'sub int X, 1'.

Secondarily, this fixes several cases where we could crash given an unsigned
constant.  And fixes a couple of minor missed optimization cases, such as
xor X, ~0U -> not X

llvm-svn: 18379

bytecode files. This should help linking substantially.

llvm-svn: 18378

This only fails on darwin or on X86 under valgrind.

llvm-svn: 18377

llvm-svn: 18376

llvm-svn: 18374

llvm-svn: 18371

llvm-svn: 18369

llvm-svn: 18368

  if (x) {
    code
    ...
  } else {
    code
    ...
  }

Turn it into:

  code
  if (x) {
    ...
  } else {
    ...
  }

This reduces code size and in some common cases allows us to completely
eliminate the conditional.  This turns several if/then/else blocks in loops
into straightline code in 179.art, turning the loops into single basic blocks
(good for modsched even!).

Maybe now brg will leave me alone ;-)

llvm-svn: 18366

Remove extraneous namespacification.  In particular, don't define llvm::llvm::createInternalGlobalMapperPass

llvm-svn: 18365

llvm-svn: 18363

implementation

llvm-svn: 18358

llvm-svn: 18357

llvm-svn: 18356

SearchForAddressOfSymbol.

llvm-svn: 18355

llvm-svn: 18353

more platforms than LLVM supports.

llvm-svn: 18352

llvm-svn: 18346

llvm-svn: 18345

llvm-svn: 18344

opened as if it was a dynamic library so its symbols can be searched too.

llvm-svn: 18341

to Brian and the Sun compiler for pointing out that the obvious works :)

This also enables folding all long comparisons into setcc and branch
instructions: before we could only do == and !=

For example, for:
void test(unsigned long long A, unsigned long long B) {
   if (A < B) foo();
 }

We now generate:

test:
        subl $4, %esp
        movl %esi, (%esp)
        movl 8(%esp), %eax
        movl 12(%esp), %ecx
        movl 16(%esp), %edx
        movl 20(%esp), %esi
        subl %edx, %eax
        sbbl %esi, %ecx
        jae .LBBtest_2  # UnifiedReturnBlock
.LBBtest_1:     # then
        call foo
        movl (%esp), %esi
        addl $4, %esp
        ret
.LBBtest_2:     # UnifiedReturnBlock
        movl (%esp), %esi
        addl $4, %esp
        ret

Instead of:

test:
        subl $12, %esp
        movl %esi, 8(%esp)
        movl %ebx, 4(%esp)
        movl 16(%esp), %eax
        movl 20(%esp), %ecx
        movl 24(%esp), %edx
        movl 28(%esp), %esi
        cmpl %edx, %eax
        setb %al
        cmpl %esi, %ecx
        setb %bl
        cmove %ax, %bx
        testb %bl, %bl
        je .LBBtest_2   # UnifiedReturnBlock
.LBBtest_1:     # then
        call foo
        movl 4(%esp), %ebx
        movl 8(%esp), %esi
        addl $12, %esp
        ret
.LBBtest_2:     # UnifiedReturnBlock
        movl 4(%esp), %ebx
        movl 8(%esp), %esi
        addl $12, %esp
        ret

llvm-svn: 18330

Reworked branching so we don't handle BAs specially. It just updates the branchTO regardless of what type of branch it is.

llvm-svn: 18322

Fixed bug where instructions in the kernel were not ordered right to preserve dependencies in a cycle.

llvm-svn: 18314

* Make sure we handle signed to unsigned conversion correctly
* Move this visitSetCondInst case to its own method.

llvm-svn: 18312

llvm-svn: 18311

llvm-svn: 18309

llvm-svn: 18308

PR449

llvm-svn: 18306

llvm-svn: 18303

llvm-svn: 18300

a must alias set unless all of the pointers in the resultant set are must
aliased together.

llvm-svn: 18275

occurs many times in crafty

llvm-svn: 18273

place to help bring up the PowerPC back end on Darwin.  This code is no
longer serves any purpose now that the AsmPrinter does the right thing
all the time printing GlobalValues.  --Cruft.

llvm-svn: 18267

llvm-svn: 18266

allows us to hoist more loads in some cases.

llvm-svn: 18265

llvm-svn: 18264

llvm-svn: 18263

llvm-svn: 18262