[LLVMbugs] [Bug 15990] New: Transforms/Vectorize/LoopVectorize.cpp: Assertion `NumIncoming > 1 && "Invalid PHI"' failed.

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=15990

            Bug ID: 15990
           Summary: Transforms/Vectorize/LoopVectorize.cpp: Assertion
                    `NumIncoming > 1 && "Invalid PHI"' failed.
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: kcc at google.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

test case by csmith/creduce
LLVM r181757, x86_64 linux. 

int a;
int b;
unsigned c;
int d;
void fn1 () {
  for (; b; ++b) {
    c = 0;
    for (; c <= 0; c += 1)
      d = 0;
    a &= !c;
  }
}


% clang -cc1 -triple x86_64-unknown-linux-gnu -emit-obj    -O3  -backend-option
-vectorize-loops  -x c cc.c

clang: llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:2031: void <anonymous
namespace>::InnerLoopVectorizer::vectorizeBlockInLoop(<anonymous>::LoopVectorizationLegality
*, llvm::BasicBlock *, PhiVector *): Assertion `NumIncoming > 1 && "Invalid
PHI"' failed.


Stack dump:
0.    Program arguments: clang -cc1 -triple x86_64-unknown-linux-gnu -emit-obj
-O3 -backend-option -vectorize-loops -x c cc.c 
1.    <eof> parser at end of file
2.    Per-module optimization passes
3.    Running pass 'CallGraph Pass Manager' on module 'cc.c'.
4.    Running pass 'Loop Pass Manager' on function '@fn1'
5.    Running pass 'Loop Vectorization' on basic block '%for.cond1.preheader'

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130514/3c56fc2d/attachment.html>