[prev in list] [next in list] [prev in thread] [next in thread] 

List:       llvm-bugs
Subject:    [llvm-bugs] [Bug 46525] New: ICE: Assertion `!verifyFunction(*L->getHeader()->getParent())' failed
From:       via llvm-bugs <llvm-bugs () lists ! llvm ! org>
Date:       2020-06-30 20:07:18
Message-ID: bug-46525-206 () http ! bugs ! llvm ! org/
[Download RAW message or body]

--1593547638.Ac7cD0.8532
Date: Tue, 30 Jun 2020 13:07:18 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://bugs.llvm.org/
Auto-Submitted: auto-generated

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

            Bug ID: 46525
           Summary: ICE: Assertion
                    `!verifyFunction(*L->getHeader()->getParent())' failed
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs@nondot.org
          Reporter: Vsevolod.Livinskij@frtk.ru
                CC: htmldeveloper@gmail.com, llvm-bugs@lists.llvm.org

Error:
> $ clang++ -c -O3 func.cpp
clang++: llvm/llvm-trunk/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:7993:
bool llvm::LoopVectorizePass::processLoop(llvm::Loop*): Assertion
`!verifyFunction(*L->getHeader()->getParent())' 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++ -c -O3 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 'Loop Vectorization' on function '@_Z4testv'
 #0 0x000055f2ca9fce3e llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(llvm/bin-trunk/bin/clang-11+0x238ee3e)
 #1 0x000055f2ca9fac14 llvm::sys::RunSignalHandlers()
(llvm/bin-trunk/bin/clang-11+0x238cc14)
 #2 0x000055f2ca9fae91 llvm::sys::CleanupOnSignal(unsigned long)
(llvm/bin-trunk/bin/clang-11+0x238ce91)
 #3 0x000055f2ca968ee8 CrashRecoverySignalHandler(int)
(llvm/bin-trunk/bin/clang-11+0x22faee8)
 #4 0x00007ff9528db540 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x15540)
 #5 0x00007ff9523703eb raise
/build/glibc-t7JzpG/glibc-2.30/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #6 0x00007ff95234f899 abort /build/glibc-t7JzpG/glibc-2.30/stdlib/abort.c:81:7
 #7 0x00007ff95234f769 get_sysdep_segment_value
/build/glibc-t7JzpG/glibc-2.30/intl/loadmsgcat.c:509:8
 #8 0x00007ff95234f769 _nl_load_domain
/build/glibc-t7JzpG/glibc-2.30/intl/loadmsgcat.c:970:34
 #9 0x00007ff952361006 (/lib/x86_64-linux-gnu/libc.so.6+0x37006)
#10 0x000055f2cabc9a47 llvm::LoopVectorizePass::processLoop(llvm::Loop*)
(llvm/bin-trunk/bin/clang-11+0x255ba47)
#11 0x000055f2cabcb710 llvm::LoopVectorizePass::runImpl(llvm::Function&,
llvm::ScalarEvolution&, llvm::LoopInfo&, llvm::TargetTransformInfo&,
llvm::DominatorTree&, llvm::BlockFrequencyInfo&, llvm::TargetLibraryInfo*,
llvm::DemandedBits&, llvm::AAResults&, llvm::AssumptionCache&,
std::function<llvm::LoopAccessInfo const& (llvm::Loop&)>&,
llvm::OptimizationRemarkEmitter&, llvm::ProfileSummaryInfo*)
(llvm/bin-trunk/bin/clang-11+0x255d710)
#12 0x000055f2cabcbba7 (anonymous
namespace)::LoopVectorize::runOnFunction(llvm::Function&)
(llvm/bin-trunk/bin/clang-11+0x255dba7)
#13 0x000055f2ca334f0c llvm::FPPassManager::runOnFunction(llvm::Function&)
(llvm/bin-trunk/bin/clang-11+0x1cc6f0c)
#14 0x000055f2ca3355d9 llvm::FPPassManager::runOnModule(llvm::Module&)
(llvm/bin-trunk/bin/clang-11+0x1cc75d9)
#15 0x000055f2ca335987 llvm::legacy::PassManagerImpl::run(llvm::Module&)
(llvm/bin-trunk/bin/clang-11+0x1cc7987)
#16 0x000055f2cacaac06 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> >)
(llvm/bin-trunk/bin/clang-11+0x263cc06)
#17 0x000055f2cb991591
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(llvm/bin-trunk/bin/clang-11+0x3323591)
#18 0x000055f2cc70d2e9 clang::ParseAST(clang::Sema&, bool, bool)
(llvm/bin-trunk/bin/clang-11+0x409f2e9)
#19 0x000055f2cb990098 clang::CodeGenAction::ExecuteAction()
(llvm/bin-trunk/bin/clang-11+0x3322098)
#20 0x000055f2cb2d3f69 clang::FrontendAction::Execute()
(llvm/bin-trunk/bin/clang-11+0x2c65f69)
#21 0x000055f2cb28afde
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(llvm/bin-trunk/bin/clang-11+0x2c1cfde)
#22 0x000055f2cb3a8d80
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(llvm/bin-trunk/bin/clang-11+0x2d3ad80)
#23 0x000055f2c9299269 cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (llvm/bin-trunk/bin/clang-11+0xc2b269)
#24 0x000055f2c9296618 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
(llvm/bin-trunk/bin/clang-11+0xc28618)
#25 0x000055f2cb14d699 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)
(llvm/bin-trunk/bin/clang-11+0x2adf699)
#26 0x000055f2ca96906c
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
(llvm/bin-trunk/bin/clang-11+0x22fb06c)
#27 0x000055f2cb14dfc6
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)
(llvm/bin-trunk/bin/clang-11+0x2adffc6)
#28 0x000055f2cb1256cc
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const (llvm/bin-trunk/bin/clang-11+0x2ab76cc)
#29 0x000055f2cb126006
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
(llvm/bin-trunk/bin/clang-11+0x2ab8006)
#30 0x000055f2cb12f3a9
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
(llvm/bin-trunk/bin/clang-11+0x2ac13a9)
#31 0x000055f2c9219109 main (llvm/bin-trunk/bin/clang-11+0xbab109)
#32 0x00007ff9523511e3 __libc_start_main
/build/glibc-t7JzpG/glibc-2.30/csu/../csu/libc-start.c:342:3
#33 0x000055f2c929616e _start (llvm/bin-trunk/bin/clang-11+0xc2816e)
clang-11: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 11.0.0 (https://github.com/llvm/llvm-project.git
5cba1c6336c790877b631e4fcd3cb6e49452a00c)
Target: x86_64-unknown-linux-gnu
Thread model: posix

Reproducer:
extern int var_1, var_3;
extern short var_7, var_11;
extern char var_8;
extern unsigned long var_10;
extern int arr_148[];

long long int max(long long int a, long long int b) {
    return a > b ? a : b;
}

void test() {
  for (long a = 0; a < var_1; a++)
    for (char b = 0; b < 6; b += 2)
      for (char c = 0; c < (char)var_11; c = 1)
        #pragma clang loop vectorize_predicate(enable)
        for (char d(var_8); d < 5;
             d += var_10 / (max(492802768830814067LL, (long long)var_3) +
var_7) + 1)
          arr_148[d] = 0;
}

Clang version:
clang version 11.0.0 (https://github.com/llvm/llvm-project.git
5cba1c6336c790877b631e4fcd3cb6e49452a00c)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
--1593547638.Ac7cD0.8532
Date: Tue, 30 Jun 2020 13:07:18 -0700
MIME-Version: 1.0
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://bugs.llvm.org/
Auto-Submitted: auto-generated

<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 - ICE: Assertion `!verifyFunction(*L-&gt;getHeader()-&gt;getParent())' \
failed"  href="https://bugs.llvm.org/show_bug.cgi?id=46525">46525</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>ICE: Assertion `!verifyFunction(*L-&gt;getHeader()-&gt;getParent())' \
failed  </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>new-bugs
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </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>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&#64;nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>Vsevolod.Livinskij&#64;frtk.ru
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>htmldeveloper&#64;gmail.com, llvm-bugs&#64;lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>Error:
<span class="quote">&gt;$ clang++ -c -O3 func.cpp</span >
clang++: llvm/llvm-trunk/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:7993:
bool llvm::LoopVectorizePass::processLoop(llvm::Loop*): Assertion
`!verifyFunction(*L-&gt;getHeader()-&gt;getParent())' failed.
PLEASE submit a bug report to <a \
href="https://bugs.llvm.org/">https://bugs.llvm.org/</a> and include the crash \
backtrace, preprocessed source, and associated run script. Stack dump:
0.      Program arguments: clang++ -c -O3 func.cpp 
1.      &lt;eof&gt; parser at end of file
2.      Per-module optimization passes
3.      Running pass 'Function Pass Manager' on module 'func.cpp'.
4.      Running pass 'Loop Vectorization' on function '&#64;_Z4testv'
 #0 0x000055f2ca9fce3e llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;)
(llvm/bin-trunk/bin/clang-11+0x238ee3e)
 #1 0x000055f2ca9fac14 llvm::sys::RunSignalHandlers()
(llvm/bin-trunk/bin/clang-11+0x238cc14)
 #2 0x000055f2ca9fae91 llvm::sys::CleanupOnSignal(unsigned long)
(llvm/bin-trunk/bin/clang-11+0x238ce91)
 #3 0x000055f2ca968ee8 CrashRecoverySignalHandler(int)
(llvm/bin-trunk/bin/clang-11+0x22faee8)
 #4 0x00007ff9528db540 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x15540)
 #5 0x00007ff9523703eb raise
/build/glibc-t7JzpG/glibc-2.30/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #6 0x00007ff95234f899 abort /build/glibc-t7JzpG/glibc-2.30/stdlib/abort.c:81:7
 #7 0x00007ff95234f769 get_sysdep_segment_value
/build/glibc-t7JzpG/glibc-2.30/intl/loadmsgcat.c:509:8
 #8 0x00007ff95234f769 _nl_load_domain
/build/glibc-t7JzpG/glibc-2.30/intl/loadmsgcat.c:970:34
 #9 0x00007ff952361006 (/lib/x86_64-linux-gnu/libc.so.6+0x37006)
#10 0x000055f2cabc9a47 llvm::LoopVectorizePass::processLoop(llvm::Loop*)
(llvm/bin-trunk/bin/clang-11+0x255ba47)
#11 0x000055f2cabcb710 llvm::LoopVectorizePass::runImpl(llvm::Function&amp;,
llvm::ScalarEvolution&amp;, llvm::LoopInfo&amp;, llvm::TargetTransformInfo&amp;,
llvm::DominatorTree&amp;, llvm::BlockFrequencyInfo&amp;, llvm::TargetLibraryInfo*,
llvm::DemandedBits&amp;, llvm::AAResults&amp;, llvm::AssumptionCache&amp;,
std::function&lt;llvm::LoopAccessInfo const&amp; (llvm::Loop&amp;)&gt;&amp;,
llvm::OptimizationRemarkEmitter&amp;, llvm::ProfileSummaryInfo*)
(llvm/bin-trunk/bin/clang-11+0x255d710)
#12 0x000055f2cabcbba7 (anonymous
namespace)::LoopVectorize::runOnFunction(llvm::Function&amp;)
(llvm/bin-trunk/bin/clang-11+0x255dba7)
#13 0x000055f2ca334f0c llvm::FPPassManager::runOnFunction(llvm::Function&amp;)
(llvm/bin-trunk/bin/clang-11+0x1cc6f0c)
#14 0x000055f2ca3355d9 llvm::FPPassManager::runOnModule(llvm::Module&amp;)
(llvm/bin-trunk/bin/clang-11+0x1cc75d9)
#15 0x000055f2ca335987 llvm::legacy::PassManagerImpl::run(llvm::Module&amp;)
(llvm/bin-trunk/bin/clang-11+0x1cc7987)
#16 0x000055f2cacaac06 clang::EmitBackendOutput(clang::DiagnosticsEngine&amp;,
clang::HeaderSearchOptions const&amp;, clang::CodeGenOptions const&amp;,
clang::TargetOptions const&amp;, clang::LangOptions const&amp;, llvm::DataLayout
const&amp;, llvm::Module*, clang::BackendAction,
std::unique_ptr&lt;llvm::raw_pwrite_stream,
std::default_delete&lt;llvm::raw_pwrite_stream&gt; &gt;)
(llvm/bin-trunk/bin/clang-11+0x263cc06)
#17 0x000055f2cb991591
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&amp;)
(llvm/bin-trunk/bin/clang-11+0x3323591)
#18 0x000055f2cc70d2e9 clang::ParseAST(clang::Sema&amp;, bool, bool)
(llvm/bin-trunk/bin/clang-11+0x409f2e9)
#19 0x000055f2cb990098 clang::CodeGenAction::ExecuteAction()
(llvm/bin-trunk/bin/clang-11+0x3322098)
#20 0x000055f2cb2d3f69 clang::FrontendAction::Execute()
(llvm/bin-trunk/bin/clang-11+0x2c65f69)
#21 0x000055f2cb28afde
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&amp;)
(llvm/bin-trunk/bin/clang-11+0x2c1cfde)
#22 0x000055f2cb3a8d80
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(llvm/bin-trunk/bin/clang-11+0x2d3ad80)
#23 0x000055f2c9299269 cc1_main(llvm::ArrayRef&lt;char const*&gt;, char const*,
void*) (llvm/bin-trunk/bin/clang-11+0xc2b269)
#24 0x000055f2c9296618 ExecuteCC1Tool(llvm::SmallVectorImpl&lt;char const*&gt;&amp;)
(llvm/bin-trunk/bin/clang-11+0xc28618)
#25 0x000055f2cb14d699 void llvm::function_ref&lt;void
()&gt;::callback_fn&lt;clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;llvm::Optional&lt;llvm::StringRef&gt;
 <span class="quote">&gt;, std::__cxx11::basic_string&lt;char, \
std::char_traits&lt;char&gt;,</span > std::allocator&lt;char&gt; &gt;*, bool*) \
const::'lambda'()&gt;(long) (llvm/bin-trunk/bin/clang-11+0x2adf699)
#26 0x000055f2ca96906c
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref&lt;void ()&gt;)
(llvm/bin-trunk/bin/clang-11+0x22fb06c)
#27 0x000055f2cb14dfc6
clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;llvm::Optional&lt;llvm::StringRef&gt;
 <span class="quote">&gt;, std::__cxx11::basic_string&lt;char, \
std::char_traits&lt;char&gt;,</span > std::allocator&lt;char&gt; &gt;*, bool*) const \
(.part.0) (llvm/bin-trunk/bin/clang-11+0x2adffc6)
#28 0x000055f2cb1256cc
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&amp;,
clang::driver::Command const*&amp;) const (llvm/bin-trunk/bin/clang-11+0x2ab76cc)
#29 0x000055f2cb126006
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&amp;,
llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt; \
&gt;&amp;) const (llvm/bin-trunk/bin/clang-11+0x2ab8006)
#30 0x000055f2cb12f3a9
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&amp;,
llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt; \
&gt;&amp;) (llvm/bin-trunk/bin/clang-11+0x2ac13a9)
#31 0x000055f2c9219109 main (llvm/bin-trunk/bin/clang-11+0xbab109)
#32 0x00007ff9523511e3 __libc_start_main
/build/glibc-t7JzpG/glibc-2.30/csu/../csu/libc-start.c:342:3
#33 0x000055f2c929616e _start (llvm/bin-trunk/bin/clang-11+0xc2816e)
clang-11: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 11.0.0 (<a \
href="https://github.com/llvm/llvm-project.git">https://github.com/llvm/llvm-project.git</a>
 5cba1c6336c790877b631e4fcd3cb6e49452a00c)
Target: x86_64-unknown-linux-gnu
Thread model: posix

Reproducer:
extern int var_1, var_3;
extern short var_7, var_11;
extern char var_8;
extern unsigned long var_10;
extern int arr_148[];

long long int max(long long int a, long long int b) {
    return a &gt; b ? a : b;
}

void test() {
  for (long a = 0; a &lt; var_1; a++)
    for (char b = 0; b &lt; 6; b += 2)
      for (char c = 0; c &lt; (char)var_11; c = 1)
        #pragma clang loop vectorize_predicate(enable)
        for (char d(var_8); d &lt; 5;
             d += var_10 / (max(492802768830814067LL, (long long)var_3) +
var_7) + 1)
          arr_148[d] = 0;
}

Clang version:
clang version 11.0.0 (<a \
href="https://github.com/llvm/llvm-project.git">https://github.com/llvm/llvm-project.git</a>
 5cba1c6336c790877b631e4fcd3cb6e49452a00c)</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>
--1593547638.Ac7cD0.8532--


[Attachment #3 (text/plain)]

_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs


[prev in list] [next in list] [prev in thread] [next in thread] 

Configure | About | News | Add a list | Sponsored by KoreLogic