repo.or.cz
/
pet.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
update test case outputs
[pet.git]
/
tests
/
generic_condition2.scop
blob
14cabda55be6fd5406d7502ecbe5f0c50db0a27e
1
start: 38
2
end: 144
3
indent: "\t"
4
context: '{ : }'
5
arrays:
6
- context: '{ : }'
7
extent: '{ a[] }'
8
element_type: int
9
element_size: 4
10
statements:
11
- line: 9
12
domain: '{ S_0[i, j] : exists (e0 = floor((2 + 4i)/5): i <= 4 and i >= 0 and 5e0
13
<= 5i - j and 5e0 >= -2 + 4i and j >= i) }'
14
schedule: '{ S_0[i, j] -> [0, i, j] }'
15
body:
16
type: expression
17
expr:
18
type: op
19
operation: =
20
arguments:
21
- type: access
22
index: '{ S_0[i, j] -> a[] }'
23
reference: __pet_ref_0
24
read: 0
25
write: 1
26
- type: int
27
value: 5