Changeset 42dcae7 for translator/examples/sum.c

Timestamp:

Nov 25, 2014, 9:16:10 AM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

3848e0e

Parents:

d11f789

Message:

re-inserted remove and reorder hoisted aggregate, fixed example programs

File:

• translator/examples/sum.c (modified) (2 diffs)

translator/examples/sum.c

@@ -1 @@
-// "./cfa -g sum.c"
-// "./cfa -CFA sum.c > sum_out.c"
-// "gcc32 -g sum_out.c LibCfa/libcfa.a"
-
 extern "C" {
     int printf( const char *, ... );
@@ -9 +5 @@
 context sumable( type T ) {
     const T 0;
-    T ?+?(T, T);
-    T ?++(T*);
-    [T] ?+=?(T*,T);
+    T ?+?( T, T );
+    T ?++( T * );
+    [T] ?+=?( T *, T );
 };
 
 forall( type 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];
+    T total = 0;                        // instantiate T, select 0
+    for ( int i = 0; i < n; i += 1 )
+        total = total + a[i];           // select +
     return total;
 }
 
 int main() {
-    int a[10];
-    for ( int i = 0; i < 10; ++i ) {
-        a[i] = i;
+    const int size = 10, low = 0, High = 10;
+    int si, ai[10]; // size
+    int i;
+    for ( i = low; i < High; i += 1 ) {
+        si += i;
+        ai[i] = i;
     }
-    printf( "the sum is %d\n", sum( 10, a ) );
+    printf( "sum from %d to %d is %d, check %d\n",
+            low, High, sum( size, ai ), si );
+    double sd, ad[10]; // size
+    for ( i = low; i < High; i += 1 ) {
+        double d = i / (double)size;
+        sd += d;
+        ad[i] = d;
+    }
+    printf( "sum from %g to %g is %g, check %g\n",
+            low / (double)size, High / (double)size, sum( size, ad ), sd );
 }
+
+// Local Variables: //
+// compile-command: "../../bin/cfa sum.c" //
+// End: //