https://llvm.org/bugs/show_bug.cgi?id=24634
Bug ID: 24634
Summary: [Polly] isl based iteration loop modeling accepts
infinite loop
Product: Projects
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Polly
Assignee: polly-...@googlegroups.com
Reporter: tob...@grosser.es
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 14796
--> https://llvm.org/bugs/attachment.cgi?id=14796&action=edit
The broken test case
Hi,
it seems the isl based loop modeling accepts infinite loops. This breaks our
code generation as we currently do not expect infinite loops. I propose to
not model infinite loops for now.
$ polly-opt -polly-codegen -polly-no-early-exit named.ll
opt:
/home/grosser/Projects/polly/git/tools/polly/lib/CodeGen/IslNodeBuilder.cpp:63:
isl_ast_expr *IslNodeBuilder::getUpperBound(isl_ast_node *, ICmpInst::Predicate
&): Assertion `isl_ast_expr_get_type(Cond) == isl_ast_expr_op && "conditional
expression is not an atomic upper bound"' failed.
--
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
