llvm-svn: 53680

FindInsertedValue, it now performs a number of simple transformations that
should result in the same effect when applied iteratively.

llvm-svn: 53673

While this is not a wonderful organizing principle, it
does make it easy to find routines, and clear where to
insert new ones.

llvm-svn: 53672

llvm-svn: 53671

also use *idx_begin in the same expression, giving unpredictable results.

This fixes this bug: http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-July/015877.html

llvm-svn: 53670

llvm-svn: 53666

llvm-svn: 53661

llvm-svn: 53660

llvm-svn: 53639

llvm-svn: 53636

just use the AllNodes order, which is at least relatively stable
across runs.

llvm-svn: 53632

llvm-svn: 53627

llvm-svn: 53616

Have GVN do a pre-pass over the CFG that folds away unconditional branches where possible.  This allows local PRE to be more aggressive.

llvm-svn: 53615

llvm-svn: 53613

again canonicalizes {i32} into i32 and {} into void.

llvm-svn: 53610

return value as a whole in deadargelim is really not needed now that we simply
rebuild the old return value and actually prevents some canonicalization from
taking place.

This revert stops deadargelim from changing {i32} into i32 for now, but I'll
fix that next.

llvm-svn: 53609

return values that are still (partially) live. Instead of updating all uses of
a call instruction after removing some elements, it now just rebuilds the
original struct (With undef gaps where the unused values were) and leaves it to
instcombine to clean this up.

The added testcase still fails currently, but this is due to instcombine which
isn't good enough yet. I will fix that part next.

llvm-svn: 53608

llvm-svn: 53607

only the liveness of partial return values (for functions returning a struct).
This is more explicit to prevent unwanted changes in the return value. 

In particular, deadargelim now canonicalizes a function returning {i32} to
returning i32 and {} to void, if the struct returned is not used in its
entirety, but only the single element is used.

llvm-svn: 53606

In LegalizeDAG the value is zero-extended to
the new type before byte swapping.  It doesn't
matter how the extension is done since the new
bits are shifted off anyway after the swap, so
extend by any old rubbish bits.  This results
in the final assembler for the testcase being
one line shorter.

llvm-svn: 53604

llvm-svn: 53603

No change in functionality.

llvm-svn: 53602

and return values live for those functions. This doesn't change anything yet,
but prepares for the coming commits.

llvm-svn: 53601

llvm-svn: 53600

RetOrArg::getDescription() as const.

llvm-svn: 53599

llvm-svn: 53598

llvm-svn: 53592

method, to slightly simplify control flow.

llvm-svn: 53591

llvm-svn: 53590

I swear that didn't show up in svn diff...

llvm-svn: 53587

llvm-svn: 53586

llvm-svn: 53585

the BB member to the current basic block after emitting
instructions.

llvm-svn: 53567

llvm-svn: 53564

don't have value names, so use print instead of getName() to get a
useful string.

llvm-svn: 53563

llvm-svn: 53562

Remove support for this.

llvm-svn: 53559

non-power-of-two vectors.

llvm-svn: 53558

llvm-svn: 53557