Changeset dbff8ec for doc/theses/mike_brooks_MMath/programs/hello-array.cfa

Timestamp:

Jul 10, 2024, 3:39:37 AM (9 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

725f777f

Parents:

bb336a6 (diff), f3811df (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/theses/mike_brooks_MMath/programs/hello-array.cfa (modified) (4 diffs)

doc/theses/mike_brooks_MMath/programs/hello-array.cfa ¶

@@ -8 +8 @@
 
 
-forall( [N] ) // array bound
-array(bool, N) & f( array(float, N) & a, array(float, N) & b ) {
-        array(bool, N) & ret = *alloc(); // sizeof used by alloc
-        for( i; N ) {
-                ret[i] = 0.005 > 2 * (abs(a[i] - b[i])) / (abs(a[i]) + abs(b[i]));
+forall( [@N@] )                                                         $\C{// array dimension}$
+array( bool, @N@) & f( array( float, @N@ ) & x, array( float, @N@ ) & y ) {
+        array( bool, @N@ ) & ret = *@alloc@();  $\C{// sizeof ret  used by alloc}$
+        for ( i; @N@ ) {
+                ret[i] = 0.005 > 2 * (abs( x[i] - y[i] )) / (abs( x[i]) + abs(y[i] ));
         }
         return ret;
@@ -29 +29 @@
 
 int main( int argc, char * argv[] ) {
-        int n = ato( argv[1] );
-        array(float, n) a, b; // VLA
-        for ( i; n ) {
-                a[i] = 3.14 / (i + 1);
-                b[i] = a[i] + 0.005 ;
+        const int @n@ = ato( argv[1] );                 $\C{// deduce conversion type}$
+        array( float, @n@ ) x, y;                               $\C{// VLAs}$
+        for ( i; n ) {                                                  $\C{// initialize arrays}$
+                x[i] = 3.14 / (i + 1);
+                y[i] = x[i] + 0.005 ;
         }
-        array(bool, n) & result = f( a, b ); // call
-        sout | "result: " | nonl;
+        array( bool, @n@ ) & result = @f( x, y )@; $\C{// call}$
+        sout | "result: " | nonl;                               $\C{// print result}$
         for ( i; n )
                 sout | result[i] | nonl;
         sout | nl;
-        free( &result ); // free returned storage
+        free( &result );                                                $\C{// free result storage}$
 }
 /*
@@ -50 +50 @@
 
 void fred() {
-        array(float, 10) a;
-        array(float, 20) b;
-        f( a, a );
-        f( b, b );
-        f( a, b );
+        array( float, @10@ ) x;
+        array( float, @20@ ) y;
+        f( x, x );
+        f( y, y );
+//      f( x, y );
 }
 
 #ifdef SHOWERR1
 forall( [M], [N] )
-void bad( array(float, M) &a, array(float, N) &b ) {
-        f( a, a ); // ok
-        f( b, b ); // ok
-        f( a, b ); // error
+void bad( array(float, M) &x, array(float, N) &y ) {
+        f( x, x );              $\C[1.5in]{// ok}$
+        f( y, y );              $\C{// ok}$
+        f( x, y );              $\C{// error}\CRT$
 }
 #endif
@@ -69 +69 @@
 
 forall( [M], [N] )
-void bad_fixed( array(float, M) & a, array(float, N) & b ) {
-        if ( M == N ) {
-                f( a, (array(float, M) &)b ); // cast b to matching type
-        }
+void bad_fixed( array( float, M ) & x, array( float, N ) & y ) {
+        if ( M == N )
+                f( x, @(array( float, M ) &)@y ); $\C{// cast y to matching type}$
 }
+
+// Local Variables: //
+// compile-command: "sed -f sedcmd hello-array.cfa > ../build/tmp.cfa; cfa ../build/tmp.cfa -Wall -Wextra" //
+// End: //