64db2eaf7d
* make.scm (check-scaffold, check-scaffold-tests): New targets. * mlibc/include/00-test.i: New file. * mlibc/include/30-test.i: New file. * mlibc/mini-libc-mes.c (puts): New function. * scaffold/tests/00-exit-0.c: : New file. * scaffold/tests/01-return-0.c: : New file. * scaffold/tests/02-return-1.c: : New file. * scaffold/tests/03-call.c: : New file. * scaffold/tests/04-call-0.c: : New file. * scaffold/tests/05-call-1.c: : New file. * scaffold/tests/06-call-!1.c: : New file. * scaffold/tests/10-if-0.c: : New file. * scaffold/tests/11-if-1.c: : New file. * scaffold/tests/12-if-==.c: : New file. * scaffold/tests/13-if-!=.c: : New file. * scaffold/tests/14-if-goto.c: : New file. * scaffold/tests/15-if-!f.c: : New file. * scaffold/tests/16-if-t.c: : New file. * scaffold/tests/20-while.c: : New file. * scaffold/tests/21-char[].c: : New file. * scaffold/tests/22-while-char[].c: : New file. * scaffold/tests/30-strlen.c: : New file. * scaffold/tests/31-eputs.c: : New file. * scaffold/tests/32-compare.c: : New file. * scaffold/tests/33-and-or.c: : New file. * scaffold/tests/34-pre-post.c: : New file. * scaffold/tests/35-compare-char.c: : New file. * scaffold/tests/36-compare-arithmetic.c: : New file. * scaffold/tests/37-compare-assign.c: : New file. * scaffold/tests/38-compare-call.c: : New file. * scaffold/tests/40-if-else.c: : New file. * scaffold/tests/41-?.c: : New file. * scaffold/tests/42-goto-label.c: : New file. * scaffold/tests/43-for-do-while.c: : New file. * scaffold/tests/44-switch.c: : New file. * scaffold/tests/45-void-call.c: : New file. * scaffold/tests/50-assert.c: : New file. * scaffold/tests/51-strcmp.c: : New file. * scaffold/tests/52-itoa.c: : New file. * scaffold/tests/53-strcpy.c: : New file. * scaffold/tests/54-argv.c: : New file. * scaffold/tests/60-math.c: : New file. * scaffold/tests/61-array.c: : New file. * scaffold/tests/63-struct-cell.c: : New file. * scaffold/tests/64-make-cell.c: : New file. * scaffold/tests/65-read.c: : New file. * scaffold/tests/66-struct-array.c: : New file. * scaffold/t.c: Remove. * scaffold/t-tcc.c: Remove.
123 lines
2.3 KiB
C
123 lines
2.3 KiB
C
/* -*-comment-start: "//";comment-end:""-*-
|
|
* Mes --- Maxwell Equations of Software
|
|
* Copyright © 2017 Jan Nieuwenhuizen <janneke@gnu.org>
|
|
*
|
|
* This file is part of Mes.
|
|
*
|
|
* Mes is free software; you can redistribute it and/or modify it
|
|
* under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 3 of the License, or (at
|
|
* your option) any later version.
|
|
*
|
|
* Mes is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with Mes. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include "30-test.i"
|
|
#include <stdio.h>
|
|
|
|
int
|
|
test ()
|
|
{
|
|
int f = 0;
|
|
int t = 1;
|
|
int one = t;
|
|
|
|
puts ("\n");
|
|
puts ("t: if (f)\n");
|
|
if (f) return 1;
|
|
|
|
puts ("t: if (one != 1)\n");
|
|
if (one != 1) return 1;
|
|
|
|
puts ("t: if (1 != one)\n");
|
|
if (1 != one) return 1;
|
|
|
|
puts ("t: if (one > 1)\n");
|
|
if (one > 1) return 1;
|
|
|
|
puts ("t: if (one < 0)\n");
|
|
if (one < 0) return 1;
|
|
|
|
puts ("t: if (one <= 0)\n");
|
|
if (one <= 0) return 1;
|
|
|
|
puts ("t: if (one >= 2)\n");
|
|
if (one >= 2) return 1;
|
|
|
|
puts ("t: if (!1)\n");
|
|
if (!1) return 1;
|
|
|
|
puts ("t: if (one == 0)\n");
|
|
if (one == 0) return 1;
|
|
|
|
puts ("t: if (f != 0)\n");
|
|
if (one != 1) return 1;
|
|
|
|
puts ("t: if (1)\n");
|
|
if (1) goto ok0;
|
|
return 1;
|
|
ok0:
|
|
|
|
puts ("t: if (0); return 1; else;\n");
|
|
if (0) return 1; else goto ok1;
|
|
ok1:
|
|
|
|
puts ("t: if (t)\n");
|
|
if (t) goto ok2;
|
|
return 1;
|
|
ok2:
|
|
|
|
puts ("t: if (one > 0)\n");
|
|
if (one > 0) goto ok3;
|
|
return 1;
|
|
ok3:
|
|
|
|
puts ("t: if (one < 2)\n");
|
|
if (one < 2) goto ok4;
|
|
return 1;
|
|
ok4:
|
|
|
|
puts ("t: if (one >= 0)\n");
|
|
if (one >= 0) goto ok5;
|
|
return 1;
|
|
ok5:
|
|
|
|
puts ("t: if (one >= 1)\n");
|
|
if (one >= 0) goto ok6;
|
|
return 1;
|
|
ok6:
|
|
|
|
puts ("t: if (one <= 2)\n");
|
|
if (one <= 2) goto ok7;
|
|
return 1;
|
|
ok7:
|
|
|
|
puts ("t: if (one <= 1)\n");
|
|
if (one <= 1) goto ok8;
|
|
return 1;
|
|
ok8:
|
|
|
|
puts ("t: if (!0)\n");
|
|
if (!0) goto ok9;
|
|
return 1;
|
|
ok9:
|
|
|
|
puts ("t: if (one == 1)\n");
|
|
if (one == 1) goto ok10;
|
|
return 1;
|
|
ok10:
|
|
|
|
puts ("t: if (one != 0)\n");
|
|
if (one != 0) goto ok11;
|
|
return 1;
|
|
ok11:
|
|
|
|
return 0;
|
|
}
|