[MLIR][Linalg] linalg.pack verifier asserts "static tile size can't be zero" when an SSA tile is arith.constant 0 and there is no padding_value #239943

Activity

1. YuanchengJiang

   added

   mlir:linalg

   crashPrefer [crash-on-valid] or [crash-on-invalid]Prefer [crash-on-valid] or [crash-on-invalid]

   generated by fuzzerRegression test generated by fuzzing or AI analysis - not a real world code snippetRegression test generated by fuzzing or AI analysis - not a real world code snippet

   on Nov 7, 2026
2. YuanchengJiang

   added the

   Bug

   issue type on Nov 7, 2026
3. llvmorg-github-actions commented on Nov 7, 2026

   

   llvmorg-github-actionsBot

   on Nov 7, 2026

   More actions

   @llvm/issue-subscribers-mlir-linalg

   Author: Jiang Yuancheng (YuanchengJiang)

   Details

   The following code: ```mlir func.func @f(%src: tensor<128x256xf32>, %dest: tensor<?x?x?x?xf32>) -> tensor<?x?x?x?xf32> { %c0 = arith.constant 0 : index %pack = linalg.pack %src inner_dims_pos = [0, 1] inner_tiles = [%c0, %c0] into %dest : tensor<128x256xf32> -> tensor<?x?x?x?xf32> return %pack : tensor<?x?x?x?xf32> } ```

   Resulted in this output:

   Program terminated with signal SIGFPE (8)
   Stack dump:
    #<!-- -->3 mlir::linalg::PackOp::requirePaddingValue
    #<!-- -->4 mlir::linalg::PackOp::verify
    #<!-- -->5 mlir::RegisteredOperationName::Model::verifyInvariants
    #<!-- -->6 (anonymous namespace)::OperationVerifier::verifyOnEntrance
    #<!-- -->7 (anonymous namespace)::OperationVerifier::verifyOperation
    #<!-- -->8 (anonymous namespace)::OperationVerifier::verifyOperation
    #<!-- -->9 mlir::verify
   #<!-- -->10 mlir::parseAsmSourceFile
   

   Trunk reproducer: https://godbolt.org/z/TnG86b6K7