[all-commits] [llvm/llvm-project] 955c02: [mlir][tosa] Check for compile time constants in t...

[Luke Hutton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 955c02dc9c9c3458462a4de0436457a93ea1e9f5
      https://github.com/llvm/llvm-project/commit/955c02dc9c9c3458462a4de0436457a93ea1e9f5
  Author: Luke Hutton <luke.hutton at arm.com>
  Date:   2025-03-14 (Fri, 14 Mar 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Tosa/IR/TosaOpBase.td
    M mlir/include/mlir/Dialect/Tosa/IR/TosaProfileCompliance.h
    M mlir/lib/Dialect/Tosa/Transforms/TosaValidation.cpp
    A mlir/test/Dialect/Tosa/dynamic_extension.mlir
    M mlir/test/Dialect/Tosa/invalid.mlir
    M mlir/test/Dialect/Tosa/invalid_extension.mlir

  Log Message:
  -----------
  [mlir][tosa] Check for compile time constants in the validation pass (#131123)

This commit adds a concept of the 'dynamic' extension in the Dialect and
checks that compile time constant (CTC) operands for each operator are
constant if the dynamic extension is not loaded.

Operands labeled as CTC in the specification that are of tosa.shape
(shape_t in the specification) type are not checked as they are always
expected to be constant. This requirement is checked elsewhere in the
dialect.

Signed-off-by: Luke Hutton <luke.hutton at arm.com>



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