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

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 189243c was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 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.