export pet_expr_access_get_may_access
[pet.git] / tests / float.scop
blob56e213ae645b272222116d2b869541344e1428d1
1 start: 24
2 end: 75
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ a[] }'
7   element_type: float
8   element_size: 4
9 statements:
10 - line: 6
11   domain: '{ S_0[] }'
12   schedule: '{ S_0[] -> [0] }'
13   body:
14     type: binary
15     operation: =
16     arguments:
17     - type: access
18       relation: '{ S_0[] -> a[] }'
19       index: '{ S_0[] -> a[] }'
20       reference: __pet_ref_0
21       read: 0
22       write: 1
23     - type: double
24       value: 0.333
25       string: 0.333f
26 - line: 7
27   domain: '{ S_1[] }'
28   schedule: '{ S_1[] -> [1] }'
29   body:
30     type: binary
31     operation: =
32     arguments:
33     - type: access
34       relation: '{ S_1[] -> a[] }'
35       index: '{ S_1[] -> a[] }'
36       reference: __pet_ref_1
37       read: 0
38       write: 1
39     - type: double
40       value: 0
41       string: 0.