Only emit one PHI node for IV uses with identical bases and strides (after
moving foldable immediates to the load/store instruction).

This implements LoopStrengthReduce/dont_insert_redundant_ops.ll, allowing
us to generate this PPC code for test1:

        or r30, r3, r3
.LBB_test1_1:   ; Loop
        li r2, 0
        stw r2, 0(r30)
        stw r2, 4(r30)
        bl L_pred$stub
        addi r30, r30, 8
        cmplwi cr0, r3, 0
        bne .LBB_test1_1        ; Loop

instead of this code:

        or r30, r3, r3
        or r29, r3, r3
.LBB_test1_1:   ; Loop
        li r2, 0
        stw r2, 0(r29)
        stw r2, 4(r30)
        bl L_pred$stub
        addi r30, r30, 8        ;; Two iv's with step of 8
        addi r29, r29, 8
        cmplwi cr0, r3, 0
        bne .LBB_test1_1        ; Loop

llvm-svn: 22635

llvm-svn: 22634

unify some parallel vectors and get field names more descriptive than
"first" and "second".  This isn't lisp afterall :)

llvm-svn: 22633

map from instruction* to SCEVHandles.  When we delete instructions, we have
to tell it about it.  We would run into nasty cases where new instructions
were reallocated at old instruction addresses and get the old map values.
Bad bad bad :(

llvm-svn: 22632

the sequence used for integer ops

llvm-svn: 22629

Transforms/LowerInvoke/2005-08-03-InvokeWithPHIUse.ll

llvm-svn: 22628

fixes PR612 and Transforms/LowerInvoke/2005-08-03-InvokeWithPHI.ll

llvm-svn: 22626

occurred while bugpointing another testcase

llvm-svn: 22621

llvm-svn: 22620

llvm-svn: 22619

llvm-svn: 22617

Finally, add the required constraint checks to fix  Transforms/SimplifyCFG/2005-08-01-PHIUpdateFail.ll
the right way

llvm-svn: 22615

llvm-svn: 22613

Refactor code out of PropagatePredecessorsForPHIs, turning it into a pure function with no side-effects

llvm-svn: 22612

llvm-svn: 22611

some duplicated code

llvm-svn: 22610

call it from the only place it is live.  No functionality changes.

llvm-svn: 22609

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20050801/027345.html

This breaks real programs and only fixes an obscure regression testcase.  A
real fix is in development.

llvm-svn: 22606

llvm-svn: 22605

llvm-svn: 22596

llvm-svn: 22595

Patch contributed by Jim Laskey!

llvm-svn: 22594

Patch contributed by Jim Laskey!

llvm-svn: 22592

llvm-svn: 22588

llvm-svn: 22587

llvm-svn: 22586

llvm-svn: 22585

consideration the case where a reference in an unreachable block could
occur.  This fixes Transforms/SimplifyCFG/2005-08-01-PHIUpdateFail.ll,
something I ran into while bugpoint'ing another pass.

llvm-svn: 22584

llvm-svn: 22582

llvm-svn: 22581

llvm-svn: 22580

build will not fail

llvm-svn: 22578

Make LSR ignore GEP's that have loop variant base values, as we currently
cannot codegen them

llvm-svn: 22576

llvm-svn: 22575

instead of E for exponentials (e.g. 1.234D-43).  Add support for this
notation.

llvm-svn: 22574

llvm-svn: 22571

llvm-svn: 22570

llvm-svn: 22569

llvm-svn: 22568

SimplifyLibCalls probably has to be audited to make sure it does not make
this mistake elsewhere.  Also, if this code knows that the type will be
unsigned, obviously one arm of this is dead.

Reid, can you take a look into this further?

llvm-svn: 22566