1
0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-12 23:37:33 +00:00

fix PR8067, an over-aggressive assertion in LICM.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@113146 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2010-09-06 05:11:24 +00:00
parent cc67c75b67
commit 0cccd7633e
2 changed files with 18 additions and 4 deletions
lib/Transforms/Scalar
test/Transforms/LICM

@ -681,10 +681,10 @@ void LICM::PromoteAliasSet(AliasSet &AS) {
// it.
if (isa<LoadInst>(Use))
assert(!cast<LoadInst>(Use)->isVolatile() && "AST broken");
else if (isa<StoreInst>(Use))
assert(!cast<StoreInst>(Use)->isVolatile() &&
Use->getOperand(0) != ASIV && "AST broken");
else
else if (isa<StoreInst>(Use)) {
assert(!cast<StoreInst>(Use)->isVolatile() && "AST broken");
if (Use->getOperand(0) == ASIV) return;
} else
return; // Not a load or store.
if (!GuaranteedToExecute)

@ -25,3 +25,17 @@ for.cond.for.end10_crit_edge: ; preds = %for.cond
for.end10: ; preds = %for.cond.for.end10_crit_edge, %entry
ret void
}
; PR8067
@g_8 = external global i32, align 4
define void @test2() noreturn nounwind ssp {
entry:
br label %for.body
for.body: ; preds = %for.body, %entry
%tmp7 = load i32* @g_8, align 4
store i32* @g_8, i32** undef, align 16
store i32 undef, i32* @g_8, align 4
br label %for.body
}