[llvm-bugs] [Bug 27207] New: [Polly] Domains of entering a loop is unequal to combined domains of loop exiting

[via llvm-bugs]

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

            Bug ID: 27207
           Summary: [Polly] Domains of entering a loop is unequal to
                    combined domains of loop exiting
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: llvm at meinersbur.de
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

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

Illustrated in the attached unit test.

Current Polly r265286 generates invalid IR (missing PHI) because all exit
predecessors are optimized away even though logically one of them must be
executed. Hence, the exit node PHI has no defined incoming value.

-- 
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/20160404/f7ce83b2/attachment-0001.html>