llvm-6502/test/Transforms/SROA
Chandler Carruth 4f9a7277d1 [SROA] Apply a somewhat heavy and unpleasant hammer to fix PR22093, an
assert out of the new pre-splitting in SROA.

This fix makes the code do what was originally intended -- when we have
a store of a load both dealing in the same alloca, we force them to both
be pre-split with identical offsets. This is really quite hard to do
because we can keep discovering problems as we go along. We have to
track every load over the current alloca which for any resaon becomes
invalid for pre-splitting, and go back to remove all stores of those
loads. I've included a couple of test cases derived from PR22093 that
cover the different ways this can happen. While that PR only really
triggered the first of these two, its the same fundamental issue.

The other challenge here is documented in a FIXME now. We end up being
quite a bit more aggressive for pre-splitting when loads and stores
don't refer to the same alloca. This aggressiveness comes at the cost of
introducing potentially redundant loads. It isn't clear that this is the
right balance. It might be considerably better to require that we only
do pre-splitting when we can presplit every load and store involved in
the entire operation. That would give more consistent if conservative
results. Unfortunately, it requires a non-trivial change to the actual
pre-splitting operation in order to correctly handle cases where we end
up pre-splitting stores out-of-order. And it isn't 100% clear that this
is the right direction, although I'm starting to suspect that it is.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225149 91177308-0d34-0410-b5e6-96231b3b80d8
2015-01-05 04:17:53 +00:00
..
address-spaces.ll [SROA] Teach SROA how to handle pointers from address spaces other than 2014-02-26 08:25:02 +00:00
alignment.ll [SROA] Teach SROA to be more aggressive in splitting now that we have 2015-01-02 03:55:54 +00:00
basictest.ll [SROA] Apply a somewhat heavy and unpleasant hammer to fix PR22093, an 2015-01-05 04:17:53 +00:00
big-endian.ll [SROA] Teach SROA to be more aggressive in splitting now that we have 2015-01-02 03:55:54 +00:00
fca.ll Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. 2013-07-14 01:42:54 +00:00
phi-and-select.ll SROA: Don't insert instructions before a PHI 2014-09-01 21:20:14 +00:00
slice-order-independence.ll SROA: Only split loads on byte boundaries 2014-06-17 00:19:35 +00:00
slice-width.ll Add a test case for SROA where the store size is bigger than slice size. The 2014-08-22 23:27:04 +00:00
vector-conversion.ll SROA: Handle casts involving vectors of pointers and integer scalars. 2013-09-21 20:36:04 +00:00
vector-lifetime-intrinsic.ll Fix a case in SROA where lifetime intrinsics could inhibit alloca promotion. In 2014-08-07 21:07:35 +00:00
vector-promotion.ll SROA: The alloca type isn't a candidate promotion type for vectors 2014-11-21 02:34:55 +00:00
vectors-of-pointers.ll