Changeset a0dcd2e

Timestamp:

Jun 20, 2016, 3:03:18 PM (8 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, with_gc

Children:

21eb693

Parents:

9724df0

Message:

update test programs, half done

Location:

src/tests

Files:

• Cast.c (modified) (1 diff)
• CommentMisc.c (modified) (1 diff)
• Constant0-1.c (modified) (4 diffs)
• Context.c (modified) (1 diff)
• Exception.c (modified) (1 diff)
• Expression.c (modified) (3 diffs)
• Forall.c (modified) (1 diff)
• Makefile.am (modified) (2 diffs)
• Makefile.in (modified) (1 diff)

src/tests/Cast.c

@@ -9 +9 @@
         (int)f;
         (void(*)())f;
-        ([long, long double, *[]()])([f, f, f]);
+//      ([long, long double, *[]()])([f, f, f]);
 }
 

src/tests/CommentMisc.c

@@ -1 @@
-/* single line */
-// single line
-
-// single line containing */
-// single line containing /*
-// single line containing /* */
-
-/* 1st */ int i;
-int i; /* 2nd */
-/* 1st */ int i; /* 2nd */
-/* 1st */ /* 2nd */
-
-/* 1st
-   2nd */ int i;
-
-/*
-*/
-
-/*
-
-*/
-
-/*
-  1st
-*/
-
-/*
-  1st
-  2nd
-*/
-
-// ignore preprocessor directives
-
-#line 2
- #
- #include <fred>
-        #define mary abc
-
 // alternative ANSI99 brackets
 

src/tests/Constant0-1.c

@@ -1 @@
-//Constant test declaration
-// Cforall extension
+// Constant test declaration
 
 // value
@@ -6 +5 @@
 int 0;
 const int 0;
-static const int 0;
 int 1;
 const int 1;
-static const int 1;
-int 0, 1;
-const int 0, 1;
+struct { int i; } 0;
+const struct { int i; } 1;
+
+#ifdef DUPS
+
+int 0;
+const int 0;
+int 1;
+const int 1;
 int (0), (1);
 int ((0)), ((1));
-static const int 0, 1;
+const int 0, 1;
+const int (0), (1);
 struct { int i; } 0;
 const struct { int i; } 1;
-static const struct { int i; } 1;
+
+#endif // DUPS
+
+#ifndef NEWDECL
 
 // pointer
+
+int *0, *1;
+int * const (0), * const 1;
+struct { int i; } *0;
+const struct { int i; } *0;
+int (*(* const x)), **0;
+
+#ifdef DUPS
 
 int *0, *1;
@@ -28 +44 @@
 int (* const 0), (* const 1);
 int ((* const 0)), ((* const 1));
+int (*(* const x)), *(*0);
+int (*(* const x)), (*(*0));
 struct { int i; } *0;
+const struct { int i; } *0;
+int (*(* const x)), **0;
+
+#endif // DUPS
+
+#else
 
 // Cforall style
@@ -34 +58 @@
 * int x, 0;
 const * int x, 0;
-static const * int x, 0;
 * struct { int i; } 0;
 const * struct { int i; } 0;
-static const * struct { int i; } 0;
-static * int x, 0;
-static const * int x, 0;
 const * * int x, 0;
 
+#ifdef DUPS
+
+* int x, 0;
+const * int x, 0;
+
+#endif // DUPS
+
+#endif // NEWDECL
+
 int main() {
+#ifndef NEWDECL
     int 1, * 0;
+#else
     * int x, 0;
+#endif // NEWDECL
 }

src/tests/Context.c

@@ -1 @@
-//cforall context declaration
-context has_q( otype T ) {
+// trait declaration
+trait has_q( otype T ) {
         T q( T );
 };
 
 forall( otype z | has_q( z ) ) void f() {
-        context has_r( otype T, otype U ) {
+        trait has_r( otype T, otype U ) {
                 T r( T, T (T,U) );
         };

src/tests/Exception.c

@@ -10 +10 @@
     try {
         x/4;
-    } catch( int) {
+    } catch( int ) {
     } catch( int x ) {
     } catch( struct { int i; } ) {

src/tests/Expression.c

@@ -1 @@
-int fred() {
-    struct s { int i; } *p;
-    int i;
+int main() {
+    struct s { int i; } x, *p = &x;
+    int i = 3;
 
-    // order of evaluation (GCC is different)
-/*
-    i = sizeof( (int) {3} );
-    i = sizeof (int) {3};
-*/
     // operators
 
@@ -42 +37 @@
     i||i;
     p->i;
-    i+=i;
-    i-=i;
     i*=i;
     i/=i;
     i%=i;
+    i+=i;
+    i-=i;
     i&=i;
     i|=i;
@@ -54 +49 @@
 
     i?i:i;
-
-    // cast
-/*
-    double d;
-    int *ip;
-    (int *) i;
-    (* int) i;
-    ([char, int *])[d, d];
-    [i,ip,ip] = ([int, * int, int *])[1,(void *)2,(void *)3];
-    [i,ip,ip] = ([int, * int, int *])([1,(void *)2,(void *)3]);
-*/
-}
-
-//Dummy main
-int main(int argc, char const *argv[])
-{
-        return 0;
-}
+} // main

src/tests/Forall.c

@@ -46 +46 @@
 }
 
-context sumable( otype T ) {
+trait sumable( otype T ) {
         const T 0;
         T ?+?(T, T);

src/tests/Makefile.am

@@ -11 +11 @@
 ## Created On       : Sun May 31 09:08:15 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Mon Jan 25 22:31:42 2016
-## Update Count     : 25
+## Last Modified On : Mon Jun 20 14:30:52 2016
+## Update Count     : 33
 ###############################################################################
 
@@ -23 +23 @@
 vector_test_SOURCES = vector/vector_int.c vector/array.c vector/vector_test.c
 avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c
+
+Constant0-1DP : Constant0-1.c
+        ${CC} ${CFLAGS} -DDUPS ${<} -o ${@}
+
+Constant0-1ND : Constant0-1.c
+        ${CC} ${CFLAGS} -DNEWDECL ${<} -o ${@}
+
+Constant0-1NDDP : Constant0-1.c
+        ${CC} ${CFLAGS} -DNEWDECL -DDUPS ${<} -o ${@}

src/tests/Makefile.in

@@ -621 +621 @@
 
 
+Constant0-1DP : Constant0-1.c
+        ${CC} ${CFLAGS} -DDUPS ${<} -o ${@}
+
+Constant0-1ND : Constant0-1.c
+        ${CC} ${CFLAGS} -DNEWDECL ${<} -o ${@}
+
+Constant0-1NDDP : Constant0-1.c
+        ${CC} ${CFLAGS} -DNEWDECL -DDUPS ${<} -o ${@}
+
 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 # Otherwise a system limit (for SysV at least) may be exceeded.