tests/forward_substitution1.scop

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