source: src/Tests/Expect-a/Subrange.txt @ 1ad1c99e

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 1ad1c99e 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: 8.2 KB
RevLine 
[b1d6dd5]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
31day_of_month: instance of type subrange (not function type)
32  with parameters
33    unsigned int
34          Name: 1
35
36    constant expression 31 signed int
37
38lcase: instance of type subrange (not function type)
39  with parameters
40    char
41    constant expression 'a' char
42    constant expression 'z' char
43
44foo: instance of type subrange (not function type)
45  with parameters
46    signed int
47          Name: 0
48
49          Applying untyped:
50          Name: ?&?
51      ...to:
52          Applying untyped:
53              Name: rand
54          ...to:
55constant expression 0xF signed int
56
57lbound: forall
58      T: type
59        with assertions
60          ?=?: function
61              with parameters
62                pointer to instance of type T (not function type)
63                instance of type T (not function type)
64              returning
65                instance of type T (not function type)
66
67
68    function
69    with parameters
70      v: instance of type subrange (not function type)
71        with parameters
72          instance of type T (not function type)
73                      Name: low
74
75                      Name: high
76
77
78    returning
79      instance of type T (not function type)
80    with body
81      CompoundStmt
82                  Return Statement, returning: Name: low
83
84
85
86hbound: forall
87      T: type
88        with assertions
89          ?=?: function
90              with parameters
91                pointer to instance of type T (not function type)
92                instance of type T (not function type)
93              returning
94                instance of type T (not function type)
95
96
97    function
98    with parameters
99      v: instance of type subrange (not function type)
100        with parameters
101          instance of type T (not function type)
102                      Name: low
103
104                      Name: high
105
106
107    returning
108      instance of type T (not function type)
109    with body
110      CompoundStmt
111                  Return Statement, returning: Name: high
112
113
114
115lday: unsigned int with initializer
116  Simple Initializer:     Applying untyped:
117        Name: lbound
118    ...to:
119        Name: day_of_month
120
121?=?: inline forall
122      T: type
123        with assertions
124          ?=?: function
125              with parameters
126                pointer to instance of type T (not function type)
127                instance of type T (not function type)
128              returning
129                instance of type T (not function type)
130
131          instance of context ordered
132            with parameters
133              instance of type T (not function type)
134
135
136    function
137    with parameters
138      target: pointer to instance of type subrange (not function type)
139        with parameters
140          instance of type T (not function type)
141                      Name: low
142
143                      Name: high
144
145
146      source: instance of type T (not function type)
147    returning
148      instance of type subrange (not function type)
149        with parameters
150          instance of type T (not function type)
151                      Name: low
152
153                      Name: high
154
155
156    with body
157      CompoundStmt
158                  If on condition:
159              Cast of:
160                Applying untyped:
161                    Name: ?!=?
162                ...to:
163                    Short-circuited operation (and) on: Cast of:
164  Applying untyped:
165      Name: ?!=?
166  ...to:
167      Applying untyped:
168          Name: ?<=?
169      ...to:
170          Name: low
171          Name: source
172      Name: 0
173
174to:
175  signed int
176 and Cast of:
177  Applying untyped:
178      Name: ?!=?
179  ...to:
180      Applying untyped:
181          Name: ?<=?
182      ...to:
183          Name: source
184          Name: high
185      Name: 0
186
187to:
188  signed int
189
190                    Name: 0
191
192              to:
193                signed int
194          .... and branches:
195              Expression Statement:
196                Applying untyped:
197                    Name: ?=?
198                ...to:
199                    Address of:
200                      Applying untyped:
201                          Name: *?
202                      ...to:
203                          Cast of:
204                            Name: target
205
206                          to:
207                            pointer to instance of type T (not function type)
208                    Name: source
209              Expression Statement:
210                Applying untyped:
211                    Name: abort
212                ...to:
213
214                  Return Statement, returning: Name: target
215
216
217
218?=?: inline forall
219      T: type
220        with assertions
221          ?=?: function
222              with parameters
223                pointer to instance of type T (not function type)
224                instance of type T (not function type)
225              returning
226                instance of type T (not function type)
227
228          instance of context ordered
229            with parameters
230              instance of type T (not function type)
231
232
233    function
234    with parameters
235      target: pointer to instance of type subrange (not function type)
236        with parameters
237          instance of type T (not function type)
238                      Name: t_low
239
240                      Name: t_high
241
242
243      source: instance of type subrange (not function type)
244        with parameters
245          instance of type T (not function type)
246                      Name: s_low
247
248                      Name: s_high
249
250
251    returning
252      instance of type subrange (not function type)
253        with parameters
254          instance of type T (not function type)
255                      Name: t_low
256
257                      Name: t_high
258
259
260    with body
261      CompoundStmt
262                  If on condition:
263              Cast of:
264                Applying untyped:
265                    Name: ?!=?
266                ...to:
267                    Short-circuited operation (and) on: Cast of:
268  Applying untyped:
269      Name: ?!=?
270  ...to:
271      Short-circuited operation (or) on: Cast of:
272  Applying untyped:
273      Name: ?!=?
274  ...to:
275      Applying untyped:
276          Name: ?<=?
277      ...to:
278          Name: t_low
279          Name: s_low
280      Name: 0
281
282to:
283  signed int
284 and Cast of:
285  Applying untyped:
286      Name: ?!=?
287  ...to:
288      Applying untyped:
289          Name: ?<=?
290      ...to:
291          Name: t_low
292          Name: source
293      Name: 0
294
295to:
296  signed int
297
298      Name: 0
299
300to:
301  signed int
302 and Cast of:
303  Applying untyped:
304      Name: ?!=?
305  ...to:
306      Short-circuited operation (or) on: Cast of:
307  Applying untyped:
308      Name: ?!=?
309  ...to:
310      Applying untyped:
311          Name: ?<=?
312      ...to:
313          Name: s_high
314          Name: t_high
315      Name: 0
316
317to:
318  signed int
319 and Cast of:
320  Applying untyped:
321      Name: ?!=?
322  ...to:
323      Applying untyped:
324          Name: ?<=?
325      ...to:
326          Name: source
327          Name: t_high
328      Name: 0
329
330to:
331  signed int
332
333      Name: 0
334
335to:
336  signed int
337
338                    Name: 0
339
340              to:
341                signed int
342          .... and branches:
343              Expression Statement:
344                Applying untyped:
345                    Name: ?=?
346                ...to:
347                    Address of:
348                      Applying untyped:
349                          Name: *?
350                      ...to:
351                          Cast of:
352                            Name: target
353
354                          to:
355                            pointer to instance of type T (not function type)
356                    Name: source
357              Expression Statement:
358                Applying untyped:
359                    Name: abort
360                ...to:
361
362                  Return Statement, returning: Name: target
363
364
365
Note: See TracBrowser for help on using the repository browser.