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: unassignedb...@nondot.org
          Reporter: pauls...@linux.vnet.ibm.com
                CC: llvm-bugs@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to