scan.cc: scop_add_while: take isl_id instead of isl_map
[pet.git] / tests / unsigned_break2.scop
blobd59682a7fddd3dad5fad5eeb6061161a3c3fc676
1 start: 50
2 end: 172
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ __pet_test_0[k] : k >= 252 and k <= 261 }'
7   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
8   element_type: int
9   element_size: 4
10   uniquely_defined: 1
11 - context: '{  :  }'
12   extent: '{ a[] }'
13   element_type: int
14   element_size: 4
15 statements:
16 - line: 11
17   domain: '{ [S_0[k] -> [0]] : (exists (e0 = [(k)/256]: 256e0 = k and k >= 252 and
18     k <= 261)) or (exists (e0 = [(257 - k)/256]: k >= 252 and k <= 261 and 256e0 >=
19     2 - k and 256e0 <= 255 - k)) }'
20   schedule: '{ S_0[k] -> [0, k, 0] }'
21   body:
22     type: binary
23     operation: =
24     arguments:
25     - type: access
26       relation: '{ S_0[k] -> a[] }'
27       reference: __pet_ref_1
28       read: 0
29       write: 1
30     - type: access
31       relation: '{ S_0[k] -> [5] }'
32       reference: __pet_ref_2
33       read: 1
34       write: 0
35   arguments:
36   - type: access
37     relation: '{ S_0[k] -> __pet_test_0[o0] : o0 <= -1 + k and o0 >= 252 }'
38     reference: __pet_ref_0
39     read: 1
40     write: 0
41 - line: 12
42   domain: '{ [S_1[k] -> [0]] : k >= 252 and k <= 261 }'
43   schedule: '{ S_1[k] -> [0, k, 1, 0] }'
44   body:
45     type: binary
46     operation: =
47     arguments:
48     - type: access
49       relation: '{ S_1[k] -> __pet_test_0[k] }'
50       reference: __pet_ref_4
51       read: 0
52       write: 1
53     - type: call
54       name: f
55   arguments:
56   - type: access
57     relation: '{ S_1[k] -> __pet_test_0[o0] : o0 <= -1 + k and o0 >= 252 }'
58     reference: __pet_ref_3
59     read: 1
60     write: 0
61 - line: 14
62   domain: '{ [S_2[k] -> [0]] : k >= 252 and k <= 261 }'
63   schedule: '{ S_2[k] -> [0, k, 2] }'
64   body:
65     type: binary
66     operation: =
67     arguments:
68     - type: access
69       relation: '{ S_2[k] -> a[] }'
70       reference: __pet_ref_6
71       read: 0
72       write: 1
73     - type: access
74       relation: '{ S_2[k] -> [o0] : exists (e0 = [(-k + o0)/256]: 256e0 = -k + o0
75         and o0 >= 0 and o0 <= 255) }'
76       reference: __pet_ref_7
77       read: 1
78       write: 0
79   arguments:
80   - type: access
81     relation: '{ S_2[k] -> __pet_test_0[o0] : o0 <= -1 + k and o0 >= 252; S_2[k] ->
82       __pet_test_0[k] }'
83     reference: __pet_ref_5
84     read: 1
85     write: 0