tests/forward_substitution4.scop

   1 start: 36
   2 end: 106
   3 indent: "\t"
   4 context: '[N] -> {  : -2147483648 <= N <= 2147483647 }'
   5 schedule: '{ domain: "[N] -> { S_4[]; S_1[] : N = 2; S_0[]; S_3[]; S_2[] }", child:
   6   { sequence: [ { filter: "[N] -> { S_0[] }" }, { filter: "[N] -> { S_1[] }" }, {
   7   filter: "[N] -> { S_2[] }" }, { filter: "[N] -> { S_4[]; S_3[] }", child: { set:
   8   [ { filter: "{ S_3[] }" }, { filter: "{ S_4[] }" } ] } } ] } }'
   9 arrays:
  10 - context: '{  :  }'
  11   extent: '[N] -> { a[i0] : 0 <= i0 <= 9 }'
  12   element_type: int
  13   element_size: 4
  14 - context: '{  :  }'
  15   extent: '[N] -> { c[] }'
  16   element_type: int
  17   element_size: 4
  18 statements:
  19 - line: 5
  20   domain: '[N] -> { S_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   body:
  37     type: expression
  38     expr:
  39       type: op
  40       operation: =
  41       arguments:
  42       - type: access
  43         index: '[N] -> { S_1[] -> c[] }'
  44         reference: __pet_ref_1
  45         read: 0
  46         write: 1
  47       - type: int
  48         value: 2
  49 - line: 8
  50   domain: '[N] -> { S_2[] }'
  51   body:
  52     type: expression
  53     expr:
  54       type: op
  55       operation: =
  56       arguments:
  57       - type: access
  58         index: '[N] -> { [S_2[] -> [i0]] -> a[((i0) : i0 >= 0)] }'
  59         reference: __pet_ref_3
  60         read: 0
  61         write: 1
  62         arguments:
  63         - type: access
  64           index: '[N] -> { S_2[] -> c[] }'
  65           reference: __pet_ref_2
  66           read: 1
  67           write: 0
  68       - type: int
  69         value: 5
  70 - line: -1
  71   domain: '[N] -> { S_3[] }'
  72   body:
  73     type: expression
  74     expr:
  75       type: op
  76       operation: kill
  77       arguments:
  78       - type: access
  79         killed: '[N] -> { S_3[] -> a[o0] : 0 <= o0 <= 9 }'
  80         index: '[N] -> { S_3[] -> a[] }'
  81         depth: 1
  82         reference: __pet_ref_4
  83         kill: 1
  84 - line: -1
  85   domain: '[N] -> { S_4[] }'
  86   body:
  87     type: expression
  88     expr:
  89       type: op
  90       operation: kill
  91       arguments:
  92       - type: access
  93         killed: '[N] -> { S_4[] -> c[] }'
  94         index: '[N] -> { S_4[] -> c[] }'
  95         reference: __pet_ref_5
  96         kill: 1