https://bugs.llvm.org/show_bug.cgi?id=37576
Bug ID: 37576
Summary: Domain generation should use last iteration loop exit
constrains
Product: Polly
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Other
Assignee: polly-...@googlegroups.com
Reporter: doerf...@cs.uni-saarland.de
CC: llvm-bugs@lists.llvm.org
Created attachment 20335
--> https://bugs.llvm.org/attachment.cgi?id=20335&action=edit
Test case + fix
This is a patch and a test case for the problem that loop exit constraints
might have to refer to the last iteration of the loop that will actually exit.
However, since this information is not around when the branch conditions are
built the first time we have to do it again later one.
--
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