PR709, and paving the way for future progress.

llvm-svn: 26476

llvm-svn: 26475

PR709, and paving the way for future progress.

Significantly refactor autoupgrading code, to handle the more complex case
(where we upgrade one argument in a function), and fix some bugs in it.

Testcase here: llvm/test/Regression/Bytecode/memcpy.ll

llvm-svn: 26474

llvm-svn: 26472

  a predecessor appearing more than once in the operand list was counted as
  multiple predecessor; priority1 should be updated during scheduling;
  CycleBound was updated after the node is inserted into priority queue; one
  of the tie breaking condition was flipped.
- Take into consideration of two address opcodes. If a predecessor is a def&use
  operand, it should have a higher priority.
- Scheduler should also favor floaters, i.e. nodes that do not have real
  predecessors such as MOV32ri.
- The scheduling fixes / tweaks fixed bug 478:
        .text
        .align  4
        .globl  _f
_f:
        movl 4(%esp), %eax
        movl 8(%esp), %ecx
        movl %eax, %edx
        imull %ecx, %edx
        imull %eax, %eax
        imull %ecx, %ecx
        addl %eax, %ecx
        leal (%ecx,%edx,2), %eax
        ret

  It is also a slight performance win (1% - 3%) for most tests.

llvm-svn: 26470

pointed out: realize the AND can provide factors and look through Casts.

llvm-svn: 26469

llvm-svn: 26466

span multiple lines.

llvm-svn: 26463

llvm-svn: 26462

multi-line comments.

llvm-svn: 26461

in the dag combiner on 176.gcc on x86.

llvm-svn: 26459

debug forms.

llvm-svn: 26455

llvm-svn: 26454

llvm-svn: 26453

llvm-svn: 26452

llvm-svn: 26451

llvm-svn: 26450

llvm-svn: 26448

void foo(float a, int *b) { *b = a; }

to this:

_foo:
        fctiwz f0, f1
        stfiwx f0, 0, r4
        blr

instead of this:

_foo:
        fctiwz f0, f1
        stfd f0, -8(r1)
        lwz r2, -4(r1)
        stw r2, 0(r4)
        blr

This implements CodeGen/PowerPC/stfiwx.ll, and also incidentally does the
right thing for GCC bugzilla 26505.

llvm-svn: 26447

llvm-svn: 26445

llvm-svn: 26443

llvm-svn: 26442

llvm-svn: 26441

implementing Regression/CodeGen/X86/mul-shift-reassoc.ll

llvm-svn: 26440

llvm-svn: 26438

llvm-svn: 26436

llvm-svn: 26435

- All abstrct vector nodes must have # of elements and element type as their
first two operands.

llvm-svn: 26432

llvm-svn: 26430

llvm-svn: 26429

Add array of debug descriptor support.

llvm-svn: 26428

Transforms/InstCombine/2006-02-28-Crash.ll

llvm-svn: 26427

but I don't know what other PPC impls do.  If someone could update the proc
table, I would appreciate it :)

llvm-svn: 26421

unsigned foo4(unsigned short *P) { return *P & 255; }
unsigned foo5(short *P) { return *P & 255; }

to:

_foo4:
        lbz r3,1(r3)
        blr
_foo5:
        lbz r3,1(r3)
        blr

not:

_foo4:
        lhz r2, 0(r3)
        rlwinm r3, r2, 0, 24, 31
        blr
_foo5:
        lhz r2, 0(r3)
        rlwinm r3, r2, 0, 24, 31
        blr

llvm-svn: 26419

llvm-svn: 26418

unsigned foo3(unsigned *P) { return *P & 255; }
as:
_foo3:
        lbz r3, 3(r3)
        blr

instead of:

_foo3:
        lwz r2, 0(r3)
        rlwinm r3, r2, 0, 24, 31
        blr

and:

unsigned short foo2(float a) { return a; }

as:
_foo2:
        fctiwz f0, f1
        stfd f0, -8(r1)
        lhz r3, -2(r1)
        blr

instead of:

_foo2:
        fctiwz f0, f1
        stfd f0, -8(r1)
        lwz r2, -4(r1)
        rlwinm r3, r2, 0, 16, 31
        blr

llvm-svn: 26417

llvm-svn: 26416

llvm-svn: 26415

llvm-svn: 26413

llvm-svn: 26411