fix PR6760, a missing check in heap SRoA.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100936 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2010-04-10 18:19:22 +00:00
parent f7240de877
commit a2fb234b04
2 changed files with 29 additions and 2 deletions

View File

@ -966,7 +966,8 @@ static bool ValueIsOnlyUsedLocallyOrStoredToOneGlobal(const Instruction *V,
continue; // Otherwise, storing through it, or storing into GV... fine.
}
if (isa<GetElementPtrInst>(Inst)) {
// Must index into the array and into the struct.
if (isa<GetElementPtrInst>(Inst) && Inst->getNumOperands() >= 3) {
if (!ValueIsOnlyUsedLocallyOrStoredToOneGlobal(Inst, GV, PHIs))
return false;
continue;

View File

@ -9,8 +9,34 @@ target triple = "i386-apple-darwin9.8"
@_ZL6vTwist = global %struct.btSimdScalar zeroinitializer ; <%struct.btSimdScalar*> [#uses=1]
@llvm.global_ctors = appending global [1 x %0] [%0 { i32 65535, void ()* @_GLOBAL__I__ZN21btConeTwistConstraintC2Ev }] ; <[12 x %0]*> [#uses=0]
define internal void @_GLOBAL__I__ZN21btConeTwistConstraintC2Ev() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
define internal void @_GLOBAL__I__ZN21btConeTwistConstraintC2Ev() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
entry:
store float 1.0, float* getelementptr inbounds (%struct.btSimdScalar* @_ZL6vTwist, i32 0, i32 0, i32 0, i32 3), align 4
ret void
}
; PR6760
%T = type { [5 x i32] }
@switch_inf = internal global %T* null
define void @test(i8* %arch_file, i32 %route_type) {
entry:
%A = sext i32 1 to i64
%B = mul i64 %A, 20
%C = call noalias i8* @malloc(i64 %B) nounwind
%D = bitcast i8* %C to %T*
store %T* %D, %T** @switch_inf, align 8
unreachable
bb.nph.i:
%scevgep.i539 = getelementptr i8* %C, i64 4
unreachable
xx:
%E = load %T** @switch_inf, align 8
unreachable
}
declare noalias i8* @malloc(i64) nounwind