[all-commits] [llvm/llvm-project] 698ec8: [mlir][tosa] Require signless types in validation ...

[Luke Hutton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 698ec8c7ba6c47cfec6112d1c93b481fc9ac7973
      https://github.com/llvm/llvm-project/commit/698ec8c7ba6c47cfec6112d1c93b481fc9ac7973
  Author: Luke Hutton <luke.hutton at arm.com>
  Date:   2025-07-01 (Tue, 01 Jul 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Tosa/Transforms/Passes.td
    M mlir/lib/Dialect/Tosa/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/Tosa/Transforms/TosaConvertIntegerTypeToSignless.cpp
    M mlir/lib/Dialect/Tosa/Transforms/TosaValidation.cpp
    M mlir/test/Dialect/Tosa/invalid.mlir
    A mlir/test/Dialect/Tosa/tosa-convert-integer-type-to-signless.mlir
    A mlir/test/Dialect/Tosa/tosa-validation-valid.mlir

  Log Message:
  -----------
  [mlir][tosa] Require signless types in validation and add corresponding conversion pass (#144367)

Firstly, this commit requires that all types are signless in the strict
mode of the validation pass. This is because signless types on
operations are required by the TOSA specification. The "strict" mode in
the validation pass is the final check for TOSA conformance to the
specification, which can often be used for conversion to other formats.

In addition, a conversion pass `--tosa-convert-integer-type-to-signless`
is provided to allow a user to convert all integer types to signless.
The intention is that this pass can be run before the validation pass.
Following use of this pass, input/output information should be carried
independently by the user.



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