Changeset 6da49249 for src/tests/forall.c

Timestamp:

Jul 16, 2018, 2:59:32 PM (6 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

8a3ecb9, 95d09bdb

Parents:

0a73148

Message:

add new forall test

File:

• src/tests/forall.c (modified) (5 diffs)

src/tests/forall.c

@@ -1 @@
-int ?=?( int*, int );
-float ?=?( float*, float );
-int * ?=?( int **, int * );
-float * ?=?( float **, float * );
-char ?=?( char*, char );
-void (* ?=?( void (**)(void), void (*)(void) ))(void);
+// 
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+// 
+// forall.c -- 
+// 
+// Author           : Peter A. Buhr
+// Created On       : Wed May  9 08:48:15 2018
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Jul 12 16:19:08 2018
+// Update Count     : 30
+// 
 
 void g1() {
-        forall( otype T ) T f( T );
-        void f( int );
-        void h( void (*p)(void) );
+        forall( otype T ) T f( T ) {};
+        void f( int ) {};
+        void h( void (*p)(void) ) {};
 
         int x;
@@ -24 +32 @@
 
 void g2() {
-        forall( otype T ) void f( T, T );
-        forall( otype T, otype U ) void f( T, U );
+        forall( otype T ) void f( T, T ) {}
+        forall( otype T, otype U ) void f( T, U ) {}
 
         int x;
@@ -37 +45 @@
 }
 
-typedef forall ( otype T ) int (*f)( int );
+typedef forall ( otype T ) int (* f)( int );
 
 forall( otype T )
@@ -46 +54 @@
 }
 
+void ?{}( int & c, zero_t ) { c = 0; }                                  // not in prelude
+
 trait sumable( otype T ) {
-        const T 0;
-        T ?+?(T, T);
-        T ?++(T);
-        [T] ?+=?(T,T);
-};
-
-otype T1 | { const T1 0; T1 ?+?(T1, T1); T1 ?++(T1); [T1] ?+=?(T1,T1); },
-        T2(otype P1, otype P2 ),
-        T3 | sumable(T3);
-
-otype T2(otype P1, otype P2) | sumable(T2(P1,P2)) = struct { P1 i; P2 j; };
-
-T2(int, int) w1;
-typedef T2(int, int) w2;
-w2 g2;
-otype w3 = T2(int, int);
-w3 g3;
-
-forall( otype T | sumable( T ) )
-T sum( int n, T a[] ) {
-        T total = 0;
-        int i;
-        for ( i = 0; i < n; i += 1 )
-                total = total + a[i];
+        void ?{}( T &, zero_t );                                                        // 0 literal constructor
+        T ?+?( T, T );                                                                          // assortment of additions
+        T ?+=?( T &, T );
+        T ++?( T & );
+        T ?++( T & );
+}; // sumable
+
+forall( otype T | sumable( T ) )                                                // use trait
+T sum( size_t size, T a[] ) {
+        T total = 0;                                                                            // initialize by 0 constructor
+        for ( size_t i = 0; i < size; i += 1 )
+                total = total + a[i];                                                   // select appropriate +
         return total;
-}
-
-forall( otype T | { const T 0; T ?+?(T, T); T ?++(T); [T] ?+=?(T,T); } )
+} // sum
+
+forall( otype T | { T ?+?( T, T ); T ?++( T & ); [T] ?+=?( T &,T ); } )
 T twice( T t ) {
         return t + t;
 }
 
-forall( otype T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
+forall( otype T | { int ?<?(T, T); } )
 T min( T t1, T t2 ) {
         return t1 < t2 ? t1 : t2;
 }
 
-int main() {
+int fred() {
         int x = 1, y = 2, a[10];
         float f;
@@ -94 +92 @@
 }
 
+// Multiple forall
+forall( otype T ) forall( otype S ) struct { int i; };
+forall( otype T ) struct { int i; } forall( otype S );
+struct { int i; } forall( otype T ) forall( otype S );
+forall( otype W ) struct { int i; } forall( otype T ) forall( otype S );
+
+// Distribution
+struct P { int i; };
+forall( otype T ) struct Q { T i; };
+forall( otype T ) struct { int i; };
+struct KK { int i; };
+inline static {
+        void RT1() {}
+}
+forall( otype T ) {
+        T RT2( T ) {
+                typedef int TD1;
+                struct S1 { T t; };
+        }
+        forall( otype X ) {
+                typedef int TD2;
+                struct S2 {};
+                X RT2( T, X ) {
+                        int TD2;
+                }
+        }
+        extern "C" {
+                forall( otype W ) {
+                        W RT3( W ) {}
+                        struct S3 {};
+                }
+        }
+        void RT4() {
+                forall( otype W ) struct S4 {};
+                typedef int TD3;
+        }
+        static {
+                struct S5 {};
+                void RT5( T ) {
+                        struct S6 {};
+                        int TD2;
+                }
+        }
+        struct S7 {};
+        typedef int TD4;
+}
+TD2 t2;
+TD4 t4;
+struct Q( int ) t;
+struct S2( int, int ) t;
+struct S5( int ) t;
+struct S7( int ) t;
+
+int i = RT2( 3 );
+double j = RT2( 3, 4.5 );
+
+static inline {
+        forall( otype T ) {
+                int RT6( T p );
+        }
+        forall( otype T, otype U ) {
+                int RT7( T, U );
+        }
+}
+static forall( otype T ) {
+        int RT8( T );
+}
+forall( otype T ) inline static {
+        int RT9( T ) { T t; }
+}
+
+forall( otype T | { T ?+?( T, T ); } ) {
+        forall( otype S | { T ?+?( T, S ); } ) {
+                forall( otype W ) T bar( T t, S s ) { return t + s; }
+                forall( otype W | { W ?+?( T, W ); } ) W baz( T t, S s, W w ) { return t + s + w; }
+                struct W { T t; } (int,int) ww;
+                struct P pp;
+        }
+}
+
+forall( otype T | { T ?+?( T, T ); } ) forall( otype S | { T ?+?( T, S ); } ) 
+struct XW { T t; };
+XW(int,int) xww;
+
+forall( otype T ) struct S { T t; } (int) x, y, z;
+forall( otype T ) struct { T t; } (int) a, b, c;
+
+forall( otype T ) static forall( otype S ) {
+    forall( otype X ) struct U {
+                T x;
+    };
+}
+
+forall( otype T ) {
+        extern "C" {
+                struct SS { T t; };
+                T foo( T ) {}
+        }
+}
+
+SS(int) s;
+W(int,int) w;
+
+int jane() {
+//      int j = bar( 3, 4 );
+        int k = baz( 3, 4, 5 );
+        int i = foo( 3 );
+}
+
+//otype T1 | { void xxx( T1 ); };
+
+// otype T1 | { void ?{}( T1 &, zero_t ); T1 ?+?(T1, T1); T1 ?++(T1); [T1] ?+=?(T1,T1); },
+//      T2(otype P1, otype P2 ),
+//      T3 | sumable(T3);
+
+//otype T2(otype P1, otype P2) | sumable( T2( P1,P2 ) ) = struct { P1 i; P2 j; };
+
+// T2(int, int) w1;
+// typedef T2(int, int) w2;
+// w2 g2;
+// otype w3 = T2(int, int);
+// w3 g3;
+
+int main( void ) {}
+
 // Local Variables: //
 // tab-width: 4 //
+// compile-command: "cfa forall.c" //
 // End: //