[llvm-bugs] [Bug 50288] New: opt -enable-loop-distribute -loop-distribute crashes with Assertion `Partition != -2 && "Pointer not belonging to any partition"' failed.

[via llvm-bugs]

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

            Bug ID: 50288
           Summary: opt -enable-loop-distribute -loop-distribute crashes
                    with Assertion `Partition != -2 && "Pointer not
                    belonging to any partition"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Loop Optimizer
          Assignee: unassignedbugs at nondot.org
          Reporter: mikael.holmen at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 24846
  --> https://bugs.llvm.org/attachment.cgi?id=24846&action=edit
bbi-55997.ll reproducer

Reproduce with:
 opt -enable-new-pm=0 -enable-loop-distribute -loop-distribute -o /dev/null
bbi-55997.ll

Result
opt: ../lib/Transforms/Scalar/LoopDistribute.cpp:531: SmallVector<int, 8>
(anonymous
namespace)::InstPartitionContainer::computePartitionSetForPointers(const
llvm::LoopAccessInfo &): Assertion `Partition != -2 && "Pointer not belonging
to any partition"' failed.


This starts happening with 1ed7f8ede564

    [LAA] Support pointer phis in loop by analyzing each incoming pointer.

    SCEV does not look through non-header PHIs inside the loop. Such phis
    can be analyzed by adding separate accesses for each incoming pointer
    value.

    This results in 2 more loops vectorized in SPEC2000/186.crafty and
    avoids regressions when sinking instructions before vectorizing.

    Reviewed By: Meinersbur

    Differential Revision: https://reviews.llvm.org/D101286

-- 
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/20210510/afef7937/attachment-0001.html>