tests/inline8.scop

   1 start: 175
   2 end: 245
   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 statements:
  26 - line: -1
  27   domain: '{ S_0[i] : 0 <= i <= 9 }'
  28   body:
  29     type: expression
  30     expr:
  31       type: op
  32       operation: kill
  33       arguments:
  34       - type: access
  35         killed: '{ S_0[i] -> __pet_arg_0[] }'
  36         index: '{ S_0[i] -> __pet_arg_0[] }'
  37         reference: __pet_ref_0
  38         kill: 1
  39 - line: -1
  40   domain: '{ S_1[i] : 0 <= i <= 9 }'
  41   body:
  42     type: expression
  43     expr:
  44       type: op
  45       operation: =
  46       arguments:
  47       - type: access
  48         index: '{ S_1[i] -> __pet_arg_0[] }'
  49         reference: __pet_ref_1
  50         read: 0
  51         write: 1
  52       - type: access
  53         index: '{ S_1[i] -> [(i)] }'
  54         reference: __pet_ref_2
  55         read: 1
  56         write: 0
  57 - line: 11
  58   domain: '{ S_3[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19 }'
  59   body:
  60     type: expression
  61     expr:
  62       type: call
  63       name: g
  64       arguments:
  65       - type: op
  66         operation: '&'
  67         arguments:
  68         - type: access
  69           may_read: '{ S_3[i, i''] -> s[i, i''] }'
  70           may_write: '{ S_3[i, i''] -> s[i, i''] }'
  71           must_write: '{  }'
  72           index: '{ S_3[i, i''] -> s[(i), (i'')] }'
  73           reference: __pet_ref_3
  74           read: 1
  75           write: 1
  76 - line: -1
  77   domain: '{ S_2[i] : 0 <= i <= 9 }'
  78   body:
  79     type: expression
  80     expr:
  81       type: op
  82       operation: kill
  83       arguments:
  84       - type: access
  85         killed: '{ S_2[i] -> __pet_arg_0[] }'
  86         index: '{ S_2[i] -> __pet_arg_0[] }'
  87         reference: __pet_ref_4
  88         kill: 1