[all-commits] [llvm/llvm-project] e87858: [MLIR][ODS] Add strict property assembly format mode

[Mehdi Amini via All-commits]

  Branch: refs/heads/users/mamini/strict_prop_ods
  Home:   https://github.com/llvm/llvm-project
  Commit: e8785839ccc10d5bd4459ba7421be61dba060249
      https://github.com/llvm/llvm-project/commit/e8785839ccc10d5bd4459ba7421be61dba060249
  Author: Mehdi Amini <joker.eph at gmail.com>
  Date:   2026-05-07 (Thu, 07 May 2026)

  Changed paths:
    M mlir/docs/DefiningDialects/Operations.md
    M mlir/docs/DefiningDialects/_index.md
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.td
    M mlir/include/mlir/Dialect/ArmNeon/ArmNeon.td
    M mlir/include/mlir/Dialect/ArmSME/IR/ArmSME.td
    M mlir/include/mlir/Dialect/ArmSVE/IR/ArmSVE.td
    M mlir/include/mlir/Dialect/Complex/IR/ComplexBase.td
    M mlir/include/mlir/Dialect/DLTI/DLTIBase.td
    M mlir/include/mlir/Dialect/IRDL/IR/IRDL.td
    M mlir/include/mlir/Dialect/Index/IR/IndexDialect.td
    M mlir/include/mlir/Dialect/LLVMIR/VCIXOps.td
    M mlir/include/mlir/Dialect/LLVMIR/XeVMOps.td
    M mlir/include/mlir/Dialect/Linalg/IR/LinalgBase.td
    M mlir/include/mlir/Dialect/MLProgram/IR/MLProgramBase.td
    M mlir/include/mlir/Dialect/MPI/IR/MPI.td
    M mlir/include/mlir/Dialect/Ptr/IR/PtrDialect.td
    M mlir/include/mlir/Dialect/Quant/IR/QuantBase.td
    M mlir/include/mlir/Dialect/SCF/IR/SCFOps.td
    M mlir/include/mlir/Dialect/SMT/IR/SMTDialect.td
    M mlir/include/mlir/Dialect/Shard/IR/ShardBase.td
    M mlir/include/mlir/Dialect/Tensor/IR/TensorBase.td
    M mlir/include/mlir/Dialect/UB/IR/UBOps.td
    M mlir/include/mlir/IR/DialectBase.td
    M mlir/include/mlir/TableGen/Dialect.h
    M mlir/lib/TableGen/Dialect.cpp
    M mlir/test/mlir-tblgen/op-format-invalid.td
    M mlir/test/mlir-tblgen/op-format.td
    M mlir/tools/mlir-tblgen/OpFormatGen.cpp

  Log Message:
  -----------
  [MLIR][ODS] Add strict property assembly format mode

Introduce a dialect-level ODS flag for strict property handling in declarative
assembly formats. It is disabled by default for now, preserving existing parser
behavior unless a dialect opts in.

Enable the mode immediately for dialects whose declarative assembly formats
already satisfy these binding rules.

When enabled, a property-backed op format must bind every inherent attribute
and property directly or include prop-dict.

Generated parsers for opted-in dialects also reject inherent attributes that
arrive through attr-dict, preventing Operation::setAttrs from populating
properties through that path.

Add mlir-tblgen coverage and document default and strict dialect behavior.

Assisted-by: Codex



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