xref: /llvm-project/mlir/test/Dialect/Transform/preload-library.mlir (revision 99c15eb49ba0b607314b3bd221f0760049130d97)
1// RUN: mlir-opt %s \
2// RUN:   -transform-preload-library=transform-library-paths=%p%{fs-sep}include%{fs-sep}test-interpreter-library \
3// RUN:   -transform-interpreter=entry-point=private_helper \
4// RUN:   -split-input-file -verify-diagnostics
5
6// RUN: mlir-opt %s \
7// RUN:   -transform-preload-library=transform-library-paths=%p%{fs-sep}include%{fs-sep}test-interpreter-library/definitions-self-contained.mlir \
8// RUN:   -transform-preload-library=transform-library-paths=%p%{fs-sep}include%{fs-sep}test-interpreter-library/definitions-with-unresolved.mlir \
9// RUN:   -transform-interpreter=entry-point=private_helper \
10// RUN:   -split-input-file -verify-diagnostics
11
12// RUN: mlir-opt %s \
13// RUN:   -transform-preload-library=transform-library-paths=%p%{fs-sep}include%{fs-sep}test-interpreter-library/definitions-with-unresolved.mlir \
14// RUN:   -transform-preload-library=transform-library-paths=%p%{fs-sep}include%{fs-sep}test-interpreter-library/definitions-self-contained.mlir \
15// RUN:   -transform-interpreter=entry-point=private_helper \
16// RUN:   -split-input-file -verify-diagnostics
17
18// expected-remark @below {{message}}
19module {}
20
21// -----
22
23// Note: no remark here since local entry point takes precedence.
24module attributes { transform.with_named_sequence } {
25  transform.named_sequence @private_helper(!transform.any_op {transform.readonly}) {
26  ^bb0(%arg0: !transform.any_op):
27    // expected-remark @below {{applying transformation}}
28    transform.test_transform_op
29    transform.yield
30  }
31}
32