Changeset eae8b37


Ignore:
Timestamp:
Dec 4, 2024, 10:17:49 PM (9 months ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
fc276f3
Parents:
509ec82
Message:

Move enum.hfa/enum.cfa to prelude

Files:
2 deleted
26 edited

Legend:

Unmodified
Added
Removed

  • libcfa/prelude/builtins.c

    r509ec82 reae8b37  
    172172};
    173173
    174 forall( E | Serial( E ) ) {
     174static inline forall( E | Serial( E ) ) {
    175175        E fromInt( int i );
    176176        E succ( E e );
    … …  
    179179}
    180180
    181 
    182181forall( E ) trait CfaEnum {
    183182        const char * label( E e );
    … …  
    188187        V value( E e );
    189188};
     189
     190static inline {
     191forall( E | Serial( E ) ) {
     192        E fromInt( int i ) {
     193                E upper = upperBound();
     194                E lower = lowerBound();
     195                // It is okay to overflow as overflow will be theoretically caught by the other bound
     196                if ( i < fromInstance( lower ) || i > fromInstance( upper ) )
     197                        abort( "call to fromInt has index %d outside of enumeration range %d-%d.",
     198                                   i, fromInstance( lower ), fromInstance( upper ) );
     199                return fromInt_unsafe( i );
     200        }
     201
     202        E succ( E e ) {
     203                E upper = upperBound();
     204                if ( fromInstance( e ) >= fromInstance( upper ) )
     205                        abort( "call to succ() exceeds enumeration upper bound of %d.", fromInstance( upper ) );
     206                return succ_unsafe(e);
     207        }
     208
     209        E pred( E e ) {
     210                E lower = lowerBound();
     211                if ( fromInstance( e ) <= fromInstance(lower ) )
     212                        abort( "call to pred() exceeds enumeration lower bound of %d.", fromInstance( lower ) );
     213                return pred_unsafe( e );
     214        }
     215
     216        int Countof( E ) {
     217                E upper = upperBound();
     218                E lower = lowerBound();
     219                return fromInstance( upper ) + fromInstance( lower ) + 1;
     220        }
     221}
     222}
     223
     224static inline
     225forall( E | CfaEnum(E) | Serial(E) ) {
     226        int ?==?( E l, E r ) { return posn( l ) == posn( r ); } // relational operators
     227        int ?!=?( E l, E r ) { return posn( l ) != posn( r ); }
     228        int ?<?( E l, E r ) { return posn( l ) < posn( r ); }
     229        int ?<=?( E l, E r ) { return posn( l ) <= posn( r ); }
     230        int ?>?( E l, E r ) { return posn( l ) > posn( r ); }
     231        int ?>=?( E l, E r ) { return posn( l ) >= posn( r ); }
     232
     233        E ++?( E & l ) {                                                                        // increment operators
     234                int pos = posn(l);
     235                l = fromInt_unsafe(pos+1);
     236                return l;
     237        }
     238
     239        E --?( E & l ) {
     240                int pos = posn(l);
     241                l = fromInt_unsafe(pos-1);
     242                return l;
     243        }
     244
     245        E ?+=? ( E & l, one_t ) {
     246                int pos = posn(l);
     247                l = fromInt_unsafe(pos+1);
     248                return l;
     249        }
     250
     251        E ?-=? ( E & l, one_t ) {
     252                int pos = posn(l);
     253                l = fromInt_unsafe(pos-1);
     254                return l;
     255        }
     256
     257        E ?+=? ( E & l, int i ) {
     258                int pos = posn(l);
     259                l = fromInt_unsafe(pos+i);
     260                return l;
     261        }
     262
     263        E ?-=? ( E & l, int i ) {
     264                int pos = posn(l);
     265                l = fromInt_unsafe(pos-i);
     266                return l;
     267        }
     268
     269        E ?++( E & l ) {
     270                int pos = posn(l);
     271                l = fromInt_unsafe(pos+1);
     272                return fromInt_unsafe(pos);
     273        }
     274
     275        E ?--( E & l ) {
     276                int pos = posn(l);
     277                l = fromInt_unsafe(pos-1);
     278                return fromInt_unsafe(pos);
     279        }
     280}
    190281
    191282// Local Variables: //

  • libcfa/src/Makefile.am

    r509ec82 reae8b37  
    8585        parseconfig.hfa \
    8686        rational.hfa \
    87         enum.hfa \
    8887        stdlib.hfa \
    8988        strstream.hfa \

  • libcfa/src/iostream.cfa

    r509ec82 reae8b37  
    12021202
    12031203
     1204forall( istype & | istream( istype ), E | CfaEnum( E ) | Serial( E ) )
     1205istype & ?|?( istype & is, E & e ) {
     1206//      fprintf( stderr, "here0\n" );
     1207        if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
     1208
     1209        // Match longest input enumerator string to enumerator labels, where enumerator names are unique.
     1210
     1211        int N = countof( E ), lnths[N], fred = 0;
     1212//      printf( "N %d\n", N );
     1213        int r = 0;
     1214        // for ( s; E : r; 0~@ ) {
     1215        for ( s; E ) {                                                                          // scan string rows gathering lengths
     1216                lnths[r] = strlen( label( s ) );
     1217                if ( lnths[r] > fred ) fred = lnths[r];
     1218//              fprintf( stderr, "%s %d %d\n", label( s ), lnths[r], fred );
     1219                r += 1;
     1220        } // for
     1221
     1222        int mcol = -1;                                                                          // last match column
     1223        char ch, curr = '\0', prev = '\0';
     1224
     1225        fmt( is, " " );                                                                         // skip optional whitespace
     1226        if ( eof( is ) ) throwResume ExceptionInst( end_of_file );
     1227
     1228        for ( c; fred ) {                                                                       // scan columns of the label matix (some columns missing)
     1229                int args = fmt( is, "%c", &ch );                                // read character
     1230//              fprintf( stderr, "fmt args: %d eof: %d\n", args, eof(is) );
     1231          if ( eof( is ) ) {
     1232//                      fprintf( stderr, "Eof1\n" );
     1233                        if ( c == 0 ) return is;                                        // no characters read ?
     1234                        clear( is );                                                            // => read something => reset EOF => detect again on next read
     1235//                      fprintf( stderr, "Eof2\n" );
     1236                        break;
     1237                } // if
     1238          if ( args != 1 ) throwResume ExceptionInst( missing_data ); // may be unnecessary since reading single character
     1239
     1240//              printf( "read '%c'\n", ch );
     1241                for ( r; N ) {                                                                  // scan enumeration strings for matching character in current column
     1242//                      printf( "%d %d %d\n", c, r, lnths[r] );
     1243                        if ( c < lnths[r] ) {                                           // string long enough for this column check ?
     1244                                char match = label( fromInt( r ) )[c];  // optimization
     1245//                              printf( "%c '%c'\n", match, ch );
     1246                                // Stop on first match, could be other matches.
     1247                                if ( (match == ch) && (c == 0 || curr == label( fromInt( r ) )[c - 1]) ) {
     1248//                                      printf( "match %d %d %d '%c' '%c' '%c' '%c' 'c'\n", c, r, lnths[r], match, ch, prev, label( fromInt( r ) )[c - 1] );
     1249                                        mcol = c;                                                       // matching column
     1250                                        prev = curr;                                            // last matching character
     1251                                        curr = ch;                                                      // current matching character
     1252                                        break;
     1253                                } // if
     1254                        } // if
     1255                } else {
     1256//                      fprintf( stderr, "finished mcol: %d ch: '%c' curr: '%c' prev: '%c'\n", mcol, ch, curr, prev );
     1257                        ungetc( ch, is );                                                       // push back last unmatching character
     1258                        if ( mcol == -1 ) throwResume ExceptionInst( missing_data ); // no matching character in first column
     1259                        break;
     1260                } // for
     1261//              printf( "\n" );
     1262//      } else {
     1263//              fprintf( stderr, "finished2 %d\n", mcol );
     1264        } // for
     1265
     1266        for ( c; N ) {                                                                          // scan enumeration strings of length "mcol" for match
     1267                if ( mcol == lnths[c] - 1 ) {
     1268                        char match = label( fromInt( c ) )[mcol];       // optimization
     1269//                      printf( "finished1 mcol: %d c: %d lnth: %d match: '%c' curr: '%c' prev: '%c'\n", mcol, c, lnths[c], match, curr, prev );
     1270                        if ( (match == curr) && (mcol == 0 || prev == label( fromInt( c ) )[mcol - 1]) ) {
     1271                                e = fromInt( c );
     1272                                break;
     1273                        } // if
     1274                } // if
     1275        } else {
     1276//              fprintf( stderr, "finished3 %d\n", mcol );
     1277                throwResume ExceptionInst( missing_data );              // no match in this column
     1278        } // for
     1279        return is;
     1280}
     1281
     1282forall( ostype & | ostream( ostype ), E | CfaEnum( E ) ) {
     1283        ostype & ?|?( ostype & os, E e ) {
     1284                return os | label( e );
     1285        }
     1286        OSTYPE_VOID_IMPL( os, E )
     1287}
     1288
    12041289// Local Variables: //
    12051290// tab-width: 4 //

  • libcfa/src/iostream.hfa

    r509ec82 reae8b37  
    507507} // distribution
    508508
     509forall( istype & | istream( istype ), E | CfaEnum( E ) | Serial(E) )
     510istype & ?|?( istype &, E & );
     511
     512forall( ostype & | ostream( ostype ), E | CfaEnum( E ) ) {
     513        ostype & ?|?( ostype &, E );
     514        OSTYPE_VOID( E );
     515}
     516
    509517// Local Variables: //
    510518// tab-width: 4 //

  • libcfa/src/rational.cfa

    r509ec82 reae8b37  
    2121
    2222// Arithmetic, Relational
    23 
    24 forall( T | arithmetic( T ) ) {
     23forall( T | Simple(T) ) {
    2524        // helper routines
    26 
    2725        // Calculate greatest common denominator of two numbers, the first of which may be negative. Used to reduce
    2826        // rationals.  alternative: https://en.wikipedia.org/wiki/Binary_GCD_algorithm
    … …  
    4442                return gcd( abs( n ), d );                                              // simplify
    4543        } // simplify
    46 
     44}
     45
     46forall( T | arithmetic( T ) ) {
    4747        // constructors
    4848
    … …  
    197197
    198198forall( T ) {
    199         forall( istype & | istream( istype ) | { istype & ?|?( istype &, T & ); } | arithmetic( T ) )
     199        forall( istype & | istream( istype ) | { istype & ?|?( istype &, T & ); } | Simple(T) )
    200200        istype & ?|?( istype & is, rational(T) & r ) {
    201201                is | r.numerator | r.denominator;

  • libcfa/src/rational.hfa

    r509ec82 reae8b37  
    7878
    7979// I/O
     80forall(T | multiplicative(T) | equality(T))
     81trait Simple {
     82        int ?<?( T, T );
     83};
    8084
    8185forall( T ) {
    82         forall( istype & | istream( istype ) | { istype & ?|?( istype &, T & ); } | arithmetic( T ) )
     86        forall( istype & | istream( istype ) | { istype & ?|?( istype &, T & ); } | Simple(T) )
    8387        istype & ?|?( istype &, rational(T) & );
    8488

  • src/AST/Expr.cpp

    r509ec82 reae8b37  
    123123bool VariableExpr::get_lvalue() const {
    124124        // It isn't always an lvalue, but it is never an rvalue.
     125        if(dynamic_cast<const ast::EnumInstType *>(var->get_type())) return !var->isMember;
    125126        return true;
    126127}

  • src/Parser/TypeData.cpp

    r509ec82 reae8b37  
    14811481                ast::ObjectDecl * object = strict_dynamic_cast<ast::ObjectDecl *>( member );
    14821482                object->isHidden = ast::EnumDecl::EnumHiding::Hide == ret->hide;
     1483                object->isMember = true;
    14831484                if ( ret->isOpaque() && cur->has_enumeratorValue() ) {
    14841485                        SemanticError( td->location, "Opague cannot have an explicit initializer value." );

  • tests/.expect/KRfunctions.arm64.txt

    r509ec82 reae8b37  
    104104    signed int _X1bi_2;
    105105    {
    106         signed int *(*_tmp_cp_ret0)(signed int __param_0, signed int __param_1);
    107         ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret0=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret0)));
     106        signed int *(*_tmp_cp_ret8)(signed int __param_0, signed int __param_1);
     107        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret8=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret8)));
    108108    }
    109109

  • tests/.expect/KRfunctions.x64.txt

    r509ec82 reae8b37  
    104104    signed int _X1bi_2;
    105105    {
    106         signed int *(*_tmp_cp_ret0)(signed int __param_0, signed int __param_1);
    107         ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret0=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret0)));
     106        signed int *(*_tmp_cp_ret8)(signed int __param_0, signed int __param_1);
     107        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret8=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret8)));
    108108    }
    109109

  • tests/.expect/declarationSpecifier.arm64.txt

    r509ec82 reae8b37  
    10591059    }
    10601060
    1061     signed int _tmp_cp_ret0;
    1062     signed int _X3reti_2 = (((void)(_tmp_cp_ret0=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret0);
     1061    signed int _tmp_cp_ret8;
     1062    signed int _X3reti_2 = (((void)(_tmp_cp_ret8=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret8);
    10631063    if ( ((&_X17cfa_main_returnedi_1)!=((signed int *)0)) ) {
    10641064        {

  • tests/.expect/declarationSpecifier.x64.txt

    r509ec82 reae8b37  
    10591059    }
    10601060
    1061     signed int _tmp_cp_ret0;
    1062     signed int _X3reti_2 = (((void)(_tmp_cp_ret0=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret0);
     1061    signed int _tmp_cp_ret8;
     1062    signed int _X3reti_2 = (((void)(_tmp_cp_ret8=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret8);
    10631063    if ( ((&_X17cfa_main_returnedi_1)!=((signed int *)0)) ) {
    10641064        {

  • tests/.expect/declarationSpecifier.x86.txt

    r509ec82 reae8b37  
    10591059    }
    10601060
    1061     signed int _tmp_cp_ret0;
    1062     signed int _X3reti_2 = (((void)(_tmp_cp_ret0=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret0);
     1061    signed int _tmp_cp_ret8;
     1062    signed int _X3reti_2 = (((void)(_tmp_cp_ret8=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret8);
    10631063    if ( ((&_X17cfa_main_returnedi_1)!=((signed int *)0)) ) {
    10641064        {

  • tests/.expect/extension.x64.txt

    r509ec82 reae8b37  
    457457
    458458    {
    459         signed int _tmp_cp_ret0;
    460         ((void)(((void)(_tmp_cp_ret0=__extension__ _X4fredFi_i__1(3))) , _tmp_cp_ret0));
     459        signed int _tmp_cp_ret8;
     460        ((void)(((void)(_tmp_cp_ret8=__extension__ _X4fredFi_i__1(3))) , _tmp_cp_ret8));
    461461    }
    462462

  • tests/.expect/extension.x86.txt

    r509ec82 reae8b37  
    457457
    458458    {
    459         signed int _tmp_cp_ret0;
    460         ((void)(((void)(_tmp_cp_ret0=__extension__ _X4fredFi_i__1(3))) , _tmp_cp_ret0));
     459        signed int _tmp_cp_ret8;
     460        ((void)(((void)(_tmp_cp_ret8=__extension__ _X4fredFi_i__1(3))) , _tmp_cp_ret8));
    461461    }
    462462

  • tests/.expect/gccExtensions.arm64.txt

    r509ec82 reae8b37  
    339339    }
    340340
    341     signed int _tmp_cp_ret0;
    342     signed int _X3reti_2 = (((void)(_tmp_cp_ret0=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret0);
     341    signed int _tmp_cp_ret8;
     342    signed int _X3reti_2 = (((void)(_tmp_cp_ret8=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret8);
    343343    if ( ((&_X17cfa_main_returnedi_1)!=((signed int *)0)) ) {
    344344        {

  • tests/.expect/gccExtensions.x64.txt

    r509ec82 reae8b37  
    339339    }
    340340
    341     signed int _tmp_cp_ret0;
    342     signed int _X3reti_2 = (((void)(_tmp_cp_ret0=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret0);
     341    signed int _tmp_cp_ret8;
     342    signed int _X3reti_2 = (((void)(_tmp_cp_ret8=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret8);
    343343    if ( ((&_X17cfa_main_returnedi_1)!=((signed int *)0)) ) {
    344344        {

  • tests/ctrl-flow/loopctrl.cfa

    r509ec82 reae8b37  
    1515
    1616#include <fstream.hfa>
    17 #include <enum.hfa>
    1817
    1918void fred() {

  • tests/enum_tests/.expect/position.txt

    r509ec82 reae8b37  
    1 Compile Time: blue value: blue, position: 2, label: Blue, default return value: blue
    2 Runtime: fishy value: green, position: 1, label: Green, default return value: green
    3 Runtime: C2 value: green, position: 1, label: Green, default return value: green
     1Enumeration Constant<Blue>:: value: blue, position: 2, label: Blue, default output: Blue
     2Runtime Value<fishy>:: value: green, position: 1, label: Green, default output: Green
     3Runtime Value<C2>:: value: green, position: 1, label: Green, default output: Green
    44ao is red
    55ko is green

  • tests/enum_tests/anonymous.cfa

    r509ec82 reae8b37  
    33
    44int main() {
    5     sout | nthreads;
     5    sout | value(nthreads);
    66}
    77

  • tests/enum_tests/enumInlineValue.cfa

    r509ec82 reae8b37  
    11#include <fstream.hfa>
    2 #include <enum.hfa>
    32
    43enum(int) A !{

  • tests/enum_tests/input.cfa

    r509ec82 reae8b37  
    11#include <fstream.hfa>
    2 #include <enum.hfa>
    32
    43int main() {

  • tests/enum_tests/planet.cfa

    r509ec82 reae8b37  
    11#include <fstream.hfa>
    22#include <stdlib.hfa>
    3 #include <enum.hfa>
    43
    54struct MR { double mass, radius; };

  • tests/enum_tests/position.cfa

    r509ec82 reae8b37  
    1717    Colour c2 = fishy;
    1818
    19     sout | "Compile Time: blue value: " | value(Colour.Blue) | ", position: " | posn(Colour.Blue) | ", label: " | label(Colour.Blue) | ", default return value: " | Colour.Blue;
    20     sout | "Runtime: fishy value: " | value(fishy) | ", position: " | posn(fishy) | ", label: " | label(fishy) | ", default return value: " | fishy;
    21     sout | "Runtime: C2 value: " | value(c2) | ", position: " | posn(c2) | ", label: " | label(c2) | ", default return value: " | c2;
     19    sout | "Enumeration Constant<Blue>:: value: " | value(Colour.Blue) | ", position: " | posn(Colour.Blue) | ", label: " | label(Colour.Blue) | ", default output: " | Colour.Blue;
     20    sout | "Runtime Value<fishy>:: value: " | value(fishy) | ", position: " | posn(fishy) | ", label: " | label(fishy) | ", default output: " | fishy;
     21    sout | "Runtime Value<C2>:: value: " | value(c2) | ", position: " | posn(c2) | ", label: " | label(c2) | ", default output: " | c2;
    2222    Colour.Red;
    2323    char * ao = Colour.Red;

  • tests/enum_tests/typedIntEnum.cfa

    r509ec82 reae8b37  
    1212
    1313int main() {
    14     sout | "0=" | zero;
    15     sout | "1=" | one;
    16     sout | "1000=" | thousand;
    17     sout | "1001=" | thousand_one;
    18     sout | "2000=" | two_thousand;
    19     sout | "2001=" | two_thousand_one;
    20     sout | "2002=" | two_thousand_two;
     14    sout | "0=" | value(zero);
     15    sout | "1=" | value(one);
     16    sout | "1000=" | value(thousand);
     17    sout | "1001=" | value(thousand_one);
     18    sout | "2000=" | value(two_thousand);
     19    sout | "2001=" | value(two_thousand_one);
     20    sout | "2002=" | value(two_thousand_two);
    2121    return 0;
    2222}

  • tests/enum_tests/voidEnum.cfa

    r509ec82 reae8b37  
    11#include <fstream.hfa>
    2 #include <enum.hfa>
    32
    43enum() E { A, B, C };
Note: See TracChangeset for help on using the changeset viewer.