maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fix PR14565. Don't if-convert loops that have switch statements in them. 

llvm-svn: 169813
This commit is contained in:
Nadav Rotem 2012-12-11 04:55:10 +00:00
parent 6ee19d28f4
commit dbb3328194
2 changed files with 43 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
View File

@ -1263,6 +1263,10 @@ bool LoopVectorizationLegality::canVectorizeWithIfConvert() {
for (unsigned i = 0, e = LoopBlocks.size(); i < e; ++i) {
BasicBlock *BB = LoopBlocks[i];
// We don't support switch statements inside loops.
if (!isa<BranchInst>(BB->getTerminator()))
return false;
// We must have at most two predecessors because we need to convert
// all PHIs to selects.
unsigned Preds = std::distance(pred_begin(BB), pred_end(BB));

39
llvm/test/Transforms/LoopVectorize/if-conv-crash.ll Normal file
View File

@ -0,0 +1,39 @@
; RUN: opt < %s -loop-vectorize -force-vector-width=4 -enable-if-conversion
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.8.0"
define fastcc void @DD_dump() nounwind uwtable ssp {
entry:
br i1 undef, label %lor.lhs.false, label %if.end25
lor.lhs.false: ; preds = %entry
br i1 undef, label %if.end21, label %if.else
if.else: ; preds = %lor.lhs.false
br i1 undef, label %num_q.exit, label %while.body.i.preheader
while.body.i.preheader: ; preds = %if.else
br label %while.body.i
while.body.i: ; preds = %if.end.i, %while.body.i.preheader
switch i8 undef, label %if.end.i [
i8 39, label %if.then.i
i8 92, label %if.then.i
]
if.then.i: ; preds = %while.body.i, %while.body.i
br label %if.end.i
if.end.i: ; preds = %if.then.i, %while.body.i
br i1 undef, label %num_q.exit, label %while.body.i
num_q.exit: ; preds = %if.end.i, %if.else
unreachable
if.end21: ; preds = %lor.lhs.false
unreachable
if.end25: ; preds = %entry
ret void
}