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   body:
  21     type: expression
  22     expr:
  23       type: op
  24       operation: =
  25       arguments:
  26       - type: access
  27         index: '[N] -> { S_0[] -> c[] }'
  28         reference: __pet_ref_0
  29         read: 0
  30         write: 1
  31       - type: int
  32         value: 1
  33 - line: 7
  34   domain: '[N] -> { S_1[] : N = 2 }'
  35   body:
  36     type: expression
  37     expr:
  38       type: op
  39       operation: =
  40       arguments:
  41       - type: access
  42         index: '[N] -> { S_1[] -> c[] }'
  43         reference: __pet_ref_1
  44         read: 0
  45         write: 1
  46       - type: int
  47         value: 2
  48 - line: 8
  49   domain: '[N] -> { S_2[] }'
  50   body:
  51     type: expression
  52     expr:
  53       type: op
  54       operation: =
  55       arguments:
  56       - type: access
  57         index: '[N] -> { [S_2[] -> [i0]] -> a[((i0) : i0 >= 0)] }'
  58         reference: __pet_ref_3
  59         read: 0
  60         write: 1
  61         arguments:
  62         - type: access
  63           index: '[N] -> { S_2[] -> c[] }'
  64           reference: __pet_ref_2
  65           read: 1
  66           write: 0
  67       - type: int
  68         value: 5