Initial revision

diff --git a/lang/cem/ctest/ctsetjmp/.distr b/lang/cem/ctest/ctsetjmp/.distr
new file mode 100644 (file)
index 0000000..4c05267
--- /dev/null
+++ b/lang/cem/ctest/ctsetjmp/.distr
@@ -0,0 +1,3 @@
+run
+stjmp.c
+stjmp.cem.g

diff --git a/lang/cem/ctest/ctsetjmp/run b/lang/cem/ctest/ctsetjmp/run
new file mode 100755 (executable)
index 0000000..db9963f
--- /dev/null
+++ b/lang/cem/ctest/ctsetjmp/run
@@ -0,0 +1 @@
+make "P=stjmp" -fsk ../makefile ${1-gen}

diff --git a/lang/cem/ctest/ctsetjmp/stjmp.c b/lang/cem/ctest/ctsetjmp/stjmp.c
new file mode 100644 (file)
index 0000000..bb4bd12
--- /dev/null
+++ b/lang/cem/ctest/ctsetjmp/stjmp.c
@@ -0,0 +1,242 @@
+# include "setjmp.h"
+# include <stdio.h>
+# ifndef NOSIGNAL
+# include <signal.h>
+# endif not NOSIGNAL
+
+/*
+ * setjmptest
+ * A program to test setjmp(III) and longjmp,
+ * in particular with respect to register variables
+ */
+
+int    whichtest;
+int    nerrors;
+
+main() {
+       jmp_buf envm;
+       register int i;
+
+       test1();
+       test2();
+       test3();
+       test4();
+       test5();
+       test6();
+       if (nerrors) return nerrors;
+
+       i = 1;
+       if (setjmp(envm) == 0) {
+               i = 2;
+               longjmp(envm, 1);
+       }
+       else {
+               if (i == 2) {
+                       printf("Setjmp/longjmp work ok, even with register variables\n");
+               }
+               else if (i == 1) {
+                       printf("WARNING: The setjmp/longjmp of this machine restore register variables\n\
+to the value they had at the time of the \"setjmp\"\n");
+               }
+               else {
+                       printf("Aha, I just found one last error\n");
+                       return 1;
+               }
+       }
+       return 0;
+}
+
+e(n) {
+       nerrors++;
+       fprintf(stderr,"Error %d in test %d\n",n,whichtest);
+}
+
+test1() {
+       register p;
+
+       printf("TEST 1 : one integer register variable\n");
+       whichtest = 1;
+       p = 200;
+       garbage();
+       if (p != 200) e(1);
+}
+
+test2() {
+       register p,q;
+
+       printf("TEST 2 : two integer register variables\n");
+       whichtest = 2;
+       p = 200; q = 300;
+       garbage();
+       if (p != 200) e(1);
+       if (q != 300) e(2);
+}
+       
+test3() {
+       register p,q,r;
+
+       printf("TEST 3 : three integer register variables\n");
+       whichtest = 3;
+       p = 200; q = 300; r = 400;
+       garbage();
+       if (p != 200) e(1);
+       if (q != 300) e(2);
+       if (r != 400) e(3);
+}
+       
+char   buf[512];
+
+test4() {
+       register char *p;
+
+       printf("TEST 4 : one pointer register variable\n");
+       whichtest = 4;
+       p = &buf[100];
+       garbage();
+       if (p != &buf[100]) e(1);
+}
+
+test5() {
+       register char *p,*q;
+
+       printf("TEST 5 : two pointer register variables\n");
+       whichtest = 5;
+       p = &buf[100]; q = &buf[200];
+       garbage();
+       if (p != &buf[100]) e(1);
+       if (q != &buf[200]) e(2);
+}
+
+test6() {
+       register char *p,*q,*r;
+
+       printf("TEST 6 : three pointer register variables\n");
+       whichtest = 6;
+       p = &buf[100]; q = &buf[200]; r = &buf[300];
+       garbage();
+       if (p != &buf[100]) e(1);
+       if (q != &buf[200]) e(2);
+       if (r != &buf[300]) e(3);
+}
+
+jmp_buf env;
+
+/*     return address of local variable.
+       This way we can check that the stack is not polluted.
+*/
+char *
+addr() {
+       char a;
+
+       return &a;
+}
+
+garbage() {
+       register        i,j,k;
+       register char   *p,*q,*r;
+       char *a, *tmp;
+       int t;
+
+       p = &buf[300];
+       q = &buf[400];
+       r = &buf[500];
+       i = 10; j = 20; k = 30;
+       switch(setjmp(env)) {
+       case 0:
+               a = addr();
+               longjmp(env,1);
+               break;
+       case 1:
+               if (i != 10) e(11);
+               if (j != 20) e(12);
+               if (k != 30) e(13);
+               if (p != &buf[300]) e(14);
+               if (q != &buf[400]) e(15);
+               if (r != &buf[500]) e(16);
+               tmp = addr();
+               if (a != tmp) e(17);
+               level1();
+               break;
+       case 2:
+               if (i != 10) e(21);
+               if (j != 20) e(22);
+               if (k != 30) e(23);
+               if (p != &buf[300]) e(24);
+               if (q != &buf[400]) e(25);
+               if (r != &buf[500]) e(26);
+               if (a != tmp) e(27);
+               level2();
+               break;
+       case 3:
+               if (i != 10) e(31);
+               if (j != 20) e(32);
+               if (k != 30) e(33);
+               if (p != &buf[300]) e(34);
+               if (q != &buf[400]) e(35);
+               if (r != &buf[500]) e(36);
+               if (a != tmp) e(37);
+# ifndef NOSIGNAL
+               hard();
+       case 4:
+               if (i != 10) e(41);
+               if (j != 20) e(42);
+               if (k != 30) e(43);
+               if (p != &buf[300]) e(44);
+               if (q != &buf[400]) e(45);
+               if (r != &buf[500]) e(46);
+               if (a != tmp) e(47);
+#endif
+               return;
+               break;
+       default:
+               e(100);
+       }
+       e(200);
+}
+
+level1() {
+       register char *p;
+       register i;
+
+       i = 1000;
+       p = &buf[10];
+       i = 200;
+       p = &buf[20];
+       longjmp(env,2);
+}
+
+level2() {
+       register char *p;
+       register i;
+
+       i = 0200;
+       p = &buf[2];
+       *p = i;
+       dolev();
+}
+
+dolev() {
+       register char *p;
+       register        i;
+
+       i = 010;
+       p = &buf[3];
+       *p = i;
+       longjmp(env,3);
+}
+
+# ifndef NOSIGNAL
+catch() {
+       printf(" signal caught\n");
+       longjmp(env,4);
+}
+
+hard() {
+       register char *p;
+
+       signal(SIGHUP,catch);
+       for(p = buf;p <= &buf[511]; p++) *p = 025;
+       printf("Sending signal ...");
+       kill(getpid(),SIGHUP);
+}
+# endif not NOSIGNAL

diff --git a/lang/cem/ctest/ctsetjmp/stjmp.cem.g b/lang/cem/ctest/ctsetjmp/stjmp.cem.g
new file mode 100644 (file)
index 0000000..fe7def8
--- /dev/null
+++ b/lang/cem/ctest/ctsetjmp/stjmp.cem.g
@@ -0,0 +1,13 @@
+TEST 1 : one integer register variable
+Sending signal ... signal caught
+TEST 2 : two integer register variables
+Sending signal ... signal caught
+TEST 3 : three integer register variables
+Sending signal ... signal caught
+TEST 4 : one pointer register variable
+Sending signal ... signal caught
+TEST 5 : two pointer register variables
+Sending signal ... signal caught
+TEST 6 : three pointer register variables
+Sending signal ... signal caught
+Setjmp/longjmp work ok, even with register variables