Back to PBT run

input.mlir

dataflow.graph private @sb_strand(
    %start: none, %idx: index, %val: i32, %exp: i32, %des: i32,
    %a: memref<16xi32>, %b: memref<16xi32>) -> ()
    attributes {input_segments = array<i32: 4, 0, 2>,
                result_segments = array<i32: 0, 0, 0>} {
  %r0, %d0 = dataflow.atomic_rmw %b[%idx] %val %start {contract = #dataflow.rmw_contract<kind = add, access = <ordering = monotonic, sync_scope = <system>, source_alignment_bytes = 4>>, sb_index = 0 : i64} : memref<16xi32>
  %d1 = dataflow.store %a[%idx] %val %start {contract = #dataflow.atomic_access<ordering = release, sync_scope = <system>, source_alignment_bytes = 4>, sb_index = 1 : i64} : memref<16xi32>
  %d2 = dataflow.fence %start {contract = #dataflow.fence_contract<ordering = release, sync_scope = <system>>, sb_index = 2 : i64}
  %d3 = dataflow.store %a[%idx] %val %start {sb_index = 3 : i64} : memref<16xi32>
  %r4, %d4 = dataflow.atomic_rmw %a[%idx] %val %start {contract = #dataflow.rmw_contract<kind = add, access = <ordering = monotonic, sync_scope = <system>, source_alignment_bytes = 4>>, sb_index = 4 : i64} : memref<16xi32>
  %d5 = dataflow.fence %start {contract = #dataflow.fence_contract<ordering = seq_cst, sync_scope = <system>>, sb_index = 5 : i64}
  dataflow.graph.return %start : none
}