tests/unsigned_break2.scop

   1 start: 50
   2 end: 172
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[k] : 252 <= k <= 261; S_0[]; S_5[]; S_2[k] : 252 <= k
   6   <= 261; S_6[]; S_4[k] : 252 <= k <= 261; S_1[k] : 252 <= k <= 261 and ((256*floor((k)/256)
   7   <= -2 + k) or 256*floor((k)/256) = k) }", child: { sequence: [ { filter: "{ S_0[]
   8   }" }, { filter: "{ S_3[k]; S_2[k]; S_4[k]; S_1[k] }", child: { schedule: "L_0[{
   9   S_4[k] -> [(k)]; S_2[k] -> [(k)]; S_3[k] -> [(k)]; S_1[k] -> [(k)] }]", child: {
  10   sequence: [ { filter: "{ S_1[k] }" }, { filter: "{ S_2[k] }" }, { filter: "{ S_3[k]
  11   }" }, { filter: "{ S_4[k] }" } ] } } }, { filter: "{ S_5[]; S_6[] }", child: { set:
  12   [ { filter: "{ S_5[] }" }, { filter: "{ S_6[] }" } ] } } ] } }'
  13 arrays:
  14 - context: '{  :  }'
  15   extent: '{ __pet_test_0[k] : 252 <= k <= 261 }'
  16   value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
  17   element_type: int
  18   element_size: 4
  19   uniquely_defined: 1
  20 - context: '{  :  }'
  21   extent: '{ a[] }'
  22   element_type: int
  23   element_size: 4
  24 - context: '{  :  }'
  25   extent: '{ k[] }'
  26   element_type: unsigned char
  27   element_size: 1
  28 statements:
  29 - line: 9
  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[] -> k[] }'
  39         reference: __pet_ref_0
  40         read: 0
  41         write: 1
  42       - type: int
  43         value: 252
  44 - line: 11
  45   domain: '{ [S_1[k] -> [__pet_test_0 = 0]] : 252 <= k <= 261 and ((256*floor((k)/256)
  46     <= -2 + k) or 256*floor((k)/256) = k) }'
  47   body:
  48     type: expression
  49     expr:
  50       type: op
  51       operation: =
  52       arguments:
  53       - type: access
  54         index: '{ S_1[k] -> a[] }'
  55         reference: __pet_ref_2
  56         read: 0
  57         write: 1
  58       - type: int
  59         value: 5
  60   arguments:
  61   - type: access
  62     index: '{ S_1[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
  63     reference: __pet_ref_1
  64     read: 1
  65     write: 0
  66 - line: 12
  67   domain: '{ [S_2[k] -> [__pet_test_0 = 0]] : 252 <= k <= 261 }'
  68   body:
  69     type: expression
  70     expr:
  71       type: op
  72       operation: =
  73       arguments:
  74       - type: access
  75         index: '{ S_2[k] -> __pet_test_0[(k)] }'
  76         reference: __pet_ref_4
  77         read: 0
  78         write: 1
  79       - type: call
  80         name: f
  81   arguments:
  82   - type: access
  83     index: '{ S_2[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
  84     reference: __pet_ref_3
  85     read: 1
  86     write: 0
  87 - line: 14
  88   domain: '{ [S_3[k] -> [__pet_test_0 = 0]] : 252 <= k <= 261 }'
  89   body:
  90     type: expression
  91     expr:
  92       type: op
  93       operation: =
  94       arguments:
  95       - type: access
  96         index: '{ S_3[k] -> a[] }'
  97         reference: __pet_ref_6
  98         read: 0
  99         write: 1
 100       - type: access
 101         index: '{ S_3[k] -> [(k - 256*floor((k)/256))] }'
 102         reference: __pet_ref_7
 103         read: 1
 104         write: 0
 105   arguments:
 106   - type: access
 107     index: '{ S_3[k] -> __pet_test_0[(k)] }'
 108     reference: __pet_ref_5
 109     read: 1
 110     write: 0
 111 - line: 9
 112   domain: '{ [S_4[k] -> [__pet_test_0 = 0]] : 252 <= k <= 261 }'
 113   body:
 114     type: expression
 115     expr:
 116       type: op
 117       operation: =
 118       arguments:
 119       - type: access
 120         index: '{ S_4[k] -> k[] }'
 121         reference: __pet_ref_9
 122         read: 0
 123         write: 1
 124       - type: access
 125         index: '{ S_4[k] -> [(1 + k - 256*floor((1 + k)/256))] }'
 126         reference: __pet_ref_10
 127         read: 1
 128         write: 0
 129   arguments:
 130   - type: access
 131     index: '{ S_4[k] -> __pet_test_0[(k)] }'
 132     reference: __pet_ref_8
 133     read: 1
 134     write: 0
 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[] -> k[] }'
 145         index: '{ S_5[] -> k[] }'
 146         reference: __pet_ref_11
 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[] }'
 158         index: '{ S_6[] -> a[] }'
 159         reference: __pet_ref_12
 160         kill: 1
 161 implications:
 162 - satisfied: 0
 163   extension: '{ __pet_test_0[k] -> __pet_test_0[k''] : 252 <= k'' <= 261 and k'' <=
 164     k }'