[llvm-bugs] [Bug 25376] New: [Polly] Invariant loads not considered in canSynthesize()

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=25376

            Bug ID: 25376
           Summary: [Polly] Invariant loads not considered in
                    canSynthesize()
           Product: Projects
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Polly
          Assignee: polly-dev at googlegroups.com
          Reporter: tobias at grosser.es
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15201
  --> https://llvm.org/bugs/attachment.cgi?id=15201&action=edit
Test case

With Polly r251791 I see statements that only have read accesses, but no write
accesses and can consequently be ignored. I first wanted to drop them after
having built the scop, but it seems they are introduced due to the fact that
canSynthesize does not consider references to loop-invariant-loads which we
seem to be able to synthesize without problem.

-- 
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/20151102/aaf4589e/attachment.html>