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

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

unify and fix storage class
  • 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 S2
143    with parameters
144      T: type
145
146    with members
147      i: instance of type T (not function type)
148
149?=?: automatically generated inline static function
150    with parameters
151      _dst: pointer to instance of struct S2
152      _src: instance of struct S2
153    returning
154      instance of struct S2
155    with body
156      CompoundStmt
157                  Expression Statement:
158            Applying untyped:
159                Name: ?=?
160            ...to:
161                Address of:
162                  Member Expression, with field:
163                    i: instance of type T (not function type)
164                  from aggregate:
165                    Applying untyped:
166                        Name: *?
167                    ...to:
168                        Variable Expression: _dst: pointer to instance of struct S2
169                Member Expression, with field:
170                  i: instance of type T (not function type)
171                from aggregate:
172                  Variable Expression: _src: instance of struct S2
173
174                  Return Statement, returning: Variable Expression: _src: instance of struct S2
175
176
177
178v1: instance of struct S3
179  with parameters
180    signed int
181
182p: pointer to instance of struct S3
183  with parameters
184    signed int
185
186struct S24
187    with parameters
188      T: type
189
190    with members
191      i: instance of type T (not function type)
192
193?=?: automatically generated inline static function
194    with parameters
195      _dst: pointer to instance of struct S24
196      _src: instance of struct S24
197    returning
198      instance of struct S24
199    with body
200      CompoundStmt
201                  Expression Statement:
202            Applying untyped:
203                Name: ?=?
204            ...to:
205                Address of:
206                  Member Expression, with field:
207                    i: instance of type T (not function type)
208                  from aggregate:
209                    Applying untyped:
210                        Name: *?
211                    ...to:
212                        Variable Expression: _dst: pointer to instance of struct S24
213                Member Expression, with field:
214                  i: instance of type T (not function type)
215                from aggregate:
216                  Variable Expression: _src: instance of struct S24
217
218                  Return Statement, returning: Variable Expression: _src: instance of struct S24
219
220
221
222v2: instance of struct S24
223  with parameters
224    signed int
225
226struct __anonymous1
227    with parameters
228      T: type
229
230    with members
231      i: instance of type T (not function type)
232
233?=?: automatically generated inline static function
234    with parameters
235      _dst: pointer to instance of struct __anonymous1
236      _src: instance of struct __anonymous1
237    returning
238      instance of struct __anonymous1
239    with body
240      CompoundStmt
241                  Expression Statement:
242            Applying untyped:
243                Name: ?=?
244            ...to:
245                Address of:
246                  Member Expression, with field:
247                    i: instance of type T (not function type)
248                  from aggregate:
249                    Applying untyped:
250                        Name: *?
251                    ...to:
252                        Variable Expression: _dst: pointer to instance of struct __anonymous1
253                Member Expression, with field:
254                  i: instance of type T (not function type)
255                from aggregate:
256                  Variable Expression: _src: instance of struct __anonymous1
257
258                  Return Statement, returning: Variable Expression: _src: instance of struct __anonymous1
259
260
261
262v2: instance of struct __anonymous1
263  with parameters
264    signed int
265
266struct node
267    with parameters
268      T: type
269        with assertions
270          instance of context addable
271            with parameters
272              instance of type T (not function type)
273
274
275
276    with members
277      data: instance of type T (not function type)
278      next: pointer to instance of struct node
279        with parameters
280          instance of type T (not function type)
281
282
283?=?: automatically generated inline static function
284    with parameters
285      _dst: pointer to instance of struct node
286      _src: instance of struct node
287    returning
288      instance of struct node
289    with body
290      CompoundStmt
291                  Expression Statement:
292            Applying untyped:
293                Name: ?=?
294            ...to:
295                Address of:
296                  Member Expression, with field:
297                    data: instance of type T (not function type)
298                  from aggregate:
299                    Applying untyped:
300                        Name: *?
301                    ...to:
302                        Variable Expression: _dst: pointer to instance of struct node
303                Member Expression, with field:
304                  data: instance of type T (not function type)
305                from aggregate:
306                  Variable Expression: _src: instance of struct node
307
308                  Expression Statement:
309            Applying untyped:
310                Name: ?=?
311            ...to:
312                Address of:
313                  Member Expression, with field:
314                    next: pointer to instance of struct node
315                    with parameters
316                      instance of type T (not function type)
317
318                  from aggregate:
319                    Applying untyped:
320                        Name: *?
321                    ...to:
322                        Variable Expression: _dst: pointer to instance of struct node
323                Member Expression, with field:
324                  next: pointer to instance of struct node
325                  with parameters
326                    instance of type T (not function type)
327
328                from aggregate:
329                  Variable Expression: _src: instance of struct node
330
331                  Return Statement, returning: Variable Expression: _src: instance of struct node
332
333
334
335List: type for pointer to instance of struct node
336  with parameters
337    instance of type T (not function type)
338
339  with parameters
340    T: type
341
342?=?: automatically generated function
343    with parameters
344      _dst: pointer to instance of type List (not function type)
345      _src: instance of type List (not function type)
346    returning
347      instance of type List (not function type)
348    with body
349      CompoundStmt
350                  Return Statement, returning: Applying untyped:
351    Name: ?=?
352...to:
353    Cast of:
354      Variable Expression: _dst: pointer to instance of type List (not function type)
355
356    to:
357      pointer to pointer to instance of struct node
358        with parameters
359          instance of type T (not function type)
360
361    Cast of:
362      Variable Expression: _src: instance of type List (not function type)
363
364    to:
365      pointer to instance of struct node
366        with parameters
367          instance of type T (not function type)
368
369
370
371
372my_list: instance of type List (not function type)
373  with parameters
374    signed int
375
376Complex: type
377  with assertions
378    instance of context addable
379      with parameters
380        instance of type Complex (not function type)
381
382
383?=?: automatically generated function
384    with parameters
385      _dst: pointer to instance of type Complex (not function type)
386      _src: instance of type Complex (not function type)
387    returning
388      instance of type Complex (not function type)
389
390main: C function
391      accepting unspecified arguments
392    returning
393      signed int
394    with body
395      CompoundStmt
396                  Expression Statement:
397            Cast of:
398              Name: my_list
399
400            to:
401              instance of struct node
402                with parameters
403                  signed int
404
405
406
Note: See TracBrowser for help on using the repository browser.