scan.cc: compute_wrapping: use isl_val
[pet.git] / tests / float.scop
blobb52ba0406fad4e85639ea9883ebf6a1a50346036
1 context: '{  :  }'
2 arrays:
3 - context: '{  :  }'
4   extent: '{ a[] }'
5   element_type: float
6   element_size: 4
7 statements:
8 - line: 6
9   domain: '{ S_0[] }'
10   schedule: '{ S_0[] -> [0] }'
11   body:
12     type: binary
13     operation: =
14     arguments:
15     - type: access
16       relation: '{ S_0[] -> a[] }'
17       read: 0
18       write: 1
19     - type: double
20       value: 0.333
21       string: 0.333f
22 - line: 7
23   domain: '{ S_1[] }'
24   schedule: '{ S_1[] -> [1] }'
25   body:
26     type: binary
27     operation: =
28     arguments:
29     - type: access
30       relation: '{ S_1[] -> a[] }'
31       read: 0
32       write: 1
33     - type: double
34       value: 0
35       string: 0.