tests/forward_substitution3.scop

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