tests/dynamic_bound.scop

   1 start: 143
   2 end: 351
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[]; S_5[]; S_3[i, j] : i >= 0 and j >= 0; S_6[]; S_2[i,
   6   j] : i >= 0 and j >= 0; S_4[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[]
   7   }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[i, j] }", child: { schedule: "L_0[{
   8   S_2[i, j] -> [(i)] }]", child: { schedule: "L_1[{ S_2[i, j] -> [(j)] }]" } } },
   9   { filter: "{ S_3[i, j] }", child: { schedule: "L_2[{ S_3[i, j] -> [(i)] }]", child:
  10   { schedule: "L_3[{ S_3[i, j] -> [(j)] }]" } } }, { filter: "{ S_5[]; S_6[]; S_4[]
  11   }", child: { set: [ { filter: "{ S_4[] }" }, { filter: "{ S_5[] }" }, { filter:
  12   "{ S_6[] }" } ] } } ] } }'
  13 arrays:
  14 - context: '{  :  }'
  15   extent: '{ M[] }'
  16   value_bounds: '{ [i0] : 0 <= i0 <= 100 }'
  17   element_type: int
  18   element_size: 4
  19 - context: '{  :  }'
  20   extent: '{ N[] }'
  21   value_bounds: '{ [i0] : 0 <= i0 <= 100 }'
  22   element_type: int
  23   element_size: 4
  24 - context: '{  :  }'
  25   extent: '{ a[i0, i1] : 0 <= i0 <= 99 and 0 <= i1 <= 99 }'
  26   element_type: int
  27   element_size: 4
  28 statements:
  29 - line: 13
  30   domain: '{ S_0[] }'
  31   body:
  32     type: expression
  33     expr:
  34       type: op
  35       operation: =
  36       arguments:
  37       - type: access
  38         index: '{ S_0[] -> N[] }'
  39         reference: __pet_ref_0
  40         read: 0
  41         write: 1
  42       - type: call
  43         name: f
  44 - line: 14
  45   domain: '{ S_1[] }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: =
  51       arguments:
  52       - type: access
  53         index: '{ S_1[] -> M[] }'
  54         reference: __pet_ref_1
  55         read: 0
  56         write: 1
  57       - type: call
  58         name: g
  59 - line: 17
  60   domain: '{ [S_2[i, j] -> [N, M]] : i >= 0 and j >= 0 and N > i and M > j }'
  61   body:
  62     type: expression
  63     expr:
  64       type: op
  65       operation: =
  66       arguments:
  67       - type: access
  68         index: '{ S_2[i, j] -> a[(i), (j)] }'
  69         reference: __pet_ref_4
  70         read: 0
  71         write: 1
  72       - type: access
  73         index: '{ S_2[i, j] -> [((i + j) : j <= 2147483647 - i)] }'
  74         reference: __pet_ref_5
  75         read: 1
  76         write: 0
  77   arguments:
  78   - type: access
  79     index: '{ S_2[i, j] -> N[] }'
  80     reference: __pet_ref_2
  81     read: 1
  82     write: 0
  83   - type: access
  84     index: '{ S_2[i, j] -> M[] }'
  85     reference: __pet_ref_3
  86     read: 1
  87     write: 0
  88 - line: 20
  89   domain: '{ [S_3[i, j] -> [N, M]] : i >= 0 and j >= 0 and N > i and M > j }'
  90   body:
  91     type: expression
  92     expr:
  93       type: call
  94       name: h
  95       arguments:
  96       - type: access
  97         index: '{ S_3[i, j] -> [(i)] }'
  98         reference: __pet_ref_8
  99         read: 1
 100         write: 0
 101       - type: access
 102         index: '{ S_3[i, j] -> [(j)] }'
 103         reference: __pet_ref_9
 104         read: 1
 105         write: 0
 106       - type: access
 107         index: '{ S_3[i, j] -> a[(i), (j)] }'
 108         reference: __pet_ref_10
 109         read: 1
 110         write: 0
 111   arguments:
 112   - type: access
 113     index: '{ S_3[i, j] -> N[] }'
 114     reference: __pet_ref_6
 115     read: 1
 116     write: 0
 117   - type: access
 118     index: '{ S_3[i, j] -> M[] }'
 119     reference: __pet_ref_7
 120     read: 1
 121     write: 0
 122 - line: -1
 123   domain: '{ S_4[] }'
 124   body:
 125     type: expression
 126     expr:
 127       type: op
 128       operation: kill
 129       arguments:
 130       - type: access
 131         killed: '{ S_4[] -> N[] }'
 132         index: '{ S_4[] -> N[] }'
 133         reference: __pet_ref_11
 134         kill: 1
 135 - line: -1
 136   domain: '{ S_5[] }'
 137   body:
 138     type: expression
 139     expr:
 140       type: op
 141       operation: kill
 142       arguments:
 143       - type: access
 144         killed: '{ S_5[] -> M[] }'
 145         index: '{ S_5[] -> M[] }'
 146         reference: __pet_ref_12
 147         kill: 1
 148 - line: -1
 149   domain: '{ S_6[] }'
 150   body:
 151     type: expression
 152     expr:
 153       type: op
 154       operation: kill
 155       arguments:
 156       - type: access
 157         killed: '{ S_6[] -> a[o0, o1] : 0 <= o0 <= 99 and 0 <= o1 <= 99 }'
 158         index: '{ S_6[] -> a[] }'
 159         depth: 2
 160         reference: __pet_ref_13
 161         kill: 1