scaffold/t.c

   1 /* -*-comment-start: "//";comment-end:""-*-
   2  * Mes --- Maxwell Equations of Software
   3  * Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
   4  *
   5  * This file is part of Mes.
   6  *
   7  * Mes is free software; you can redistribute it and/or modify it
   8  * under the terms of the GNU General Public License as published by
   9  * the Free Software Foundation; either version 3 of the License, or (at
  10  * your option) any later version.
  11  *
  12  * Mes is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
  19  */
  20
  21 #include <mlibc.h>
  22 #include <assert.h>
  23 #include <stdlib.h>
  24 #include <stdio.h>
  25 #include <string.h>
  26
  27 struct scm {
  28   int type;
  29   int car;
  30   int cdr;
  31 };
  32
  33 int bla = 1234;
  34 char arena[84];
  35 #if __MESC__
  36 struct scm *g_cells = arena;
  37 #else
  38 struct scm *g_cells = (struct scm*)arena;
  39 #endif
  40 char *g_chars = arena;
  41
  42 int foo () {puts ("t: foo\n"); return 0;};
  43 int bar (int i) {puts ("t: bar\n"); return 0;};
  44 struct function {
  45   int (*function) (void);
  46   int arity;
  47   char *name;
  48 };
  49 struct function g_fun = {&exit,1,"fun"};
  50 struct function g_foo = {&foo,0,"foo"};
  51 struct function g_bar = {&bar,1,"bar"};
  52
  53 //void *functions[2];
  54 int functions[2];
  55
  56 struct function g_functions[2];
  57 int g_function = 0;
  58
  59 enum type_t {TCHAR, TCLOSURE, TCONTINUATION, TFUNCTION, TKEYWORD, TMACRO, TNUMBER, TPAIR, TREF, TSPECIAL, TSTRING, TSYMBOL, TVALUES, TVECTOR, TBROKEN_HEART};
  60
  61 typedef int SCM;
  62 int g_free = 3;
  63 SCM tmp;
  64 SCM tmp_num;
  65
  66 int ARENA_SIZE = 200;
  67 #define TYPE(x) (g_cells[x].type)
  68 #define CAR(x) g_cells[x].car
  69 #define CDR(x) g_cells[x].cdr
  70 #define VALUE(x) g_cells[x].cdr
  71
  72 #define CAAR(x) CAR (CAR (x))
  73
  74 struct scm scm_fun = {TFUNCTION,0,0};
  75 SCM cell_fun;
  76
  77 char *env[] = {"foo", "bar", "baz", 0};
  78
  79 int
  80 add (int a, int b)
  81 {
  82   return a + b;
  83 }
  84
  85 int
  86 inc (int i)
  87 {
  88   return i + 1;
  89 }
  90
  91 int
  92 identity (int i)
  93 {
  94   return i;
  95 }
  96
  97 #if 1
  98 int
  99 label (int c)
 100 {
 101  label:
 102   if (c == 0) return c;
 103   c--;
 104   goto label;
 105   return 1;
 106 }
 107
 108 int
 109 swits (int c)
 110 {
 111   int x = -1;
 112
 113   switch (c)
 114     {
 115     case TCHAR: {goto next;}
 116     case 1: {goto next;}
 117     case 2: {goto next;}
 118     default: {goto next;}
 119     }
 120
 121   return 1;
 122  next:
 123   switch (c)
 124     {
 125     case 0:
 126       {
 127         x = 0;
 128         c = 34;
 129         break;
 130       }
 131     case -1:
 132     case 1:
 133       x = 1;
 134       break;
 135     default:
 136       {
 137         x = 2;
 138         break;
 139       }
 140     }
 141   return x;
 142 }
 143
 144 int g = 48;
 145 int
 146 get ()
 147 {
 148   int i = g;
 149   g++;
 150   return i;
 151 }
 152
 153 int
 154 read_test ()
 155 {
 156   char *p = (char*)g_chars;
 157   int i = 0;
 158   puts ("t: read 0123456789\nt: ");
 159   int c = get ();
 160   while (i < 10) {
 161     *p++ = c;
 162     putchar (c);
 163     c = get ();
 164     i++;
 165   }
 166   puts ("\n");
 167   if (strcmp (g_chars, "0123456789")) return 1;
 168
 169   puts ("t: ungetc ('A') == getchar ()\n");
 170   ungetc ('A', STDIN);
 171   if (getchar () != 'A') return 1;
 172   ungetc (0, STDIN);
 173   //ungetc ('\1', STDIN);
 174   ungetc (1, STDIN);
 175   puts ("t: ungetc ();ungetc ();getchar ();getchar ()\n");
 176   if (getchar () != 1) return 1;
 177   //if (getchar () != '\0') return 1;
 178   if (getchar () != 0) return 1;
 179
 180   puts ("t: i == 'm'\n");
 181   char m = 0x1122336d;
 182   i = m;
 183   if (i != 'm') return 1;
 184
 185   return 0;
 186 }
 187
 188 int
 189 array_test (char **e)
 190 {
 191   int i = 0;
 192
 193   puts ("a[i] = i-1\n");
 194   int a[3];
 195   for (int i=0; i < 3; i++) a[i] = i-1;
 196   for (int i=0; i < 3; i++) if (a[i] != i-1) return 1;
 197
 198   puts ("env [");
 199   puts (itoa (env));
 200   puts ("]\n");
 201
 202   puts ("e [");
 203   puts (itoa (e));
 204   puts ("]\n");
 205
 206   puts ("env [0] == \"foo\"\n");
 207   if (strcmp (env[0], "foo")) return 1;
 208
 209   puts ("env [1] == \"bar\"\n");
 210   if (strcmp (env[1], "bar")) return 1;
 211
 212   puts ("t: **p in *env[]\n");
 213
 214   char **pp = env;
 215   while (*pp)
 216     {
 217       puts ("pp [");
 218       puts (itoa (pp));
 219       puts ("]: ");
 220       if (*pp) puts (*pp);
 221       puts ("\n");
 222       pp++;
 223       i++;
 224     }
 225   if (i != 3) return i;
 226
 227   pp = env;
 228   puts ("t: *pp++ == \"foo\"\n");
 229   if (strcmp (*pp++, "foo")) return 1;
 230
 231   puts ("t: *pp++ == \"bar\"\n");
 232   if (strcmp (*pp++, "bar")) return 1;
 233
 234   char *buf = "hello";
 235   puts ("t: buf[0]\n");
 236   if (buf[0] != 'h') return 1;
 237
 238   puts ("t: buf + 1\n");
 239   if (*(buf+1) != 'e') return 1;
 240
 241   char **p = &buf;
 242   puts ("t: **p\n");
 243   if (**p != 'h') return 1;
 244
 245   puts ("t: *(p + 1)\n");
 246   if (*(*p + 1) != 'e') return 1;
 247
 248   puts ("t: getenv ()");
 249   if (!getenv ("SHELL")) return 1;
 250
 251   return read_test ();
 252 }
 253
 254 int
 255 math_test ()
 256 {
 257   int i;
 258
 259   puts ("t: 0 < 0\n");
 260   if (0 < 0) return 1;
 261
 262   puts ("t: 2 < 1\n");
 263   if (2 < 1) return 1;
 264
 265   puts ("t: -1 < -2\n");
 266   if (-1 < -2) return 1;
 267
 268   puts ("t: 0 < -1\n");
 269   if (0 < -1) return 1;
 270
 271   puts ("t: 0 > 0\n");
 272   if (0 > 0) return 1;
 273
 274   puts ("t: 1 > 2\n");
 275   if (1 > 2) return 1;
 276
 277   puts ("t: -2 > -1\n");
 278   if (-2 > -1) return 1;
 279
 280   puts ("t: -1 > 0\n");
 281   if (-1 > 0) return 1;
 282
 283   puts ("t: 1 == inc (0)\n");
 284   if (1 == inc (0)) goto ok0;
 285   return 1;
 286  ok0:
 287
 288   puts ("t: 0 < inc (0)\n");
 289   if (0 < inc (0)) goto ok1;
 290   return 1;
 291  ok1:
 292
 293   puts ("t: inc (0) + 2 != 3\n");
 294   if (inc (0) + inc (1) != 3) return 1;
 295
 296   puts ("t: 4/2=");
 297   i = 4 / 2;
 298   if (i!=2) return 1;
 299   i += 48;
 300   putchar (i);
 301   puts ("\n");
 302
 303   puts ("t: 3*4=\n");
 304   i = 3 * 4;
 305   if (i!=12) return 1;
 306
 307   puts ("t: i /= 4\n");
 308   i /= 4;
 309   if (i!=3) return 1;
 310
 311   puts ("t: i *= 4\n");
 312   i *= 4;
 313   if (i!=12) return 1;
 314
 315   puts ("t: 1 << 3\n");
 316   if (1 << 3 != 8) return 1 << 3;
 317
 318   puts ("t: 3 << 4\n");
 319   if (3 << 4 != 48) return 3 << 4;
 320
 321   puts ("t: 48 >> 3\n");
 322   if (48 >> 4 != 3) return 48 >> 4;
 323
 324   puts ("t: 10 >> 1\n");
 325   if (10 >> 1 != 5) return 10 >> 1;
 326
 327   puts ("t: 1 | 4\n");
 328   if ((1 | 4) != 5) return 1 | 4;
 329
 330   i = -3;
 331   puts ("t: -i\n");
 332   if (-i != 3) return 1;
 333
 334   puts ("t: -1 + 2\n");
 335   if (-1 + 2 != 1) return 1;
 336
 337   puts ("t: 1 & 3\n");
 338   if ((1 & 3) != 1) return 1;
 339
 340   puts ("t: 1 | 3\n");
 341   if ((1 | 2) != 3) return 1;
 342
 343   puts ("t: ^ 1 \n");
 344   if ((1 ^ 3) != 2) return 1;
 345
 346   puts ("t: 3 == 3\n");
 347   if ((3 == 3) !=  1) return 1;
 348
 349   puts ("t: 3 != 3\n");
 350   if ((3 != 3) !=  0) return 1;
 351
 352   puts ("t: 011 == 15\n");
 353   if (011 != 9) return 1;
 354
 355   puts ("t: 0b11 == 3\n");
 356   if (0b11 != 3) return 1;
 357
 358   puts ("t: 0x11 == 3\n");
 359   if (0x11 != 17) return 1;
 360
 361   return array_test (env);
 362 }
 363
 364 SCM
 365 alloc (int n)
 366 {
 367   SCM x = g_free;
 368   g_free += n;
 369   return x;
 370 }
 371
 372 SCM
 373 make_cell (SCM type, SCM car, SCM cdr)
 374 {
 375   SCM x = alloc (1);
 376   TYPE (x) = VALUE (type);
 377   if (VALUE (type) == TCHAR || VALUE (type) == TNUMBER) {
 378     if (car) CAR (x) = CAR (car);
 379     if (cdr) CDR(x) = CDR(cdr);
 380   }
 381   else if (VALUE (type) == TFUNCTION) {
 382     if (car) CAR (x) = car;
 383     if (cdr) CDR(x) = CDR(cdr);
 384   }
 385   else {
 386     CAR (x) = car;
 387     CDR(x) = cdr;
 388   }
 389   return x;
 390 }
 391
 392 SCM
 393 make_cell_test ()
 394 {
 395   VALUE (tmp_num) = TPAIR;
 396   make_cell (tmp_num, 0, 1);
 397   return math_test ();
 398 }
 399
 400 SCM
 401 make_tmps_test (struct scm* cells)
 402 {
 403   puts ("t: tmp = g_free++\n");
 404   tmp = g_free++;
 405   puts ("t: cells[tmp].type = CHAR\n");
 406   cells[tmp].type = TCHAR;
 407   tmp_num = g_free++;
 408   cells[tmp_num].type = TNUMBER;
 409
 410   return make_cell_test();
 411 }
 412
 413 int
 414 struct_test ()
 415 {
 416   puts ("t: g_cells[0] = g_cells[1]\n");
 417   TYPE (1) = 1;
 418   CAR (1) = 2;
 419   CDR (1) = 3;
 420   g_cells[0] = g_cells[1];
 421   if (TYPE (0) != 1) return 1;
 422   if (CAR (0) != 2) return 2;
 423   if (CDR (0) != 3) return 3;
 424
 425   puts ("t: g_cells[i] = g_cells[j]\n");
 426   int i = 0;
 427   int j = 1;
 428   TYPE (1) = 4;
 429   CAR (1) = 5;
 430   CDR (1) = 6;
 431   g_cells[i] = g_cells[j];
 432   if (TYPE (0) != 4) return 1;
 433   if (CAR (0) != 5) return 2;
 434   if (CDR (0) != 6) return 3;
 435
 436   puts ("t: g_cells[0+add(0,0] = g_cells[0+inc(0)]\n");
 437   TYPE (1) = 1;
 438   CAR (1) = 2;
 439   CDR (1) = 3;
 440   g_cells[0+add(0, 0)] = g_cells[0+inc(0)];
 441   if (TYPE (0) != 1) return 1;
 442   if (CAR (0) != 2) return 2;
 443   if (CDR (0) != 3) return 3;
 444
 445   g_cells[0].type = TNUMBER;
 446   g_cells[0].car = 0;
 447   g_cells[0].cdr = 0;
 448   g_cells[1].type = TNUMBER;
 449   g_cells[1].car = 0;
 450   g_cells[1].cdr = 0;
 451
 452   puts ("t: TYPE (0) != TYPE (1)\n");
 453   if (TYPE (0) == TYPE (1)) goto ok;
 454   return 1;
 455  ok:
 456
 457   g_cells[0].car = 1;
 458   g_cells[1].car = 2;
 459
 460   puts ("t: int c = VALUE (0)\n");
 461   int c = CAR (0);
 462   if (c != 1) return 1;
 463
 464   puts ("t: CAAR (0) != 2\n");
 465   if (CAAR (0) != 2) return 1;
 466
 467   puts ("t: 2 != CAAR (0)\n");
 468   if (2 != CAAR (0)) return 1;
 469
 470   g_cells[3].type = 0x64;
 471   if (g_cells[3].type != 0x64)
 472     return g_cells[3].type;
 473
 474   TYPE (4) = 4;
 475   if (TYPE (4) != 4)
 476     return 4;
 477
 478   CDR (3) = 0x22;
 479   CDR (4) = 0x23;
 480   if (CDR (3) != 0x22)
 481     return CDR (3);
 482
 483   puts ("t: g_fun.arity != 1;\n");
 484   if (g_fun.arity != 1) return 1;
 485
 486   puts ("t: g_fun.function != exit;\n");
 487   if (g_fun.function != &exit) return 1;
 488
 489   puts ("t: struct fun = {&exit,1,\"exit\"};\n");
 490   struct function fun = {&exit,1,"exit"};
 491
 492   puts ("t: fun.arity != 1;\n");
 493   if (fun.arity != 1) return 1;
 494
 495   puts ("t: fun.function != exit;\n");
 496   if (fun.function != &exit) return 1;
 497
 498   puts ("t: puts (fun.name)\n");
 499   if (strcmp (fun.name, "exit")) return 1;
 500
 501   puts ("t: puts (g_fun.name)\n");
 502   if (strcmp (g_fun.name, "fun")) return 1;
 503
 504   puts ("t: g_functions[g_function++] = g_foo;\n");
 505   g_functions[g_function++] = g_foo;
 506
 507   puts ("t: pbar->arity == 1\n");
 508   struct function* barp = &g_bar;
 509   if (barp->arity != 1) return 1;
 510
 511   int fn = 0;
 512   puts ("t: g_functions[g_cells[fn].cdr].arity\n");
 513   if (g_functions[g_cells[fn].cdr].arity) return 1;
 514   if (g_functions[g_cells[fn].cdr].arity != 0) return 1;
 515
 516   int (*functionx) (void) = 0;
 517   functionx = g_functions[0].function;
 518   puts ("t: functionx == foo\n");
 519   if (functionx != foo) return 11;
 520
 521   puts ("t: g_functions[0].name\n");
 522   if (strcmp (g_functions[0].name, "foo")) return 1;
 523
 524   puts ("t: (functionx) () == foo\n");
 525   if ((functionx) () != 0) return 12;
 526
 527   puts ("t: g_functions[<foo>].arity\n");
 528   if (g_functions[0].arity != 0) return 17;
 529
 530   fn++;
 531   g_functions[fn] = g_bar;
 532   g_cells[fn].cdr = fn;
 533   if (g_cells[fn].cdr != fn) return 13;
 534
 535   puts ("t: g_functions[g_cells[fn].cdr].function\n");
 536   functionx = g_functions[g_cells[fn].cdr].function;
 537
 538   puts ("t: g_functions[1].name\n");
 539   if (strcmp (g_functions[1].name, "bar")) return 1;
 540
 541   puts ("t: functionx == bar\n");
 542   if (functionx != bar) return 15;
 543
 544   puts ("t: (functiony) (1) == bar\n");
 545   int (*functiony) (int) = 0;
 546   functiony = g_functions[g_cells[fn].cdr].function;
 547   if ((functiony) (1) != 0) return 16;
 548
 549   puts ("t: g_functions[<bar>].arity\n");
 550   if (g_functions[fn].arity != 1) return 18;
 551
 552   // fake name
 553   scm_fun.car = 33;
 554   scm_fun.cdr = g_function;
 555   //g_functions[g_function++] = g_fun;
 556   g_functions[g_function] = g_fun;
 557   cell_fun = g_free++;
 558   g_cells[cell_fun] = scm_fun;
 559
 560   puts ("t: TYPE (cell_fun)\n");
 561   if (TYPE (cell_fun) != TFUNCTION) return 1;
 562
 563   puts ("t: CAR (cell_fun)\n");
 564   if (CAR (cell_fun) != 33) return 1;
 565
 566   puts ("t: CDR (cell_fun)\n");
 567   if (CDR (cell_fun) != g_function) return 1;
 568
 569   return make_tmps_test  (g_cells);
 570 }
 571
 572 int
 573 string_test ()
 574 {
 575   puts ("t: strcpy (buf, \"hallo\")\n");
 576   char buf[10];
 577   strcpy (buf, "hallo");
 578   if (strcmp (buf, "hallo")) return 1;
 579
 580   return struct_test ();
 581 }
 582
 583 void
 584 void_func ()
 585 {
 586 }
 587 #endif
 588
 589 #if 1
 590 int
 591 test (char *p)
 592 {
 593   int f = 0;
 594   int t = 1;
 595   int one = 1;
 596   char c = 'C';
 597   int i=0;
 598
 599   char *x = arena;
 600   char *y = g_chars;
 601
 602   puts ("t: for (i=1; i<5; ++i)\n");
 603   for (i=1; i<5; ++i);
 604   if (i != 5) return i;
 605
 606   puts ("t: while (i<3) i++\n");
 607   i = 1;
 608   while (i<3) i++;
 609   if (i != 3) return i;
 610
 611   puts ("t: do i-- while (i>0)\n");
 612   do i--; while (i>0);
 613   if (i != 0) return 1;
 614
 615   puts ("t: if (0)\n");
 616   if (0) return 1;
 617
 618   if (i)
 619     return 1;
 620   else
 621     puts ("t: else 1\n");
 622
 623   if (i)
 624     puts ("0");
 625   else if (i == 1)
 626     puts ("1");
 627   else
 628     puts ("t: else if 2\n");
 629
 630   puts ("t: if (f)\n");
 631   if (f) return 1;
 632
 633   puts ("t: if (one != 1)\n");
 634   if (one != 1) return 1;
 635
 636   puts ("t: if (1 != one)\n");
 637   if (1 != one) return 1;
 638
 639   puts ("t: if (one > 1)\n");
 640   if (one > 1) return 1;
 641
 642   puts ("t: if (one < 0)\n");
 643   if (one < 0) return 1;
 644
 645   puts ("t: if (one <= 0)\n");
 646   if (one <= 0) return 1;
 647
 648   puts ("t: if (one >= 2)\n");
 649   if (one >= 2) return 1;
 650
 651   puts ("t: if (strlen (\"\"))\n");
 652   if (strlen ("")) return 1;
 653
 654   puts ("t: if (strlen (p) != 4)\n");
 655   if (strlen (p) != 4) return 1;
 656
 657   puts ("t: if (!strlen (\".\"))\n");
 658   if (!strlen (".")) return 1;
 659
 660   puts ("t: if (strcmp (p, \"foo\"))\n");
 661   if (!strcmp (p, "foo")) return 1;
 662
 663   puts ("t: if (strcmp (p, \"t.c\\n\"))\n");
 664   if (strcmp (p, "t.c\n")) return 1;
 665
 666   puts ("t: if (!1)\n");
 667   if (!1) return 1;
 668
 669   puts ("t: if (one == 0)\n");
 670   if (one == 0) return 1;
 671
 672   puts ("t: if (f != 0)\n");
 673   if (one != 1) return 1;
 674
 675   puts ("t: if (1 && 0)\n");
 676   if (1 && 0) return 1;
 677
 678   puts ("t: if (!t && f)\n");
 679   if (!t && f) return 1;
 680
 681   puts ("t: if (t && !one)\n");
 682   if (t && !one) return 1;
 683
 684   puts ("t: if (f || !t)\n");
 685   if (f || !t) return 1;
 686
 687   puts ("t: if (i++)\n");
 688   if (i++) return 1;
 689
 690   puts ("t: if (--i)\n");
 691   if (--i) return 1;
 692
 693   puts ("t: i += 2\n");
 694   i += 2;
 695   if (i != 2) return 1;
 696
 697   puts ("t: i -= 2\n");
 698   i -= 2;
 699   if (i != 0) return 1;
 700
 701   puts ("t: if (f = 0) ?\n");
 702   if (f = 0) return 1;
 703
 704   puts ("t: if (!(t = 1)) ?\n");
 705   if (!(t = 1)) return 1;
 706
 707   puts ("t: if ((f = 0) != 0) ?\n");
 708   if ((f = 0) != 0) return 1;
 709
 710   puts ("t: if ((t = 1) != 1) ?\n");
 711   if ((t = 1) != 1) return 1;
 712
 713   puts ("t: (one == 1) ?\n");
 714   (one == 1) ? 1 : exit (1);
 715
 716   puts ("t: (f) ?\n");
 717   (f) ? exit (1) : 1;
 718
 719   puts ("t: assert (1) ?\n");
 720   assert (1);
 721
 722   puts ("t: assert (f==0) ?\n");
 723   assert (f==0);
 724
 725   puts ("t: p[0] != 't'\n");
 726   if (p[0] != 't') return p[0];
 727
 728   puts ("t: p[i] != 't'\n");
 729   if (p[i] != 't') return p[i];
 730
 731   puts ("t: identity (p[i]) != 't'\n");
 732   if (identity (p[i]) != 't') return identity (p[i]);
 733
 734   puts ("t: *g_chars != 'A'\n");
 735   arena[0] = 'A';
 736   if (*g_chars != 'A') return 1;
 737
 738   puts ("t: *x != 'A'\n");
 739   if (*x != 'A') return 1;
 740
 741   puts ("t: *y != 'A'\n");
 742   if (*y != 'A') return 1;
 743
 744   puts ("t: *x != 'Q'\n");
 745   g_chars[0] = 'Q';
 746   if (*x != 'Q') return 1;
 747
 748   puts ("t: *x++ != 'C'\n");
 749   *x++ = c;
 750   if (*g_chars != 'C') return 1;
 751
 752   puts ("t: 1 + 2\n");
 753   if (1 + 2 != 3) return 1;
 754
 755   puts ("t: 2 - 1\n");
 756   if (2 - 1 != 1) return 1;
 757
 758   puts ("t: 1 << 3\n");
 759   if (1 << 3 != 8) return 1;
 760
 761   puts ("t: 8 >> 3\n");
 762   if (8 >> 3 != 1) return 1;
 763
 764   puts ("t: 8 / 4\n");
 765   if (8 / 4 != 2) return 1;
 766
 767   puts ("t: inc (0)\n");
 768   if (inc (0) != 1) return 1;
 769
 770   puts ("t: inc (inc (0))\n");
 771   if (inc (inc (0)) != 2) return 1;
 772
 773   puts ("t: inc (inc (inc (0)))\n");
 774   if (inc (inc (inc (0))) != 3) return 1;
 775
 776   puts ("t: add (1, 2)\n");
 777   if (add (1, 2) != 3) return 1;
 778
 779   puts ("t: add (inc (0), inc (1))\n");
 780   if (add (inc (0), inc (1)) != 3) return 1;
 781
 782   puts ("t: add (TSTRING, 3)\n");
 783   if (add (TSTRING, 3) != 13) return 1;
 784
 785   puts ("t: add (inc (inc (0)), inc (inc (1)))\n");
 786   if (add (inc (inc (0)), inc (inc (1))) != 5) return 1;
 787
 788   puts ("t: goto label\n");
 789   if (label (1) != 0) return 1;
 790
 791   puts ("t: switch 0\n");
 792   if (swits (0) != 0) return swits (0);
 793
 794   puts ("t: switch 1\n");
 795   if (swits (1) != 1) return 1;
 796
 797   puts ("t: switch -1\n");
 798   if (swits (-1) != 1) return 1;
 799
 800   puts ("t: switch -1\n");
 801   if (swits (-2) != 2) return 1;
 802
 803   puts ("t: if (1)\n");
 804   if (1) goto ok0;
 805   return 1;
 806  ok0:
 807
 808   puts ("t: while (1) break;\n");
 809   while (1) break;
 810
 811   puts ("t: while (1) ... break;\n");
 812   while (1) {f=0;break;}
 813
 814   puts ("t: while (1) {while (1) break;break;}\n");
 815   while (1) {while (1) break;break;}
 816
 817   puts ("t: while () {continue;...}\n");
 818   while (one--) {continue;one=1;}
 819   one += 2;
 820
 821   puts ("t: while (1) { goto label; };\n");
 822   while (1) {
 823     goto ok00;
 824   }
 825  ok00:
 826
 827   puts ("t: if (0); return 1; else;\n");
 828   if (0) return 1; else goto ok01;
 829  ok01:
 830
 831   puts ("t: if (t)\n");
 832   if (t) goto ok1;
 833   return 1;
 834  ok1:
 835
 836   puts ("t: if (one > 0)\n");
 837   if (one > 0) goto ok2;
 838   return 1;
 839  ok2:
 840
 841   puts ("t: if (one < 2)\n");
 842   if (one < 2) goto ok3;
 843   return 1;
 844  ok3:
 845
 846   puts ("t: if (one >= 0)\n");
 847   if (one >= 0) goto ok30;
 848   return 1;
 849  ok30:
 850
 851   puts ("t: if (one >= 1)\n");
 852   if (one >= 0) goto ok31;
 853   return 1;
 854  ok31:
 855
 856   puts ("t: if (one <= 2)\n");
 857   if (one <= 2) goto ok32;
 858   return 1;
 859  ok32:
 860
 861   puts ("t: if (one <= 1)\n");
 862   if (one <= 1) goto ok33;
 863   return 1;
 864  ok33:
 865
 866   puts ("t: if (strlen (\".\"))\n");
 867   if (strlen (".")) goto ok4;
 868   return 1;
 869  ok4:
 870
 871   puts ("t: if (strlen (p) == 4)\n");
 872   if (strlen (p) == 4) goto ok40;
 873  ok40:
 874
 875   puts ("t: if (!strcmp (p, \"t.c\\n\"))\n");
 876   if (!strcmp (p, "t.c\n")) goto ok41;
 877   return 1;
 878  ok41:
 879
 880   puts ("t: if (strcmp (p, \"foo\"))\n");
 881   if (strcmp (p, "foo")) goto ok42;
 882   return 1;
 883  ok42:
 884
 885   puts ("t: if (!0)\n");
 886   if (!0) goto ok5;
 887   return 1;
 888  ok5:
 889
 890   puts ("t: if (one == 1)\n");
 891   if (one == 1) goto ok6;
 892   return 1;
 893  ok6:
 894
 895   puts ("t: if (one != 0)\n");
 896   if (one != 0) goto ok7;
 897   return 1;
 898  ok7:
 899
 900   puts ("t: if (1 && !0)\n");
 901   if (1 && !0) goto ok8;
 902   return 1;
 903  ok8:
 904
 905   puts ("t: if (f || t)\n");
 906   if (f || t) goto ok80;
 907   return 1;
 908  ok80:
 909
 910   puts ("t: if (++i)\n");
 911   if (++i) goto ok9;
 912   return 1;
 913  ok9:
 914
 915   puts ("t: if (i--)\n");
 916   if (i--) goto ok10;
 917   return 1;
 918  ok10:
 919
 920   puts ("t: *g_chars == 'B'\n");
 921   arena[0] = 'B';
 922   if (*g_chars == 'B') goto ok11;
 923   return 1;
 924   ok11:
 925
 926   puts ("t: *x == 'B'\n");
 927   x = arena;
 928   if (*x == 'B') goto ok12;
 929   return 1;
 930  ok12:
 931
 932   puts ("t: *y == 'B'\n");
 933   y = g_chars;
 934   if (*y == 'B') goto ok13;
 935   return 1;
 936  ok13:
 937
 938   puts ("t: *x == 'R'\n");
 939   g_chars[0] = 'R';
 940   if (*x == 'R') goto ok14;
 941   return 1;
 942  ok14:
 943
 944   puts ("t: *x++ == 'C'\n");
 945   *x++ = c;
 946   if (*g_chars == 'C') goto ok15;
 947   return 1;
 948  ok15:
 949
 950   puts ("t: itoa (33) == \"33\"\n");
 951   if (strcmp (itoa (33), "33")) return 1;
 952
 953   puts ("strcmp (itoa (-1), \"-1\")\n");
 954   if (strcmp (itoa (-1), "-1")) return 1;
 955
 956   puts ("strcmp (itoa (0), \"0\")\n");
 957   if (strcmp (itoa (0), "0")) return 1;
 958
 959   puts ("strcmp (itoa (1), \"1\")\n");
 960   if (strcmp (itoa (1), "1")) return 1;
 961
 962   puts ("void_func ()\n");
 963   void_func ();
 964
 965   return string_test ();
 966 }
 967 #endif
 968
 969 int
 970 main (int argc, char *argv[])
 971 {
 972   char *p = "t.c\n";
 973   puts ("t.c\n");
 974
 975   puts ("t: argv[0] == \"out/t....\"\n");
 976   if (strncmp (argv[0], "out/t", 5)) return 1;
 977
 978   puts ("t: *argv\"\n");
 979   puts (*argv);
 980   puts ("\n");
 981
 982   puts ("t: if (argc > 1 && !strcmp (argv[1], \"--help\")\n");
 983   if (argc > 1 && !strcmp (argv[1], "--help")) return 1;
 984
 985   return test (p);
 986
 987   return 22;
 988 }