Back to PBT run

output.generic.mlir

"builtin.module"() ({
  "dataflow.graph"() <{function_type = (index, i32, i32, i32, memref<16xi32>, memref<16xi32>) -> (), input_segments = array<i32: 4, 0, 2>, result_segments = array<i32: 0, 0, 0>, sym_name = "sb_strand", sym_visibility = "private"}> ({
  ^bb0(%arg0: none, %arg1: index, %arg2: i32, %arg3: i32, %arg4: i32, %arg5: memref<16xi32>, %arg6: memref<16xi32>):
    %0 = "dataflow.store"(%arg6, %arg1, %arg2, %arg0) {sb_index = 0 : i64} : (memref<16xi32>, index, i32, none) -> none
    %1 = "dataflow.store"(%arg5, %arg1, %arg2, %0) <{contract = #dataflow.plain_access<is_volatile = true>}> {sb_index = 1 : i64} : (memref<16xi32>, index, i32, none) -> none
    %2 = "dataflow.store"(%arg6, %arg1, %arg2, %1) {sb_index = 2 : i64} : (memref<16xi32>, index, i32, none) -> none
    %3 = "dataflow.store"(%arg5, %arg1, %arg2, %2) <{contract = #dataflow.atomic_access<ordering = release, sync_scope = <system>, source_alignment_bytes = 4>}> {sb_index = 3 : i64} : (memref<16xi32>, index, i32, none) -> none
    %4 = "dataflow.fence"(%3) <{contract = #dataflow.fence_contract<ordering = seq_cst, sync_scope = <system>>}> {sb_index = 4 : i64} : (none) -> none
    %5:2 = "dataflow.atomic_rmw"(%arg6, %arg1, %arg2, %4) <{contract = #dataflow.rmw_contract<kind = add, access = <ordering = monotonic, sync_scope = <system>, source_alignment_bytes = 4>>}> {sb_index = 5 : i64} : (memref<16xi32>, index, i32, none) -> (i32, none)
    "dataflow.graph.return"(%5#1) <{operandSegmentSizes = array<i32: 0, 0, 0, 1>}> : (none) -> ()
  }) : () -> ()
}) : () -> ()