llvm-capstone/mlir/test/Pass/invalid-interface-pass.mlir

// RUN: not mlir-opt %s -pass-pipeline='builtin.module(test-interface-pass)' 2>&1 | FileCheck %s

// Test that we emit an error when an interface pass is added to a pass manager it can't be scheduled on.

// CHECK: unable to schedule pass '{{.*}}' on a PassManager intended to run on 'builtin.module'!

func.func @main() {
  return
}
[mlir][Pass] Include anchor op in -pass-pipeline In D134622 the printed form of a pass manager is changed to include the name of the op that the pass manager is anchored on. This updates the `-pass-pipeline` argument format to include the anchor op as well, so that the printed form of a pipeline can be directly passed to `-pass-pipeline`. In most cases this requires updating `-pass-pipeline='pipeline'` to `-pass-pipeline='builtin.module(pipeline)'`. This also fixes an outdated assert that prevented running a `PassManager` anchored on `'any'`. Reviewed By: rriddle Differential Revision: https://reviews.llvm.org/D134900 2022-10-18 14:44:11 -04:00			`// RUN: not mlir-opt %s -pass-pipeline='builtin.module(test-interface-pass)' 2>&1 \| FileCheck %s`
[mlir][Pass] Add support for an InterfacePass and pass filtering based on OperationName This commit adds a new hook Pass `bool canScheduleOn(RegisteredOperationName)` that indicates if the given pass can be scheduled on operations of the given type. This makes it easier to define constraints on generic passes without a) adding conditional checks to the beginning of the `runOnOperation`, or b) defining a new pass type that forwards from `runOnOperation` (after checking the invariants) to a new hook. This new hook is used to implement an `InterfacePass` pass class, that represents a generic pass that runs on operations of the given interface type. The PassManager will also verify that passes added to a pass manager can actually be scheduled on that pass manager, meaning that we will properly error when an Interface is scheduled on an operation that doesn't actually implement that interface. Differential Revision: https://reviews.llvm.org/D120791 2022-03-02 17:54:32 -08:00
			`// Test that we emit an error when an interface pass is added to a pass manager it can't be scheduled on.`

			`// CHECK: unable to schedule pass '{{.*}}' on a PassManager intended to run on 'builtin.module'!`

[mlir][NFC] Update textual references of `func` to `func.func` in Pass/Target tests The special case parsing of `func` operations is being removed. 2022-04-20 16:22:03 -07:00			`func.func @main() {`
[mlir][Pass] Add support for an InterfacePass and pass filtering based on OperationName This commit adds a new hook Pass `bool canScheduleOn(RegisteredOperationName)` that indicates if the given pass can be scheduled on operations of the given type. This makes it easier to define constraints on generic passes without a) adding conditional checks to the beginning of the `runOnOperation`, or b) defining a new pass type that forwards from `runOnOperation` (after checking the invariants) to a new hook. This new hook is used to implement an `InterfacePass` pass class, that represents a generic pass that runs on operations of the given interface type. The PassManager will also verify that passes added to a pass manager can actually be scheduled on that pass manager, meaning that we will properly error when an Interface is scheduled on an operation that doesn't actually implement that interface. Differential Revision: https://reviews.llvm.org/D120791 2022-03-02 17:54:32 -08:00			`return`
			`}`