Back to PBT run

input.mlir

dataflow.thread private @thread_0 domain(#dataflow.thread_domain<dense>)(
    %limit: index, %memory: memref<?xindex>) ctrl (%ctrl: none) {
  %izero = arith.constant 0 : index
  %ione = arith.constant 1 : index
  memref.store %ione, %memory[%izero] : memref<?xindex>
  dataflow.thread.yield
}
dataflow.thread private @thread_1 domain(#dataflow.thread_domain<dense>)(
    %limit: index, %memory: memref<?xindex>) ctrl (%ctrl: none) {
  %izero = arith.constant 0 : index
  %ione = arith.constant 1 : index
  memref.store %ione, %memory[%izero] : memref<?xindex>
  dataflow.thread.yield
}