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