1// RUN: mlir-opt %s --transform-infer-effects | FileCheck %s 2 3module attributes { transform.with_named_sequence } { 4 // CHECK-LABEL: @infer 5 // CHECK-SAME: %{{.*}}: !transform.any_op {transform.consumed} 6 // CHECK-SAME: %{{.*}}: !transform.any_op {transform.readonly} 7 // CHECK-SAME: %{{.*}}: !transform.param<i32> {transform.readonly} 8 transform.named_sequence @infer(%op: !transform.any_op, %other: !transform.any_op, %param: !transform.param<i32>) { 9 transform.test_consume_operand %op : !transform.any_op 10 transform.debug.emit_remark_at %other, "" : !transform.any_op 11 transform.yield 12 } 13} 14