[llvm-bugs] [Bug 36983] New: [LoopVersioningLICM] "Incoming value isn't loop invariant" assert in LoopVectorizer fails.

[via llvm-bugs]

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

            Bug ID: 36983
           Summary: [LoopVersioningLICM]  "Incoming value isn't loop
                    invariant"  assert in LoopVectorizer fails.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: paulsson at linux.vnet.ibm.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 20153
  --> https://bugs.llvm.org/attachment.cgi?id=20153&action=edit
reduced testcase

bin/opt -mtriple=s390x-linux-gnu -mcpu=z13 ./tc_loopverlicm.ll -S -o /dev/null
-O3 -enable-loop-versioning-licm

When LoopVersioningLICM is run, LoopVectorizer detects an error in the original
(input) loop:

void llvm::InnerLoopVectorizer::fixLCSSAPHIs(): Assertion
`OrigLoop->isLoopInvariant(LCSSAPhi.getIncomingValue(0)) && "Incoming value
isn't loop invariant"' failed.

-- 
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/20180403/c4fce220/attachment.html>