[llvm-bugs] [Bug 48445] New: Assertion `StmtDomain.is_subset(NewDomain) && "Partial READ accesses not supported"' failed
via llvm-bugs
llvm-bugs at lists.llvm.org
Tue Dec 8 13:12:23 PST 2020
https://bugs.llvm.org/show_bug.cgi?id=48445
Bug ID: 48445
Summary: Assertion `StmtDomain.is_subset(NewDomain) && "Partial
READ accesses not supported"' 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 bool var_19;
extern short arr_18[];
void test(unsigned a, unsigned long long b,
unsigned long long p12, bool c[]) {
for (short d = 0; d < (char)b; d++)
for (bool e = 0; e < 1; e += b)
for (bool f = 0; f < 1; f += p12) {
arr_18[d] = c[p12];
var_19 = 0;
}
}
Error:
>$ clang++ -mllvm -polly -O2 -c func.cpp
clang++: /llvm-trunk/polly/lib/Analysis/ScopInfo.cpp:1083: void
polly::MemoryAccess::setNewAccessRelation(isl::noexceptions::map): Assertion
`StmtDomain.is_subset(NewDomain) && "Partial READ accesses not supported"'
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++ -mllvm -polly -O2 -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 '@_Z4testjyyPb'
5. Running pass 'Polly - DeLICM/DePRE' on basic block '%entry.split'
#0 0x0000558bacf1cb61 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(/clang-12+0x1eebb61)
#1 0x0000558bacf1a6f4 llvm::sys::RunSignalHandlers() (/clang-12+0x1ee96f4)
#2 0x0000558bacf1a991 llvm::sys::CleanupOnSignal(unsigned long)
(/clang-12+0x1ee9991)
#3 0x0000558bace7fc78 CrashRecoverySignalHandler(int) (/clang-12+0x1e4ec78)
#4 0x00007efe8616f3c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x153c0)
#5 0x00007efe85bf118b raise
/build/glibc-ZN95T4/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#6 0x00007efe85bd0859 abort /build/glibc-ZN95T4/glibc-2.31/stdlib/abort.c:81:7
#7 0x00007efe85bd0729 get_sysdep_segment_value
/build/glibc-ZN95T4/glibc-2.31/intl/loadmsgcat.c:509:8
#8 0x00007efe85bd0729 _nl_load_domain
/build/glibc-ZN95T4/glibc-2.31/intl/loadmsgcat.c:970:34
#9 0x00007efe85be1f36 (/lib/x86_64-linux-gnu/libc.so.6+0x36f36)
#10 0x0000558bae022771 (/clang-12+0x2ff1771)
#11 0x0000558badfd80b0 (anonymous
namespace)::DeLICMImpl::tryMapValue(polly::ScopArrayInfo const*,
isl::noexceptions::map) (/clang-12+0x2fa70b0)
#12 0x0000558badfda081 (anonymous
namespace)::DeLICMImpl::collapseScalarsToStore(polly::MemoryAccess*)
(/clang-12+0x2fa9081)
#13 0x0000558badfdb770 (anonymous namespace)::DeLICMImpl::greedyCollapse()
(/clang-12+0x2faa770)
#14 0x0000558badfdd472 (anonymous namespace)::DeLICM::runOnScop(polly::Scop&)
(/clang-12+0x2fac472)
#15 0x0000558bac096d89 llvm::RGPassManager::runOnFunction(llvm::Function&)
(/clang-12+0x1065d89)
#16 0x0000558bac80c971 llvm::FPPassManager::runOnFunction(llvm::Function&)
(/clang-12+0x17db971)
#17 0x0000558bac80d069 llvm::FPPassManager::runOnModule(llvm::Module&)
(/clang-12+0x17dc069)
#18 0x0000558bac80c2dc llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/clang-12+0x17db2dc)
#19 0x0000558bad1f4199 (anonymous
namespace)::EmitAssemblyHelper::EmitAssembly(clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >) (/clang-12+0x21c3199)
#20 0x0000558bad1f5f06 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+0x21c4f06)
#21 0x0000558badf47e29
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(/clang-12+0x2f16e29)
#22 0x0000558baf07e739 clang::ParseAST(clang::Sema&, bool, bool)
(/clang-12+0x404d739)
#23 0x0000558badf46a00 clang::CodeGenAction::ExecuteAction()
(/clang-12+0x2f15a00)
#24 0x0000558bad868829 clang::FrontendAction::Execute() (/clang-12+0x2837829)
#25 0x0000558bad818976
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/clang-12+0x27e7976)
#26 0x0000558bad93f940
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/clang-12+0x290e940)
#27 0x0000558babc27e37 cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/clang-12+0xbf6e37)
#28 0x0000558babc23268 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
(/clang-12+0xbf2268)
#29 0x0000558bad6bcd89 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+0x268bd89)
#30 0x0000558bace7fdfc
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
(/clang-12+0x1e4edfc)
#31 0x0000558bad6bda24
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+0x268ca24)
#32 0x0000558bad69020b
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const (/clang-12+0x265f20b)
#33 0x0000558bad690d17
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
(/clang-12+0x265fd17)
#34 0x0000558bad69bba9
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
(/clang-12+0x266aba9)
#35 0x0000558babb9617d main (/clang-12+0xb6517d)
#36 0x00007efe85bd20b3 __libc_start_main
/build/glibc-ZN95T4/glibc-2.31/csu/../csu/libc-start.c:342:3
#37 0x0000558babc22dbe _start (/clang-12+0xbf1dbe)
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
689b8e91f256b62519042c9a118d4b0ec1553b18)
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-148c06.cpp
clang-12: note: diagnostic msg: /tmp/func-148c06.sh
clang-12: note: diagnostic msg:
********************
clang version 12.0.0 (https://github.com/llvm/llvm-project.git
689b8e91f256b62519042c9a118d4b0ec1553b18)
--
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/20201208/0dae379c/attachment.html>
More information about the llvm-bugs
mailing list