// RUN: mlir-opt %s                                                            \
// RUN:     -test-print-number-of-operation-executions                         \
// RUN:     -split-input-file 2>&1                                             \
// RUN:   | FileCheck %s

// CHECK-LABEL: Number of executions: empty
func @empty() {
  // CHECK: Operation: std.return
  // CHECK-NEXT: Number of executions: 1
  return
}

// -----

// CHECK-LABEL: Number of executions: propagate_parent_num_executions
func @propagate_parent_num_executions() {
  // CHECK: Operation: std.constant
  // CHECK-NEXT: Number of executions: 1
  %c0 = constant 0 : index
  // CHECK: Operation: std.constant
  // CHECK-NEXT: Number of executions: 1
  %c1 = constant 1 : index
  // CHECK: Operation: std.constant
  // CHECK-NEXT: Number of executions: 1
  %c2 = constant 2 : index

  // CHECK-DAG: Operation: scf.for
  // CHECK-NEXT: Number of executions: 1
  scf.for %i = %c0 to %c2 step %c1 {
    // CHECK-DAG: Operation: async.execute
    // CHECK-NEXT: Number of executions: 2
    async.execute {
      // CHECK-DAG: Operation: async.yield
      // CHECK-NEXT: Number of executions: 2
      async.yield
    }
  }

  return
}

// -----

// CHECK-LABEL: Number of executions: clear_num_executions
func @clear_num_executions(%step : index) {
  // CHECK: Operation: std.constant
  // CHECK-NEXT: Number of executions: 1
  %c0 = constant 0 : index
  // CHECK: Operation: std.constant
  // CHECK-NEXT: Number of executions: 1
  %c2 = constant 2 : index

  // CHECK: Operation: scf.for
  // CHECK-NEXT: Number of executions: 1
  scf.for %i = %c0 to %c2 step %step {
    // CHECK: Operation: async.execute
    // CHECK-NEXT: Number of executions: <unknown>
    async.execute {
      // CHECK: Operation: async.yield
      // CHECK-NEXT: Number of executions: <unknown>
      async.yield
    }
  }

  return
}