[llvm-bugs] [Bug 24634] New: [Polly] isl based iteration loop modeling accepts infinite loop

[via llvm-bugs]

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-dev at googlegroups.com
          Reporter: tobias at grosser.es
                CC: llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150831/41b98dc8/attachment.html>