[all-commits] [llvm/llvm-project] baa8da: [mlir][spirv] Allow dynamic rescale parameter leng...

[Davide Grohmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: baa8da34e6745536288edb042e89871d89376469
      https://github.com/llvm/llvm-project/commit/baa8da34e6745536288edb042e89871d89376469
  Author: Davide Grohmann <davide.grohmann at arm.com>
  Date:   2026-06-03 (Wed, 03 Jun 2026)

  Changed paths:
    M mlir/include/mlir/Dialect/SPIRV/IR/SPIRVTosaTypes.td
    A mlir/test/Dialect/SPIRV/IR/tosa-ops-dynamic.mlir

  Log Message:
  -----------
  [mlir][spirv] Allow dynamic rescale parameter lengths (#200155)

The SPIR-V TOSA rescale verifier checked multiplier and shift lengths
with a direct equality against the input channel dimension. That rejects
otherwise valid operations when either side of the shape comparison is
dynamic.

Express the check with reusable dimension predicates so unranked or
dynamic dimensions pass, while static dimensions still enforce the
per-channel and scalar length requirements. Add dedicated dynamic-shape
op coverage for dynamic input channel dimensions and dynamic
multiplier/shift lengths.

Signed-off-by: Davide Grohmann <davide.grohmann at arm.com>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications