tests/inputs/wire2_pn_adg.yaml

   1 name: wire2
   2 context: '{  :  }'
   3 iterator_map: '{ [c0, c1] -> [c0] }'
   4 iterators: [c0]
   5 all_iterators: [c0, c1]
   6 nodes:
   7 - name: ND_0
   8   function:
   9     name: f
  10     out:
  11     - {var: {access: '{ ND_0[i0] -> out_0ND_0[] }', type: int}, type: return}
  12     domain:
  13       bounds: '{ ND_0[i0] : i0 >= 0 and i0 <= 2 }'
  14   domain:
  15     bounds: '{ ND_0[i0] : i0 >= 0 and i0 <= 2 }'
  16   schedule: '{ ND_0[i0] -> [i0, 0] : i0 >= 0 and i0 <= 2 }'
  17   output_ports:
  18   - name: ND_0OP_ED_3_0_V_0
  19     node: ND_0
  20     edge: ED_3
  21     vars:
  22     - {access: '{ ND_0[i0] -> out_0ND_0[] }', type: int}
  23     domain:
  24       bounds: '{ ND_0[i0] : i0 >= 0 and i0 <= 1 }'
  25   - name: ND_0OP_ED_3_1_V_0
  26     node: ND_0
  27     edge: ED_3
  28     vars:
  29     - {access: '{ ND_0[i0] -> out_0ND_0[] }', type: int}
  30     domain:
  31       bounds: '{ ND_0[2] }'
  32 - name: ND_1
  33   function:
  34     name: g
  35     in:
  36     - {var: {access: '{ ND_1[i0] -> in_0ND_1[] }', type: int}, type: value}
  37     - {var: {access: '{ ND_1[i0] -> in_1ND_1[] }', type: int}, type: value}
  38     domain:
  39       bounds: '{ ND_1[i0] : i0 >= 1 and i0 <= 2 }'
  40   domain:
  41     bounds: '{ ND_1[i0] : i0 >= 1 and i0 <= 2 }'
  42   schedule: '{ ND_1[i0] -> [i0, 1] : i0 >= 1 and i0 <= 2 }'
  43   input_ports:
  44   - name: ND_1IP_ED_3_0_V_0
  45     node: ND_1
  46     edge: ED_3
  47     vars:
  48     - {access: '{ [ND_1[i0] -> local[]] -> in_0ND_1[] }', type: int}
  49     domain:
  50       bounds: '{ [ND_1[i0] -> local[]] : i0 >= 1 and i0 <= 2 }'
  51   - name: ND_1IP_ED_3_1_V_1
  52     node: ND_1
  53     edge: ED_3
  54     vars:
  55     - {access: '{ [ND_1[i0] -> local[]] -> in_1ND_1[] }', type: int}
  56     domain:
  57       bounds: '{ [ND_1[2] -> local[]] }'
  58   gates:
  59   - name: ND_1ID_0
  60     node: ND_1
  61     in: {access: '{ ND_1[i0] -> in_0ND_1[] }', type: int}
  62     out: {access: '{ ND_1[i0] -> in_1ND_1[] }', type: int}
  63     domain:
  64       bounds: '{ [ND_1[1] -> []] }'
  65 edges:
  66 - name: ED_3
  67   type: fifo
  68   map: '{ lifted[ND_1[i0] -> local[]] -> ND_0[(-1 + i0)] }'
  69   from_node: ND_0
  70   from_port: ND_0OP_ED_3_0_V_0
  71   to_node: ND_1
  72   to_port: ND_1IP_ED_3_0_V_0
  73   value_size: 2
  74 - name: ED_3
  75   type: fifo
  76   map: '{ lifted[ND_1[i0] -> local[]] -> ND_0[(2)] }'
  77   from_node: ND_0
  78   from_port: ND_0OP_ED_3_1_V_0
  79   to_node: ND_1
  80   to_port: ND_1IP_ED_3_1_V_1
  81   value_size: 2