// CHECK: "tf.DummySideEffecting"() {id = 3
// CHECK: mlrt.promise_control
// CHECK: return

// CHECK-LABEL: func private @main_stream_3
// CHECK: mlrt.await_control
// CHECK: "tf.DummySideEffecting"() {id = 2
// CHECK: mlrt.promise_control
// CHECK: return

// CHECK-LABEL: func private @main_stream_4
// CHECK: "tf.DummySideEffecting"() {id = 1
// CHECK: mlrt.promise_control
// CHECK: return

// CHECK-LABEL: func @main()

  }];

  let arguments = (ins
    Variadic<MlrtFutureType>:$futures
  );

  let assemblyFormat = "operands attr-dict `:` type($futures)";
}

def PromiseControlOp: Mlrt_Op<"promise_control", []> {
  let summary = "Set a control promise";

  let description = [{
    Set a control promise.

    $promise: A value of !mlrt.promise type.
  }];

  let arguments = (ins