tests/inline7.scop

   1 start: 286
   2 end: 356
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19; S_2[i] : 0 <=
   6   i <= 9; S_0[i] : 0 <= i <= 9; S_1[i] : 0 <= i <= 9 }", child: { schedule: "L_0[{
   7   S_3[i, i''] -> [(i)]; S_2[i] -> [(i)]; S_1[i] -> [(i)]; S_0[i] -> [(i)] }]", child:
   8   { sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter: "{ S_3[i,
   9   i''] }", child: { schedule: "L_1[{ S_3[i, i''] -> [(i'')] }]" } }, { filter: "{
  10   S_2[i] }" } ] } } }'
  11 types:
  12 - name: s
  13   definition: "struct s {\n    int a[30][40];\n    int b[50];\n}"
  14 arrays:
  15 - context: '{  :  }'
  16   extent: '{ __pet_arg_0[] }'
  17   element_type: int
  18   element_size: 4
  19   declared: 1
  20 - context: '{  :  }'
  21   extent: '{ s[i0, i1] : 0 <= i0 <= 9 and 0 <= i1 <= 19 }'
  22   element_type: struct s
  23   element_size: 5000
  24   element_is_record: 1
  25   outer: 1
  26 - context: '{  :  }'
  27   extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <=
  28     i2 <= 29 and 0 <= i3 <= 39 }'
  29   element_type: int
  30   element_size: 4
  31 - context: '{  :  }'
  32   extent: '{ s_b[s[i0, i1] -> b[i2]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <= i2
  33     <= 49 }'
  34   element_type: int
  35   element_size: 4
  36 statements:
  37 - line: -1
  38   domain: '{ S_0[i] : 0 <= i <= 9 }'
  39   body:
  40     type: expression
  41     expr:
  42       type: op
  43       operation: kill
  44       arguments:
  45       - type: access
  46         killed: '{ S_0[i] -> __pet_arg_0[] }'
  47         index: '{ S_0[i] -> __pet_arg_0[] }'
  48         reference: __pet_ref_0
  49         kill: 1
  50 - line: -1
  51   domain: '{ S_1[i] : 0 <= i <= 9 }'
  52   body:
  53     type: expression
  54     expr:
  55       type: op
  56       operation: =
  57       arguments:
  58       - type: access
  59         index: '{ S_1[i] -> __pet_arg_0[] }'
  60         reference: __pet_ref_1
  61         read: 0
  62         write: 1
  63       - type: access
  64         index: '{ S_1[i] -> [(i)] }'
  65         reference: __pet_ref_2
  66         read: 1
  67         write: 0
  68 - line: 17
  69   domain: '{ S_3[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19 }'
  70   body:
  71     type: expression
  72     expr:
  73       type: call
  74       name: g
  75       arguments:
  76       - type: op
  77         operation: '&'
  78         arguments:
  79         - type: access
  80           may_write: '{ S_3[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <= 19
  81             and 20 <= o3 <= 29; S_3[i, i''] -> s_b[s[i, i''] -> b[5]] }'
  82           must_write: '{ S_3[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <=
  83             19 and 20 <= o3 <= 29; S_3[i, i''] -> s_b[s[i, i''] -> b[5]] }'
  84           index: '{ S_3[i, i''] -> s[(i), (i'')] }'
  85           reference: __pet_ref_3
  86           read: 0
  87           write: 1
  88 - line: -1
  89   domain: '{ S_2[i] : 0 <= i <= 9 }'
  90   body:
  91     type: expression
  92     expr:
  93       type: op
  94       operation: kill
  95       arguments:
  96       - type: access
  97         killed: '{ S_2[i] -> __pet_arg_0[] }'
  98         index: '{ S_2[i] -> __pet_arg_0[] }'
  99         reference: __pet_ref_4
 100         kill: 1