about pairs of AA::Location's instead of looking for MemDep's
"Def" predicate.  This is more powerful and general, handling
memset/memcpy/store all uniformly, and implementing PR8701 and
probably obsoleting parts of memcpyoptimizer.

This also fixes an obscure bug with init.trampoline and i8
stores, but I'm not surprised it hasn't been hit yet.  Enhancing
init.trampoline to carry the size that it stores would allow
DSE to be much more aggressive about optimizing them.

llvm-svn: 120406

llvm-svn: 120405

Fixes PR8573.

llvm-svn: 120404

llvm-svn: 120398

llvm-svn: 120394

llvm-svn: 120393

llvm-svn: 120391

unbreaks test/Transforms/InstCombine/invariant.ll which was broken by r120382.
This is a fix-forward to do what I think Chris intended.

llvm-svn: 120388

This analysis is going to run immediately after LiveIntervals. It will stay
alive during register allocation and keep track of user variables mentioned in
DBG_VALUE instructions.

When the register allocator is moving values between registers and the stack, it
is very hard to keep track of DBG_VALUE instructions. We usually get it wrong.
This analysis maintains a data structure that makes it easy to update DBG_VALUE
instructions.

llvm-svn: 120385

llvm-svn: 120383

is trivially dead, since these have side effects.  This makes the
(misnamed) MemoryUseIntrinsic class dead, so remove it.

llvm-svn: 120382

llvm-svn: 120381

llvm-svn: 120380

remove an actively-wrong comment.

llvm-svn: 120378

It can be seriously improved, but at least now it isn't intertwined
with the other logic.

llvm-svn: 120377

llvm-svn: 120375

Merge context-sensitive.ll -> simple.ll and upgrade it.

llvm-svn: 120374

merging more into other larger .ll files, filecheckizing along the way.

llvm-svn: 120373

llvm-svn: 120372

llvm-svn: 120371

queried location doesn't overlap the source, and add a testcase.

llvm-svn: 120370

able to match this yet.

llvm-svn: 120369

contains "ref".

Enhance DSE to use a modref query instead of a store-specific hack
to generalize the "ignore may-alias stores" optimization to handle
memset and memcpy.

llvm-svn: 120368

and which are pseudos.

llvm-svn: 120366

llvm-svn: 120365

llvm-svn: 120364

stores, fix and add a testcase.

llvm-svn: 120363

llvm-svn: 120362

llvm-svn: 120361

llvm-svn: 120360

1. Don't bother trying to optimize:

lifetime.end(ptr)
store(ptr)

as it is undefined, and therefore shouldn't exist.

2. Move the 'storing a loaded pointer' xform up, simplifying
  the may-aliased store code.

llvm-svn: 120359

The only reasonable way I could find to do this is to provide an alternate
version of the addrmode6 operand with a different encoding function.  Use it
for all the VLD-dup instructions for the sake of consistency.

llvm-svn: 120358

in an attempt to make things a little more consistent.

llvm-svn: 120357

The encoding for alignment in VLD4-dup instructions is still a work in progress.

llvm-svn: 120356

llvm-svn: 120354

llvm-svn: 120353

llvm-svn: 120350

llvm-svn: 120349

llvm-svn: 120348

llvm-svn: 120347