source: tests/sum.cfa @ ee06e41b

aaron-thesisarm-ehcleanup-dtorsjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpersistent-indexer
Last change on this file since ee06e41b was ee06e41b, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago

add char, signed char, unsigned char to basic types in prologue

  • Property mode set to 100644
File size: 3.9 KB
Line 
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.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.
9//
10// Author           : Peter A. Buhr
11// Created On       : Wed May 27 17:56:53 2015
12// Last Modified By : Peter A. Buhr
13// Last Modified On : Sun Feb 17 22:54:16 2019
14// Update Count     : 328
15//
16
17#include <fstream.hfa>
18#include <stdlib.hfa>
19
20trait sumable( otype T ) {
21        void ?{}( T &, zero_t );                                                        // 0 literal constructor
22        T ?+?( T, T );                                                                          // assortment of additions
23        T ?+=?( T &, T );
24        T ++?( T & );
25        T ?++( T & );
26}; // sumable
27
28forall( otype T | sumable( T ) )                                                // use trait
29T sum( size_t size, T a[] ) {
30        T total = 0;                                                                            // initialize by 0 constructor
31        for ( size_t i = 0; i < size; i += 1 )
32                total += a[i];                                                                  // select appropriate +
33        return total;
34} // sum
35
36int main( void ) {
37        const int low = 5, High = 15, size = High - low;
38
39        signed char s = 0, a[size], v = (char)low;
40        for ( int i = 0; i < size; i += 1, v += 1hh ) {
41                s += v;
42                a[i] = v;
43        } // for
44        sout | "sum from" | low | "to" | High | "is"
45                 | sum( size, (signed char *)a ) | ", check" | (int)s;
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;
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"
69                 | sum( size, (int *)a ) | ", check" | (int)s;
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"
77                 | sum( size, (float *)a ) | ", check" | (float)s;
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"
85                 | sum( size, (double *)a ) | ", check" | (double)s;
86
87        struct S { int i, j; };
88        void ?{}( S & s ) { s.[i, j] = 0; }
89        void ?{}( S & s, int i ) { s.[i, j] = [i, 0]; }
90        void ?{}( S & s, int i, int j ) { s.[i, j] = [i, j]; }
91        void ?{}( S & s, zero_t ) { s.[i, j] = 0; }
92        void ?{}( S & s, one_t ) { s.[i, j] = 1; }
93        S ?+?( S t1, S t2 ) { return (S){ t1.i + t2.i, t1.j + t2.j }; }
94        S ?+=?( S & t1, S t2 ) { t1 = t1 + t2; return t1; }
95        S ++?( S & t ) { t += (S){1}; return t; }
96        S ?++( S & t ) { S temp = t; t += (S){1}; return temp; }
97        ofstream & ?|?( ofstream & os, S v ) { return os | v.i | v.j; }
98        void ?|?( ofstream & os, S v ) { (ofstream &)(os | v); nl( os ); }
99
100        S s = (S){0}, a[size], v = { low, low };
101        for ( int i = 0; i < size; i += 1, v += (S){1} ) {
102                s += (S)v;
103                a[i] = (S)v;
104        } // for
105        sout | "sum from" | low | "to" | High | "is"
106                 | sum( size, (S *)a ) | ", check" | (S)s;
107
108        forall( otype Impl | sumable( Impl ) )
109        struct GS {
110                Impl * x, * y;
111        };
112        GS(int) gs;
113        gs.x = anew( size );                                                            // create array storage for field
114        s = 0; v = low;
115        for ( int i = 0; i < size; i += 1, v += 1 ) {
116                s += (int)v;
117                gs.x[i] = (int)v;                                                               // set field array in generic type
118        } // for
119        sout | "sum from" | low | "to" | High | "is"
120                 | sum( size, gs.x ) | ", check" | (int)s;              // add field array in generic type
121        delete( gs.x );
122} // main
123
124// Local Variables: //
125// tab-width: 4 //
126// compile-command: "cfa sum.cfa" //
127// End: //
Note: See TracBrowser for help on using the repository browser.