tests/forward_substitution4.scop

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