Back to PBT run

input.mlir

dataflow.thread private @thread_0 domain(#dataflow.thread_domain<dense>)(%buf: memref<8xi32>) ctrl (%thread_ctrl: none) {
  %value = arith.constant 7 : i32
  dataflow.thread.yield
}
func.func @host_0() {
  %buf = memref.alloc() : memref<8xi32>
  %token = dataflow.thread.launch @thread_0(%buf) : (memref<8xi32>) -> !dataflow.thread_token
  return
}