tests/forward_substitution3.scop

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