[llvm-bugs] [Bug 28193] New: reject invariant hoisting when the load cannot be de-referenced (execution context is empty)

[via llvm-bugs]

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-dev at googlegroups.com
          Reporter: zinob at codeaurora.org
                CC: llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160619/0117403e/attachment.html>