source: tests/.expect/functions.x64.txt@ 1b033b8

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 1b033b8 was 3f06c05, checked in by Andrew Beach <ajbeach@…>, 5 years ago

Fixed InstantiateGeneric so that it can handle cyclic type references (fixes #198). Does produce some extra code now (see (#199).

  • Property mode set to 100644
File size: 14.3 KB
RevLine 
[4285544e]1void _X1hFv___1(void){
[4e5e6cc]2}
[76f7fc7]3signed int _X1fFi_Fi__Fi_i_Fi__Fi_i_Fv____1(__attribute__ ((unused)) signed int (*__anonymous_object0)(void), __attribute__ ((unused)) signed int (*__anonymous_object1)(signed int __anonymous_object2), __attribute__ ((unused)) signed int (*__anonymous_object3)(void), __attribute__ ((unused)) signed int (*__anonymous_object4)(signed int __anonymous_object5), void (*_X1gFv___1)(void)){
[4e5e6cc]4 __attribute__ ((unused)) signed int _X9_retval_fi_1;
5 {
6 ((void)(*_X1gFv___1)());
7 }
[7b10ea9]8
[4e5e6cc]9 {
10 ((void)_X1gFv___1());
11 }
[7b10ea9]12
[4e5e6cc]13 {
14 ((void)(_X1gFv___1=_X1hFv___1));
15 }
[7b10ea9]16
[4e5e6cc]17}
[4285544e]18signed int _X2f1Fi___1(){
[4e5e6cc]19 __attribute__ ((unused)) signed int _X10_retval_f1i_1;
20}
[4285544e]21signed int _X2f2Fi___1(){
[4e5e6cc]22 __attribute__ ((unused)) signed int _X10_retval_f2i_1;
23}
[4285544e]24signed int (*_X2f3FFi_____1())(){
[4e5e6cc]25 __attribute__ ((unused)) signed int (*_X10_retval_f3Fi___1)();
26}
[4285544e]27signed int *_X2f4FPi___1(){
[4e5e6cc]28 __attribute__ ((unused)) signed int *_X10_retval_f4Pi_1;
29}
[4285544e]30signed int (*_X2f5FFi_____1())(){
[4e5e6cc]31 __attribute__ ((unused)) signed int (*_X10_retval_f5Fi___1)();
32}
[4285544e]33signed int *_X2f6FPi___1(){
[4e5e6cc]34 __attribute__ ((unused)) signed int *_X10_retval_f6Pi_1;
35}
[4285544e]36signed int *_X2f7FPi___1(){
[4e5e6cc]37 __attribute__ ((unused)) signed int *_X10_retval_f7Pi_1;
38}
[4285544e]39signed int **_X2f8FPPi___1(){
[4e5e6cc]40 __attribute__ ((unused)) signed int **_X10_retval_f8PPi_1;
41}
[364d70c]42signed int *const *_X2f9FPKPi___1(){
[4e5e6cc]43 __attribute__ ((unused)) signed int *const *_X10_retval_f9PKPi_1;
44}
[4285544e]45signed int (*_X3f10FPA0i___1())[]{
[4e5e6cc]46 __attribute__ ((unused)) signed int (*_X11_retval_f10PA0i_1)[];
47}
[4285544e]48signed int (*_X3f11FPA0A0i___1())[][((unsigned long int )3)]{
[4e5e6cc]49 __attribute__ ((unused)) signed int (*_X11_retval_f11PA0A0i_1)[][((unsigned long int )3)];
50}
[4285544e]51signed int (*_X3f12FPA0A0i___1())[][((unsigned long int )3)]{
[4e5e6cc]52 __attribute__ ((unused)) signed int (*_X11_retval_f12PA0A0i_1)[][((unsigned long int )3)];
53}
[4285544e]54signed int _X4fII1Fi_i__1(signed int _X1ii_1){
[4e5e6cc]55 __attribute__ ((unused)) signed int _X12_retval_fII1i_1;
56}
[4285544e]57const signed int _X4fII2Fi_i__1(signed int _X1ii_1){
[4e5e6cc]58 __attribute__ ((unused)) const signed int _X12_retval_fII2Ki_1;
59}
[4285544e]60extern signed int _X4fII3Fi_i__1(signed int _X1ii_1){
[4e5e6cc]61 __attribute__ ((unused)) signed int _X12_retval_fII3i_1;
62}
[4285544e]63extern const signed int _X4fII4Fi_i__1(signed int _X1ii_1){
[4e5e6cc]64 __attribute__ ((unused)) const signed int _X12_retval_fII4Ki_1;
65}
[4285544e]66signed int *_X4fII5FPi___1(){
[4e5e6cc]67 __attribute__ ((unused)) signed int *_X12_retval_fII5Pi_1;
68}
[4285544e]69signed int *const _X4fII6FPi___1(){
[4e5e6cc]70 __attribute__ ((unused)) signed int *const _X12_retval_fII6KPi_1;
71}
[364d70c]72const signed long int *_X4fII7FPKl___1(){
[4e5e6cc]73 __attribute__ ((unused)) const signed long int *_X12_retval_fII7PKl_1;
74}
[364d70c]75static const signed long int *_X4fII8FPKl___1(){
[4e5e6cc]76 __attribute__ ((unused)) const signed long int *_X12_retval_fII8PKl_1;
77}
[364d70c]78static const signed long int *_X4fII9FPKl___1(){
[4e5e6cc]79 __attribute__ ((unused)) const signed long int *_X12_retval_fII9PKl_1;
80}
[4285544e]81signed int _X3fO1Fi_i__1(signed int _X1ii_1){
[4e5e6cc]82 __attribute__ ((unused)) signed int _X11_retval_fO1i_1;
83}
[4285544e]84signed int _X3fO2Fi_i__1(signed int _X1ii_1){
[4e5e6cc]85 __attribute__ ((unused)) signed int _X11_retval_fO2i_1;
86}
[4285544e]87const signed int _X3fO3Fi_i__1(signed int _X1ii_1){
[4e5e6cc]88 __attribute__ ((unused)) const signed int _X11_retval_fO3Ki_1;
89}
[4285544e]90extern signed int _X3fO4Fi_i__1(signed int _X1ii_1){
[4e5e6cc]91 __attribute__ ((unused)) signed int _X11_retval_fO4i_1;
92}
[4285544e]93extern const signed int _X3fO5Fi_i__1(signed int _X1ii_1){
[4e5e6cc]94 __attribute__ ((unused)) const signed int _X11_retval_fO5Ki_1;
95}
[4285544e]96signed int _X1fFi___1(void);
97signed int _X1fFi_i__1(signed int __anonymous_object6);
98signed int _X1fFi___1(void){
[4e5e6cc]99 __attribute__ ((unused)) signed int _X9_retval_fi_1;
100}
[76f7fc7]101signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object7){
[4e5e6cc]102 __attribute__ ((unused)) signed int _X9_retval_fi_1;
103}
[4285544e]104signed int _X1fFi___1(void);
[481115f]105struct _tuple2_ {
[4e5e6cc]106};
[364d70c]107static inline void _layoutof__tuple2_(unsigned long int *_sizeof__tuple2_, unsigned long int *_alignof__tuple2_, unsigned long int *_offsetof__tuple2_, unsigned long int _sizeof_Y15tuple_param_2_0, unsigned long int _alignof_Y15tuple_param_2_0, unsigned long int _sizeof_Y15tuple_param_2_1, unsigned long int _alignof_Y15tuple_param_2_1){
[4e5e6cc]108 ((void)((*_sizeof__tuple2_)=0));
109 ((void)((*_alignof__tuple2_)=1));
110 ((void)(_offsetof__tuple2_[0]=(*_sizeof__tuple2_)));
111 ((void)((*_sizeof__tuple2_)+=_sizeof_Y15tuple_param_2_0));
112 if ( ((*_alignof__tuple2_)<_alignof_Y15tuple_param_2_0) ) ((void)((*_alignof__tuple2_)=_alignof_Y15tuple_param_2_0));
[481115f]113
[4e5e6cc]114 if ( ((*_sizeof__tuple2_)&(_alignof_Y15tuple_param_2_1-1)) ) ((void)((*_sizeof__tuple2_)+=(_alignof_Y15tuple_param_2_1-((*_sizeof__tuple2_)&(_alignof_Y15tuple_param_2_1-1)))));
[481115f]115
[4e5e6cc]116 ((void)(_offsetof__tuple2_[1]=(*_sizeof__tuple2_)));
117 ((void)((*_sizeof__tuple2_)+=_sizeof_Y15tuple_param_2_1));
118 if ( ((*_alignof__tuple2_)<_alignof_Y15tuple_param_2_1) ) ((void)((*_alignof__tuple2_)=_alignof_Y15tuple_param_2_1));
[481115f]119
[4e5e6cc]120 if ( ((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)) ) ((void)((*_sizeof__tuple2_)+=((*_alignof__tuple2_)-((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)))));
[481115f]121
[4e5e6cc]122}
[3f06c05]123struct _conc__tuple2_0;
[481115f]124struct _conc__tuple2_0 {
[4e5e6cc]125 signed int field_0;
126 signed int field_1;
127};
[4285544e]128struct _conc__tuple2_0 _X1fFT2ii___1(void);
129struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object8, signed int _X1xi_1);
130struct _conc__tuple2_0 _X1fFT2ii___1(void){
[4e5e6cc]131 __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = { };
132}
[76f7fc7]133struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object9, signed int _X1xi_1){
[4e5e6cc]134 __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = { };
135}
[481115f]136struct _tuple3_ {
[4e5e6cc]137};
[364d70c]138static inline void _layoutof__tuple3_(unsigned long int *_sizeof__tuple3_, unsigned long int *_alignof__tuple3_, unsigned long int *_offsetof__tuple3_, unsigned long int _sizeof_Y15tuple_param_3_0, unsigned long int _alignof_Y15tuple_param_3_0, unsigned long int _sizeof_Y15tuple_param_3_1, unsigned long int _alignof_Y15tuple_param_3_1, unsigned long int _sizeof_Y15tuple_param_3_2, unsigned long int _alignof_Y15tuple_param_3_2){
[4e5e6cc]139 ((void)((*_sizeof__tuple3_)=0));
140 ((void)((*_alignof__tuple3_)=1));
141 ((void)(_offsetof__tuple3_[0]=(*_sizeof__tuple3_)));
142 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_0));
143 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_0) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_0));
[481115f]144
[4e5e6cc]145 if ( ((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_1-1)) ) ((void)((*_sizeof__tuple3_)+=(_alignof_Y15tuple_param_3_1-((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_1-1)))));
[481115f]146
[4e5e6cc]147 ((void)(_offsetof__tuple3_[1]=(*_sizeof__tuple3_)));
148 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_1));
149 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_1) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_1));
[481115f]150
[4e5e6cc]151 if ( ((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_2-1)) ) ((void)((*_sizeof__tuple3_)+=(_alignof_Y15tuple_param_3_2-((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_2-1)))));
[481115f]152
[4e5e6cc]153 ((void)(_offsetof__tuple3_[2]=(*_sizeof__tuple3_)));
154 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_2));
155 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_2) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_2));
[481115f]156
[4e5e6cc]157 if ( ((*_sizeof__tuple3_)&((*_alignof__tuple3_)-1)) ) ((void)((*_sizeof__tuple3_)+=((*_alignof__tuple3_)-((*_sizeof__tuple3_)&((*_alignof__tuple3_)-1)))));
[481115f]158
[4e5e6cc]159}
[3f06c05]160struct _conc__tuple3_1;
[481115f]161struct _conc__tuple3_1 {
[4e5e6cc]162 signed int field_0;
163 signed int field_1;
164 signed int field_2;
165};
[4285544e]166struct _conc__tuple3_1 _X1fFT3iii___1(void);
167struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object10, signed int _X1xi_1, signed int __anonymous_object11);
168struct _conc__tuple3_1 _X1fFT3iii___1(void){
[4e5e6cc]169 __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = { };
170}
[76f7fc7]171struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object12, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object13){
[4e5e6cc]172 __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = { };
173}
[3f06c05]174struct _conc__tuple3_2;
[481115f]175struct _conc__tuple3_2 {
[4e5e6cc]176 signed int field_0;
177 signed int field_1;
178 signed int *field_2;
179};
[4285544e]180struct _conc__tuple3_2 _X1fFT3iiPi___1(void);
181struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object14, signed int _X1xi_1, signed int *_X1yPi_1);
182struct _conc__tuple3_2 _X1fFT3iiPi___1(void){
[4e5e6cc]183 __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = { };
184}
[76f7fc7]185struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object15, signed int _X1xi_1, signed int *_X1yPi_1){
[4e5e6cc]186 __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = { };
187}
[4285544e]188signed int _X3f11Fi_i__1(signed int __anonymous_object16);
189signed int _X3f12Fi___1(void);
190const double _X4bar1Fd___1();
191const double _X4bar2Fd_i__1(signed int __anonymous_object17);
192const double _X4bar3Fd_d__1(double __anonymous_object18);
193const double _X3fooFd___1(void);
194const double _X3fooFd_i__1(signed int __anonymous_object19);
[76f7fc7]195const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object20){
[4e5e6cc]196 __attribute__ ((unused)) const double _X11_retval_fooKd_1;
197 {
198 ((void)((*((double *)(&_X11_retval_fooKd_1)))=3.0) /* ?{} */);
199 }
[7b10ea9]200
[4e5e6cc]201 return _X11_retval_fooKd_1;
202}
[481115f]203struct S {
[4e5e6cc]204 signed int _X1ii_1;
205};
[364d70c]206static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
207static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
208static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
209static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
210static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1);
211static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
[4e5e6cc]212 {
213 ((void)((*_X4_dstS1S_1)._X1ii_1) /* ?{} */);
214 }
[7b10ea9]215
[4e5e6cc]216}
[364d70c]217static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
[4e5e6cc]218 {
219 ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1) /* ?{} */);
220 }
[7b10ea9]221
[4e5e6cc]222}
[364d70c]223static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
[4e5e6cc]224 {
225 ((void)((*_X4_dstS1S_1)._X1ii_1) /* ^?{} */);
226 }
[7b10ea9]227
[4e5e6cc]228}
[364d70c]229static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
[4e5e6cc]230 struct S _X4_retS1S_1;
231 {
232 ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1));
233 }
[7b10ea9]234
[4e5e6cc]235 {
236 ((void)_X12_constructorFv_S1SS1S_autogen___1((&_X4_retS1S_1), (*_X4_dstS1S_1)));
237 }
[7b10ea9]238
[4e5e6cc]239 return _X4_retS1S_1;
240}
[364d70c]241static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1){
[4e5e6cc]242 {
243 ((void)((*_X4_dstS1S_1)._X1ii_1=_X1ii_1) /* ?{} */);
244 }
[7b10ea9]245
[4e5e6cc]246}
[76f7fc7]247struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object21){
[4e5e6cc]248 __attribute__ ((unused)) struct S _X11_retval_rtnS1S_1;
249}
[76f7fc7]250signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object22)(signed int __anonymous_object23, signed int _X1pi_1), __attribute__ ((unused)) signed int (*__anonymous_object24)(signed int __anonymous_object25)){
[4e5e6cc]251 __attribute__ ((unused)) signed int _X9_retval_fi_1;
252 signed int (*(*_X2pcPA0A0PA0A0i_2)[][((unsigned long int )10)])[][((unsigned long int )3)];
253 signed int (*(*_X1pPA0A0PA0A0i_2)[][((unsigned long int )10)])[][((unsigned long int )3)];
254 signed int (*(*_X1pPA0Fi_i__2)[])(signed int __anonymous_object26);
255}
[364d70c]256static const signed int *_X2f1FPKi___1(){
[4e5e6cc]257 __attribute__ ((unused)) const signed int *_X10_retval_f1PKi_1;
258}
[364d70c]259static const signed int *_X2f2FPKi___1(void){
[4e5e6cc]260 __attribute__ ((unused)) const signed int *_X10_retval_f2PKi_1;
261}
[4285544e]262static inline signed int *const _X2f3FPi___1(void){
[4e5e6cc]263 __attribute__ ((unused)) signed int *const _X10_retval_f3KPi_1;
264}
[3f06c05]265struct _conc__tuple2_3;
[481115f]266struct _conc__tuple2_3 {
[4e5e6cc]267 signed int *field_0;
268 signed int field_1;
269};
[4285544e]270static inline const struct _conc__tuple2_3 _X2f4FT2Pii___1(void){
[4e5e6cc]271 __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f4KT2Pii_1;
272}
[364d70c]273static const struct _conc__tuple2_3 _X2f5FT2PiKi___1(void){
[4e5e6cc]274 __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f5KT2PiKi_1;
275}
[364d70c]276signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object27)(), signed int *(*__anonymous_object28)(), signed int **(*__anonymous_object29)(), signed int *const *(*__anonymous_object30)(), signed int *const *const (*__anonymous_object31)(), signed int *__anonymous_object32, signed int __anonymous_object33[((unsigned long int )10)], signed int **__anonymous_object34, signed int *__anonymous_object35[((unsigned long int )10)], signed int ***__anonymous_object36, signed int **__anonymous_object37[((unsigned long int )10)], signed int *const **__anonymous_object38, signed int *const *__anonymous_object39[((unsigned long int )10)], signed int *const *const *__anonymous_object40, signed int *const *const __anonymous_object41[((unsigned long int )10)]);
[76f7fc7]277signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object42)(), __attribute__ ((unused)) signed int *(*__anonymous_object43)(), __attribute__ ((unused)) signed int **(*__anonymous_object44)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object45)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object46)(), __attribute__ ((unused)) signed int *__anonymous_object47, __attribute__ ((unused)) signed int __anonymous_object48[((unsigned long int )10)], __attribute__ ((unused)) signed int **__anonymous_object49, __attribute__ ((unused)) signed int *__anonymous_object50[((unsigned long int )10)], __attribute__ ((unused)) signed int ***__anonymous_object51, __attribute__ ((unused)) signed int **__anonymous_object52[((unsigned long int )10)], __attribute__ ((unused)) signed int *const **__anonymous_object53, __attribute__ ((unused)) signed int *const *__anonymous_object54[((unsigned long int )10)], __attribute__ ((unused)) signed int *const *const *__anonymous_object55, __attribute__ ((unused)) signed int *const *const __anonymous_object56[((unsigned long int )10)]){
[4e5e6cc]278 __attribute__ ((unused)) signed int _X9_retval_fi_1;
279}
[4285544e]280signed int _X1fFi_Pii__1(signed int *_X1fPi_1, signed int _X1ti_1){
[4e5e6cc]281 __attribute__ ((unused)) signed int _X9_retval_fi_1;
282 signed int _X1Ti_2;
283}
Note: See TracBrowser for help on using the repository browser.