llvm-svn: 52531

llvm-svn: 52525

Change around the data structures used to store availability sets, resulting in a GVN+PRE that is faster that GVN alone was before.

llvm-svn: 52521

propagating constants across aggregate return values when
insertvalue and extractvalue are used.

llvm-svn: 52520

return statements and aggregate returns so that it handles both
correctly.

llvm-svn: 52519

llvm-svn: 52518

once benchmarking is completed.

llvm-svn: 52506

llvm-svn: 52505

llvm-svn: 52502

using BasicBlock::getInstList.

llvm-svn: 52500

This fixes a failure on povray.

llvm-svn: 52499

directly.

llvm-svn: 52498

llvm-svn: 52497

GVN expects that all inputs which to an instruction fall somewhere in the value
hierarchy, which isn't true for these.

llvm-svn: 52496

llvm-svn: 52494

using getOperand() directly. This makes things work with invoke instructions as
well.

llvm-svn: 52489

llvm-svn: 52472

Add local PRE to GVN.  This only operates in cases where it would not increase code size, namely when the instantiated expression
would only need to be created in one predecessor.

llvm-svn: 52471

llvm-svn: 52466

Revert r52459, which was causing an infinite loop or massive slowdown on MultiSource/Applications/SPASS, and possibly others as well.
Please reapply once this is fixed.

llvm-svn: 52465

function, and make use of it in several places.

llvm-svn: 52463

dependencies between return values and/or arguments. Also make the handling of
arguments and return values the same.

The pass now looks properly inside returned structs, but only at the first                                                                                     
level (ie, not inside nested structs).

Also add a testcase for testing various variations of (multiple) dead rerturn
values.

llvm-svn: 52459

time. Sorry for the trouble!

This time, also add a testcase, which I should have done in the first place...

llvm-svn: 52455

commit after this).

llvm-svn: 52453

llvm-svn: 52442

implements rdar://6013816 and the testcase in Transforms/InstCombine/sext-misc.ll.

llvm-svn: 52440

llvm-svn: 52438

We don't want to find dependencies within the same block in this case.  It leads to incorrect results because
we're detecting something at or after the call we're querying on.

llvm-svn: 52433

llvm-svn: 52415

Spotted by Nick Lewycky.

llvm-svn: 52411

speaking these are not constant values. However, when a function always returns
one of its arguments, then from the point of view of each caller the return
value is constant (or at least a known value) and can be replaced.

llvm-svn: 52397

individually.

Also learn IPConstProp how returning first class aggregates work, in addition
to old style multiple return instructions.

Modify the return-constants testscase to confirm this behaviour.

llvm-svn: 52396

when changing the stride of a comparison so that it's slightly
more precise, by having it scan the instruction list to determine
if there is a use of the condition after the point where the
condition will be inserted.

llvm-svn: 52371

llvm-svn: 52361

llvm-svn: 52339

llvm-svn: 52318

llvm-svn: 52316

I'm at it, rename it to FindInsertedValue.

The only functional change is that newly created instructions are no longer
added to instcombine's worklist, but that is not really necessary anyway (and
I'll commit some improvements next that will completely remove the need).

llvm-svn: 52315

llvm-svn: 52295

llvm-svn: 52267