mlir/test/Dialect/Transform/test-interpreter-debug.mlir

   1 // RUN: mlir-opt %s --pass-pipeline="builtin.module(test-transform-dialect-interpreter{debug-payload-root-tag=payload debug-transform-root-tag=transform})" \
   2 // RUN:             --allow-unregistered-dialect --split-input-file --verify-diagnostics
   3
   4 // expected-error @below {{could not find the operation with transform.target_tag="payload" attribute}}
   5 module {
   6   transform.sequence failures(suppress) {
   7   ^bb0(%arg0: !transform.any_op):
   8   }
   9 }
  10
  11 // -----
  12
  13 // expected-error @below {{could not find the operation with transform.target_tag="transform" attribute}}
  14 module {
  15   transform.sequence failures(suppress) {
  16   ^bb0(%arg0: !transform.any_op):
  17   }
  18
  19   module attributes {transform.target_tag="payload"} {}
  20 }
  21
  22 // -----
  23
  24 // expected-error @below {{more than one operation with transform.target_tag="transform" attribute}}
  25 module {
  26   // expected-note @below {{first operation}}
  27   transform.sequence failures(propagate) attributes {transform.target_tag="transform"} {
  28   ^bb0(%arg0: !transform.any_op):
  29   }
  30
  31   // expected-note @below {{other operation}}
  32   transform.sequence failures(propagate) attributes {transform.target_tag="transform"} {
  33   ^bb0(%arg0: !transform.any_op):
  34   }
  35
  36   module attributes {transform.target_tag="payload"} {}
  37 }
  38
  39 // -----
  40
  41 module {
  42   // expected-error @below {{expected the transform entry point to be a top-level transform op}}
  43   func.func private @foo() attributes {transform.target_tag="transform"}
  44
  45   module attributes {transform.target_tag="payload"} {}
  46 }
  47
  48 // -----
  49
  50 module {
  51   transform.sequence failures(suppress) attributes {transform.target_tag="transform"} {
  52   ^bb0(%arg0: !transform.any_op):
  53     transform.test_print_remark_at_operand %arg0, "payload" : !transform.any_op
  54   }
  55
  56   // This will not be executed because it's not tagged.
  57   transform.sequence failures(suppress)  {
  58   ^bb0(%arg0: !transform.any_op):
  59     transform.test_print_remark_at_operand %arg0, "some other text that is not printed" : !transform.any_op
  60   }
  61
  62   module {
  63     module {}
  64     // expected-remark @below {{payload}}
  65     module attributes {transform.target_tag="payload"} {}
  66     module {}
  67   }
  68 }