<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 - A/F: llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:2496: llvm::slpvectorizer::BoUpSLP::~BoUpSLP(): Assertion `!verifyFunction(*F, &dbgs())' failed."
href="https://bugs.llvm.org/show_bug.cgi?id=48476">48476</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>A/F: llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:2496: llvm::slpvectorizer::BoUpSLP::~BoUpSLP(): Assertion `!verifyFunction(*F, &dbgs())' failed.
</td>
</tr>
<tr>
<th>Product</th>
<td>new-bugs
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>new bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>douglas_yung@playstation.sony.com
</td>
</tr>
<tr>
<th>CC</th>
<td>htmldeveloper@gmail.com, llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>In our internal testing, we hit an assertion that I bisected down to commit
c63799fc52ff2473dc64cdbc343cefb8bb786b6b. To reproduce the failure compile the
following code with optimizations and AVX extensions:
/* test3.cpp */
typedef double a __attribute__((__vector_size__(16)));
a b, c, d;
void e() {
a f = __builtin_ia32_addsubpd(c, d), g = __builtin_ia32_cmpnlesd(f, b);
volatile double h(g[0]);
}
Build the above repro with the following arguments:
$ clang -O2 -mavx test3.cpp
Instruction does not dominate all uses!
%4 = fsub <2 x double> %0, %1
%3 = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> %4, <2 x
double> %2, i8 6)
clang-12:
/home/dyung/src/upstream/llvm_clean_git/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:2496:
llvm::slpvectorizer::BoUpSLP::~BoUpSLP(): Assertion `!verifyFunction(*F,
&dbgs())' failed.
With a stack trace of the crash as follows:
1. <eof> parser at end of file
2. Per-module optimization passes
3. Running pass 'Function Pass Manager' on module 'test3.cpp'.
4. Running pass 'SLP Vectorizer' on function
'@_Z1ev'
#0 0x000000000548d3c3 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x548d3c3)
#1 0x000000000548b1ce llvm::sys::RunSignalHandlers()
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x548b1ce)
#2 0x000000000548d885 SignalHandler(int)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x548d885)
#3 0x00007f960ccac3c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x153c0)
#4 0x00007f960c75d18b raise
/build/glibc-YYA7BZ/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f960c73c859 abort /build/glibc-YYA7BZ/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f960c73c729 get_sysdep_segment_value
/build/glibc-YYA7BZ/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f960c73c729 _nl_load_domain
/build/glibc-YYA7BZ/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f960c74df36 (/lib/x86_64-linux-gnu/libc.so.6+0x36f36)
#9 0x0000000005633ed5 llvm::slpvectorizer::BoUpSLP::~BoUpSLP()
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5633ed5)
#10 0x0000000005652806 llvm::SLPVectorizerPass::runImpl(llvm::Function&,
llvm::ScalarEvolution*, llvm::TargetTransformInfo*, llvm::TargetLibraryInfo*,
llvm::AAResults*, llvm::LoopInfo*, llvm::DominatorTree*,
llvm::AssumptionCache*, llvm::DemandedBits*, llvm::Optimizat
ionRemarkEmitter*)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5652806)
#11 0x0000000005668ed9 (anonymous
namespace)::SLPVectorizer::runOnFunction(llvm::Function&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5668ed9)
#12 0x0000000004ced158 llvm::FPPassManager::runOnFunction(llvm::Function&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x4ced158)
#13 0x0000000004cf3a68 llvm::FPPassManager::runOnModule(llvm::Module&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x4cf3a68)
#14 0x0000000004ced807 llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x4ced807)
#15 0x00000000056d3de3 clang::EmitBackendOutput(clang::DiagnosticsEngine&,
clang::HeaderSearchOptions const&, clang::CodeGenOptions const&,
clang::TargetOptions const&, clang::LangOptions const&, llvm::DataLayout
const&, llvm::Module*, clang::BackendAction, std::uniqu
e_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream> >)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x56d3de3)
#16 0x0000000005e8cab4
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5e8cab4)
#17 0x0000000006f535a3 clang::ParseAST(clang::Sema&, bool, bool)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x6f535a3)
#18 0x0000000005dd51b3 clang::FrontendAction::Execute()
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5dd51b3)
#19 0x0000000005d2bc12
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5d2bc12)
#20 0x0000000005e86b02
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x5e86b02)
#21 0x000000000345e503 cc1_main(llvm::ArrayRef<char const*>, char const*,
void*)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x345e503)
#22 0x000000000345c22c ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x345c22c)
#23 0x000000000345bec3 main
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x345bec3)
#24 0x00007f960c73e0b3 __libc_start_main
/build/glibc-YYA7BZ/glibc-2.31/csu/../csu/libc-start.c:342:3
#25 0x0000000003458ebe _start
(/home/dyung/src/upstream/c63799fc52ff2473dc64cdbc343cefb8bb786b6b-linux/bin/clang-12+0x3458ebe)</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>