tests/autodetect/if1.scop

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