https://bugs.llvm.org/show_bug.cgi?id=35434
Bug ID: 35434
Summary: Domain adjustment needs to consider potentially
entered loop even if multiple are left
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 19478
--> https://bugs.llvm.org/attachment.cgi?id=19478&action=edit
Test case + fix
The attached test case (see patch) shows how the domain generation uses domain
constraints of a non-related loop if multiple loops are left and one is entered
when traversing a single CFG edge. A potential fix is also included in the
patch. Unit tests pass but no other testing was performed.
--
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
