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 - context: '{  :  }'
  26   extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <=
  27     i2 <= 29 and 0 <= i3 <= 39 }'
  28   element_type: int
  29   element_size: 4
  30 - context: '{  :  }'
  31   extent: '{ s_b[s[i0, i1] -> b[i2]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <= i2
  32     <= 49 }'
  33   element_type: int
  34   element_size: 4
  35 statements:
  36 - line: -1
  37   domain: '{ S_0[i] : 0 <= i <= 9 }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: kill
  43       arguments:
  44       - type: access
  45         killed: '{ S_0[i] -> __pet_arg_0[] }'
  46         index: '{ S_0[i] -> __pet_arg_0[] }'
  47         reference: __pet_ref_0
  48         kill: 1
  49 - line: -1
  50   domain: '{ S_1[i] : 0 <= i <= 9 }'
  51   body:
  52     type: expression
  53     expr:
  54       type: op
  55       operation: =
  56       arguments:
  57       - type: access
  58         index: '{ S_1[i] -> __pet_arg_0[] }'
  59         reference: __pet_ref_1
  60         read: 0
  61         write: 1
  62       - type: access
  63         index: '{ S_1[i] -> [(i)] }'
  64         reference: __pet_ref_2
  65         read: 1
  66         write: 0
  67 - line: 17
  68   domain: '{ S_3[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19 }'
  69   body:
  70     type: expression
  71     expr:
  72       type: call
  73       name: g
  74       arguments:
  75       - type: op
  76         operation: '&'
  77         arguments:
  78         - type: access
  79           may_write: '{ S_3[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <= 19
  80             and 20 <= o3 <= 29; S_3[i, i''] -> s_b[s[i, i''] -> b[5]] }'
  81           must_write: '{ S_3[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <=
  82             19 and 20 <= o3 <= 29; S_3[i, i''] -> s_b[s[i, i''] -> b[5]] }'
  83           index: '{ S_3[i, i''] -> s[(i), (i'')] }'
  84           reference: __pet_ref_3
  85           read: 0
  86           write: 1
  87 - line: -1
  88   domain: '{ S_2[i] : 0 <= i <= 9 }'
  89   body:
  90     type: expression
  91     expr:
  92       type: op
  93       operation: kill
  94       arguments:
  95       - type: access
  96         killed: '{ S_2[i] -> __pet_arg_0[] }'
  97         index: '{ S_2[i] -> __pet_arg_0[] }'
  98         reference: __pet_ref_4
  99         kill: 1