Changeset 03606ce for tests


Ignore:
Timestamp:
Mar 8, 2024, 12:25:49 AM (9 months ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
266732e
Parents:
06601401 (diff), 169496e1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:
tests
Files:
4 edited

Legend:

Unmodified
Added
Removed

  • tests/.expect/functions.arm64.txt

    r06601401 r03606ce  
    9494    __attribute__ ((unused)) const signed int _X11_retval_fO5Ki_1;
    9595}
     96void _X1fFv___1(void);
     97void _X1fFv___1(void);
    9698signed int _X1fFi___1(void);
    97 signed int _X1fFi_i__1(signed int __anonymous_object4);
     99void _X1fFv_i__1(signed int __anonymous_object4);
     100void _X1fFv_i__1(signed int __anonymous_object5);
     101signed int _X1fFi_i__1(signed int __anonymous_object6);
     102void _X1fFv___1(void){
     103}
     104void _X2fvFv___1(void){
     105}
    98106signed int _X1fFi___1(void){
    99107    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    100108}
    101 signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object5){
     109void _X1fFv_i__1(__attribute__ ((unused)) signed int __anonymous_object7){
     110}
     111void _X2fvFv_i__1(__attribute__ ((unused)) signed int __anonymous_object8){
     112}
     113signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object9){
    102114    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    103115}
    104116signed int _X1fFi___1(void);
     117void _X1fFv_i__1(signed int _X1xi_1);
     118void _X2fvFv_i__1(signed int _X1xi_1);
     119void _X2f2Fv_i__1(signed int _X1xi_1){
     120}
     121void _X3fv1Fv_i__1(signed int _X1xi_1){
     122}
    105123struct _tuple2_ {
    106124};
    … …  
    127145};
    128146struct _conc__tuple2_0 _X1fFT2ii___1(void);
    129 struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object6, signed int _X1xi_1);
     147void _X1fFv_ii__1(signed int __anonymous_object10, signed int _X1xi_1);
     148void _X2fvFv_ii__1(signed int __anonymous_object11, signed int _X1xi_1);
     149struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object12, signed int _X1xi_1);
    130150struct _conc__tuple2_0 _X1fFT2ii___1(void){
    131151    __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = {  };
    132152}
    133 struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object7, signed int _X1xi_1){
     153void _X1fFv_ii__1(__attribute__ ((unused)) signed int __anonymous_object13, signed int _X1xi_1){
     154}
     155void _X2fvFv_ii__1(__attribute__ ((unused)) signed int __anonymous_object14, signed int _X1xi_1){
     156}
     157struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object15, signed int _X1xi_1){
    134158    __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = {  };
    135159}
    … …  
    165189};
    166190struct _conc__tuple3_1 _X1fFT3iii___1(void);
    167 struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object8, signed int _X1xi_1, signed int __anonymous_object9);
     191void _X1fFv_iii__1(signed int __anonymous_object16, signed int _X1xi_1, signed int __anonymous_object17);
     192void _X2fvFv_iii__1(signed int __anonymous_object18, signed int _X1xi_1, signed int __anonymous_object19);
     193struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object20, signed int _X1xi_1, signed int __anonymous_object21);
    168194struct _conc__tuple3_1 _X1fFT3iii___1(void){
    169195    __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = {  };
    170196}
    171 struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object10, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object11){
     197void _X1fFv_iii__1(__attribute__ ((unused)) signed int __anonymous_object22, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object23){
     198}
     199void _X2fvFv_iii__1(__attribute__ ((unused)) signed int __anonymous_object24, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object25){
     200}
     201struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object26, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object27){
    172202    __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = {  };
    173203}
    … …  
    179209};
    180210struct _conc__tuple3_2 _X1fFT3iiPi___1(void);
    181 struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object12, signed int _X1xi_1, signed int *_X1yPi_1);
     211void _X1fFv_iiPi__1(signed int __anonymous_object28, signed int _X1xi_1, signed int *_X1yPi_1);
     212void _X2fvFv_iiPi__1(signed int __anonymous_object29, signed int _X1xi_1, signed int *_X1yPi_1);
     213struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object30, signed int _X1xi_1, signed int *_X1yPi_1);
    182214struct _conc__tuple3_2 _X1fFT3iiPi___1(void){
    183215    __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = {  };
    184216}
    185 struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object13, signed int _X1xi_1, signed int *_X1yPi_1){
     217void _X1fFv_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object31, signed int _X1xi_1, signed int *_X1yPi_1){
     218}
     219void _X2fvFv_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object32, signed int _X1xi_1, signed int *_X1yPi_1){
     220}
     221struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object33, signed int _X1xi_1, signed int *_X1yPi_1){
    186222    __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = {  };
    187223}
    188 signed int _X3f11Fi_i__1(signed int __anonymous_object14);
     224signed int _X3f11Fi_i__1(signed int __anonymous_object34);
    189225signed int _X3f12Fi___1(void);
    190226const double _X4bar1Fd___1();
    191 const double _X4bar2Fd_i__1(signed int __anonymous_object15);
    192 const double _X4bar3Fd_d__1(double __anonymous_object16);
     227const double _X4bar2Fd_i__1(signed int __anonymous_object35);
     228const double _X4bar3Fd_d__1(double __anonymous_object36);
    193229const double _X3fooFd___1(void);
    194 const double _X3fooFd_i__1(signed int __anonymous_object17);
    195 const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object18){
     230const double _X3fooFd_i__1(signed int __anonymous_object37);
     231const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object38){
    196232    __attribute__ ((unused)) const double _X11_retval_fooKd_1;
    197233    {
    … …  
    245281
    246282}
    247 struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object19){
     283struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object39){
    248284    __attribute__ ((unused)) struct S _X11_retval_rtnS1S_1;
    249285}
    250 signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object20)(signed int __param_0, signed int __param_1), __attribute__ ((unused)) signed int (*__anonymous_object21)(signed int __param_0)){
     286signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object40)(signed int __param_0, signed int __param_1), __attribute__ ((unused)) signed int (*__anonymous_object41)(signed int __param_0)){
    251287    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    252288    signed int (*(*_X2pcPA0A0PA0A0i_2)[][((unsigned long int )10)])[][((unsigned long int )3)];
    … …  
    274310    __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f5KT2PiKi_1;
    275311}
    276 signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object22)(), signed int *(*__anonymous_object23)(), signed int **(*__anonymous_object24)(), signed int *const *(*__anonymous_object25)(), signed int *const *const (*__anonymous_object26)(), signed int *__anonymous_object27, signed int __anonymous_object28[10], signed int **__anonymous_object29, signed int *__anonymous_object30[10], signed int ***__anonymous_object31, signed int **__anonymous_object32[10], signed int *const **__anonymous_object33, signed int *const *__anonymous_object34[10], signed int *const *const *__anonymous_object35, signed int *const *const __anonymous_object36[10]);
    277 signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object37)(), __attribute__ ((unused)) signed int *(*__anonymous_object38)(), __attribute__ ((unused)) signed int **(*__anonymous_object39)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object40)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object41)(), __attribute__ ((unused)) signed int *__anonymous_object42, __attribute__ ((unused)) signed int __anonymous_object43[10], __attribute__ ((unused)) signed int **__anonymous_object44, __attribute__ ((unused)) signed int *__anonymous_object45[10], __attribute__ ((unused)) signed int ***__anonymous_object46, __attribute__ ((unused)) signed int **__anonymous_object47[10], __attribute__ ((unused)) signed int *const **__anonymous_object48, __attribute__ ((unused)) signed int *const *__anonymous_object49[10], __attribute__ ((unused)) signed int *const *const *__anonymous_object50, __attribute__ ((unused)) signed int *const *const __anonymous_object51[10]){
     312signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object42)(), signed int *(*__anonymous_object43)(), signed int **(*__anonymous_object44)(), signed int *const *(*__anonymous_object45)(), signed int *const *const (*__anonymous_object46)(), signed int *__anonymous_object47, signed int __anonymous_object48[10], signed int **__anonymous_object49, signed int *__anonymous_object50[10], signed int ***__anonymous_object51, signed int **__anonymous_object52[10], signed int *const **__anonymous_object53, signed int *const *__anonymous_object54[10], signed int *const *const *__anonymous_object55, signed int *const *const __anonymous_object56[10]);
     313signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object57)(), __attribute__ ((unused)) signed int *(*__anonymous_object58)(), __attribute__ ((unused)) signed int **(*__anonymous_object59)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object60)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object61)(), __attribute__ ((unused)) signed int *__anonymous_object62, __attribute__ ((unused)) signed int __anonymous_object63[10], __attribute__ ((unused)) signed int **__anonymous_object64, __attribute__ ((unused)) signed int *__anonymous_object65[10], __attribute__ ((unused)) signed int ***__anonymous_object66, __attribute__ ((unused)) signed int **__anonymous_object67[10], __attribute__ ((unused)) signed int *const **__anonymous_object68, __attribute__ ((unused)) signed int *const *__anonymous_object69[10], __attribute__ ((unused)) signed int *const *const *__anonymous_object70, __attribute__ ((unused)) signed int *const *const __anonymous_object71[10]){
    278314    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    279315}

  • tests/.expect/functions.x64.txt

    r06601401 r03606ce  
    9494    __attribute__ ((unused)) const signed int _X11_retval_fO5Ki_1;
    9595}
     96void _X1fFv___1(void);
     97void _X1fFv___1(void);
    9698signed int _X1fFi___1(void);
    97 signed int _X1fFi_i__1(signed int __anonymous_object4);
     99void _X1fFv_i__1(signed int __anonymous_object4);
     100void _X1fFv_i__1(signed int __anonymous_object5);
     101signed int _X1fFi_i__1(signed int __anonymous_object6);
     102void _X1fFv___1(void){
     103}
     104void _X2fvFv___1(void){
     105}
    98106signed int _X1fFi___1(void){
    99107    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    100108}
    101 signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object5){
     109void _X1fFv_i__1(__attribute__ ((unused)) signed int __anonymous_object7){
     110}
     111void _X2fvFv_i__1(__attribute__ ((unused)) signed int __anonymous_object8){
     112}
     113signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object9){
    102114    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    103115}
    104116signed int _X1fFi___1(void);
     117void _X1fFv_i__1(signed int _X1xi_1);
     118void _X2fvFv_i__1(signed int _X1xi_1);
     119void _X2f2Fv_i__1(signed int _X1xi_1){
     120}
     121void _X3fv1Fv_i__1(signed int _X1xi_1){
     122}
    105123struct _tuple2_ {
    106124};
    … …  
    127145};
    128146struct _conc__tuple2_0 _X1fFT2ii___1(void);
    129 struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object6, signed int _X1xi_1);
     147void _X1fFv_ii__1(signed int __anonymous_object10, signed int _X1xi_1);
     148void _X2fvFv_ii__1(signed int __anonymous_object11, signed int _X1xi_1);
     149struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object12, signed int _X1xi_1);
    130150struct _conc__tuple2_0 _X1fFT2ii___1(void){
    131151    __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = {  };
    132152}
    133 struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object7, signed int _X1xi_1){
     153void _X1fFv_ii__1(__attribute__ ((unused)) signed int __anonymous_object13, signed int _X1xi_1){
     154}
     155void _X2fvFv_ii__1(__attribute__ ((unused)) signed int __anonymous_object14, signed int _X1xi_1){
     156}
     157struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object15, signed int _X1xi_1){
    134158    __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = {  };
    135159}
    … …  
    165189};
    166190struct _conc__tuple3_1 _X1fFT3iii___1(void);
    167 struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object8, signed int _X1xi_1, signed int __anonymous_object9);
     191void _X1fFv_iii__1(signed int __anonymous_object16, signed int _X1xi_1, signed int __anonymous_object17);
     192void _X2fvFv_iii__1(signed int __anonymous_object18, signed int _X1xi_1, signed int __anonymous_object19);
     193struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object20, signed int _X1xi_1, signed int __anonymous_object21);
    168194struct _conc__tuple3_1 _X1fFT3iii___1(void){
    169195    __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = {  };
    170196}
    171 struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object10, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object11){
     197void _X1fFv_iii__1(__attribute__ ((unused)) signed int __anonymous_object22, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object23){
     198}
     199void _X2fvFv_iii__1(__attribute__ ((unused)) signed int __anonymous_object24, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object25){
     200}
     201struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object26, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object27){
    172202    __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = {  };
    173203}
    … …  
    179209};
    180210struct _conc__tuple3_2 _X1fFT3iiPi___1(void);
    181 struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object12, signed int _X1xi_1, signed int *_X1yPi_1);
     211void _X1fFv_iiPi__1(signed int __anonymous_object28, signed int _X1xi_1, signed int *_X1yPi_1);
     212void _X2fvFv_iiPi__1(signed int __anonymous_object29, signed int _X1xi_1, signed int *_X1yPi_1);
     213struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object30, signed int _X1xi_1, signed int *_X1yPi_1);
    182214struct _conc__tuple3_2 _X1fFT3iiPi___1(void){
    183215    __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = {  };
    184216}
    185 struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object13, signed int _X1xi_1, signed int *_X1yPi_1){
     217void _X1fFv_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object31, signed int _X1xi_1, signed int *_X1yPi_1){
     218}
     219void _X2fvFv_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object32, signed int _X1xi_1, signed int *_X1yPi_1){
     220}
     221struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object33, signed int _X1xi_1, signed int *_X1yPi_1){
    186222    __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = {  };
    187223}
    188 signed int _X3f11Fi_i__1(signed int __anonymous_object14);
     224signed int _X3f11Fi_i__1(signed int __anonymous_object34);
    189225signed int _X3f12Fi___1(void);
    190226const double _X4bar1Fd___1();
    191 const double _X4bar2Fd_i__1(signed int __anonymous_object15);
    192 const double _X4bar3Fd_d__1(double __anonymous_object16);
     227const double _X4bar2Fd_i__1(signed int __anonymous_object35);
     228const double _X4bar3Fd_d__1(double __anonymous_object36);
    193229const double _X3fooFd___1(void);
    194 const double _X3fooFd_i__1(signed int __anonymous_object17);
    195 const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object18){
     230const double _X3fooFd_i__1(signed int __anonymous_object37);
     231const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object38){
    196232    __attribute__ ((unused)) const double _X11_retval_fooKd_1;
    197233    {
    … …  
    245281
    246282}
    247 struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object19){
     283struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object39){
    248284    __attribute__ ((unused)) struct S _X11_retval_rtnS1S_1;
    249285}
    250 signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object20)(signed int __param_0, signed int __param_1), __attribute__ ((unused)) signed int (*__anonymous_object21)(signed int __param_0)){
     286signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object40)(signed int __param_0, signed int __param_1), __attribute__ ((unused)) signed int (*__anonymous_object41)(signed int __param_0)){
    251287    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    252288    signed int (*(*_X2pcPA0A0PA0A0i_2)[][((unsigned long int )10)])[][((unsigned long int )3)];
    … …  
    274310    __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f5KT2PiKi_1;
    275311}
    276 signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object22)(), signed int *(*__anonymous_object23)(), signed int **(*__anonymous_object24)(), signed int *const *(*__anonymous_object25)(), signed int *const *const (*__anonymous_object26)(), signed int *__anonymous_object27, signed int __anonymous_object28[10], signed int **__anonymous_object29, signed int *__anonymous_object30[10], signed int ***__anonymous_object31, signed int **__anonymous_object32[10], signed int *const **__anonymous_object33, signed int *const *__anonymous_object34[10], signed int *const *const *__anonymous_object35, signed int *const *const __anonymous_object36[10]);
    277 signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object37)(), __attribute__ ((unused)) signed int *(*__anonymous_object38)(), __attribute__ ((unused)) signed int **(*__anonymous_object39)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object40)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object41)(), __attribute__ ((unused)) signed int *__anonymous_object42, __attribute__ ((unused)) signed int __anonymous_object43[10], __attribute__ ((unused)) signed int **__anonymous_object44, __attribute__ ((unused)) signed int *__anonymous_object45[10], __attribute__ ((unused)) signed int ***__anonymous_object46, __attribute__ ((unused)) signed int **__anonymous_object47[10], __attribute__ ((unused)) signed int *const **__anonymous_object48, __attribute__ ((unused)) signed int *const *__anonymous_object49[10], __attribute__ ((unused)) signed int *const *const *__anonymous_object50, __attribute__ ((unused)) signed int *const *const __anonymous_object51[10]){
     312signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object42)(), signed int *(*__anonymous_object43)(), signed int **(*__anonymous_object44)(), signed int *const *(*__anonymous_object45)(), signed int *const *const (*__anonymous_object46)(), signed int *__anonymous_object47, signed int __anonymous_object48[10], signed int **__anonymous_object49, signed int *__anonymous_object50[10], signed int ***__anonymous_object51, signed int **__anonymous_object52[10], signed int *const **__anonymous_object53, signed int *const *__anonymous_object54[10], signed int *const *const *__anonymous_object55, signed int *const *const __anonymous_object56[10]);
     313signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object57)(), __attribute__ ((unused)) signed int *(*__anonymous_object58)(), __attribute__ ((unused)) signed int **(*__anonymous_object59)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object60)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object61)(), __attribute__ ((unused)) signed int *__anonymous_object62, __attribute__ ((unused)) signed int __anonymous_object63[10], __attribute__ ((unused)) signed int **__anonymous_object64, __attribute__ ((unused)) signed int *__anonymous_object65[10], __attribute__ ((unused)) signed int ***__anonymous_object66, __attribute__ ((unused)) signed int **__anonymous_object67[10], __attribute__ ((unused)) signed int *const **__anonymous_object68, __attribute__ ((unused)) signed int *const *__anonymous_object69[10], __attribute__ ((unused)) signed int *const *const *__anonymous_object70, __attribute__ ((unused)) signed int *const *const __anonymous_object71[10]){
    278314    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    279315}

  • tests/.expect/functions.x86.txt

    r06601401 r03606ce  
    9494    __attribute__ ((unused)) const signed int _X11_retval_fO5Ki_1;
    9595}
     96void _X1fFv___1(void);
     97void _X1fFv___1(void);
    9698signed int _X1fFi___1(void);
    97 signed int _X1fFi_i__1(signed int __anonymous_object4);
     99void _X1fFv_i__1(signed int __anonymous_object4);
     100void _X1fFv_i__1(signed int __anonymous_object5);
     101signed int _X1fFi_i__1(signed int __anonymous_object6);
     102void _X1fFv___1(void){
     103}
     104void _X2fvFv___1(void){
     105}
    98106signed int _X1fFi___1(void){
    99107    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    100108}
    101 signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object5){
     109void _X1fFv_i__1(__attribute__ ((unused)) signed int __anonymous_object7){
     110}
     111void _X2fvFv_i__1(__attribute__ ((unused)) signed int __anonymous_object8){
     112}
     113signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object9){
    102114    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    103115}
    104116signed int _X1fFi___1(void);
     117void _X1fFv_i__1(signed int _X1xi_1);
     118void _X2fvFv_i__1(signed int _X1xi_1);
     119void _X2f2Fv_i__1(signed int _X1xi_1){
     120}
     121void _X3fv1Fv_i__1(signed int _X1xi_1){
     122}
    105123struct _tuple2_ {
    106124};
    … …  
    127145};
    128146struct _conc__tuple2_0 _X1fFT2ii___1(void);
    129 struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object6, signed int _X1xi_1);
     147void _X1fFv_ii__1(signed int __anonymous_object10, signed int _X1xi_1);
     148void _X2fvFv_ii__1(signed int __anonymous_object11, signed int _X1xi_1);
     149struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object12, signed int _X1xi_1);
    130150struct _conc__tuple2_0 _X1fFT2ii___1(void){
    131151    __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = {  };
    132152}
    133 struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object7, signed int _X1xi_1){
     153void _X1fFv_ii__1(__attribute__ ((unused)) signed int __anonymous_object13, signed int _X1xi_1){
     154}
     155void _X2fvFv_ii__1(__attribute__ ((unused)) signed int __anonymous_object14, signed int _X1xi_1){
     156}
     157struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object15, signed int _X1xi_1){
    134158    __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = {  };
    135159}
    … …  
    165189};
    166190struct _conc__tuple3_1 _X1fFT3iii___1(void);
    167 struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object8, signed int _X1xi_1, signed int __anonymous_object9);
     191void _X1fFv_iii__1(signed int __anonymous_object16, signed int _X1xi_1, signed int __anonymous_object17);
     192void _X2fvFv_iii__1(signed int __anonymous_object18, signed int _X1xi_1, signed int __anonymous_object19);
     193struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object20, signed int _X1xi_1, signed int __anonymous_object21);
    168194struct _conc__tuple3_1 _X1fFT3iii___1(void){
    169195    __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = {  };
    170196}
    171 struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object10, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object11){
     197void _X1fFv_iii__1(__attribute__ ((unused)) signed int __anonymous_object22, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object23){
     198}
     199void _X2fvFv_iii__1(__attribute__ ((unused)) signed int __anonymous_object24, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object25){
     200}
     201struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object26, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object27){
    172202    __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = {  };
    173203}
    … …  
    179209};
    180210struct _conc__tuple3_2 _X1fFT3iiPi___1(void);
    181 struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object12, signed int _X1xi_1, signed int *_X1yPi_1);
     211void _X1fFv_iiPi__1(signed int __anonymous_object28, signed int _X1xi_1, signed int *_X1yPi_1);
     212void _X2fvFv_iiPi__1(signed int __anonymous_object29, signed int _X1xi_1, signed int *_X1yPi_1);
     213struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object30, signed int _X1xi_1, signed int *_X1yPi_1);
    182214struct _conc__tuple3_2 _X1fFT3iiPi___1(void){
    183215    __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = {  };
    184216}
    185 struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object13, signed int _X1xi_1, signed int *_X1yPi_1){
     217void _X1fFv_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object31, signed int _X1xi_1, signed int *_X1yPi_1){
     218}
     219void _X2fvFv_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object32, signed int _X1xi_1, signed int *_X1yPi_1){
     220}
     221struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object33, signed int _X1xi_1, signed int *_X1yPi_1){
    186222    __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = {  };
    187223}
    188 signed int _X3f11Fi_i__1(signed int __anonymous_object14);
     224signed int _X3f11Fi_i__1(signed int __anonymous_object34);
    189225signed int _X3f12Fi___1(void);
    190226const double _X4bar1Fd___1();
    191 const double _X4bar2Fd_i__1(signed int __anonymous_object15);
    192 const double _X4bar3Fd_d__1(double __anonymous_object16);
     227const double _X4bar2Fd_i__1(signed int __anonymous_object35);
     228const double _X4bar3Fd_d__1(double __anonymous_object36);
    193229const double _X3fooFd___1(void);
    194 const double _X3fooFd_i__1(signed int __anonymous_object17);
    195 const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object18){
     230const double _X3fooFd_i__1(signed int __anonymous_object37);
     231const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object38){
    196232    __attribute__ ((unused)) const double _X11_retval_fooKd_1;
    197233    {
    … …  
    245281
    246282}
    247 struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object19){
     283struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object39){
    248284    __attribute__ ((unused)) struct S _X11_retval_rtnS1S_1;
    249285}
    250 signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object20)(signed int __param_0, signed int __param_1), __attribute__ ((unused)) signed int (*__anonymous_object21)(signed int __param_0)){
     286signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object40)(signed int __param_0, signed int __param_1), __attribute__ ((unused)) signed int (*__anonymous_object41)(signed int __param_0)){
    251287    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    252288    signed int (*(*_X2pcPA0A0PA0A0i_2)[][((unsigned int )10)])[][((unsigned int )3)];
    … …  
    274310    __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f5KT2PiKi_1;
    275311}
    276 signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object22)(), signed int *(*__anonymous_object23)(), signed int **(*__anonymous_object24)(), signed int *const *(*__anonymous_object25)(), signed int *const *const (*__anonymous_object26)(), signed int *__anonymous_object27, signed int __anonymous_object28[10], signed int **__anonymous_object29, signed int *__anonymous_object30[10], signed int ***__anonymous_object31, signed int **__anonymous_object32[10], signed int *const **__anonymous_object33, signed int *const *__anonymous_object34[10], signed int *const *const *__anonymous_object35, signed int *const *const __anonymous_object36[10]);
    277 signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object37)(), __attribute__ ((unused)) signed int *(*__anonymous_object38)(), __attribute__ ((unused)) signed int **(*__anonymous_object39)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object40)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object41)(), __attribute__ ((unused)) signed int *__anonymous_object42, __attribute__ ((unused)) signed int __anonymous_object43[10], __attribute__ ((unused)) signed int **__anonymous_object44, __attribute__ ((unused)) signed int *__anonymous_object45[10], __attribute__ ((unused)) signed int ***__anonymous_object46, __attribute__ ((unused)) signed int **__anonymous_object47[10], __attribute__ ((unused)) signed int *const **__anonymous_object48, __attribute__ ((unused)) signed int *const *__anonymous_object49[10], __attribute__ ((unused)) signed int *const *const *__anonymous_object50, __attribute__ ((unused)) signed int *const *const __anonymous_object51[10]){
     312signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object42)(), signed int *(*__anonymous_object43)(), signed int **(*__anonymous_object44)(), signed int *const *(*__anonymous_object45)(), signed int *const *const (*__anonymous_object46)(), signed int *__anonymous_object47, signed int __anonymous_object48[10], signed int **__anonymous_object49, signed int *__anonymous_object50[10], signed int ***__anonymous_object51, signed int **__anonymous_object52[10], signed int *const **__anonymous_object53, signed int *const *__anonymous_object54[10], signed int *const *const *__anonymous_object55, signed int *const *const __anonymous_object56[10]);
     313signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object57)(), __attribute__ ((unused)) signed int *(*__anonymous_object58)(), __attribute__ ((unused)) signed int **(*__anonymous_object59)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object60)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object61)(), __attribute__ ((unused)) signed int *__anonymous_object62, __attribute__ ((unused)) signed int __anonymous_object63[10], __attribute__ ((unused)) signed int **__anonymous_object64, __attribute__ ((unused)) signed int *__anonymous_object65[10], __attribute__ ((unused)) signed int ***__anonymous_object66, __attribute__ ((unused)) signed int **__anonymous_object67[10], __attribute__ ((unused)) signed int *const **__anonymous_object68, __attribute__ ((unused)) signed int *const *__anonymous_object69[10], __attribute__ ((unused)) signed int *const *const *__anonymous_object70, __attribute__ ((unused)) signed int *const *const __anonymous_object71[10]){
    278314    __attribute__ ((unused)) signed int _X9_retval_fi_1;
    279315}

  • tests/functions.cfa

    r06601401 r03606ce  
    1010// Created On       : Wed Aug 17 08:39:58 2016
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Tue Nov  6 17:54:09 2018
    13 // Update Count     : 13
     12// Last Modified On : Tue Mar  5 11:02:25 2024
     13// Update Count     : 34
    1414//
    1515
    1616// ANSI function definitions
    1717
    18 void h(void) {}
     18void h( void ) {}
    1919
    2020int f (
    21         int (void),
    22         int (int),
    23         int ((void)),
    24         int ((int)),
    25         void g(void)
    26         ) {
    27         (* g)();
     21        int ( void ),
     22        int ( int ),
     23        int (( void )),
     24        int (( int )),
     25        void g( void )
     26) {
     27        (*g)();
    2828        g();
    2929        g = h;
    … …  
    3232int f1() {}
    3333int (f2()) {}
    34 int (* f3())() {}
     34int (*f3())() {}
    3535int * ((f4())) {}
    36 int ((* f5()))() {}
     36int ((*f5()))() {}
    3737int * f6() {}
    38 int * (f7)() {}
     38int * ( f7)() {}
    3939int ** f8() {}
    40 int * const * (f9)() {}
     40int * const * ( f9)() {}
    4141int (* f10())[] {}
    4242int (* f11())[][3] {}
    … …  
    6666// Cforall extensions
    6767
    68 // [] f( );
    69 [int] f( );
    70 // [] f(int);
    71 [int] f(int);
    72 // [] f( ) {}
    73 [int] f( ) {}
    74 // [] f(int) {}
    75 [int] f(int) {}
    76 
    77 [int x] f( );
    78 // [] f(int x);
    79 //[int x] f(int x);
    80 //[int x] f( ) {}
    81 // [] f(int x) {}
    82 //[int x] f(int x) {}
    83 
    84 [int, int x] f( );
    85 // [] f(int, int x);
    86 [int, int x] f(int, int x);
    87 [int, int x] f( ) {}
    88 // [] f(int, int x) {}
    89 [int, int x] f(int, int x) {}
    90 
    91 [int, int x, int] f( );
    92 // [] f(int, int x, int);
    93 [int, int x, int] f(int, int x, int);
    94 [int, int x, int] f( ) {}
    95 // [] f(int, int x, int) {}
    96 [int, int x, int] f(int, int x, int) {}
    97 
    98 [int, int x, * int y] f( );
    99 // [] f(int, int x, * int y);
    100 [int, int x, * int y] f(int, int x, * int y);
    101 [int, int x, * int y] f( ) {}
    102 // [] f(int, int x, * int y) {}
    103 [int, int x, * int y] f(int, int x, * int y) {}
     68[] f();
     69[void] f();
     70[int] f();
     71[] f( int );
     72[void] f( int );
     73[int] f( int );
     74[] f() {}
     75[void] fv() {}
     76[int] f() {}
     77[] f( int ) {}
     78[void] fv( int ) {}
     79[int] f( int ) {}
     80
     81[int x] f();
     82[] f( int x );
     83[void] fv( int x );
     84//[int x] f( int x );
     85//[int x] f() {}
     86[] f2( int x ) {}
     87[void] fv1( int x ) {}
     88//[int x] f( int x ) {}
     89
     90[int, int x] f();
     91[] f( int, int x );
     92[void] fv( int, int x );
     93[int, int x] f( int, int x );
     94[int, int x] f() {}
     95[] f( int, int x ) {}
     96[void] fv( int, int x ) {}
     97[int, int x] f( int, int x ) {}
     98
     99[int, int x, int] f();
     100[] f( int, int x, int );
     101[void] fv( int, int x, int );
     102[int, int x, int] f( int, int x, int );
     103[int, int x, int] f() {}
     104[] f( int, int x, int ) {}
     105[void] fv( int, int x, int ) {}
     106[int, int x, int] f( int, int x, int ) {}
     107
     108[int, int x, * int y] f();
     109[] f( int, int x, * int y );
     110[void] fv( int, int x, * int y );
     111[int, int x, * int y] f( int, int x, * int y );
     112[int, int x, * int y] f() {}
     113[] f( int, int x, * int y ) {}
     114[void] fv( int, int x, * int y ) {}
     115[int, int x, * int y] f( int, int x, * int y ) {}
    104116
    105117// function prototypes
    … …  
    116128        int ( int, int p ),
    117129        [int](int)
    118         ) {
    119         int (* (* pc)[][10])[][3];
     130) {
     131        int (* (* pc )[][10])[][3];
    120132        * [][10] * [][3] int p;
    121         * [] * [int](int) p;
     133        * [] * [int]( int ) p;
    122134}
    123135
    … …  
    149161        int * const * const ([]),
    150162        int * const * const ([10])
    151         );
     163);
    152164
    153165int f(
    … …  
    170182        int * const * const ([]),
    171183        int * const * const ([10])
    172         ) {
    173 }
     184) {}
    174185
    175186typedef int T;
    176187
    177 int f( T (* f), T t ) {
    178         T (T);
     188int f( T ( *f ), T t ) {
     189        T ( T );
    179190}
    180191
Note: See TracChangeset for help on using the changeset viewer.