llvm-svn: 37499

llvm-svn: 37498

llvm-svn: 37495

llvm-svn: 37494

llvm-svn: 37472

This is the obviously correct part of the fix for PR1487.

llvm-svn: 37457

llvm-svn: 37455

llvm-svn: 37454

llvm-svn: 37446

and expression separately.  We can get around this, however, by only keeping
opaque values in TMP_GEN.

llvm-svn: 37443

llvm-svn: 37442

llvm-svn: 37436

by LICM.

llvm-svn: 37435

Thanks Chuck!

llvm-svn: 37428

llvm-svn: 37426

the difference manually instead.

This allows GVNPRE to produce correct analysis for the example in the GVNPRE
paper.

llvm-svn: 37425

llvm-svn: 37424

llvm-svn: 37418

llvm-svn: 37407

llvm-svn: 37406

llvm-svn: 37403

llvm-svn: 37402

There's no need to have an Expression class... Value works just as well!  This simplifies a lot of code.

llvm-svn: 37401

llvm-svn: 37390

llvm-svn: 37389

llvm-svn: 37386

llvm-svn: 37376

llvm-svn: 37366

llvm-svn: 37360

half of PR1421, by not decimating structs with holes that are the source and
destination of a memcpy.

llvm-svn: 37358

llvm-svn: 37350

llvm-svn: 37348

debugging lines.

llvm-svn: 37347

llvm-svn: 37346

set this way is _SLOW_.  Somewhere down the line, I'll look at speeding it up.

llvm-svn: 37345

Very first part of a GVN-PRE implementation.  It currently performs a bunch of analysis, and nothing more.  It is also quite slow for the moment.  However,
it should give a sense of what's going on.

llvm-svn: 37343

llvm-svn: 37326

llvm-svn: 37297

objc code due to the way the FE lowers objc message sends.

llvm-svn: 37256

into:

_t:
        movl 8(%esp), %ecx
        movl 4(%esp), %eax
        cmpl %ecx, %eax
        je LBB1_3       #bb17
LBB1_1: #bb
        cmpl %ecx, %eax
        jg LBB1_4       #cond_true
LBB1_2: #cond_false
        subl %eax, %ecx
        cmpl %ecx, %eax
        jne LBB1_1      #bb
LBB1_3: #bb17
        ret
LBB1_4: #cond_true
        subl %ecx, %eax
        cmpl %ecx, %eax
        jne LBB1_1      #bb
        jmp LBB1_3      #bb17

instead of:

_t:
        subl $4, %esp
        movl %esi, (%esp)
        movl 12(%esp), %ecx
        movl 8(%esp), %eax
        cmpl %ecx, %eax
        je LBB1_4       #bb17
LBB1_1: #bb.outer
        movl %ecx, %edx
        negl %edx
LBB1_2: #bb
        cmpl %ecx, %eax
        jle LBB1_5      #cond_false
LBB1_3: #cond_true
        addl %edx, %eax
        cmpl %ecx, %eax
        jne LBB1_2      #bb
LBB1_4: #bb17
        movl (%esp), %esi
        addl $4, %esp
        ret
LBB1_5: #cond_false
        movl %ecx, %edx
        subl %eax, %edx
        movl %eax, %esi
        addl %esi, %esi
        cmpl %ecx, %esi
        je LBB1_4       #bb17
LBB1_6: #cond_false.bb.outer_crit_edge
        movl %edx, %ecx
        jmp LBB1_1      #bb.outer

llvm-svn: 37252