tests/struct9.scop

   1 start: 127
   2 end: 359
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19
   6   and k >= 0 and k <= 29 and l >= 0 and l <= 39; S_2[i, j, k, l] : i >= 0 and i <=
   7   9 and j >= 0 and j <= 19 and k >= 0 and k <= 29 and l >= 0 and l <= 39; S_0[i, j,
   8   k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0 and k <= 29 and l >=
   9   0 and l <= 39 }", child: { schedule: "L_0[{ S_1[i, j, k, l] -> [(i)]; S_2[i, j,
  10   k, l] -> [(i)]; S_0[i, j, k, l] -> [(i)] }]", child: { schedule: "L_1[{ S_1[i, j,
  11   k, l] -> [(j)]; S_2[i, j, k, l] -> [(j)]; S_0[i, j, k, l] -> [(j)] }]", child: {
  12   schedule: "L_2[{ S_1[i, j, k, l] -> [(k)]; S_2[i, j, k, l] -> [(k)]; S_0[i, j, k,
  13   l] -> [(k)] }]", child: { schedule: "L_3[{ S_1[i, j, k, l] -> [(l)]; S_2[i, j, k,
  14   l] -> [(l)]; S_0[i, j, k, l] -> [(l)] }]", child: { sequence: [ { filter: "{ S_0[i,
  15   j, k, l] }" }, { filter: "{ S_1[i, j, k, l] }" }, { filter: "{ S_2[i, j, k, l] }"
  16   } ] } } } } } }'
  17 types:
  18 - name: s
  19   definition: "struct s {\n    int a[30][40];\n}"
  20 arrays:
  21 - context: '{  :  }'
  22   extent: '{ s[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19 }'
  23   element_type: struct s
  24   element_size: 4800
  25   element_is_record: 1
  26 - context: '{  :  }'
  27   extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1
  28     <= 19 and i2 >= 0 and i3 >= 0 and i2 <= 29 and i3 <= 39 }'
  29   element_type: int
  30   element_size: 4
  31 statements:
  32 - line: 18
  33   domain: '{ S_0[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
  34     and k <= 29 and l >= 0 and l <= 39 }'
  35   body:
  36     type: expression
  37     expr:
  38       type: call
  39       name: f1
  40       arguments:
  41       - type: access
  42         index: '{ S_0[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k), (l)]] }'
  43         reference: __pet_ref_0
  44         read: 1
  45         write: 0
  46 - line: 19
  47   domain: '{ S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
  48     and k <= 29 and l >= 0 and l <= 39 }'
  49   body:
  50     type: expression
  51     expr:
  52       type: call
  53       name: f2
  54       arguments:
  55       - type: access
  56         may_read: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
  57         may_write: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
  58         must_write: '{  }'
  59         index: '{ S_1[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k)]] }'
  60         depth: 4
  61         reference: __pet_ref_1
  62         read: 1
  63         write: 1
  64 - line: 20
  65   domain: '{ S_2[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
  66     and k <= 29 and l >= 0 and l <= 39 }'
  67   body:
  68     type: expression
  69     expr:
  70       type: call
  71       name: f3
  72       arguments:
  73       - type: access
  74         may_read: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
  75         may_write: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
  76         must_write: '{  }'
  77         index: '{ S_2[i, j, k, l] -> s_a[s[(i), (j)] -> a[]] }'
  78         depth: 4
  79         reference: __pet_ref_2
  80         read: 1
  81         write: 1