source: src/Tests/Expect-e/Quad.txt @ a3e7d34

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 a3e7d34 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.1 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      signed int
11      signed int
12    returning
13      signed int
14
15square: forall
16      T: type
17        with assertions
18          ?=?: pointer to function
19              with parameters
20                pointer to instance of type T (not function type)
21                instance of type T (not function type)
22              returning
23                instance of type T (not function type)
24
25          ?*?: pointer to function
26              with parameters
27                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    function
34    with parameters
35      t: instance of type T (not function type)
36    returning
37      instance of type T (not function type)
38    with body
39      CompoundStmt
40                  Return Statement, returning: Cast of:
41  Application of
42    Variable Expression: ?*?: pointer to function
43        with parameters
44          instance of type T (not function type)
45          instance of type T (not function type)
46        returning
47          instance of type T (not function type)
48
49  to arguments
50          Variable Expression: t: instance of type T (not function type)
51
52          Variable Expression: t: instance of type T (not function type)
53
54
55to:
56  instance of type T (not function type)
57with environment:
58  Types:
59  Non-types:
60
61
62
63quad: forall
64      U: type
65        with assertions
66          ?=?: pointer to function
67              with parameters
68                pointer to instance of type U (not function type)
69                instance of type U (not function type)
70              returning
71                instance of type U (not function type)
72
73          square: pointer to function
74              with parameters
75                instance of type U (not function type)
76              returning
77                instance of type U (not function type)
78
79
80    function
81    with parameters
82      u: instance of type U (not function type)
83    returning
84      instance of type U (not function type)
85    with body
86      CompoundStmt
87                  Return Statement, returning: Cast of:
88  Application of
89    Variable Expression: square: pointer to function
90        with parameters
91          instance of type U (not function type)
92        returning
93          instance of type U (not function type)
94
95  to arguments
96          Application of
97        Variable Expression: square: pointer to function
98            with parameters
99              instance of type U (not function type)
100            returning
101              instance of type U (not function type)
102
103      to arguments
104                  Variable Expression: u: instance of type U (not function type)
105
106
107
108to:
109  instance of type U (not function type)
110with environment:
111  Types:
112  Non-types:
113
114
115
116f: function
117      accepting unspecified arguments
118    returning
119      nothing
120    with body
121      CompoundStmt
122                  Expression Statement:
123            Application of
124              Variable Expression: quad: forall
125                    U: type
126                      with assertions
127                        ?=?: pointer to function
128                            with parameters
129                              pointer to instance of type U (not function type)
130                              instance of type U (not function type)
131                            returning
132                              instance of type U (not function type)
133
134                        square: pointer to function
135                            with parameters
136                              instance of type U (not function type)
137                            returning
138                              instance of type U (not function type)
139
140
141                  function
142                  with parameters
143                    u: instance of type U (not function type)
144                  returning
145                    instance of type U (not function type)
146
147            to arguments
148              constant expression 7 signed int
149            with inferred parameters:
150              ?=?: function
151                with parameters
152                  pointer to signed int
153                  signed int
154                returning
155                  signed int
156
157              ?*?: function
158                with parameters
159                  signed int
160                  signed int
161                returning
162                  signed int
163
164              ?=?: function
165                with parameters
166                  pointer to signed int
167                  signed int
168                returning
169                  signed int
170
171              square: forall
172                  T: type
173                    with assertions
174                      ?=?: pointer to function
175                          with parameters
176                            pointer to instance of type T (not function type)
177                            instance of type T (not function type)
178                          returning
179                            instance of type T (not function type)
180
181                      ?*?: pointer to function
182                          with parameters
183                            instance of type T (not function type)
184                            instance of type T (not function type)
185                          returning
186                            instance of type T (not function type)
187
188
189                function
190                with parameters
191                  t: instance of type T (not function type)
192                returning
193                  instance of type T (not function type)
194
195            with environment:
196              Types:
197                _0_U -> signed int
198                _1_T -> signed int
199              Non-types:
200
201
202int ___operator_assign__Fi_Pii_(int *, int );
203int ___operator_multiply__Fi_ii_(int , int );
204void __square__A1_0_0____operator_assign__PFt0_Pt0t0____operator_multiply__PFt0_t0t0__Ft0_t0_(void (*_adapterF2tT_2tT2tT_)(void (*)(), void *, void *, void *), void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, void (*___operator_assign__PF2tT_P2tT2tT_)(), void (*___operator_multiply__PF2tT_2tT2tT_)(), void *_retparm, void *__t__2tT){
205    _adapterF2tT_2tT2tT_(___operator_multiply__PF2tT_2tT2tT_, _retparm, __t__2tT, __t__2tT);
206    return ;
207}
208void __quad__A1_0_0____operator_assign__PFt0_Pt0t0___square__PFt0_t0__Ft0_t0_(void (*_adapterF2tU_2tU_)(void (*)(), void *, void *), void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), long unsigned int U, void (*___operator_assign__PF2tU_P2tU2tU_)(), void (*__square__PF2tU_2tU_)(), void *_retparm, void *__u__2tU){
209    void *_temp0;
210    (_temp0=__builtin_alloca(U));
211    _adapterF2tU_2tU_(__square__PF2tU_2tU_, _retparm, (_adapterF2tU_2tU_(__square__PF2tU_2tU_, _temp0, __u__2tU) , _temp0));
212    return ;
213}
214void __f__F__(){
215    int _thunk0(int _p0){
216        int _temp1;
217        void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
218            ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
219        }
220        void _adapterFi_ii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
221            ((*((int *)_ret))=((int (*)(int , int ))_adaptee)((*((int *)_p0)), (*((int *)_p1))));
222        }
223        return (__square__A1_0_0____operator_assign__PFt0_Pt0t0____operator_multiply__PFt0_t0t0__Ft0_t0_(_adapterFi_ii_, _adapterFi_Pii_, sizeof(int ), ((void (*)())___operator_assign__Fi_Pii_), ((void (*)())___operator_multiply__Fi_ii_), (&_temp1), (&_p0)) , _temp1);
224    }
225    int _temp2;
226    int _temp3;
227    (_temp3=7);
228    void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
229        ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
230    }
231    void _adapterFi_i_(void (*_adaptee)(), void *_ret, void *_p0){
232        ((*((int *)_ret))=((int (*)(int ))_adaptee)((*((int *)_p0))));
233    }
234    (__quad__A1_0_0____operator_assign__PFt0_Pt0t0___square__PFt0_t0__Ft0_t0_(_adapterFi_i_, _adapterFi_Pii_, sizeof(int ), ((void (*)())___operator_assign__Fi_Pii_), ((void (*)())(&_thunk0)), (&_temp2), (&_temp3)) , _temp2);
235}
Note: See TracBrowser for help on using the repository browser.