source: tests/sum.cfa@ 090b076

Last change on this file since 090b076 was 641707d, checked in by Andrew Beach <ajbeach@…>, 8 months ago

More fixing of warnings. Including another error that slipped through to the build and the rest of the 'easy' fixes on tests not in a directory.

  • Property mode set to 100644
File size: 3.9 KB
RevLine 
[af0c8da]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//
[dc8511c]7// sum.cfa -- test resolvers ability to deal with many variables with the same name and to use the minimum number of
8// casts necessary to disambiguate overloaded variable names.
[af0c8da]9//
10// Author : Peter A. Buhr
11// Created On : Wed May 27 17:56:53 2015
12// Last Modified By : Peter A. Buhr
[dd3576b]13// Last Modified On : Fri Feb 24 22:52:12 2023
14// Update Count : 347
[af0c8da]15//
16
[73abe95]17#include <fstream.hfa>
18#include <stdlib.hfa>
[af0c8da]19
[dd3576b]20forall( T )
21trait sumable {
[7d69095]22 void ?{}( T &, zero_t ); // 0 literal constructor
[7780bd2]23 void ?{}( T &, one_t ); // 1 literal constructor
[af0c8da]24 T ?+?( T, T ); // assortment of additions
[7780bd2]25 T ?+=?( T &, T ); // get pre/post ++ with += and one_t
[af0c8da]26}; // sumable
27
[7780bd2]28forall( T | sumable( T ) ) // use trait
[7d69095]29T sum( size_t size, T a[] ) {
30 T total = 0; // initialize by 0 constructor
[292642a]31 for ( i; size )
[2b9ddf2]32 total += a[i]; // select appropriate +
[af0c8da]33 return total;
34} // sum
35
36int main( void ) {
37 const int low = 5, High = 15, size = High - low;
38
[ee06e41b]39 signed char s = 0, a[size], v = (char)low;
40 for ( int i = 0; i < size; i += 1, v += 1hh ) {
[af0c8da]41 s += v;
42 a[i] = v;
43 } // for
44 sout | "sum from" | low | "to" | High | "is"
[43a5603]45 | sum( size, (signed char *)a ) | ", check" | (signed char)s;
[ee06e41b]46
47 unsigned char s = 0, a[size], v = low;
48 for ( int i = 0; i < size; i += 1, v += 1hhu ) {
49 s += (unsigned char)v;
50 a[i] = (unsigned char)v;
51 } // for
52 sout | "sum from" | low | "to" | High | "is"
53 | sum( size, (unsigned char *)a ) | ", check" | (unsigned char)s;
54
55 short int s = 0, a[size], v = low;
56 for ( int i = 0; i < size; i += 1, v += 1h ) {
57 s += (short int)v;
58 a[i] = (short int)v;
59 } // for
60 sout | "sum from" | low | "to" | High | "is"
61 | sum( size, (short int *)a ) | ", check" | (short int)s;
[af0c8da]62
63 int s = 0, a[size], v = low;
64 for ( int i = 0; i < size; i += 1, v += 1 ) {
65 s += (int)v;
66 a[i] = (int)v;
67 } // for
68 sout | "sum from" | low | "to" | High | "is"
[200fcb3]69 | sum( size, (int *)a ) | ", check" | (int)s;
[af0c8da]70
71 float s = 0.0f, a[size], v = low / 10.0f;
72 for ( int i = 0; i < size; i += 1, v += 0.1f ) {
73 s += (float)v;
74 a[i] = (float)v;
75 } // for
76 sout | "sum from" | low / 10.0f | "to" | High / 10.0f | "is"
[200fcb3]77 | sum( size, (float *)a ) | ", check" | (float)s;
[af0c8da]78
79 double s = 0.0, a[size], v = low / 10.0;
80 for ( int i = 0; i < size; i += 1, v += 0.1 ) {
81 s += (double)v;
82 a[i] = (double)v;
83 } // for
84 sout | "sum from" | low / 10.0 | "to" | High / 10.0 | "is"
[200fcb3]85 | sum( size, (double *)a ) | ", check" | (double)s;
[af0c8da]86
87 struct S { int i, j; };
88 void ?{}( S & s ) { s.[i, j] = 0; }
[c0b4db0]89 void ?{}( S & s, int i, int j ) { s.[i, j] = [i, j]; }
90 void ?{}( S & s, zero_t ) { s.[i, j] = 0; }
91 void ?{}( S & s, one_t ) { s.[i, j] = 1; }
[af0c8da]92 S ?+?( S t1, S t2 ) { return (S){ t1.i + t2.i, t1.j + t2.j }; }
93 S ?+=?( S & t1, S t2 ) { t1 = t1 + t2; return t1; }
[09687aa]94 ofstream & ?|?( ofstream & os, S v ) { return os | v.i | v.j; }
[65240bb]95 void ?|?( ofstream & os, S v ) { (ofstream &)(os | v); ends( os ); }
[af0c8da]96
[7780bd2]97 S s = 0, a[size], v = { low, low };
[af0c8da]98 for ( int i = 0; i < size; i += 1, v += (S){1} ) {
99 s += (S)v;
100 a[i] = (S)v;
101 } // for
102 sout | "sum from" | low | "to" | High | "is"
[200fcb3]103 | sum( size, (S *)a ) | ", check" | (S)s;
[2b9ddf2]104
[fd54fef]105 forall( Impl | sumable( Impl ) )
[2b9ddf2]106 struct GS {
107 Impl * x, * y;
108 };
109 GS(int) gs;
[b326277]110 // FIX ME, resolution problem with anew not picking up the LH type
111 gs.x = (typeof(gs.x))anew( size ); // create array storage for field
[2b9ddf2]112 s = 0; v = low;
113 for ( int i = 0; i < size; i += 1, v += 1 ) {
114 s += (int)v;
[7d69095]115 gs.x[i] = (int)v; // set field array in generic type
[2b9ddf2]116 } // for
117 sout | "sum from" | low | "to" | High | "is"
[200fcb3]118 | sum( size, gs.x ) | ", check" | (int)s; // add field array in generic type
[b3763ca]119 delete( gs.x );
[af0c8da]120} // main
121
122// Local Variables: //
123// tab-width: 4 //
[dc8511c]124// compile-command: "cfa sum.cfa" //
[af0c8da]125// End: //
Note: See TracBrowser for help on using the repository browser.