[llvm-bugs] [Bug 48422] New: Assertion `SE->DT.dominates(ENT.ExitingBlock, Latch) && "We should only have known counts for exiting blocks that dominate " "latch!"' failed
via llvm-bugs
llvm-bugs at lists.llvm.org
Sun Dec 6 16:25:30 PST 2020
https://bugs.llvm.org/show_bug.cgi?id=48422
Bug ID: 48422
Summary: Assertion `SE->DT.dominates(ENT.ExitingBlock, Latch)
&& "We should only have known counts for exiting
blocks that dominate " "latch!"' failed
Product: Polly
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Optimizer
Assignee: polly-dev at googlegroups.com
Reporter: Vsevolod.Livinskij at frtk.ru
CC: llvm-bugs at lists.llvm.org
Reproducer:
extern short var_17;
void test(int a, bool b, bool p3, signed char c, int d[][14]) {
for (short e = b; e < p3 + 20; e++)
#pragma omp simd
for (int f = 0; f < c; f += b)
var_17 = d[e][f] ? a : 0;
}
Error:
>$ clang++ -fopenmp-simd -mllvm -polly -mllvm -polly-vectorizer=stripmine -O3 -c func.cpp
clang++: llvm/llvm-trunk/llvm/lib/Analysis/ScalarEvolution.cpp:7202: const
llvm::SCEV* llvm::ScalarEvolution::BackedgeTakenInfo::getExact(const
llvm::Loop*, llvm::ScalarEvolution*, llvm::SCEVUnionPredicate*) const:
Assertion `SE->DT.dominates(ENT.ExitingBlock, Latch) && "We should only have
known counts for exiting blocks that dominate " "latch!"' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: clang++ -fopenmp-simd -mllvm -polly -mllvm
-polly-vectorizer=stripmine -O3 -c func.cpp
1. <eof> parser at end of file
2. Per-module optimization passes
3. Running pass 'Function Pass Manager' on module 'func.cpp'.
4. Running pass 'Region Pass Manager' on function '@_Z4testibbaPA14_i'
5. Running pass 'Polly - Create LLVM-IR from SCoPs' on basic block
'%entry.split.us'
#0 0x000055ca878697d1 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(/clang-12+0x1f0e7d1)
#1 0x000055ca87867364 llvm::sys::RunSignalHandlers() (/clang-12+0x1f0c364)
#2 0x000055ca87867601 llvm::sys::CleanupOnSignal(unsigned long)
(/clang-12+0x1f0c601)
#3 0x000055ca877cd4b8 CrashRecoverySignalHandler(int) (/clang-12+0x1e724b8)
#4 0x00007f16373953c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x153c0)
#5 0x00007f1636e3518b raise
/build/glibc-ZN95T4/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#6 0x00007f1636e14859 abort /build/glibc-ZN95T4/glibc-2.31/stdlib/abort.c:81:7
#7 0x00007f1636e14729 get_sysdep_segment_value
/build/glibc-ZN95T4/glibc-2.31/intl/loadmsgcat.c:509:8
#8 0x00007f1636e14729 _nl_load_domain
/build/glibc-ZN95T4/glibc-2.31/intl/loadmsgcat.c:970:34
#9 0x00007f1636e25f36 (/lib/x86_64-linux-gnu/libc.so.6+0x36f36)
#10 0x000055ca86a16c55
llvm::ScalarEvolution::BackedgeTakenInfo::getExact(llvm::Loop const*,
llvm::ScalarEvolution*, llvm::SCEVUnionPredicate*) const (/clang-12+0x10bbc55)
#11 0x000055ca86a13239 llvm::SCEV const*
getExtendAddRecStart<llvm::SCEVZeroExtendExpr>(llvm::SCEVAddRecExpr const*,
llvm::Type*, llvm::ScalarEvolution*, unsigned int) (/clang-12+0x10b8239)
#12 0x000055ca86a13a09 llvm::ScalarEvolution::getZeroExtendExpr(llvm::SCEV
const*, llvm::Type*, unsigned int) (.localalias) (/clang-12+0x10b8a09)
#13 0x000055ca86a184ed llvm::ScalarEvolution::createSCEV(llvm::Value*)
(.part.0) (/clang-12+0x10bd4ed)
#14 0x000055ca86a1926d llvm::ScalarEvolution::getSCEV(llvm::Value*)
(/clang-12+0x10be26d)
#15 0x000055ca86a30acb
llvm::ScalarEvolution::createNodeForGEP(llvm::GEPOperator*)
(/clang-12+0x10d5acb)
#16 0x000055ca86a188cd llvm::ScalarEvolution::createSCEV(llvm::Value*)
(.part.0) (/clang-12+0x10bd8cd)
#17 0x000055ca86a1926d llvm::ScalarEvolution::getSCEV(llvm::Value*)
(/clang-12+0x10be26d)
#18 0x000055ca889c32eb polly::ScopAnnotator::annotate(llvm::Instruction*)
(/clang-12+0x30682eb)
#19 0x000055ca88a066d2
polly::BlockGenerator::generateArrayLoad(polly::ScopStmt&, llvm::LoadInst*,
llvm::DenseMap<llvm::AssertingVH<llvm::Value>, llvm::AssertingVH<llvm::Value>,
llvm::DenseMapInfo<llvm::AssertingVH<llvm::Value> >,
llvm::detail::DenseMapPair<llvm::AssertingVH<llvm::Value>,
llvm::AssertingVH<llvm::Value> > >&, llvm::DenseMap<llvm::Loop const*,
llvm::SCEV const*, llvm::DenseMapInfo<llvm::Loop const*>,
llvm::detail::DenseMapPair<llvm::Loop const*, llvm::SCEV const*> >&,
isl_id_to_ast_expr*) (/clang-12+0x30ab6d2)
#20 0x000055ca88a069da polly::BlockGenerator::copyInstruction(polly::ScopStmt&,
llvm::Instruction*, llvm::DenseMap<llvm::AssertingVH<llvm::Value>,
llvm::AssertingVH<llvm::Value>,
llvm::DenseMapInfo<llvm::AssertingVH<llvm::Value> >,
llvm::detail::DenseMapPair<llvm::AssertingVH<llvm::Value>,
llvm::AssertingVH<llvm::Value> > >&, llvm::DenseMap<llvm::Loop const*,
llvm::SCEV const*, llvm::DenseMapInfo<llvm::Loop const*>,
llvm::detail::DenseMapPair<llvm::Loop const*, llvm::SCEV const*> >&,
isl_id_to_ast_expr*) (/clang-12+0x30ab9da)
#21 0x000055ca88a06b7d polly::BlockGenerator::copyBB(polly::ScopStmt&,
llvm::BasicBlock*, llvm::BasicBlock*,
llvm::DenseMap<llvm::AssertingVH<llvm::Value>, llvm::AssertingVH<llvm::Value>,
llvm::DenseMapInfo<llvm::AssertingVH<llvm::Value> >,
llvm::detail::DenseMapPair<llvm::AssertingVH<llvm::Value>,
llvm::AssertingVH<llvm::Value> > >&, llvm::DenseMap<llvm::Loop const*,
llvm::SCEV const*, llvm::DenseMapInfo<llvm::Loop const*>,
llvm::detail::DenseMapPair<llvm::Loop const*, llvm::SCEV const*> >&,
isl_id_to_ast_expr*) (/clang-12+0x30abb7d)
#22 0x000055ca88a0ef5f polly::RegionGenerator::copyStmt(polly::ScopStmt&,
llvm::DenseMap<llvm::Loop const*, llvm::SCEV const*,
llvm::DenseMapInfo<llvm::Loop const*>, llvm::detail::DenseMapPair<llvm::Loop
const*, llvm::SCEV const*> >&, isl_id_to_ast_expr*) (/clang-12+0x30b3f5f)
#23 0x000055ca88a1f755 IslNodeBuilder::createUser(isl_ast_node*)
(/clang-12+0x30c4755)
#24 0x000055ca88a1c4f0 IslNodeBuilder::createBlock(isl_ast_node*)
(/clang-12+0x30c14f0)
#25 0x000055ca88a2460e
IslNodeBuilder::createForSequential(isl::noexceptions::ast_node, bool)
(/clang-12+0x30c960e)
#26 0x000055ca88a26f4c IslNodeBuilder::createFor(isl_ast_node*)
(/clang-12+0x30cbf4c)
#27 0x000055ca88a1c4f0 IslNodeBuilder::createBlock(isl_ast_node*)
(/clang-12+0x30c14f0)
#28 0x000055ca88a1e037 IslNodeBuilder::createIf(isl_ast_node*)
(/clang-12+0x30c3037)
#29 0x000055ca889bea91 CodeGen(polly::Scop&, polly::IslAstInfo&,
llvm::LoopInfo&, llvm::DominatorTree&, llvm::ScalarEvolution&,
llvm::RegionInfo&) (/clang-12+0x3063a91)
#30 0x000055ca869da819 llvm::RGPassManager::runOnFunction(llvm::Function&)
(/clang-12+0x107f819)
#31 0x000055ca871504f1 llvm::FPPassManager::runOnFunction(llvm::Function&)
(/clang-12+0x17f54f1)
#32 0x000055ca87150be9 llvm::FPPassManager::runOnModule(llvm::Module&)
(/clang-12+0x17f5be9)
#33 0x000055ca8714fe5c llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/clang-12+0x17f4e5c)
#34 0x000055ca87b43269 (anonymous
namespace)::EmitAssemblyHelper::EmitAssembly(clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >) (/clang-12+0x21e8269)
#35 0x000055ca87b44de0 clang::EmitBackendOutput(clang::DiagnosticsEngine&,
clang::HeaderSearchOptions const&, clang::CodeGenOptions const&,
clang::TargetOptions const&, clang::LangOptions const&, llvm::DataLayout
const&, llvm::Module*, clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >) (/clang-12+0x21e9de0)
#36 0x000055ca88894ed9
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(/clang-12+0x2f39ed9)
#37 0x000055ca89a9cac9 clang::ParseAST(clang::Sema&, bool, bool)
(/clang-12+0x4141ac9)
#38 0x000055ca88893ab0 clang::CodeGenAction::ExecuteAction()
(/clang-12+0x2f38ab0)
#39 0x000055ca881b6299 clang::FrontendAction::Execute() (/clang-12+0x285b299)
#40 0x000055ca88166446
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/clang-12+0x280b446)
#41 0x000055ca8828d408
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/clang-12+0x2932408)
#42 0x000055ca8656b247 cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/clang-12+0xc10247)
#43 0x000055ca86566698 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
(/clang-12+0xc0b698)
#44 0x000055ca8800b189 void llvm::function_ref<void
()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const::'lambda'()>(long) (/clang-12+0x26b0189)
#45 0x000055ca877cd63c
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
(/clang-12+0x1e7263c)
#46 0x000055ca8800be24
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const (.part.0) (/clang-12+0x26b0e24)
#47 0x000055ca87fde60b
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const (/clang-12+0x268360b)
#48 0x000055ca87fdf117
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
(/clang-12+0x2684117)
#49 0x000055ca87fe9fa9
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
(/clang-12+0x268efa9)
#50 0x000055ca864d975d main (/clang-12+0xb7e75d)
#51 0x00007f1636e160b3 __libc_start_main
/build/glibc-ZN95T4/glibc-2.31/csu/../csu/libc-start.c:342:3
#52 0x000055ca865661ee _start (/clang-12+0xc0b1ee)
clang-12: error: clang frontend command failed with exit code 134 (use -v to
see invocation)
clang version 12.0.0 (https://github.com/llvm/llvm-project.git
507bbc45bba90fab3f1a2b42e94ae4fbebdd6498)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir:
clang-12: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-12: note: diagnostic msg: /tmp/func-ea27e9.cpp
clang-12: note: diagnostic msg: /tmp/func-ea27e9.sh
clang-12: note: diagnostic msg:
********************
clang version 12.0.0 (https://github.com/llvm/llvm-project.git
507bbc45bba90fab3f1a2b42e94ae4fbebdd6498)
--
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/20201207/42934407/attachment-0001.html>
More information about the llvm-bugs
mailing list