19 lines · plain
1// This test just needs to parse. Note that the diagnostic message below will2// be produced in *another* multi-file test, do *not* -verify-diagnostics here.3// RUN: mlir-opt %s4 5// RUN: mlir-transform-opt %s --transform-library=%p/external-def.mlir | FileCheck %s6 7module attributes {transform.with_named_sequence} {8 // The definition should not be printed here.9 // CHECK: @external_def10 // CHECK-NOT: transform.print11 transform.named_sequence private @external_def(%root: !transform.any_op {transform.readonly})12 13 transform.named_sequence private @__transform_main(%root: !transform.any_op) {14 // expected-error @below {{unresolved external named sequence}}15 transform.include @external_def failures(propagate) (%root) : (!transform.any_op) -> ()16 transform.yield17 }18}19