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         relation: '{ S_0[] -> b[] }'
  30         index: '{ S_0[] -> b[] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: int
  35         value: 1
  36 - line: 6
  37   domain: '{ S_1[] }'
  38   schedule: '{ S_1[] -> [1] }'
  39   body:
  40     type: expression
  41     expr:
  42       type: op
  43       operation: =
  44       arguments:
  45       - type: access
  46         relation: '{ S_1[] -> c[] }'
  47         index: '{ S_1[] -> c[] }'
  48         reference: __pet_ref_1
  49         read: 0
  50         write: 1
  51       - type: access
  52         relation: '{ S_1[] -> [1] }'
  53         index: '{ S_1[] -> [(1)] }'
  54         reference: __pet_ref_2
  55         read: 1
  56         write: 0
  57 - line: 7
  58   domain: '{ S_2[] }'
  59   schedule: '{ S_2[] -> [2] }'
  60   body:
  61     type: expression
  62     expr:
  63       type: op
  64       operation: =
  65       arguments:
  66       - type: access
  67         relation: '{ S_2[] -> b[] }'
  68         index: '{ S_2[] -> b[] }'
  69         reference: __pet_ref_3
  70         read: 0
  71         write: 1
  72       - type: int
  73         value: 2
  74 - line: 8
  75   domain: '{ S_3[] }'
  76   schedule: '{ S_3[] -> [3] }'
  77   body:
  78     type: expression
  79     expr:
  80       type: op
  81       operation: =
  82       arguments:
  83       - type: access
  84         relation: '{ S_3[] -> a[1] }'
  85         index: '{ S_3[] -> a[(1)] }'
  86         reference: __pet_ref_4
  87         read: 0
  88         write: 1
  89       - type: int
  90         value: 5