1 | // |
---|
2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo |
---|
3 | // |
---|
4 | // The contents of this file are covered under the licence agreement in the |
---|
5 | // file "LICENCE" distributed with Cforall. |
---|
6 | // |
---|
7 | // sum.c -- |
---|
8 | // |
---|
9 | // Author : Peter A. Buhr |
---|
10 | // Created On : Wed May 27 17:56:53 2015 |
---|
11 | // Last Modified By : Peter A. Buhr |
---|
12 | // Last Modified On : Sat Feb 6 11:57:42 2016 |
---|
13 | // Update Count : 182 |
---|
14 | // |
---|
15 | |
---|
16 | #include <fstream> |
---|
17 | |
---|
18 | context sumable( type T ) { |
---|
19 | const T 0; |
---|
20 | T ?+?( T, T ); |
---|
21 | T ?+=?( T *, T ); |
---|
22 | T ++?( T * ); |
---|
23 | T ?++( T * ); |
---|
24 | }; // sumable |
---|
25 | |
---|
26 | forall( type T | sumable( T ) ) |
---|
27 | T sum( unsigned int n, T a[] ) { |
---|
28 | T total = 0; // instantiate T, select 0 |
---|
29 | for ( unsigned int i = 0; i < n; i += 1 ) |
---|
30 | total += a[i]; // select + |
---|
31 | return total; |
---|
32 | } // sum |
---|
33 | |
---|
34 | // Required to satisfy sumable as char does not have addition. |
---|
35 | const char 0; |
---|
36 | char ?+?( char t1, char t2 ) { return (int)t1 + t2; } // cast forces integer addition, otherwise recursion |
---|
37 | char ?+=?( char *t1, char t2 ) { *t1 = *t1 + t2; return *t1; } |
---|
38 | char ++?( char *t ) { *t += 1; return *t; } |
---|
39 | char ?++( char *t ) { char temp = *t; *t += 1; return temp; } |
---|
40 | |
---|
41 | int main( void ) { |
---|
42 | const int low = 5, High = 15, size = High - low; |
---|
43 | ofstream *sout = ofstream_stdout(); |
---|
44 | |
---|
45 | char s = 0, a[size], v = low; |
---|
46 | for ( int i = 0; i < size; i += 1, v += 1 ) { |
---|
47 | s += v; |
---|
48 | a[i] = v; |
---|
49 | } // for |
---|
50 | sout | "sum from " | low | " to " | High | " is " |
---|
51 | | (int)sum( size, a ) | ", check " | (int)s | endl; |
---|
52 | |
---|
53 | int s = 0, a[size], v = low; |
---|
54 | for ( int i = 0; i < size; i += 1, v += 1 ) { |
---|
55 | s += (int)v; |
---|
56 | a[i] = (int)v; |
---|
57 | } // for |
---|
58 | sout | "sum from " | low | " to " | High | " is " |
---|
59 | | sum( size, (int *)a ) | ", check " | (int)s | endl; |
---|
60 | |
---|
61 | float s = 0.0, a[size], v = low / 10.0; |
---|
62 | for ( int i = 0; i < size; i += 1, v += 0.1f ) { |
---|
63 | s += (float)v; |
---|
64 | a[i] = (float)v; |
---|
65 | } // for |
---|
66 | sout | "sum from " | low / 10.0 | " to " | High / 10.0 | " is " |
---|
67 | | sum( size, (float *)a ) | ", check " | (float)s | endl; |
---|
68 | |
---|
69 | double s = 0, a[size], v = low / 10.0; |
---|
70 | for ( int i = 0; i < size; i += 1, v += 0.1 ) { |
---|
71 | s += (double)v; |
---|
72 | a[i] = (double)v; |
---|
73 | } // for |
---|
74 | sout | "sum from " | low / 10.0 | " to " | High / 10.0 | " is " |
---|
75 | | sum( size, (double *)a ) | ", check " | (double)s | endl; |
---|
76 | |
---|
77 | struct S { int i, j; } 0 = { 0, 0 }, 1 = { 1, 1 }; |
---|
78 | S ?+?( S t1, S t2 ) { S s = { t1.i + t2.i, t1.j + t2.j }; return s; } |
---|
79 | S ?+=?( S *t1, S t2 ) { *t1 = *t1 + t2; return *t1; } |
---|
80 | S ++?( S *t ) { *t += 1; return *t; } |
---|
81 | S ?++( S *t ) { S temp = *t; *t += 1; return temp; } |
---|
82 | ofstream * ?|?( ofstream * os, S v ) { return os | v.i | ' ' | v.j; } |
---|
83 | |
---|
84 | S s = 0, a[size], v = { low, low }; |
---|
85 | for ( int i = 0; i < size; i += 1, v += (S)1 ) { |
---|
86 | s += (S)v; |
---|
87 | a[i] = (S)v; |
---|
88 | } // for |
---|
89 | sout | "sum from " | low | " to " | High | " is " |
---|
90 | | sum( size, (S *)a ) | ", check " | (S)s | endl; |
---|
91 | } // main |
---|
92 | |
---|
93 | // Local Variables: // |
---|
94 | // tab-width: 4 // |
---|
95 | // compile-command: "cfa sum.c" // |
---|
96 | // End: // |
---|