https://llvm.org/bugs/show_bug.cgi?id=30454
Bug ID: 30454
Summary: Assertion `InLCSSA && "LCSSA is broken after
loop-simplify."' failed.
Product: new-bugs
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: new bugs
Assignee: unassignedb...@nondot.org
Reporter: mikael.hol...@ericsson.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 17315
--> https://llvm.org/bugs/attachment.cgi?id=17315&action=edit
Reproducer
The original C-code was generated by csmith, and then it's been reduced
heavily.
opt -S -lcssa -licm red.ll
hits:
opt: ../lib/Transforms/Utils/LoopSimplify.cpp:825: virtual bool (anonymous
namespace)::LoopSimplify::runOnFunction(llvm::Function &): Assertion `InLCSSA
&& "LCSSA is broken after loop-simplify."' failed.
Note the block
if.end1070: ; No predecessors!
br i1 undef, label %for.end1146, label %if.end1074
Noone jumps to it, and if I remove it, the program compiles instead of hitting
the assert.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
