Changeset 42dcae7 for translator/examples/min.c

Timestamp:

Nov 25, 2014, 9:16:10 AM (10 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/min.c (modified) (2 diffs)

translator/examples/min.c

@@ -1 @@
-// "./cfa min.c"
-// "./cfa -CFA min.c > min_out.c"
-// "gcc32 -g min_out.c LibCfa/libcfa.a"
-
 extern "C" {
     int printf( const char *, ... );
 }
 
-forall( type T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
+forall( type T | { int ?<?( T, T ); } )
 T min( T t1, T t2 ) {
     return t1 < t2 ? t1 : t2;
@@ -13 +9 @@
 
 int main() {
+//    char c;
+//    c = min( 'a', 'z' );
+//    printf( "minimum %d\n", c );
+    int i;
+    i = min( 4, 3 );
+    printf( "minimum %d\n", min( 4, 3 ) );
     float f;
-    f = min( 4.0, 3.0 );
-    printf( "result is %f\n", f );
+    f = min( 4.0, 3.1 );
+    printf( "minimum %g\n", f );
+    double d;
+    d = min( 4.0, 3.2 );
+    printf( "minimum %g\n", d );
 }
+
+// Local Variables: //
+// compile-command: "../../bin/cfa min.c" //
+// End: //