Back to PBT run
input.mlir
module {
dataflow.graph private @imported_export_0(
%start: none, %lb: i64, %ub: i64, %step: i64, %i: index, %c: i1, %v: i32,
%m: memref<?xi32>) -> (memref<?xi32>)
attributes {input_segments = array<i32: 6, 0, 1>,
result_segments = array<i32: 0, 0, 1>} {
memref.store %v, %m[%i] : memref<?xi32>
%loaded = memref.load %m[%i] : memref<?xi32>
dataflow.graph.return values() streams()
memories(%m : memref<?xi32>) complete(%start : none)
}
dataflow.graph private @view_export_1(
%start: none, %lb: i64, %ub: i64, %step: i64, %i: index, %c: i1, %v: i32,
%m: memref<4xi32>) -> (memref<?xi32>)
attributes {input_segments = array<i32: 6, 0, 1>,
result_segments = array<i32: 0, 0, 1>} {
%view = memref.cast %m : memref<4xi32> to memref<?xi32>
memref.store %v, %view[%i] : memref<?xi32>
%loaded = memref.load %view[%i] : memref<?xi32>
dataflow.graph.return values() streams()
memories(%view : memref<?xi32>) complete(%start : none)
}
}