tests/continue5.scop

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