https://llvm.org/bugs/show_bug.cgi?id=25394
Bug ID: 25394
Summary: Execute SCoP conditionally moves trivial PHI nodes and
thereby causes dominace problems
Product: Projects
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Polly
Assignee: polly-...@googlegroups.com
Reporter: doerf...@cs.uni-saarland.de
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 15212
--> https://llvm.org/bugs/attachment.cgi?id=15212&action=edit
Testcase
As the summary states, the executeScopConditionally uses the splitEdge function
that will cause all tivial PHI nodes (one incoming value) in the region entry
block to be moved to the "original" entry block that is now reachable from
polly.split_new_and_old. However, that changes the dominance relation and if
this happens in a loop (around the SCoP) the trivial PHI value cannot be used
in the header any more.
--
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
