Simplify and generalize the SROA "convert to scalar" transformation to
authorChris Lattner <sabre@nondot.org>
Sat, 31 Jan 2009 02:28:54 +0000 (02:28 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 31 Jan 2009 02:28:54 +0000 (02:28 +0000)
commit2e0d5f84325303fa95997cd66485811bd0a6ef70
tree6db9e4d4395caa4478b250af41b8ec2365baae50
parent66978ee97773aa76c3f15bee2fc77e5905aaf068
Simplify and generalize the SROA "convert to scalar" transformation to
be able to handle *ANY* alloca that is poked by loads and stores of
bitcasts and GEPs with constant offsets.  Before the code had a number
of annoying limitations and caused it to miss cases such as storing into
holes in structs and complex casts (as in bitfield-sroa) where we had
unions of bitfields etc.  This also handles a number of important cases
that are exposed due to the ABI lowering stuff we do to pass stuff by
value.

One case that is pretty great is that we compile
2006-11-07-InvalidArrayPromote.ll into:

define i32 @func(<4 x float> %v0, <4 x float> %v1) nounwind {
%tmp10 = call <4 x i32> @llvm.x86.sse2.cvttps2dq(<4 x float> %v1)
%tmp105 = bitcast <4 x i32> %tmp10 to i128
%tmp1056 = zext i128 %tmp105 to i256
%tmp.upgrd.43 = lshr i256 %tmp1056, 96
%tmp.upgrd.44 = trunc i256 %tmp.upgrd.43 to i32
ret i32 %tmp.upgrd.44
}

which turns into:

_func:
subl $28, %esp
cvttps2dq %xmm1, %xmm0
movaps %xmm0, (%esp)
movl 12(%esp), %eax
addl $28, %esp
ret

Which is pretty good code all things considering :).

One effect of this is that SROA will start generating arbitrary bitwidth
integers that are a multiple of 8 bits.  In the case above, we got a
256 bit integer, but the codegen guys assure me that it can handle the
simple and/or/shift/zext stuff that we're doing on these operations.

This addresses rdar://6532315

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@63469 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/ScalarReplAggregates.cpp
test/Transforms/ScalarRepl/2003-05-29-ArrayFail.ll
test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
test/Transforms/ScalarRepl/badarray.ll
test/Transforms/ScalarRepl/bitfield-sroa.ll [new file with mode: 0644]