tests/kill2.scop

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