m4/ax_detect_clang.m4:fix description of SETLANGDEFAULTS_TAKES_5_ARGUMENTS
[pet.git] / tests / inline11.scop
blob1b09af19962b3ac2ef1e26254cdf1819b4e15ebd
1 start: 83
2 end: 128
3 indent: "\t"
4 context: '[s] -> {  : 0 <= s <= 2147483647 }'
5 schedule: '{ domain: "[s] -> { S_3[]; S_5[]; S_6[]; S_0[]; S_2[]; S_7[]; S_4[]; S_1[]
6   }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter:
7   "{ S_2[] }" }, { filter: "{ S_3[] }" }, { filter: "{ S_4[] }" }, { filter: "{ S_6[]
8   }" }, { filter: "{ S_7[] }" }, { filter: "{ S_5[] }" } ] } }'
9 arrays:
10 - context: '{  :  }'
11   extent: '[s] -> { n[] }'
12   element_type: int
13   element_size: 4
14   declared: 1
15 - context: '{  :  }'
16   extent: '[s] -> { n_0[] }'
17   element_type: int
18   element_size: 4
19   declared: 1
20 - context: '[s] -> {  : s >= 0 }'
21   extent: '[s] -> { A[i0] : 0 <= i0 < s }'
22   element_type: float
23   element_size: 4
24   declared: 1
25 statements:
26 - line: -1
27   domain: '[s] -> { S_0[] }'
28   body:
29     type: expression
30     expr:
31       type: op
32       operation: kill
33       arguments:
34       - type: access
35         killed: '[s] -> { S_0[] -> n[] }'
36         index: '[s] -> { S_0[] -> n[] }'
37         reference: __pet_ref_0
38         kill: 1
39 - line: -1
40   domain: '[s] -> { S_1[] }'
41   body:
42     type: expression
43     expr:
44       type: op
45       operation: =
46       arguments:
47       - type: access
48         index: '[s] -> { S_1[] -> n[] }'
49         reference: __pet_ref_1
50         read: 0
51         write: 1
52       - type: access
53         index: '[s] -> { S_1[] -> [(s)] }'
54         reference: __pet_ref_2
55         read: 1
56         write: 0
57 - line: -1
58   domain: '[s] -> { S_2[] }'
59   body:
60     type: expression
61     expr:
62       type: op
63       operation: kill
64       arguments:
65       - type: access
66         killed: '[s] -> { S_2[] -> n[] }'
67         index: '[s] -> { S_2[] -> n[] }'
68         reference: __pet_ref_3
69         kill: 1
70 - line: -1
71   domain: '[s] -> { S_3[] }'
72   body:
73     type: expression
74     expr:
75       type: op
76       operation: kill
77       arguments:
78       - type: access
79         killed: '[s] -> { S_3[] -> n_0[] }'
80         index: '[s] -> { S_3[] -> n_0[] }'
81         reference: __pet_ref_4
82         kill: 1
83 - line: -1
84   domain: '[s] -> { S_4[] }'
85   body:
86     type: expression
87     expr:
88       type: op
89       operation: =
90       arguments:
91       - type: access
92         index: '[s] -> { S_4[] -> n_0[] }'
93         reference: __pet_ref_5
94         read: 0
95         write: 1
96       - type: access
97         index: '[s] -> { S_4[] -> [(s)] }'
98         reference: __pet_ref_6
99         read: 1
100         write: 0
101 - line: 7
102   domain: '[s] -> { S_6[] }'
103   body:
104     type: expression
105     expr:
106       type: op
107       operation: kill
108       arguments:
109       - type: access
110         killed: '[s] -> { S_6[] -> A[o0] : 0 <= o0 < s }'
111         index: '[s] -> { S_6[] -> A[] }'
112         depth: 1
113         reference: __pet_ref_7
114         kill: 1
115 - line: 7
116   domain: '[s] -> { S_7[] }'
117   body:
118     type: expression
119     expr:
120       type: op
121       operation: kill
122       arguments:
123       - type: access
124         killed: '[s] -> { S_7[] -> A[o0] : 0 <= o0 < s }'
125         index: '[s] -> { S_7[] -> A[] }'
126         depth: 1
127         reference: __pet_ref_8
128         kill: 1
129 - line: -1
130   domain: '[s] -> { S_5[] }'
131   body:
132     type: expression
133     expr:
134       type: op
135       operation: kill
136       arguments:
137       - type: access
138         killed: '[s] -> { S_5[] -> n_0[] }'
139         index: '[s] -> { S_5[] -> n_0[] }'
140         reference: __pet_ref_9
141         kill: 1