6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-13 20:32:21 +00:00
Code Issues Projects Releases Wiki Activity

fix a crash in loop unswitch on a loop invariant vector condition.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95055 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2010-02-02 02:26:54 +00:00
parent f96f1e013c
commit 3d606bbc92
2 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/Scalar/LoopUnswitch.cpp
View File

@ -169,6 +169,10 @@ Pass *llvm::createLoopUnswitchPass(bool Os) {
/// invariant in the loop, or has an invariant piece, return the invariant. /// invariant in the loop, or has an invariant piece, return the invariant.
/// Otherwise, return null. /// Otherwise, return null.
static Value *FindLIVLoopCondition(Value *Cond, Loop *L, bool &Changed) { static Value *FindLIVLoopCondition(Value *Cond, Loop *L, bool &Changed) {
// We can never unswitch on vector conditions.
if (isa<VectorType>(Cond->getType()))
return 0;
// Constants should be folded, not unswitched on! // Constants should be folded, not unswitched on!
if (isa<Constant>(Cond)) return 0; if (isa<Constant>(Cond)) return 0;
@ -401,7 +405,7 @@ bool LoopUnswitch::IsTrivialUnswitchCondition(Value *Cond, Constant **Val,
/// UnswitchIfProfitable - We have found that we can unswitch currentLoop when /// UnswitchIfProfitable - We have found that we can unswitch currentLoop when
/// LoopCond == Val to simplify the loop. If we decide that this is profitable, /// LoopCond == Val to simplify the loop. If we decide that this is profitable,
/// unswitch the loop, reprocess the pieces, then return true. /// unswitch the loop, reprocess the pieces, then return true.
bool LoopUnswitch::UnswitchIfProfitable(Value *LoopCond, Constant *Val){ bool LoopUnswitch::UnswitchIfProfitable(Value *LoopCond, Constant *Val) {
initLoopData(); initLoopData();

17
test/Transforms/LoopUnswitch/crash.ll
View File

@ -1,6 +1,6 @@
; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -disable-output
define void @sort_Eq(i32* %S2) { define void @test1(i32* %S2) {
entry: entry:
br i1 false, label %list_Length.exit, label %cond_true.i br i1 false, label %list_Length.exit, label %cond_true.i
cond_true.i: ; preds = %entry cond_true.i: ; preds = %entry
@ -30,3 +30,18 @@ return: ; preds = %return.loopexit, %list_Length.exit9
ret void ret void
} }
define void @test2(i32 %x1, i32 %y1, i32 %z1, i32 %r1) nounwind {
entry:
br label %bb.nph
bb.nph: ; preds = %entry
%and.i13521 = and <4 x i1> undef, undef ; <<4 x i1>> [#uses=1]
br label %for.body
for.body: ; preds = %for.body, %bb.nph
%or.i = select <4 x i1> %and.i13521, <4 x i32> undef, <4 x i32> undef ; <<4 x i32>> [#uses=0]
br i1 false, label %for.body, label %for.end
for.end: ; preds = %for.body, %entry
ret void
}