[Mlir-commits] [mlir] [mlir][vector] Refactor WarpOpScfForOp to support unused or swapped forOp results. (PR #147620)

Fri Jul 11 13:13:35 PDT 2025

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `mlir-nvidia-gcc7` running on `mlir-nvidia` while building `mlir` at step 7 "test-build-check-mlir-build-only-check-mlir".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/116/builds/15477

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 7 (test-build-check-mlir-build-only-check-mlir) failure: test (failure)
******************** TEST 'MLIR :: Integration/Dialect/Vector/GPU/CUDA/test-reduction-distribute.mlir' FAILED ********************
Exit Code: 2

Command Output (stdout):
--
# RUN: at line 1
/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-opt /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.src/mlir/test/Integration/Dialect/Vector/GPU/CUDA/test-reduction-distribute.mlir -test-vector-warp-distribute="hoist-uniform distribute-transfer-write propagate-distribution" -canonicalize | /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-opt -test-vector-warp-distribute=rewrite-warp-ops-to-scf-if | /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-opt -lower-affine -convert-vector-to-scf -convert-scf-to-cf -convert-vector-to-llvm   -convert-arith-to-llvm -gpu-lower-to-nvvm-pipeline |  /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-runner -e main -entry-point-result=void    -shared-libs=/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/lib/libmlir_cuda_runtime.so    -shared-libs=/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/lib/libmlir_c_runner_utils.so    -shared-libs=/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/lib/libmlir_runner_utils.so |  /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/FileCheck /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.src/mlir/test/Integration/Dialect/Vector/GPU/CUDA/test-reduction-distribute.mlir
# executed command: /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-opt /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.src/mlir/test/Integration/Dialect/Vector/GPU/CUDA/test-reduction-distribute.mlir '-test-vector-warp-distribute=hoist-uniform distribute-transfer-write propagate-distribution' -canonicalize
# .---command stderr------------
# | mlir-opt: /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.src/mlir/lib/IR/TypeRange.cpp:20: mlir::TypeRange::TypeRange(llvm::ArrayRef<mlir::Type>): Assertion `llvm::all_of(types, [](Type t) { return t; }) && "attempting to construct a TypeRange with null types"' failed.
# | PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
# | 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  0x000057423066abeb llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 59
# | 1  mlir-opt  0x0000574230667524
# | 2  libc.so.6 0x00007af18a944520
# | 3  libc.so.6 0x00007af18a9989fc pthread_kill + 300
# | 4  libc.so.6 0x00007af18a944476 raise + 22
# | 5  libc.so.6 0x00007af18a92a7f3 abort + 211
# | 6  libc.so.6 0x00007af18a92a71b
# | 7  libc.so.6 0x00007af18a93be96
# | 8  mlir-opt  0x0000574233bfb671 mlir::TypeRange::TypeRange(llvm::ArrayRef<mlir::Type>) + 353
# | 9  mlir-opt  0x000057423324311e
# | 10 mlir-opt  0x0000574233220d17
# | 11 mlir-opt  0x0000574236a942db mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>) + 1947
# | 12 mlir-opt  0x0000574233a8f121
# | 13 mlir-opt  0x0000574233a91cfa mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) + 3482
# | 14 mlir-opt  0x0000574234276f02
# | 15 mlir-opt  0x000057423427db7b
# | 16 mlir-opt  0x00005742339c0bee mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 1262
# | 17 mlir-opt  0x00005742339c0f4a mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 250
# | 18 mlir-opt  0x00005742339c1342
# | 19 mlir-opt  0x00005742339c14cf
# | 20 mlir-opt  0x00005742339b537d 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<std::function<void ()>>>, void>>::_M_invoke(std::_Any_data const&) + 29
# | 21 mlir-opt  0x00005742339b5ef9
# | 22 libc.so.6 0x00007af18a99bee8
# | 23 mlir-opt  0x00005742339b55ec std::__future_base::_Deferred_state<std::thread::_Invoker<std::tuple<std::function<void ()>>>, void>::_M_complete_async() + 284
# | 24 mlir-opt  0x00005742339b70af std::_Function_handler<void (), std::shared_future<void> llvm::ThreadPoolInterface::asyncImpl<void>(std::function<void ()>, llvm::ThreadPoolTaskGroup*)::'lambda'()>::_M_invoke(std::_Any_data const&) + 31
# | 25 mlir-opt  0x0000574233bcacf5 llvm::StdThreadPool::processTasks(llvm::ThreadPoolTaskGroup*) + 645
# | 26 mlir-opt  0x0000574233bcbbf8
# | 27 libc.so.6 0x00007af18a996ac3
# | 28 libc.so.6 0x00007af18aa28850
# `-----------------------------
# error: command failed with exit status: -6
# executed command: /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-opt -test-vector-warp-distribute=rewrite-warp-ops-to-scf-if
# executed command: /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-opt -lower-affine -convert-vector-to-scf -convert-scf-to-cf -convert-vector-to-llvm -convert-arith-to-llvm -gpu-lower-to-nvvm-pipeline
# executed command: /vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/bin/mlir-runner -e main -entry-point-result=void -shared-libs=/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/lib/libmlir_cuda_runtime.so -shared-libs=/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/lib/libmlir_c_runner_utils.so -shared-libs=/vol/worker/mlir-nvidia/mlir-nvidia-gcc7/llvm.obj/lib/libmlir_runner_utils.so
# .---command stderr------------
# | Error: entry point not found
# `-----------------------------
# error: command failed with exit status: 1
...

```

</details>

https://github.com/llvm/llvm-project/pull/147620