<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/131098>131098</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] 'gpu.launch_func' crashed on SymbolUsesPass
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          sweead
      </td>
    </tr>
</table>

<pre>
    Test commit: https://github.com/llvm/llvm-project/commit/9e91725fd4d4ee30e98ab2682f93b423590a4ade

Steps to reproduce:
```shell
mlir-opt test.mlir -test-symbol-uses
```
Test case:
```mlir
module attributes {gpu.container_module} {
  func.func @main(%arg0: tensor<4x4xf32>) attributes {pattern_driver_all_erased = true, pattern_driver_changed = false} {
    %0 = llvm.mlir.constant(128 : index) : i64
    %1 = llvm.mlir.constant(1 : index) : i64
    %2 = builtin.unrealized_conversion_cast %1 : i64 to index
    %3 = builtin.unrealized_conversion_cast %0 : i64 to index
    %4 = gpu.wait async
    %5 = gpu.launch_func async [%4] @main_kernel::@main_kernel blocks in (%2, %2, %2) threads in (%2, %2, %2)  args(%3 : index)
    return
  }
 gpu.module @main_kernel {
    gpu.func @main_kernel(%arg0: index) kernel attributes {known_block_size = array<i32: 1, 1, 1>} {
      gpu.return
 }
  }
}
```
Crash trace:
```console
10.mlir:2:3: remark: symbol contains 1 nested references
  func.func @main(%arg0: tensor<4x4xf32>) attributes {pattern_driver_all_erased = true, pattern_driver_changed = false} {
  ^
10.mlir:2:3: note: see current operation: 
func.func @main(%arg0: tensor<4x4xf32>) attributes {pattern_driver_all_erased = true, pattern_driver_changed = false} {
  %0 = llvm.mlir.constant(128 : index) : i64
  %1 = llvm.mlir.constant(1 : index) : i64
  %2 = builtin.unrealized_conversion_cast %1 : i64 to index
  %3 = builtin.unrealized_conversion_cast %0 : i64 to index
  %4 = gpu.wait async
 %5 = gpu.launch_func async [%4] @main_kernel::@main_kernel blocks in (%2, %2, %2) threads in (%2, %2, %2)  args(%3 : index)
  return
}
10.mlir:2:3: remark: symbol has no uses
  func.func @main(%arg0: tensor<4x4xf32>) attributes {pattern_driver_all_erased = true, pattern_driver_changed = false} {
  ^
10.mlir:2:3: note: see current operation: 
func.func @main(%arg0: tensor<4x4xf32>) attributes {pattern_driver_all_erased = true, pattern_driver_changed = false} {
  %0 = llvm.mlir.constant(128 : index) : i64
  %1 = llvm.mlir.constant(1 : index) : i64
  %2 = builtin.unrealized_conversion_cast %1 : i64 to index
  %3 = builtin.unrealized_conversion_cast %0 : i64 to index
  %4 = gpu.wait async
 %5 = gpu.launch_func async [%4] @main_kernel::@main_kernel blocks in (%2, %2, %2) threads in (%2, %2, %2)  args(%3 : index)
  return
}
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /home/workdir/llvm-project/build/bin/./mlir-opt test.mlir --test-symbol-uses
 #0 0x0000564b56312228 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12d1228)
 #1 0x0000564b5630fd4e llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12ced4e)
 #2 0x0000564b56312c31 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007f5ac4fb8520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f5ac500c9fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007f5ac4fb8476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007f5ac4f9e7f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x0000564b562fef9f (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12bdf9f)
 #8 0x0000564b59a949a1 mlir::WalkResult llvm::function_ref<mlir::WalkResult (mlir::Operation*)>::callback_fn<(anonymous namespace)::SymbolUsesPass::runOnOperation()::'lambda'(mlir::Operation*)>(long, mlir::Operation*) TestSymbolUses.cpp:0:0
 #9 0x0000564b564422d7 mlir::WalkResult mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<mlir::WalkResult (mlir::Operation*)>, mlir::WalkOrder) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x14012d7)
#10 0x0000564b59a93f2a (anonymous namespace)::SymbolUsesPass::runOnOperation() TestSymbolUses.cpp:0:0
#11 0x0000564b59408cd3 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c7cd3)
#12 0x0000564b59409572 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c8572)
#13 0x0000564b5940bd4e mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43cad4e)
#14 0x0000564b594042cb performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#15 0x0000564b59403f23 llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#16 0x0000564b594af475 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x446e475)
#17 0x0000564b593fdb82 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bcb82)
#18 0x0000564b593fde33 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bce33)
#19 0x0000564b593fe042 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bd042)
#20 0x0000564b562f19af main (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12b09af)
#21 0x00007f5ac4f9fd90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#22 0x00007f5ac4f9fe40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#23 0x0000564b562f1505 _start (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12b0505)

```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWl9v27oV_zTMCxGDIiVLesiD68RYgQYJmg57FCjxyOZCkx5JNcn99AMlObIUJ2k6b-u9KNBalsjz_3f-iDF3Tq41wAVKPqHk8ow3fmPshXsA4OKsNOLp4hs4jyuz3UqP2AJvvN85xBaIrhBdraXfNOWsMltEV0p931_Od9b8EyqP6Konpasc8iilSS1iEQMwAnnGSzrPaJ2zMqYsyQmPuQBEFogs7jzsHPYGW9hZI5oKglCyQHPS_XMbUAqRxVZJe252Hntwfhbu8Hn4eu6etqVR540Dd0iHyKIzibspy0AcOBrRKMDceyvLxoPDKP203jWzymjPpQZbdFtQehmWEFlgXDe6moUPjGKy5VIjmiGacLsmwW0etDMWsWX8GD_WjCJ2hWg-kbHj3oPVhbDyO9iCK1WA5Q4ERuwSe9sAoks82VVtuF73W2qu3EgrjBFNSLsWwtK6J5jhPNce0SyiGQ7qSS3gMSjU3szjgTh6g_gdUtqSlo1UXupZoy1wJf8AUVRGfwfrpNFFxZ3fi2nJQ8g7ls982Af4kDf4xC2fEMgHLj3m7klXw2ryvKp4o6tN0Qaz3YRDdtAkRsnlPrrFPVgNKgCILcbPcKlMde-w1LjDAA1RG19z7DcWuHhvF-Z27bp1NvJ2r7cF31jd3qD0MlyDAT2AJ2oNmAh7DqG6N2aE2Oe49uRjqN5r86CL1tLCyT-gdR63lj8htpQB3wscBUv6D3Y1hmWnxKB-r31_7T8PUnZpudtgb_mLOhAAaVSoGhFpIYrYIohnQQULW27vw7euGuA-hR2OsAbnQWALNVjQVVslftU8RsnVcQO18dCaB4CrxlrQHpsdWO6l0WEBkcUvatLPF6afLkunKUqnKUlvFKQ_ZzV6TuYue38kGzfcYW1w36J_J9_v5PudfCdJvtsvV4u7K-yachtsw2WzDoO0sT744cMzvHSuAYfoCnMtsNSVagRgvwFctX255NV925tn7eTOq3ssmu2u69Rkhkh-a83a8m0wotmC9q5ND7ramC0gunow9l5I-1JyiLII15A4qxmiq2Pz_rGBHyPKCCaPhBCSzOMymbOIUpq1uO2C5Z5c9-XWSu1bvb-1EwbNhk2WPxTGeQt8i-g8REQGpOddrP4DAxD9RB4jKiIaGOW9ytFYZVKLGI6p_LXRd3Ktufob10KB7aBxMq0qEDEMWtGpIysW4ZF8RLPWL0vs5Frq2hQe0UW4_26kaL_mPYWbVbuADdL-7wSwXkBaJ7yK6zJLKOltUbJEdPWYzYt5fK6kbh7P17rpFqqZM7N5q3NME0oGjeNDhgkhVV5XeNelWnEvlfoY93ye19XAPZmqG6dzvHateR9VO07nA-P5mHEOac0wL0PifogtzdKaDWzTUfxoDXVenwoqpajzehCVHYrKeR7nPMJ950Rs8Q-u7r-Ca5Q_QHWor6FnFhZqxJZHdyOaDc9vnrtsC6zQNdvnFVcqFKOi1ogtEc24NvppaxqHNd-C27XZnXeb79p68XcH7pa7Pq1so2_0AffseTeiqeLbUnBE0_d0oZkyeh3A_-o2_A2cHzQ4khL5KGZxTKlIjztyeCjAc9m3ogeu7kfOXBn7wK347IMiYei4esOO5YnDM_JFoLuxIlSNU1WsmERUpB0MQxklExiymnJ8IkC8HbsgfVTF85hklWCvhOlm983c7ILAheC7Ni693JFLW426wLwesmFlobl6ctJdc83Xwc9LXBqjwrXR7ZmfOGkfi1mVVoIN_qcTD-RJSj_sgVu5AyU1TMAVtj4bNj-5Sw6JgqjP2nnbTi3GvuA63rCf_MNCr_stD-8Fn3VtcDsn9-l_Kq9nSUoHr7OJ18swPYyV3Zt_FGXTInUqLfnzNBG0jCdaxrQq8Q5sbex20VYa984I5rzo56ENtyCKnQ_vUAPFnWlsBdfrUOT2bp8A5frL569Loz08-hdBvVbS3uz8NZd6aXQt1wc8cnyweiT1k4lxrKbsoJZ-MWtZcfVeC3yNANHs2fZGy3818ML2a9ga-_SpqesO5M_7BdS8Ub4QoCC8uL5GE5rp1bgDTCPwWsc96sIfjeV_3Z5Bu0vJFVT-K6yl8_bpJTjeAsB-HogLMm72v0Rk3oHnfAxPXsdpcmC42ynpF1rcWlOBc3td_y-g-xOmxJs7DtfuvJV6_RXqVx-fqvjGc4jTZCi-o1eBnNWizOhx5P_V8vZU3aysyuyg52ZThwJjrzq0HzCqDe9GicVHYfGeN05oJbCDeS6fWAkkfh02H7Hyf2WOIPEQNEomL8RRzmu85fsjuBO8FZOc14O8aPJeX4v8g-cbNBc5GRjSKUOICS6KQFM4z60vDqz5YREQH4hgUx8lJMEd89N5KSH72nTwN70zccFEznJ-BhdRGkdZwlhKzjYXOecJiPmcRvMkF8DylJKsFlmapzmpMziTF5TQhLCIkYzkjMxYluZzlpVZmqYZjziKCWy5VLP2-NrY9Vl7uHkRsYjk2ZniJSjX_hyC0haalKLk8sxetKaVzdqhmCjpvBs4eOlV-xOKMFO2J8M0nZweI5p2Z6UgsNF4_KZ51lh18fOHsr3q3y_ovwMAAP__eJVSGA">