source: src/Tests/Expect-v/TypeGenerator.txt @ ea9b9d3

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 ea9b9d3 was 883b46c, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

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