diff --git a/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp b/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp index d27f1071d67..c8556638cec 100644 --- a/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp +++ b/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp @@ -640,7 +640,7 @@ static bool isObjectSizeLessThanOrEq(Value *V, uint64_t MaxSize, } if (GlobalAlias *GA = dyn_cast(P)) { - if (!GA->isInterposable()) + if (GA->isInterposable()) return false; Worklist.push_back(GA->getAliasee()); continue; diff --git a/test/Transforms/InstCombine/mem-gep-zidx.ll b/test/Transforms/InstCombine/mem-gep-zidx.ll index cf021b13370..4499051b255 100644 --- a/test/Transforms/InstCombine/mem-gep-zidx.ll +++ b/test/Transforms/InstCombine/mem-gep-zidx.ll @@ -4,6 +4,7 @@ target triple = "powerpc64-unknown-linux-gnu" @f.a = private unnamed_addr constant [1 x i32] [i32 12], align 4 @f.b = private unnamed_addr constant [1 x i32] [i32 55], align 4 +@f.c = linkonce unnamed_addr alias [1 x i32], [1 x i32]* @f.b define signext i32 @test1(i32 signext %x) #0 { entry: @@ -44,5 +45,16 @@ entry: ; CHECK: getelementptr inbounds [1 x i32], [1 x i32]* %p, i64 0, i64 0 } +define signext i32 @test4(i32 signext %x, i1 %y) #0 { +entry: + %idxprom = sext i32 %x to i64 + %arrayidx = getelementptr inbounds [1 x i32], [1 x i32]* @f.c, i64 0, i64 %idxprom + %0 = load i32, i32* %arrayidx, align 4 + ret i32 %0 + +; CHECK-LABEL: @test4 +; CHECK: getelementptr inbounds [1 x i32], [1 x i32]* @f.c, i64 0, i64 %idxprom +} + attributes #0 = { nounwind readnone }