tests/inf4.scop

   1 start: 74
   2 end: 216
   3 indent: '    '
   4 context: '[N] -> {  : N >= 8 and N <= 16 }'
   5 schedule: '{ domain: "[N] -> { S_5[]; S_4[]; S_1[i, j] : i >= 0 and j >= 0 and j <=
   6   -1 + N; S_0[i, j] : i >= 0 and j >= 0 and j <= -1 + N; S_3[]; S_2[] }", child: {
   7   sequence: [ { filter: "[N] -> { S_1[i, j]; S_0[i, j] }", child: { schedule: "[N]
   8   -> L_0[{ S_1[i, j] -> [(i)]; S_0[i, j] -> [(i)] }]", child: { sequence: [ { filter:
   9   "[N] -> { S_0[i, j] }", child: { schedule: "[N] -> L_1[{ S_0[i, j] -> [(j)] }]"
  10   } }, { filter: "[N] -> { S_1[i, j] }", child: { schedule: "[N] -> L_2[{ S_1[i, j]
  11   -> [(j)] }]" } } ] } } }, { filter: "[N] -> { S_5[]; S_4[]; S_3[]; S_2[] }", child:
  12   { set: [ { filter: "{ S_2[] }" }, { filter: "{ S_3[] }" }, { filter: "{ S_4[] }"
  13   }, { filter: "{ S_5[] }" } ] } } ] } }'
  14 arrays:
  15 - context: '[N] -> {  : N >= 0 }'
  16   extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
  17   element_type: int
  18   element_size: 4
  19 - context: '[N] -> {  : N >= 0 }'
  20   extent: '[N] -> { b[i0] : i0 >= 0 and i0 <= -1 + N }'
  21   element_type: int
  22   element_size: 4
  23 - context: '{  :  }'
  24   extent: '[N] -> { i[] }'
  25   element_type: int
  26   element_size: 4
  27 - context: '{  :  }'
  28   extent: '[N] -> { j[] }'
  29   element_type: int
  30   element_size: 4
  31 statements:
  32 - line: 12
  33   domain: '[N] -> { S_0[i, j] : i >= 0 and j >= 0 and j <= -1 + N }'
  34   body:
  35     type: expression
  36     expr:
  37       type: op
  38       operation: =
  39       arguments:
  40       - type: access
  41         index: '[N] -> { S_0[i, j] -> a[(j)] }'
  42         reference: __pet_ref_0
  43         read: 0
  44         write: 1
  45       - type: int
  46         value: 0
  47 - line: 14
  48   domain: '[N] -> { S_1[i, j] : i >= 0 and j >= 0 and j <= -1 + N }'
  49   body:
  50     type: expression
  51     expr:
  52       type: op
  53       operation: =
  54       arguments:
  55       - type: access
  56         index: '[N] -> { S_1[i, j] -> b[(j)] }'
  57         reference: __pet_ref_1
  58         read: 0
  59         write: 1
  60       - type: access
  61         index: '[N] -> { S_1[i, j] -> a[(j)] }'
  62         reference: __pet_ref_2
  63         read: 1
  64         write: 0
  65 - line: -1
  66   domain: '[N] -> { S_2[] }'
  67   body:
  68     type: expression
  69     expr:
  70       type: op
  71       operation: kill
  72       arguments:
  73       - type: access
  74         killed: '[N] -> { S_2[] -> i[] }'
  75         index: '[N] -> { S_2[] -> i[] }'
  76         reference: __pet_ref_3
  77         kill: 1
  78 - line: -1
  79   domain: '[N] -> { S_3[] }'
  80   body:
  81     type: expression
  82     expr:
  83       type: op
  84       operation: kill
  85       arguments:
  86       - type: access
  87         killed: '[N] -> { S_3[] -> j[] }'
  88         index: '[N] -> { S_3[] -> j[] }'
  89         reference: __pet_ref_4
  90         kill: 1
  91 - line: -1
  92   domain: '[N] -> { S_4[] }'
  93   body:
  94     type: expression
  95     expr:
  96       type: op
  97       operation: kill
  98       arguments:
  99       - type: access
 100         killed: '[N] -> { S_4[] -> a[o0] : o0 >= 0 and o0 <= -1 + N }'
 101         index: '[N] -> { S_4[] -> a[] }'
 102         depth: 1
 103         reference: __pet_ref_5
 104         kill: 1
 105 - line: -1
 106   domain: '[N] -> { S_5[] }'
 107   body:
 108     type: expression
 109     expr:
 110       type: op
 111       operation: kill
 112       arguments:
 113       - type: access
 114         killed: '[N] -> { S_5[] -> b[o0] : o0 >= 0 and o0 <= -1 + N }'
 115         index: '[N] -> { S_5[] -> b[] }'
 116         depth: 1
 117         reference: __pet_ref_6
 118         kill: 1