source: src/Tests/Expect-e/InferParam.txt @ b617e4b

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 b617e4b 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: 12.5 KB
Line 
1?=?: function
2    with parameters
3      pointer to signed int
4      signed int
5    returning
6      signed int
7
8?=?: function
9    with parameters
10      pointer to float
11      float
12    returning
13      float
14
15?=?: function
16    with parameters
17      pointer to double
18      double
19    returning
20      double
21
22g: forall
23      T: type
24        with assertions
25          ?=?: pointer to function
26              with parameters
27                pointer to instance of type T (not function type)
28                instance of type T (not function type)
29              returning
30                instance of type T (not function type)
31
32
33      U: type
34        with assertions
35          ?=?: pointer to function
36              with parameters
37                pointer to instance of type U (not function type)
38                instance of type U (not function type)
39              returning
40                instance of type U (not function type)
41
42          f: pointer to function
43              with parameters
44                instance of type T (not function type)
45              returning
46                instance of type U (not function type)
47
48
49    function
50    with parameters
51      instance of type T (not function type)
52    returning
53      instance of type U (not function type)
54
55f: function
56    with parameters
57      signed int
58    returning
59      float
60
61f: function
62    with parameters
63      signed int
64    returning
65      double
66
67i: function
68    with parameters
69      float
70    returning
71      nothing
72
73h: function
74      accepting unspecified arguments
75    returning
76      nothing
77    with body
78      CompoundStmt
79        Declaration of a: signed int
80                  Expression Statement:
81            Application of
82              Variable Expression: i: function
83                  with parameters
84                    float
85                  returning
86                    nothing
87
88            to arguments
89                              Application of
90                  Variable Expression: g: forall
91                        T: type
92                          with assertions
93                            ?=?: pointer to function
94                                with parameters
95                                  pointer to instance of type T (not function type)
96                                  instance of type T (not function type)
97                                returning
98                                  instance of type T (not function type)
99
100
101                        U: type
102                          with assertions
103                            ?=?: pointer to function
104                                with parameters
105                                  pointer to instance of type U (not function type)
106                                  instance of type U (not function type)
107                                returning
108                                  instance of type U (not function type)
109
110                            f: pointer to function
111                                with parameters
112                                  instance of type T (not function type)
113                                returning
114                                  instance of type U (not function type)
115
116
117                      function
118                      with parameters
119                        instance of type T (not function type)
120                      returning
121                        instance of type U (not function type)
122
123                to arguments
124                                      Variable Expression: a: signed int
125
126                with inferred parameters:
127                  ?=?: function
128                    with parameters
129                      pointer to signed int
130                      signed int
131                    returning
132                      signed int
133
134                  ?=?: function
135                    with parameters
136                      pointer to float
137                      float
138                    returning
139                      float
140
141                  f: function
142                    with parameters
143                      signed int
144                    returning
145                      float
146
147
148            with environment:
149              Types:
150                _0_T -> signed int
151                _1_U -> float
152              Non-types:
153
154
155context has_f_and_j
156    with parameters
157      T: type
158      U: type
159
160    with members
161      f: function
162          with parameters
163            instance of type T (not function type)
164          returning
165            instance of type U (not function type)
166
167      j: function
168          with parameters
169            instance of type T (not function type)
170            instance of type U (not function type)
171          returning
172            instance of type U (not function type)
173
174
175j: function
176    with parameters
177      signed int
178      float
179    returning
180      float
181
182k: forall
183      T: type
184        with assertions
185          ?=?: pointer to function
186              with parameters
187                pointer to instance of type T (not function type)
188                instance of type T (not function type)
189              returning
190                instance of type T (not function type)
191
192
193      U: type
194        with assertions
195          ?=?: pointer to function
196              with parameters
197                pointer to instance of type U (not function type)
198                instance of type U (not function type)
199              returning
200                instance of type U (not function type)
201
202          f: pointer to function
203              with parameters
204                instance of type T (not function type)
205              returning
206                instance of type U (not function type)
207
208          j: pointer to function
209              with parameters
210                instance of type T (not function type)
211                instance of type U (not function type)
212              returning
213                instance of type U (not function type)
214
215
216    function
217    with parameters
218      instance of type T (not function type)
219    returning
220      instance of type U (not function type)
221
222l: function
223      accepting unspecified arguments
224    returning
225      nothing
226    with body
227      CompoundStmt
228        Declaration of b: signed int
229                  Expression Statement:
230            Application of
231              Variable Expression: i: function
232                  with parameters
233                    float
234                  returning
235                    nothing
236
237            to arguments
238                              Application of
239                  Variable Expression: k: forall
240                        T: type
241                          with assertions
242                            ?=?: pointer to function
243                                with parameters
244                                  pointer to instance of type T (not function type)
245                                  instance of type T (not function type)
246                                returning
247                                  instance of type T (not function type)
248
249
250                        U: type
251                          with assertions
252                            ?=?: pointer to function
253                                with parameters
254                                  pointer to instance of type U (not function type)
255                                  instance of type U (not function type)
256                                returning
257                                  instance of type U (not function type)
258
259                            f: pointer to function
260                                with parameters
261                                  instance of type T (not function type)
262                                returning
263                                  instance of type U (not function type)
264
265                            j: pointer to function
266                                with parameters
267                                  instance of type T (not function type)
268                                  instance of type U (not function type)
269                                returning
270                                  instance of type U (not function type)
271
272
273                      function
274                      with parameters
275                        instance of type T (not function type)
276                      returning
277                        instance of type U (not function type)
278
279                to arguments
280                                      Variable Expression: b: signed int
281
282                with inferred parameters:
283                  ?=?: function
284                    with parameters
285                      pointer to signed int
286                      signed int
287                    returning
288                      signed int
289
290                  ?=?: function
291                    with parameters
292                      pointer to float
293                      float
294                    returning
295                      float
296
297                  f: function
298                    with parameters
299                      signed int
300                    returning
301                      float
302
303                  j: function
304                    with parameters
305                      signed int
306                      float
307                    returning
308                      float
309
310
311            with environment:
312              Types:
313                _0_T -> signed int
314                _1_U -> float
315              Non-types:
316
317
318int ___operator_assign__Fi_Pii_(int *, int );
319float ___operator_assign__Ff_Pff_(float *, float );
320double ___operator_assign__Fd_Pdd_(double *, double );
321void __g__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0__Ft1_t0_(void (*_adapterF2tU_2tT_)(void (*)(), void *, void *), void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, long unsigned int U, void (*___operator_assign__PF2tT_P2tT2tT_)(), void (*___operator_assign__PF2tU_P2tU2tU_)(), void (*__f__PF2tU_2tT_)(), void *, void *);
322float __f__Ff_i_(int );
323double __f__Fd_i_(int );
324void __i__F_f_(float );
325void __h__F__(){
326    int __a__i;
327    float _temp0;
328    void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
329        ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
330    }
331    void _adapterFf_Pff_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
332        ((*((float *)_ret))=((float (*)(float *, float ))_adaptee)(_p0, (*((float *)_p1))));
333    }
334    void _adapterFf_i_(void (*_adaptee)(), void *_ret, void *_p0){
335        ((*((float *)_ret))=((float (*)(int ))_adaptee)((*((int *)_p0))));
336    }
337    __i__F_f_((__g__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0__Ft1_t0_(_adapterFf_i_, _adapterFf_Pff_, _adapterFi_Pii_, sizeof(int ), sizeof(float ), ((void (*)())___operator_assign__Fi_Pii_), ((void (*)())___operator_assign__Ff_Pff_), ((void (*)())__f__Ff_i_), (&_temp0), (&__a__i)) , _temp0));
338}
339;
340float __j__Ff_if_(int , float );
341void __k__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0___j__PFt1_t0t1__Ft1_t0_(void (*_adapterF2tU_2tT2tU_)(void (*)(), void *, void *, void *), void (*_adapterF2tU_2tT_)(void (*)(), void *, void *), void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, long unsigned int U, void (*___operator_assign__PF2tT_P2tT2tT_)(), void (*___operator_assign__PF2tU_P2tU2tU_)(), void (*__f__PF2tU_2tT_)(), void (*__j__PF2tU_2tT2tU_)(), void *, void *);
342void __l__F__(){
343    int __b__i;
344    float _temp1;
345    void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
346        ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
347    }
348    void _adapterFf_Pff_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
349        ((*((float *)_ret))=((float (*)(float *, float ))_adaptee)(_p0, (*((float *)_p1))));
350    }
351    void _adapterFf_i_(void (*_adaptee)(), void *_ret, void *_p0){
352        ((*((float *)_ret))=((float (*)(int ))_adaptee)((*((int *)_p0))));
353    }
354    void _adapterFf_if_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
355        ((*((float *)_ret))=((float (*)(int , float ))_adaptee)((*((int *)_p0)), (*((float *)_p1))));
356    }
357    __i__F_f_((__k__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0___j__PFt1_t0t1__Ft1_t0_(_adapterFf_if_, _adapterFf_i_, _adapterFf_Pff_, _adapterFi_Pii_, sizeof(int ), sizeof(float ), ((void (*)())___operator_assign__Fi_Pii_), ((void (*)())___operator_assign__Ff_Pff_), ((void (*)())__f__Ff_i_), ((void (*)())__j__Ff_if_), (&_temp1), (&__b__i)) , _temp1));
358}
Note: See TracBrowser for help on using the repository browser.