Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/tests/polymorphism.c

    r3787dc1 r598f50e  
    1414//
    1515
    16 #include <assert.h>
    17 #include <inttypes.h>
    18 
    1916forall(otype T)
    2017T f(T x, T y) {
    … …  
    2724}
    2825
    29 forall( otype T, otype U )
    30 size_t struct_size( T i, U j ) {
    31         struct S { T i; U j; };
    32         return sizeof(S);
    33 }
     26int main() {
     27        // ensure that x is not changed by the invocation of a polymorphic function
     28        int x = 123;
     29        int y = 456;
     30        int z = f(x, y);
     31        printf("%d %d %d\n", x, y, z);
    3432
    35 forall( otype T, otype U )
    36 size_t union_size( T i, U j ) {
    37         union B { T i; U j; };
    38         return sizeof(B);
    39 }
    40 
    41 // perform some simple operations on aggregates of T and U
    42 forall( otype T | { void print(T); int ?==?(T, T); }, otype U | { void print(U); U ?=?(U&, zero_t); } )
    43 U foo(T i, U j) {
    44         struct S { T i; U j; };
    45         union B { T i; U j; };
    46 
    47         S s;
    48         s.i = i;
    49         assert(s.i == i);
    50 
    51         B b;
    52         b.j = 0;
    53         b.i = s.i;
    54         return b.j;
    55 }
    56 
    57 int main() {
    58         {
    59                 // ensure that x is not changed by the invocation of a polymorphic function
    60                 int x = 123;
    61                 int y = 456;
    62                 int z = f(x, y);
    63                 printf("%d %d %d\n", x, y, z);
    64         }
    65 
    66         {
    67                 // explicitly specialize function
    68                 int (*f)(int) = ident;
    69                 ((int(*)(int))ident);
    70                 printf("%d %d\n", f(5), ((int(*)(int))ident)(5));
    71         }
    72 
    73         {
    74                 // test aggregates with polymorphic members
    75                 typedef uint32_t x_type;
    76                 typedef uint64_t y_type;
    77 
    78                 x_type x = 3;
    79                 y_type y = 3;
    80 
    81                 struct S {
    82                         x_type f1;
    83                         y_type f2;
    84                 };
    85                 union U {
    86                         x_type f1;
    87                         y_type f2;
    88                 };
    89                 // ensure that the size of aggregates with polymorphic members
    90                 // matches the size of the aggregates in a monomorphic context
    91                 assert( struct_size(x, y) == sizeof(S) );
    92                 assert( union_size(x, y) == sizeof(U) );
    93 
    94                 y_type ?=?(y_type & this, zero_t) {
    95                         this = (int)0;
    96                         return this;
    97                 }
    98 
    99                 void print(x_type x) {
    100                         printf("%"PRIu32"\n", x);
    101                 }
    102 
    103                 void print(y_type y) {
    104                         printf("%"PRIu64"\n", y);
    105                 }
    106 
    107                 y_type ret = foo(x, y);
    108 
    109                 // duplicate logic from inside of foo to ensure the same results
    110                 U u;
    111                 u.f2 = 0;
    112                 u.f1 = x;
    113                 assert(ret == u.f2);
    114         }
     33        // explicitly specialize function
     34        int (*f)(int) = ident;
     35        ((int(*)(int))ident);
     36        printf("%d %d\n", f(5), ((int(*)(int))ident)(5));
    11537}
    11638
Note: See TracChangeset for help on using the changeset viewer.