tests/generic_condition2.scop

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