llvm-svn: 12211

llvm-svn: 12210

llvm-svn: 12209

llvm-svn: 12208

llvm-svn: 12207

llvm-svn: 12205

testcase like this:

int %test(int* %P, int %A) {
        %Pv = load int* %P
        %B = add int %A, %Pv
        ret int %B
}

We now generate:
test:
        mov %ECX, DWORD PTR [%ESP + 4]
        mov %EAX, DWORD PTR [%ESP + 8]
        add %EAX, DWORD PTR [%ECX]
        ret

Instead of:
test:
        mov %EAX, DWORD PTR [%ESP + 4]
        mov %ECX, DWORD PTR [%ESP + 8]
        mov %EAX, DWORD PTR [%EAX]
        add %EAX, %ECX
        ret

... saving one instruction, and often a register.  Note that there are a lot
of other instructions that could use this, but they aren't handled.  I'm not
really interested in adding them, but mul/div and all of the FP instructions
could be supported as well if someone wanted to add them.

llvm-svn: 12204

llvm-svn: 12203

This allows pointers to aggregate objects, whose elements are only read, to
be promoted and passed in by element instead of by reference.  This can
enable a LOT of subsequent optimizations in the caller function.

It's worth pointing out that this stuff happens a LOT of C++ programs, because
objects in templates are generally passed around by reference.  When these
templates are instantiated on small aggregate or scalar types, however, it is
more efficient to pass them in by value than by reference.

This transformation triggers most on C++ codes (e.g. 334 times on eon), but
does happen on C codes as well.  For example, on mesa it triggers 72 times,
and on gcc it triggers 35 times.  this is amazingly good considering that
we are using 'basicaa' so far.

llvm-svn: 12202

llvm-svn: 12201

llvm-svn: 12200

llvm-svn: 12199

llvm-svn: 12198

a zero value is the most likely way to cause further simplification, so we do it.

llvm-svn: 12197

llvm-svn: 12196

llvm-svn: 12195

llvm-svn: 12194

variables.

llvm-svn: 12193

llvm-svn: 12192

llvm-svn: 12190

llvm-svn: 12189

llvm-svn: 12188

llvm-svn: 12187

Emit RETL instruction to return instead of funny JMPL.
Fix indentation.

llvm-svn: 12186

Add RET, RETL.  Rename SAVE, RESTORE & JMPL for consistency.

llvm-svn: 12185

llvm-svn: 12184

llvm-svn: 12183

llvm-svn: 12182

llvm-svn: 12180

llvm-svn: 12169

llvm-svn: 12161

llvm-svn: 12143

llvm-svn: 12128

llvm-svn: 12127

llvm-svn: 12126

This reduces CBU time from 145s -> 122s (debug build), reduces # allocated nodes
from 129420 to 116477.

llvm-svn: 12125

llvm-svn: 12124

llvm-svn: 12123

llvm-svn: 12122

llvm-svn: 12120