<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - "level out of range" assert fail in DependenceAnalysis"
href="https://bugs.llvm.org/show_bug.cgi?id=51268">51268</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>"level out of range" assert fail in DependenceAnalysis
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>12.0
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Global Analyses
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>sean.m.bartell@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=25090" name="attach_25090" title="failing test from LLVM test suite">attachment 25090</a> <a href="attachment.cgi?id=25090&action=edit" title="failing test from LLVM test suite">[details]</a></span>
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 <a href="https://bugs.llvm.org/">https://bugs.llvm.org/</a> 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)</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>