diff options
| author | Cameron Zwarich <zwarich@apple.com> | 2011-06-18 06:17:51 +0000 |
|---|---|---|
| committer | Cameron Zwarich <zwarich@apple.com> | 2011-06-18 06:17:51 +0000 |
| commit | 3ebb05d9a6bf6604a4b25770cfda1872983b03b2 (patch) | |
| tree | d7956f4983b57f4fb0569f20f3e28d651e258302 /lib | |
| parent | b85e4eba85a38698f3b3332f82554bf8442547e2 (diff) | |
| download | llvm-3ebb05d9a6bf6604a4b25770cfda1872983b03b2.tar.gz llvm-3ebb05d9a6bf6604a4b25770cfda1872983b03b2.tar.bz2 llvm-3ebb05d9a6bf6604a4b25770cfda1872983b03b2.tar.xz | |
When scalar replacement returns a vector type, only accept it if the vector
type's bitwidth matches the (allocated) size of the alloca. This severely
pessimizes vector scalar replacement when the only vector type being used is
something like <3 x float> on x86 or ARM whose allocated size matches a
<4 x float>.
I hope to fix some of the flawed assumptions about allocated size throughout
scalar replacement and reenable this in most cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@133338 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Transforms/Scalar/ScalarReplAggregates.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Transforms/Scalar/ScalarReplAggregates.cpp b/lib/Transforms/Scalar/ScalarReplAggregates.cpp index 38942dcb55..46ac948200 100644 --- a/lib/Transforms/Scalar/ScalarReplAggregates.cpp +++ b/lib/Transforms/Scalar/ScalarReplAggregates.cpp @@ -293,6 +293,11 @@ AllocaInst *ConvertToScalarInfo::TryConvert(AllocaInst *AI) { if (ScalarKind == Unknown) ScalarKind = Integer; + // FIXME: It should be possible to promote the vector type up to the alloca's + // size. + if (ScalarKind == Vector && VectorTy->getBitWidth() != AllocaSize * 8) + ScalarKind = Integer; + // If we were able to find a vector type that can handle this with // insert/extract elements, and if there was at least one use that had // a vector type, promote this to a vector. We don't want to promote |