tests/while_affine.scop

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