Changes in src/examples/sum.c [6e7e2b36:dd51906]

File:

• src/examples/sum.c (modified) (1 diff)

src/examples/sum.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// sum.c -- 
+// sum.c -- test resolvers ability to deal with many variables with the same name and to use the minimum number of casts
+//    necessary to disambiguate overloaded variable names.
 //
-// Author           : Richard C. Bilson
+// Author           : Peter A. Buhr
 // Created On       : Wed May 27 17:56:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jun  1 20:46:35 2015
-// Update Count     : 18
+// Last Modified On : Thu May 26 09:25:42 2016
+// Update Count     : 201
 //
 
-extern "C" {
-        int printf( const char *, ... );
-}
+#include <fstream>
 
-context sumable( type T ) {
+trait sumable( otype T ) {
         const T 0;
         T ?+?( T, T );
+        T ?+=?( T *, T );
+        T ++?( T * );
         T ?++( T * );
-        T ?+=?( T *, T );
-};
+}; // sumable
 
-forall( type T | sumable( T ) )
-T sum( int n, T a[] ) {
-        T total;                                                                                        // instantiate T, select 0
-        total = 0;
-        for ( int i = 0; i < n; i += 1 )
-                total = total + a[i];                                                   // select +
+forall( otype T | sumable( T ) )
+T sum( unsigned int n, T a[] ) {
+        T total = 0;                                                                            // instantiate T, select 0
+        for ( unsigned int i = 0; i < n; i += 1 )
+                total += a[i];                                                                  // select +
         return total;
-}
+} // sum
 
 // Required to satisfy sumable as char does not have addition.
 const char 0;
-char ?+?( char op1, char op2 ) { return op1 + op2; }
-char ?++( char *op ) { return *op + 1; }
+char ?+?( char t1, char t2 ) { return (int)t1 + t2; }   // cast forces integer addition, otherwise recursion
+char ?+=?( char *t1, char t2 ) { *t1 = *t1 + t2; return *t1; }
+char ++?( char *t ) { *t += 1; return *t; }
+char ?++( char *t ) { char temp = *t; *t += 1; return temp; }
 
-const double 0; // TEMPORARY, incorrect use of int 0
+int main( void ) {
+        const int low = 5, High = 15, size = High - low;
 
-int main() {
-        const int low = 5, High = 15, size = High - low;
-        int si = 0, ai[size];
-        int v = low;
+        char s = 0, a[size], v = low;
         for ( int i = 0; i < size; i += 1, v += 1 ) {
-                si += v;
-                ai[i] = v;
-        }
-        printf( "sum from %d to %d is %d, check %d\n",
-                        low, High, sum( size, ai ), si );
+                s += v;
+                a[i] = v;
+        } // for
+        sout | "sum from" | low | "to" | High | "is"
+                 | (int)sum( size, a ) | ", check" | (int)s | endl;
 
-//      char ci[size];
-//      char c = sum( size, ci );
-//      float fi[size];
-//      float f = sum( size, fi );
+        int s = 0, a[size], v = low;
+        for ( int i = 0; i < size; i += 1, v += 1 ) {
+                s += (int)v;
+                a[i] = (int)v;
+        } // for
+        sout | "sum from" | low | "to" | High | "is"
+                 | sum( size, (int *)a ) | ", check" | (int)s | endl;
 
-        double sd = 0.0, ad[size];
-        double v = low / 10.0;
+        float s = 0.0, a[size], v = low / 10.0;
+        for ( int i = 0; i < size; i += 1, v += 0.1f ) {
+                s += (float)v;
+                a[i] = (float)v;
+        } // for
+        sout | "sum from" | low / 10.0 | "to" | High / 10.0 | "is"
+                 | sum( size, (float *)a ) | ", check" | (float)s | endl;
+
+        double s = 0, a[size], v = low / 10.0;
         for ( int i = 0; i < size; i += 1, v += 0.1 ) {
-                sd += v;
-                ad[i] = v;
-        }
-        printf( "sum from %g to %g is %g, check %g\n",
-                        low / 10.0, High / 10.0, sum( size, ad ), sd );
-}
+                s += (double)v;
+                a[i] = (double)v;
+        } // for
+        sout | "sum from" | low / 10.0 | "to" | High / 10.0 | "is"
+                 | sum( size, (double *)a ) | ", check" | (double)s | endl;
+
+        struct S { int i, j; } 0 = { 0, 0 }, 1 = { 1, 1 };
+        S ?+?( S t1, S t2 ) { return (S){ t1.i + t2.i, t1.j + t2.j }; }
+        S ?+=?( S *t1, S t2 ) { *t1 = *t1 + t2; return *t1; }
+        S ++?( S *t ) { *t += 1; return *t; }
+        S ?++( S *t ) { S temp = *t; *t += 1; return temp; }
+        ofstream * ?|?( ofstream * os, S v ) { return os | v.i | v.j; }
+
+        S s = 0, a[size], v = { low, low };
+        for ( int i = 0; i < size; i += 1, v += (S)1 ) {
+                s += (S)v;
+                a[i] = (S)v;
+        } // for
+        sout | "sum from" | low | "to" | High | "is"
+                 | sum( size, (S *)a ) | ", check" | (S)s | endl;
+} // main
 
 // Local Variables: //