tests/forward_substitution1.scop

   1 start: 31
   2 end: 95
   3 indent: "\t"
   4 context: '{  :  }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
   8   element_type: int
   9   element_size: 4
  10 - context: '{  :  }'
  11   extent: '{ b[] }'
  12   element_type: int
  13   element_size: 4
  14 - context: '{  :  }'
  15   extent: '{ c[] }'
  16   element_type: int
  17   element_size: 4
  18 statements:
  19 - line: 5
  20   domain: '{ S_0[] }'
  21   schedule: '{ S_0[] -> [0] }'
  22   body:
  23     type: expression
  24     expr:
  25       type: op
  26       operation: =
  27       arguments:
  28       - type: access
  29         index: '{ S_0[] -> b[] }'
  30         reference: __pet_ref_0
  31         read: 0
  32         write: 1
  33       - type: int
  34         value: 1
  35 - line: 6
  36   domain: '{ S_1[] }'
  37   schedule: '{ S_1[] -> [1] }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: =
  43       arguments:
  44       - type: access
  45         index: '{ S_1[] -> c[] }'
  46         reference: __pet_ref_1
  47         read: 0
  48         write: 1
  49       - type: access
  50         index: '{ S_1[] -> [(1)] }'
  51         reference: __pet_ref_2
  52         read: 1
  53         write: 0
  54 - line: 7
  55   domain: '{ S_2[] }'
  56   schedule: '{ S_2[] -> [2] }'
  57   body:
  58     type: expression
  59     expr:
  60       type: op
  61       operation: =
  62       arguments:
  63       - type: access
  64         index: '{ S_2[] -> b[] }'
  65         reference: __pet_ref_3
  66         read: 0
  67         write: 1
  68       - type: int
  69         value: 2
  70 - line: 8
  71   domain: '{ S_3[] }'
  72   schedule: '{ S_3[] -> [3] }'
  73   body:
  74     type: expression
  75     expr:
  76       type: op
  77       operation: =
  78       arguments:
  79       - type: access
  80         index: '{ S_3[] -> a[(1)] }'
  81         reference: __pet_ref_4
  82         read: 0
  83         write: 1
  84       - type: int
  85         value: 5