<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/60583>60583</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir]Test-Symbol-Uses Pass triggered Assertion failure "expected no unknown operations"
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
CelestineSmith
</td>
</tr>
</table>
<pre>
MLIR built at commit https://github.com/llvm/llvm-project/commit/034bab4c
Reproduced with:
```shell
mlir-opt --test-symbol-uses temp.mlir
```
`temp.mlir`:
```milr
module {
module attributes {
} {
func.func private @printMemrefF32(%ptr : memref<*xf32>)
}
}
```
trace:
```console
Assertion failed: (table.lookup(name) && "expected no unknown operations"), function runOnOperation, file TestSymbolUses.cpp, line 85.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: mlir-opt --test-symbol-uses temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 mlir-opt 0x0000000102b78d04 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x0000000102b77d6c llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x0000000102b7939c SignalHandler(int) + 344
3 libsystem_platform.dylib 0x00000001a56894c4 _sigtramp + 56
4 libsystem_pthread.dylib 0x00000001a5671ee0 pthread_kill + 288
5 libsystem_c.dylib 0x00000001a55ac340 abort + 168
6 libsystem_c.dylib 0x00000001a55ab754 err + 0
7 mlir-opt 0x00000001044b4e54 (anonymous namespace)::SymbolUsesPass::runOnOperation() (.cold.3) + 0
8 mlir-opt 0x0000000103d32cd4 (anonymous namespace)::SymbolUsesPass::runOnOperation() + 592
9 mlir-opt 0x0000000103d9f384 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 420
10 mlir-opt 0x0000000103d9f8b4 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
11 mlir-opt 0x0000000103da1230 mlir::PassManager::run(mlir::Operation*) + 1148
12 mlir-opt 0x0000000103d9a6e8 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
13 mlir-opt 0x0000000103d9a2b8 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
14 mlir-opt 0x0000000103e05834 mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) + 656
15 mlir-opt 0x0000000103d986e0 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
16 mlir-opt 0x0000000103d98bd4 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
17 mlir-opt 0x0000000102a1b7a4 main + 108
18 dyld 0x000000010728d088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWEtv67oR_jX0ZhBDot4LL5wX7gESJEjSAu3GoMSxzIYiVZLKOe6vL0jJrzzu9b04i4OiRhDZ5Lznm-GIzFrRKsQFyS5Jdj1jg9tos7hCidYJhc-dcJtZrfl2cX_37QnqQUgHzEGju0442DjXW5IsCb0l9LYVbjPU80Z3hN5K-bZ7XPRG_wsbR-jtyEfobZSkNavThkTXJFo-YW80Hxrk8F24jZcY1kkejX92g1KOa50U5kL3Di4uHFp3YbddreXFYNGCw66fe4J37NPP3eKBLI8-6uqEnPg7zQeJQIpLgHEFYFpjzhlRDw6t395tkuL6-CfAelDN3P-D3og35hBIGvVGKHePncH1bUIJLQnNemeAJEvowjJJrghd_lgnlCQ3hFZH8idj919OXZzMdIY1-NGzRiurJY6rS2vROKEVrJmQyL12QkvHaolzqfXr0BNaKtYhoRUQmhOaA6EUf_TYOOSgNAzqVenvCnSPhnlZllDq7aVXwfUg3gzqQT3sKMKWkAgvaN1zyN3fLNp50_d-SwqFUGbz0cbHu5vl8w3YofZoY1APLRjstXHg9J9Hn7B2QEvoLTDFQahGDhzBbRAaw-wGata8htBN6p8da16BD12_j2U0J1H1aHRrWAfMtEOHytmQufNxeZAb4K4HByM1-HBbnwZUdjAIWz3Ahr0hBE9GIvEfNCCU3zPwuHz5DbQBiy44gupNGK28VfDGDJA8urv7-_3q-R_3lw933_5587TyLCSPfAR7LVQIpa_J6uAkHLyJfkTjJ45oXZQ8SoMtnjZZ2q0dvzx6SAe3XgL0aHkgMuz7SltnkHUBRVcglBsxdQlZPqqMj1S-_5yaUPC8-cyEp0E9i1Yx-RtTXKKxobBGLXFMRzX0S8-qpGrgRACh5ZGhSZqOIhIAKWq7tQ67VS-ZW2vTzflWivpIJMvyskqbFFZWtM6wrj9xNz0R4jYGGf9MRhEjRjARrF6FlEEMLctRTnYsp_lEQsaaJI2A1b5mQijyiTX_Y9a6yFJAYwLj1GGK8xKVpnWKWeqhzJRW204PdkR3H_BRjUk7NIBHZqdEvu8XUxbLeaMlnye7hEz2lGeZk_CENvxnmnMJWTWBqvocVAmv1kmZhr1RFEfHhBy_P_Qv-qH3apac9U6bvTZCywNLsIMufdUcFo-sebezVExurbD3TLHWQ_gKaq2lfw4qnPX8uPpSOkUxjs4MY7Uu6z_v0qPo0Xf2E9dG0r2l-U_38ZjJq_qmrDOhYWvzQeopwah53Jhsf2QGlfum1hr8OeqChKk37MMYnxlGFtMkeqd958-nODgNx66rpVMtx_QrBLIcS-jR-Ca1bKYj-neb8y6Wu6d1fCRdreKp5W6YQb7qnSHJ1UHUsx5Mg_etIcnNLkTvkuqHyCutHP5wUwIO7Lt5YTXOPwemO92KhskntIP0Paz8PGxeVxXGpfc-TOUaTQ08Ts7FOqN1CV8Z8lcs_xjLQYl_D_ghlvfYabO9HNbrEeAfGTmu2SDdiqNEh18zJzdTTL7OeYha2GmYlH4IWq3ViSP3UpiH3t0zof4APb-Ghz8TSweKa8EkNu4JW2Gd2X5RL-c9pwOH0HQVBUWl1Kr9dSL4ASOhhop9DaXn1RBGWZkcnxe2l8ItFX80ukFrd9b_IpXxP1HJv0vxeW_M92N49tVBUuZ4fGD9vyP89I4wTvbxLhP5uadUWfP0y8xMg1CzYePI8-7QfXZGqPYJ1-f7Nc0eNNrNHsXnr1QsrguWQseEGjn2DCXwreTHxAUteVSWYB2bXlOyXRz2lxczvkh4lVRshos4L7KiyApKZ5tF1rA1ayIeNeuUlUVRxVWTV3FcRXFdY5LMxIJGNIloVMRJnFE6r-q4WWPZZFhRui4SkkbYMSHnPjBzbdpZuClY5L57zSSrUdpwRUapwu8QNgmlJLuemUV4M6-H1pI0ksI6e5DihJPhbi1ENrt-QesuxneMC_-SAR5h4IxoWzTI4fRKxr__n3PfMhuMXPz1u5Dg5H8DAAD__2KOENk">