[llvm-bugs] [Bug 51268] New: "level out of range" assert fail in DependenceAnalysis

[via llvm-bugs]

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

            Bug ID: 51268
           Summary: "level out of range" assert fail in DependenceAnalysis
           Product: libraries
           Version: 12.0
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: sean.m.bartell at gmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 25090
  --> https://bugs.llvm.org/attachment.cgi?id=25090&action=edit
failing test from LLVM test suite

Each of these three tests (fasta.ll, GCC-C-execute-960327-1.ll,
GCC-C-execute-pr33870.ll) triggers an assertion failure when DependenceInfo is
applied to every pair of instructions. For example:

opt --da --analyze GCC-C-execute-960327-1.ll
...
Printing analysis 'Dependence Analysis' for function 'f':
...
Src:  %7 = load i8, i8* %6, align 1, !tbaa !7 --> Dst:  store i16 88, i16* %10,
align 1
  da analyze - opt: /build/llvm/lib/Analysis/DependenceAnalysis.cpp:1157: bool
llvm::DependenceInfo::strongSIVtest(const llvm::SCEV*, const llvm::SCEV*, const
llvm::SCEV*, const llvm::Loop*, unsigned int, llvm::FullDependence&,
llvm::DependenceInfo::Constraint&) const: Assertion `0 < Level && Level <=
CommonLevels && "level out of range"' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
Stack dump:
0.      Program arguments: opt --da --analyze GCC-C-execute-960327-1.ll
1.      Running pass 'Function Pass Manager' on module
'GCC-C-execute-960327-1.ll'.
2.      Running pass 'FunctionPass Printer: Dependence Analysis' on function
'@f'
 #0 0x00007fb1b3a0135d llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0xd8e35d)
 #1 0x00007fb1b39ff5f4 llvm::sys::RunSignalHandlers()
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0xd8c5f4)
 #2 0x00007fb1b39ff77e SignalHandler(int)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0xd8c77e)
 #3 0x00007fb1b2c65700 __restore_rt
(/nix/store/sbbifs2ykc05inws26203h0xwcadnf0l-glibc-2.32-46/lib/libpthread.so.0+0x13700)
 #4 0x00007fb1b279933a raise
(/nix/store/sbbifs2ykc05inws26203h0xwcadnf0l-glibc-2.32-46/lib/libc.so.6+0x3c33a)
 #5 0x00007fb1b2783523 abort
(/nix/store/sbbifs2ykc05inws26203h0xwcadnf0l-glibc-2.32-46/lib/libc.so.6+0x26523)
 #6 0x00007fb1b278341f _nl_load_domain.cold.0
(/nix/store/sbbifs2ykc05inws26203h0xwcadnf0l-glibc-2.32-46/lib/libc.so.6+0x2641f)
 #7 0x00007fb1b2791d92
(/nix/store/sbbifs2ykc05inws26203h0xwcadnf0l-glibc-2.32-46/lib/libc.so.6+0x34d92)
 #8 0x00007fb1b4fec109 llvm::DependenceInfo::strongSIVtest(llvm::SCEV const*,
llvm::SCEV const*, llvm::SCEV const*, llvm::Loop const*, unsigned int,
llvm::FullDependence&, llvm::DependenceInfo::Constraint&) const
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0x2379109)
 #9 0x00007fb1b4ff29b3 llvm::DependenceInfo::testSIV(llvm::SCEV const*,
llvm::SCEV const*, unsigned int&, llvm::FullDependence&,
llvm::DependenceInfo::Constraint&, llvm::SCEV const*&) const
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0x237f9b3)
#10 0x00007fb1b4ff8e2c llvm::DependenceInfo::depends(llvm::Instruction*,
llvm::Instruction*, bool)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0x2385e2c)
#11 0x00007fb1b4ffc201 dumpExampleDependence(llvm::raw_ostream&,
llvm::DependenceInfo*)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0x2389201)
#12 0x00000000004310d7 (anonymous
namespace)::FunctionPassPrinter::runOnFunction(llvm::Function&)
(/nix/store/lpxb0f7wjfm69g9j7m2gncs1mgbx8q35-llvm-12.0.0/bin/opt+0x4310d7)
#13 0x00007fb1b3b66fad llvm::FPPassManager::runOnFunction(llvm::Function&)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0xef3fad)
#14 0x00007fb1b3b67691 llvm::FPPassManager::runOnModule(llvm::Module&)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0xef4691)
#15 0x00007fb1b3b66963 llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/nix/store/iqm3zq1acrf4g922rgldc6h8jr9vl9cr-llvm-12.0.0-lib/lib/libLLVM-12.so+0xef3963)
#16 0x0000000000421799 main
(/nix/store/lpxb0f7wjfm69g9j7m2gncs1mgbx8q35-llvm-12.0.0/bin/opt+0x421799)
#17 0x00007fb1b2784ded __libc_start_main
(/nix/store/sbbifs2ykc05inws26203h0xwcadnf0l-glibc-2.32-46/lib/libc.so.6+0x27ded)
#18 0x000000000042234a _start
(/nix/store/lpxb0f7wjfm69g9j7m2gncs1mgbx8q35-llvm-12.0.0/bin/opt+0x42234a)

-- 
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/20210729/830a80fd/attachment.html>