[all-commits] [llvm/llvm-project] 9c8fe3: [mlir] check interfaces are attached to the expect...

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c8fe394cf6bcba6dbe643747d1eb2811734883b
      https://github.com/llvm/llvm-project/commit/9c8fe394cf6bcba6dbe643747d1eb2811734883b
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2022-06-15 (Wed, 15 Jun 2022)

  Changed paths:
    M mlir/include/mlir/IR/OpDefinition.h
    M mlir/include/mlir/IR/StorageUniquerSupport.h
    M mlir/tools/mlir-tblgen/OpInterfacesGen.cpp

  Log Message:
  -----------
  [mlir] check interfaces are attached to the expected object

Add static assertions into the various `attachInterface` methods, which are
used for adding external interface implementations to attributes, operations
and types, that ensure `ExternalModel` interface classes are instantiated for
the same concrete operation for the concrete base (potentially self) attribute
or type as they are attached to. `FallbackModel`s remain usable for generic
interface models that should support more than one kind of entities.

Reviewed By: springerm

Differential Revision: https://reviews.llvm.org/D127850