source: src/Tests/Expect-v/Subrange.txt @ b1d6dd5

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since b1d6dd5 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

  • Property mode set to 100644
File size: 9.6 KB
Line 
1context ordered
2    with parameters
3      T: type
4
5    with members
6      ?<?: function
7          with parameters
8            instance of type T (not function type)
9            instance of type T (not function type)
10          returning
11            signed int
12
13      ?<=?: function
14          with parameters
15            instance of type T (not function type)
16            instance of type T (not function type)
17          returning
18            signed int
19
20
21subrange: type for instance of type base_t (not function type)
22  with parameters
23    base_t: type
24      with assertions
25        instance of context ordered
26          with parameters
27            instance of type base_t (not function type)
28
29
30
31?=?: automatically generated function
32    with parameters
33      _dst: pointer to instance of type subrange (not function type)
34      _src: instance of type subrange (not function type)
35    returning
36      instance of type subrange (not function type)
37    with body
38      CompoundStmt
39                  Return Statement, returning: Applying untyped:
40    Name: ?=?
41...to:
42    Cast of:
43      Variable Expression: _dst: pointer to instance of type subrange (not function type)
44
45    to:
46      pointer to instance of type base_t (not function type)
47    Cast of:
48      Variable Expression: _src: instance of type subrange (not function type)
49
50    to:
51      instance of type base_t (not function type)
52
53
54
55day_of_month: instance of type subrange (not function type)
56  with parameters
57    unsigned int
58          Name: 1
59
60    constant expression 31 signed int
61
62lcase: instance of type subrange (not function type)
63  with parameters
64    char
65    constant expression 'a' char
66    constant expression 'z' char
67
68foo: instance of type subrange (not function type)
69  with parameters
70    signed int
71          Name: 0
72
73          Applying untyped:
74          Name: ?&?
75      ...to:
76          Applying untyped:
77              Name: rand
78          ...to:
79constant expression 0xF signed int
80
81lbound: forall
82      T: type
83        with assertions
84          ?=?: pointer to function
85              with parameters
86                pointer to instance of type T (not function type)
87                instance of type T (not function type)
88              returning
89                instance of type T (not function type)
90
91
92    function
93    with parameters
94      v: instance of type subrange (not function type)
95        with parameters
96          instance of type T (not function type)
97                      Name: low
98
99                      Name: high
100
101
102    returning
103      instance of type T (not function type)
104    with body
105      CompoundStmt
106                  Return Statement, returning: Name: low
107
108
109
110hbound: forall
111      T: type
112        with assertions
113          ?=?: pointer to function
114              with parameters
115                pointer to instance of type T (not function type)
116                instance of type T (not function type)
117              returning
118                instance of type T (not function type)
119
120
121    function
122    with parameters
123      v: instance of type subrange (not function type)
124        with parameters
125          instance of type T (not function type)
126                      Name: low
127
128                      Name: high
129
130
131    returning
132      instance of type T (not function type)
133    with body
134      CompoundStmt
135                  Return Statement, returning: Name: high
136
137
138
139lday: unsigned int with initializer
140  Simple Initializer:     Applying untyped:
141        Name: lbound
142    ...to:
143        Name: day_of_month
144
145?=?: inline forall
146      T: type
147        with assertions
148          ?=?: pointer to function
149              with parameters
150                pointer to instance of type T (not function type)
151                instance of type T (not function type)
152              returning
153                instance of type T (not function type)
154
155          ?<?: pointer to function
156              with parameters
157                instance of type T (not function type)
158                instance of type T (not function type)
159              returning
160                signed int
161
162          ?<=?: pointer to function
163              with parameters
164                instance of type T (not function type)
165                instance of type T (not function type)
166              returning
167                signed int
168
169
170    function
171    with parameters
172      target: pointer to instance of type subrange (not function type)
173        with parameters
174          instance of type T (not function type)
175                      Name: low
176
177                      Name: high
178
179
180      source: instance of type T (not function type)
181    returning
182      instance of type subrange (not function type)
183        with parameters
184          instance of type T (not function type)
185                      Name: low
186
187                      Name: high
188
189
190    with body
191      CompoundStmt
192                  If on condition:
193              Cast of:
194                Applying untyped:
195                    Name: ?!=?
196                ...to:
197                    Short-circuited operation (and) on: Cast of:
198  Applying untyped:
199      Name: ?!=?
200  ...to:
201      Applying untyped:
202          Name: ?<=?
203      ...to:
204          Name: low
205          Name: source
206      Name: 0
207
208to:
209  signed int
210 and Cast of:
211  Applying untyped:
212      Name: ?!=?
213  ...to:
214      Applying untyped:
215          Name: ?<=?
216      ...to:
217          Name: source
218          Name: high
219      Name: 0
220
221to:
222  signed int
223
224                    Name: 0
225
226              to:
227                signed int
228          .... and branches:
229              Expression Statement:
230                Applying untyped:
231                    Name: ?=?
232                ...to:
233                    Address of:
234                      Applying untyped:
235                          Name: *?
236                      ...to:
237                          Cast of:
238                            Name: target
239
240                          to:
241                            pointer to instance of type T (not function type)
242                    Name: source
243              Expression Statement:
244                Applying untyped:
245                    Name: abort
246                ...to:
247
248                  Return Statement, returning: Name: target
249
250
251
252?=?: inline forall
253      T: type
254        with assertions
255          ?=?: pointer to function
256              with parameters
257                pointer to instance of type T (not function type)
258                instance of type T (not function type)
259              returning
260                instance of type T (not function type)
261
262          ?<?: pointer to function
263              with parameters
264                instance of type T (not function type)
265                instance of type T (not function type)
266              returning
267                signed int
268
269          ?<=?: pointer to function
270              with parameters
271                instance of type T (not function type)
272                instance of type T (not function type)
273              returning
274                signed int
275
276
277    function
278    with parameters
279      target: pointer to instance of type subrange (not function type)
280        with parameters
281          instance of type T (not function type)
282                      Name: t_low
283
284                      Name: t_high
285
286
287      source: instance of type subrange (not function type)
288        with parameters
289          instance of type T (not function type)
290                      Name: s_low
291
292                      Name: s_high
293
294
295    returning
296      instance of type subrange (not function type)
297        with parameters
298          instance of type T (not function type)
299                      Name: t_low
300
301                      Name: t_high
302
303
304    with body
305      CompoundStmt
306                  If on condition:
307              Cast of:
308                Applying untyped:
309                    Name: ?!=?
310                ...to:
311                    Short-circuited operation (and) on: Cast of:
312  Applying untyped:
313      Name: ?!=?
314  ...to:
315      Short-circuited operation (or) on: Cast of:
316  Applying untyped:
317      Name: ?!=?
318  ...to:
319      Applying untyped:
320          Name: ?<=?
321      ...to:
322          Name: t_low
323          Name: s_low
324      Name: 0
325
326to:
327  signed int
328 and Cast of:
329  Applying untyped:
330      Name: ?!=?
331  ...to:
332      Applying untyped:
333          Name: ?<=?
334      ...to:
335          Name: t_low
336          Name: source
337      Name: 0
338
339to:
340  signed int
341
342      Name: 0
343
344to:
345  signed int
346 and Cast of:
347  Applying untyped:
348      Name: ?!=?
349  ...to:
350      Short-circuited operation (or) on: Cast of:
351  Applying untyped:
352      Name: ?!=?
353  ...to:
354      Applying untyped:
355          Name: ?<=?
356      ...to:
357          Name: s_high
358          Name: t_high
359      Name: 0
360
361to:
362  signed int
363 and Cast of:
364  Applying untyped:
365      Name: ?!=?
366  ...to:
367      Applying untyped:
368          Name: ?<=?
369      ...to:
370          Name: source
371          Name: t_high
372      Name: 0
373
374to:
375  signed int
376
377      Name: 0
378
379to:
380  signed int
381
382                    Name: 0
383
384              to:
385                signed int
386          .... and branches:
387              Expression Statement:
388                Applying untyped:
389                    Name: ?=?
390                ...to:
391                    Address of:
392                      Applying untyped:
393                          Name: *?
394                      ...to:
395                          Cast of:
396                            Name: target
397
398                          to:
399                            pointer to instance of type T (not function type)
400                    Name: source
401              Expression Statement:
402                Applying untyped:
403                    Name: abort
404                ...to:
405
406                  Return Statement, returning: Name: target
407
408
409
Note: See TracBrowser for help on using the repository browser.