https://llvm.org/bugs/show_bug.cgi?id=28193
Bug ID: 28193
Summary: reject invariant hoisting when the load cannot be
de-referenced (execution context is empty)
Product: Polly
Version: unspecified
Hardware: PC
OS: Windows NT
Status: NEW
Severity: normal
Priority: P
Component: Optimizer
Assignee: polly-...@googlegroups.com
Reporter: zi...@codeaurora.org
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Should Polly reject Scops when the execution context is empty?
There are two polly unit tests:
Polly :: Isl/CodeGen/phi_in_exit_early_lnt_failure_3.ll
Polly :: ScopInfo/non-precise-inv-load-5.ll
To my understanding there are two scenarios when execution context is empty:
1) Polly discovers the load is never executed. this case is ok.
2) the load cannot be de-referenced.
I have a test that exhibit this scenario.
May be we can distinguish these scenarios and reject the second.
--
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
