tests/unsigned1.scop

   1 start: 60
   2 end: 256
   3 indent: '        '
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >=
   6   256 - i or (i >= 0 and 0 <= j <= 255 - i and k < i + j)); S_10[]; S_0[]; S_6[i]
   7   : 0 <= i <= 199; S_7[]; S_4[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >=
   8   256 - i or (i >= 0 and 0 <= j <= 255 - i and k < i + j)); S_8[]; S_2[i, j] : 0 <=
   9   i <= 199 and 0 <= j <= 199; S_9[]; S_5[i, j] : 0 <= i <= 199 and 0 <= j <= 199;
  10   S_1[i] : 0 <= i <= 199 }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter:
  11   "{ S_3[i, j, k]; S_6[i]; S_4[i, j, k]; S_2[i, j]; S_5[i, j]; S_1[i] }", child: {
  12   schedule: "L_0[{ S_4[i, j, k] -> [(i)]; S_6[i] -> [(i)]; S_1[i] -> [(i)]; S_2[i,
  13   j] -> [(i)]; S_5[i, j] -> [(i)]; S_3[i, j, k] -> [(i)] }]", child: { sequence: [
  14   { filter: "{ S_1[i] }" }, { filter: "{ S_3[i, j, k]; S_4[i, j, k]; S_2[i, j]; S_5[i,
  15   j] }", child: { schedule: "L_1[{ S_3[i, j, k] -> [(j)]; S_4[i, j, k] -> [(j)]; S_5[i,
  16   j] -> [(j)]; S_2[i, j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_2[i, j]
  17   }" }, { filter: "{ S_3[i, j, k]; S_4[i, j, k] }", child: { schedule: "L_2[{ S_3[i,
  18   j, k] -> [(k)]; S_4[i, j, k] -> [(k)] }]", child: { sequence: [ { filter: "{ S_3[i,
  19   j, k] }" }, { filter: "{ S_4[i, j, k] }" } ] } } }, { filter: "{ S_5[i, j] }" }
  20   ] } } }, { filter: "{ S_6[i] }" } ] } } }, { filter: "{ S_10[]; S_7[]; S_8[]; S_9[]
  21   }", child: { set: [ { filter: "{ S_7[] }" }, { filter: "{ S_8[] }" }, { filter:
  22   "{ S_9[] }" }, { filter: "{ S_10[] }" } ] } } ] } }'
  23 arrays:
  24 - context: '{  :  }'
  25   extent: '{ a[] }'
  26   element_type: int
  27   element_size: 4
  28 - context: '{  :  }'
  29   extent: '{ i[] }'
  30   element_type: unsigned char
  31   element_size: 1
  32 - context: '{  :  }'
  33   extent: '{ j[] }'
  34   element_type: unsigned char
  35   element_size: 1
  36 - context: '{  :  }'
  37   extent: '{ k[] }'
  38   element_type: unsigned char
  39   element_size: 1
  40 statements:
  41 - line: 7
  42   domain: '{ S_0[] }'
  43   body:
  44     type: expression
  45     expr:
  46       type: op
  47       operation: =
  48       arguments:
  49       - type: access
  50         index: '{ S_0[] -> i[] }'
  51         reference: __pet_ref_0
  52         read: 0
  53         write: 1
  54       - type: int
  55         value: 0
  56 - line: 8
  57   domain: '{ S_1[i] : 0 <= i <= 199 }'
  58   body:
  59     type: expression
  60     expr:
  61       type: op
  62       operation: =
  63       arguments:
  64       - type: access
  65         index: '{ S_1[i] -> j[] }'
  66         reference: __pet_ref_1
  67         read: 0
  68         write: 1
  69       - type: int
  70         value: 0
  71 - line: 9
  72   domain: '{ S_2[i, j] : 0 <= i <= 199 and 0 <= j <= 199 }'
  73   body:
  74     type: expression
  75     expr:
  76       type: op
  77       operation: =
  78       arguments:
  79       - type: access
  80         index: '{ S_2[i, j] -> k[] }'
  81         reference: __pet_ref_2
  82         read: 0
  83         write: 1
  84       - type: int
  85         value: 0
  86 - line: 10
  87   domain: '{ S_3[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >= 256 - i or
  88     (i >= 0 and 0 <= j <= 255 - i and k < i + j)) }'
  89   body:
  90     type: expression
  91     expr:
  92       type: op
  93       operation: =
  94       arguments:
  95       - type: access
  96         index: '{ S_3[i, j, k] -> a[] }'
  97         reference: __pet_ref_3
  98         read: 0
  99         write: 1
 100       - type: int
 101         value: 5
 102 - line: 9
 103   domain: '{ S_4[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >= 256 - i or
 104     (i >= 0 and 0 <= j <= 255 - i and k < i + j)) }'
 105   body:
 106     type: expression
 107     expr:
 108       type: op
 109       operation: =
 110       arguments:
 111       - type: access
 112         index: '{ S_4[i, j, k] -> k[] }'
 113         reference: __pet_ref_4
 114         read: 0
 115         write: 1
 116       - type: access
 117         index: '{ S_4[i, j, k] -> [(1 + k - 256*floor((1 + k)/256))] }'
 118         reference: __pet_ref_5
 119         read: 1
 120         write: 0
 121 - line: 8
 122   domain: '{ S_5[i, j] : 0 <= i <= 199 and 0 <= j <= 199 }'
 123   body:
 124     type: expression
 125     expr:
 126       type: op
 127       operation: =
 128       arguments:
 129       - type: access
 130         index: '{ S_5[i, j] -> j[] }'
 131         reference: __pet_ref_6
 132         read: 0
 133         write: 1
 134       - type: access
 135         index: '{ S_5[i, j] -> [(1 + j)] }'
 136         reference: __pet_ref_7
 137         read: 1
 138         write: 0
 139 - line: 7
 140   domain: '{ S_6[i] : 0 <= i <= 199 }'
 141   body:
 142     type: expression
 143     expr:
 144       type: op
 145       operation: =
 146       arguments:
 147       - type: access
 148         index: '{ S_6[i] -> i[] }'
 149         reference: __pet_ref_8
 150         read: 0
 151         write: 1
 152       - type: access
 153         index: '{ S_6[i] -> [(1 + i)] }'
 154         reference: __pet_ref_9
 155         read: 1
 156         write: 0
 157 - line: -1
 158   domain: '{ S_7[] }'
 159   body:
 160     type: expression
 161     expr:
 162       type: op
 163       operation: kill
 164       arguments:
 165       - type: access
 166         killed: '{ S_7[] -> i[] }'
 167         index: '{ S_7[] -> i[] }'
 168         reference: __pet_ref_10
 169         kill: 1
 170 - line: -1
 171   domain: '{ S_8[] }'
 172   body:
 173     type: expression
 174     expr:
 175       type: op
 176       operation: kill
 177       arguments:
 178       - type: access
 179         killed: '{ S_8[] -> j[] }'
 180         index: '{ S_8[] -> j[] }'
 181         reference: __pet_ref_11
 182         kill: 1
 183 - line: -1
 184   domain: '{ S_9[] }'
 185   body:
 186     type: expression
 187     expr:
 188       type: op
 189       operation: kill
 190       arguments:
 191       - type: access
 192         killed: '{ S_9[] -> k[] }'
 193         index: '{ S_9[] -> k[] }'
 194         reference: __pet_ref_12
 195         kill: 1
 196 - line: -1
 197   domain: '{ S_10[] }'
 198   body:
 199     type: expression
 200     expr:
 201       type: op
 202       operation: kill
 203       arguments:
 204       - type: access
 205         killed: '{ S_10[] -> a[] }'
 206         index: '{ S_10[] -> a[] }'
 207         reference: __pet_ref_13
 208         kill: 1