<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/205063>205063</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] Assertion `!NodePtr->isKnownSentinel()' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Anonymous7i0em3yd
</td>
</tr>
</table>
<pre>
git version: 5492d06d4fb99795b3b7247be374cdcb47f5ac03
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -tosa-experimental-input-shape a.mlir`
a.mlir:
```mlir
module {
func.func @emitc_literal(%arg0: f32) {
%0 = emitc.literal "M_PI" : f32
%1 = emitc.add %arg0, %0 : (f32, f32) -> f32
return
}
func.func private @mlirAsyncRuntimeAddRef() -> i1
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/llvm/include/llvm/ADT/ilist_iterator.h:168: reference llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Block, true, false, void, false, void>, false, false>::operator*() const [OptionsT = llvm::ilist_detail::node_options<mlir::Block, true, false, void, false, void>, IsReverse = false, IsConst = false]: Assertion `!NodePtr->isKnownSentinel()' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
#0 0x000055a044b410f8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x20300f8)
#1 0x000055a044b3df91 llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x202cf91)
#2 0x000055a044b42216 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#3 0x00007fd5609c7420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007fd56000400b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007fd55ffe3859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007fd55ffe3729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007fd55ffe3729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007fd55fff4fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000055a0490c0b48 (anonymous namespace)::TosaInputShape::runOnOperation() TosaInputShape.cpp:0:0
#10 0x000055a04d4ec502 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xa9db502)
#11 0x000055a04d4ed344 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xa9dc344)
#12 0x000055a04d4f7ece auto void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)::operator()<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&>(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&) const Pass.cpp:0:0
#13 0x000055a04d4f7fdf void llvm::detail::UniqueFunctionBase<void>::CallImpl<llvm::LogicalResult mlir::failableParallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12&&)::'lambda'()>(void*) Pass.cpp:0:0
#14 0x000055a04d46c2a3 std::_Function_handler<std::unique_ptr<std::__future_base::_Result_base, std::__future_base::_Result_base::_Deleter> (), std::__future_base::_Task_setter<std::unique_ptr<std::__future_base::_Result<void>, std::__future_base::_Result_base::_Deleter>, std::thread::_Invoker<std::tuple<llvm::unique_function<void ()>>>, void>>::_M_invoke(std::_Any_data const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xa95b2a3)
#15 0x000055a04d46c1f7 std::__future_base::_State_baseV2::_M_do_set(std::function<std::unique_ptr<std::__future_base::_Result_base, std::__future_base::_Result_base::_Deleter> ()>*, bool*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xa95b1f7)
#16 0x00007fd5609c44df __pthread_once_slow /build/glibc-LcI20x/glibc-2.31/nptl/pthread_once.c:118:7
#17 0x000055a04d46c709 std::__future_base::_Deferred_state<std::thread::_Invoker<std::tuple<llvm::unique_function<void ()>>>, void>::_M_complete_async() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xa95b709)
#18 0x000055a04d46c825 std::__basic_future<void>::wait() const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xa95b825)
#19 0x000055a04d89c10f llvm::StdThreadPool::processTasks(llvm::ThreadPoolTaskGroup*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0xad8b10f)
#20 0x000055a04d89e46b void* llvm::thread::ThreadProxy<std::tuple<llvm::StdThreadPool::grow(int)::$_0>>(void*) ThreadPool.cpp:0:0
#21 0x00007fd5609bb609 start_thread /build/glibc-LcI20x/glibc-2.31/nptl/pthread_create.c:478:7
#22 0x00007fd5600e0353 __clone /build/glibc-LcI20x/glibc-2.31/misc/../sysdeps/unix/sysv/linux/x86_64/clone.S:97:0
Aborted (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWl9z5CYS_zT4hfIUQv8f_CCPPXeu27112c69qhCgMbcM6AD5z336K5BmJE02iZM9724lU5WsRy2gu3-_bmgExFqxVZxfgPQSpFdnpHeP2lxUSqvXne5tLhDfxa_srNHs9WIrHHzixgqtQFzBNCkxQxlL2qYs8zJt4ibHSd7wOE8oo02StymhKAaoAqiyr9bxne8HMvRT0yvXw6hYoWSVwQ8P9yBDQzvDO6NZTzl8Fu5xbL-TwpzrzsFzpy055y8dN2LHlSPyXKiud-f2kXQckpVveRhrfIwrCAeBfxP-C3JU7TTrJYcgvwSogrDtFV35fyBIEN8JR2spHDdEAlwAnBKzRX60NsYAl4duEAKcIgjiKxg6rcZOEGD8sb69ARjDfbdD-2jWnjAG98Pj9X60CgJcBFXrvcZzEF_PhjHc9UaFB5BfHbnQGfFEHPeueG8r-6roXa-c2PGKsTveBp_GMUXk0QljzGEaqXOEfobOEMpBXP28yZ6dweQNI44AvLH_fQV48_HDzR3AGymfdueGS04s3z92Rv-bUzc-ArwRisqe8UlQXT14sRTW1QFSp83Kx0SUFV6Z4S03XFEOQ4e4AnG1bA3i9fErxh0RcpAozXitOye0siBej9EC4upSavrZA-9MzwMBRNrw40kL9nNBfL2QDT_i62Ew3Y3G4GrEnGplHQTp5adB90MIhm9o6Y294z6VeVB8aHFj14NlB2F65YGurOXG6_bJCHD0T834rTM-dIT9h9LP6p4rJxQfEqUEOIctEZKzFUDV7Yfr6v4a2r7ZCQcJbPotNLzTxkGn4aNznfW-4A3Am61wj32zono3hcFRtAhre24B3kCiGByDBrpHDqkh9hE2hH4OwTq-t870NADn1U3zi-_R9FtvIQQ4RhC9IIRQmhKUJE0SobaYUWJf7fDj1gjl7n1KPISMwMXUyJDnWltnONkBnHlEhXJhqvCw_IHMaHohmf8rFMCbQ6LhS_SCUYxQG9AeHIiWDsSsLaMvOXDXq3uxVUT-nSgmubFjUL6LjZi2ZTTZiI9AxjjK4MIagIuA2RpasRWq1bULebOP58qbOvSwK9p1IK5Q-H9QEI8K8palGSppnmAE69pw67ThtXGjm1I0AG9eiqzOknMpVP9yvlX98KJzj4YTtrJ6hYIbUZJgNDmRLHQglCDUQEOEz6YJjq0UDT3_QG8wejk84lUceXSD_QBvViv_9GoZ73xE90q8DIKnYIrq_WMYekVBXKWRn_xGM9KZGWnb8rhIS0gaHXx8mxmODTiEXkFD4TXko4bsWEOOS7jlrh4sri3f-kW4fiKyf7PvQjnvudSE7eyWkkFvikqvfVScf0lxrWTte9VM74hQX6evzH3UxMmosFgqbJOWZW-IFOpjJAsxEscty6YYKeeBXiKKmqTwA5J9aQUV2XHbhRmkHBLzQVty46uZe1_MjDNKrz6pT2EB8WXXkKnLhkdZ4GeCxVzGEk5ThOG0ZswXlk_dg_7U3RJrK0a6sGSOegEupi6-wZiHk3Bm19GbShH5aoX9SBTZ-qRew0Zr6f_2KtSc7B2nRlKyJkV4YMPjER3hweIk-d143IqOS6H4Apeh6cHN7P8O0LyTV3UT1jOfdmNB8csNBs3Di9H2W2K4cjeq1UMNMs6n78MBjZNk4gAvOWhz7lfo3ukwsc-c6IghUnK50eaa0EcQr-t6q_qavrwMDepaabMjcl7l_V4yZ0kVKuObXedrl4GD8sDtRw_VCLN1bJA_cfotlM40Eik1_Rae-pL1eqwR30MRwEkd4aBglkQ-1tZaOf6yX-tPjH8Pxk-o_8nyzK9H2UyYS7JrGAE4B7g4sf3t2V7wMX0XCLu49_Y8G6bdE-3fjfbxu48f-AtFe3xcILWsHWqjaRM_t_InJf7T802vwseNS1-gxev9N57QYk2kDBbOv4J90FtBibzjtpduNvm0REjSSF8insqv7x4x61NV_GPScqqK_2qMn1D_k-XZqSr-wdg-8HGaAH88ck6o_7UmwEMizs7bfmHHkix3LBnFJJ5Qq_dbk_pxPNqL14eXfdi81J1bSOu67V1veN2E3UwQDRuVQTIn5bfaDpIrLrnzqq_h_mj6N8Z4IPZzbblzX2fwbC_2NVYvOg_nkmObG_WkPy9tdH0n-WKzN1rdjkyMRsGJ5sV2Yy8I43-sRdAAcDFZX6nXmhFH9qcH2budHqQNJvF0epAeh1rU5r-O6r0jbhD8Cx9cYtpTO3dpBs0PEJyei2o6DHq_w5m0idp8gjc7OjZPEtbCuh5PwmutKK-t1M9vPXRVXTh0nfcPx65RVIzny15rfkxqjspfx_CKt9wYzmrr2V3E_rfIjTGKqN51nrma-In2_a5PeJpyVE40FceAFTidA9YQK-gI2_HHoGci3PL60fsYXOB0MnhxDM6KkkaonX3OunfsIfB268M9iDqjKbfWz8J2cbdmaujf_c3ovnvHBGFFE6H24AhGR47wJGv2N1JmDs2jcDTY6JfXXw_EL6CwNfp5fxNmtnajfUzOF-ep78-XaBwtE7tpspBixLh6sPUPZjQ1nLghp5N8ltMYLy_HcBSnMaxrKrV68xWRnbD0rZdjhosZAG-ChtV9uNsxAlA12jgeUppqwyHrdx1nI6mzC4xn7CJmZVySM34R5QWOogLlydnjRUHzJot4UtCM5wTxJC9bXGY0TyMakSw9ExcY4QxlGKMiydNkRSlqSu81izlBBQ0XSYmQK0_3SpvtWbi-doFRirL4TJKGSxuu32IcKj6MQXp1Zi5CrDb91oIESWGdnUZwwslwZTd0SK--5nreWW_kxR-_gje68XSB_xcAAP__THTf2g">