Duncan pointed out that if the alignment isn't explicitly specified, it defaults to the ABI alignment. Given that, make this code a bit more aggressive in such cases.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151584 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eli Friedman 2012-02-27 23:16:46 +00:00
parent 0cae72c47e
commit cd38485b8a
2 changed files with 5 additions and 5 deletions

View File

@ -120,11 +120,11 @@ static uint64_t getObjectSize(const Value *V, const TargetData &TD,
return AliasAnalysis::UnknownSize;
uint64_t Size = TD.getTypeAllocSize(AccessTy);
if (RoundToAlign) {
if (!Align)
return AliasAnalysis::UnknownSize;
// If there is an explicitly specified alignment, and we need to
// take alignment into account, round up the size. (If the alignment
// is implicit, getTypeAllocSize is sufficient.)
if (RoundToAlign && Align)
Size = RoundUpToAlignment(Size, Align);
}
return Size;
}

View File

@ -4,7 +4,7 @@
; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
@B = global i16 8, align 2
@B = global i16 8
; CHECK: @test1
define i16 @test1(i32* %P) {