[Mlir-commits] [mlir] [mlir][tensor] Preserve encoding in `CollapseShapeOp::inferCollapsedType` (PR #173720)

llvmlistbot at llvm.org llvmlistbot at llvm.org
Sat Dec 27 05:05:05 PST 2025 

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 7267 tests passed
* 598 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### MLIR
<details>
<summary>MLIR.Dialect/SparseTensor/sparse_reshape.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir --check-prefix=CHECK-ROUND
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir
# .---command stderr------------
# | <unknown>:0: error: dimension-rank mismatch between encoding and tensor shape: 2 != 1
# | mlir-opt: /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/StorageUniquerSupport.h:180: static ConcreteT mlir::detail::StorageUserBase<mlir::RankedTensorType, mlir::TensorType, mlir::detail::RankedTensorTypeStorage, mlir::detail::TypeUniquer, mlir::ShapedType::Trait, mlir::ValueSemantics>::get(MLIRContext *, Args &&...) [ConcreteT = mlir::RankedTensorType, BaseT = mlir::TensorType, StorageT = mlir::detail::RankedTensorTypeStorage, UniquerT = mlir::detail::TypeUniquer, Traits = <mlir::ShapedType::Trait, mlir::ValueSemantics>, Args = <llvm::ArrayRef<long> &, mlir::Type &, mlir::Attribute &>]: Assertion `succeeded( ConcreteT::verifyInvariants(getDefaultDiagnosticEmitFn(ctx), args...))' 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.
# | Stack dump:
# | 0.	Program arguments: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir
# |  #0 0x0000000007acae78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:842:13
# |  #1 0x0000000007ac8475 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# |  #2 0x0000000007acbc41 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:429:38
# |  #3 0x00007ae60d4b9330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# |  #4 0x00007ae60d512b2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
# |  #5 0x00007ae60d4b927e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
# |  #6 0x00007ae60d49c8ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
# |  #7 0x00007ae60d49c81b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
# |  #8 0x00007ae60d4af517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
# |  #9 0x00000000105966f3 (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt+0x105966f3)
# | #10 0x0000000010596618 mlir::RankedTensorType::get(llvm::ArrayRef<long>, mlir::Type, mlir::Attribute) /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/include/mlir/IR/BuiltinTypes.cpp.inc:381:3
# | #11 0x000000000fee2752 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:271:45
# | #12 0x000000000fee2752 end /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:273:27
# | #13 0x000000000fee2752 ~SmallVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1209:46
# | #14 0x000000000fee2752 mlir::tensor::CollapseShapeOp::inferCollapsedType(mlir::RankedTensorType, llvm::ArrayRef<mlir::AffineMap>) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Tensor/IR/TensorOps.cpp:2022:1
# | #15 0x000000000fee378d verifyTensorReshapeOp<mlir::tensor::ExpandShapeOp, true> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Tensor/IR/TensorOps.cpp:2047:7
# | #16 0x000000000fee378d mlir::tensor::ExpandShapeOp::verify() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/Tensor/IR/TensorOps.cpp:2072:10
# | #17 0x000000000feae1c3 mlir::Op<mlir::tensor::ExpandShapeOp, mlir::OpTrait::ZeroRegions, mlir::OpTrait::OneResult, mlir::OpTrait::OneTypedResult<mlir::TensorType>::Impl, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::AtLeastNOperands<1u>::Impl, mlir::OpTrait::OpInvariants, mlir::BytecodeOpInterface::Trait, mlir::OpAsmOpInterface::Trait, mlir::ConditionallySpeculatable::Trait, mlir::OpTrait::AlwaysSpeculatableImplTrait, mlir::MemoryEffectOpInterface::Trait>::verifyInvariants(mlir::Operation*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/OpDefinition.h:0:39
# | #18 0x000000000feac7ee asInt /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/PointerIntPair.h:41:5
# | #19 0x000000000feac7ee operator long /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/PointerIntPair.h:45:48
# | #20 0x000000000feac7ee getPointer /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/PointerIntPair.h:94:58
# | #21 0x000000000feac7ee ~UniqueFunctionBase /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/FunctionExtras.h:274:32
# | #22 0x000000000feac7ee mlir::RegisteredOperationName::Model<mlir::tensor::ExpandShapeOp>::verifyInvariants(mlir::Operation*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/OperationSupport.h:555:7
# | #23 0x0000000010638ec3 verifyOnEntrance /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:175:22
# | #24 0x0000000010638ec3 operator()<mlir::Operation> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:296:45
# | #25 0x0000000010638ec3 operator()<(lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:296:13)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:276:16
# | #26 0x0000000010638ec3 verifyOperation /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:295:16
# | #27 0x0000000010638ec3 (anonymous namespace)::OperationVerifier::verifyOpAndDominance(mlir::Operation&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:81:14
# | #28 0x0000000010639090 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:225:9
# | #29 0x0000000010639090 operator()<mlir::Operation *&> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:120:12
# | #30 0x0000000010639090 failableParallelForEach<mlir::Operation **, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:119:54)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:46:18
# | #31 0x0000000010639090 parallelForEach<mlir::Operation **, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:224:60)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:119:9
# | #32 0x0000000010639090 parallelForEach<llvm::SmallVector<mlir::Operation *, 6U> &, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:224:60)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:131:3
# | #33 0x0000000010639090 verifyOnExit /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:224:3
# | #34 0x0000000010639090 operator()<mlir::Operation> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:287:53
# | #35 0x0000000010639090 operator()<(lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:287:21)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:276:16
# | #36 0x0000000010639090 verifyOperation /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:287:15
# | #37 0x0000000010639090 (anonymous namespace)::OperationVerifier::verifyOpAndDominance(mlir::Operation&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:81:14
# | #38 0x00000000106383d6 mlir::verify(mlir::Operation*, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/IR/Verifier.cpp:426:1
# | #39 0x000000000ef7f13f finalize /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/AsmParser/Parser.cpp:931:45
# | #40 0x000000000ef7f13f parse /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/AsmParser/Parser.cpp:2876:20
# | #41 0x000000000ef7f13f mlir::parseAsmSourceFile(llvm::SourceMgr const&, mlir::Block*, mlir::ParserConfig const&, mlir::AsmParserState*, mlir::AsmParserCodeCompleteContext*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/AsmParser/Parser.cpp:2930:41
# | #42 0x000000000ef53273 mlir::parseSourceFile(std::shared_ptr<llvm::SourceMgr> const&, mlir::Block*, mlir::ParserConfig const&, mlir::LocationAttr*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Parser/Parser.cpp:65:1
# | #43 0x0000000007add06e parseSourceFile<mlir::ModuleOp, const std::shared_ptr<llvm::SourceMgr> &> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Parser/Parser.h:158:7
# | #44 0x0000000007add06e parseSourceFile<mlir::ModuleOp> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Parser/Parser.h:188:10
# | #45 0x0000000007add06e mlir::parseSourceFileForTool(std::shared_ptr<llvm::SourceMgr> const&, mlir::ParserConfig const&, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Tools/ParseUtilities.h:31:12
# | #46 0x0000000007adbd6a stop /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Support/Timing.h:218:9
# | #47 0x0000000007adbd6a stop /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Support/Timing.h:301:11
# | #48 0x0000000007adbd6a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:523:16
# | #49 0x0000000007adbae8 processBuffer /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:673:12
# | #50 0x0000000007adbae8 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:771:12
# | #51 0x0000000007adbae8 llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, 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::MemoryBufferRef const&, llvm::raw_ostream&) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
# | #52 0x000000001064a4e5 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:12
# | #53 0x000000001064a4e5 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::MemoryBufferRef const&, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Support/ToolUtilities.cpp:30:12
# | #54 0x0000000007ad0e86 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:776:26
# | #55 0x0000000007ad11b2 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:822:14
# | #56 0x0000000007ad142b mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:838:10
# | #57 0x0000000007a1c733 main /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/tools/mlir-opt/mlir-opt.cpp:347:33
# | #58 0x00007ae60d49e1ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #59 0x00007ae60d49e28b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #60 0x0000000007a1c265 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt+0x7a1c265)
# `-----------------------------
# error: command failed with exit status: -6
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir --check-prefix=CHECK-ROUND
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir:13:23: error: CHECK-ROUND-LABEL: expected string not found in input
# | // CHECK-ROUND-LABEL: func.func @sparse_expand(
# |                       ^
# | <stdin>:1:1: note: scanning from here
# | module {
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/SparseTensor/sparse_reshape.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |           1: module { 
# | label:13     X~~~~~~~~ error: no match found
# |           2: } 
# | label:13     ~~
# |           3:  
# | label:13     ~
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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

More information about the Mlir-commits mailing list