b4d1c40aa8
* stage0/x86.M1 (ja32, jae32, jb32, jbe32): New macro. * module/mes/as-i386.mes (i386:jump-a, i386:jump-ae, i386:jump-b, i386:jump-be): Use it in new function. * module/mes/as-i386.scm: Export them. * module/language/c99/compiler.mes (test-jump-label->info): Use them to support unsigned comparison. * scaffold/tests/7s-unsigned-compare.c: Test it. * build-aux/check-mescc.sh (tests): Run it.
212 lines
3.7 KiB
C
212 lines
3.7 KiB
C
/* -*-comment-start: "//";comment-end:""-*-
|
|
* Mes --- Maxwell Equations of Software
|
|
* Copyright © 2017,2018 Jan (janneke) 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 isid(char c) {
|
|
return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || c == '_';
|
|
}
|
|
|
|
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 2;
|
|
|
|
puts ("t: if (1 != one)\n");
|
|
if (1 != one) return 3;
|
|
|
|
puts ("t: if (one > 1)\n");
|
|
if (one > 1) return 4;
|
|
|
|
puts ("t: if (one < 0)\n");
|
|
if (one < 0) return 5;
|
|
|
|
puts ("t: if (one <= 0)\n");
|
|
if (one <= 0) return 6;
|
|
|
|
puts ("t: if (one >= 2)\n");
|
|
if (one >= 2) return 7;
|
|
|
|
puts ("t: if (!1)\n");
|
|
if (!1) return 8;
|
|
|
|
puts ("t: if (one == 0)\n");
|
|
if (one == 0) return 9;
|
|
|
|
puts ("t: if (f != 0)\n");
|
|
if (one != 1) return 10;
|
|
|
|
puts ("t: if (1)\n");
|
|
if (1) goto ok0;
|
|
return 111;
|
|
ok0:
|
|
|
|
puts ("t: if (0); return 1; else;\n");
|
|
if (0) return 12; else goto ok1;
|
|
ok1:
|
|
|
|
puts ("t: if (t)\n");
|
|
if (t) goto ok2;
|
|
return 13;
|
|
ok2:
|
|
|
|
puts ("t: if (one > 0)\n");
|
|
if (one > 0) goto ok3;
|
|
return 14;
|
|
ok3:
|
|
|
|
puts ("t: if (one < 2)\n");
|
|
if (one < 2) goto ok4;
|
|
return 15;
|
|
ok4:
|
|
|
|
puts ("t: if (one >= 0)\n");
|
|
if (one >= 0) goto ok5;
|
|
return 16;
|
|
ok5:
|
|
|
|
puts ("t: if (one >= 1)\n");
|
|
if (one >= 0) goto ok6;
|
|
return 17;
|
|
ok6:
|
|
|
|
puts ("t: if (one <= 2)\n");
|
|
if (one <= 2) goto ok7;
|
|
return 18;
|
|
ok7:
|
|
|
|
puts ("t: if (one <= 1)\n");
|
|
if (one <= 1) goto ok8;
|
|
return 19;
|
|
ok8:
|
|
|
|
puts ("t: if (!0)\n");
|
|
if (!0) goto ok9;
|
|
return 20;
|
|
ok9:
|
|
|
|
puts ("t: if (one == 1)\n");
|
|
if (one == 1) goto ok10;
|
|
return 21;
|
|
ok10:
|
|
|
|
puts ("t: if (one != 0)\n");
|
|
if (one != 0) goto ok11;
|
|
return 22;
|
|
ok11:
|
|
;
|
|
|
|
int m1 = -1;
|
|
int i;
|
|
|
|
puts ("t: i = one > 0\n");
|
|
i = one > 0;
|
|
if (!i) return 23;
|
|
|
|
puts ("t: i = one >= 1\n");
|
|
i = one >= 1;
|
|
if (!i) return 24;
|
|
|
|
puts ("t: i = one < 2\n");
|
|
i = one < 2;
|
|
if (!i) return 25;
|
|
|
|
puts ("t: i = one <= 1\n");
|
|
i = one <= 1;
|
|
if (!i) return 26;
|
|
|
|
|
|
puts ("t: i = 0 > one\n");
|
|
i = 0 > one;
|
|
if (i) return 27;
|
|
|
|
puts ("t: i = 0 >= one\n");
|
|
i = 0 >= one;
|
|
if (i) return 28;
|
|
|
|
puts ("t: i = 1 < one \n");
|
|
i = 1 < one;
|
|
if (i) return 29;
|
|
|
|
puts ("t: i = 2 <= one\n");
|
|
i = 2 <= one;
|
|
if (i) return 30;
|
|
|
|
|
|
puts ("t: i = m1 > -2\n");
|
|
i = m1 > -2;
|
|
if (!i) return 31;
|
|
|
|
puts ("t: i = m1 >= -1\n");
|
|
i = m1 >= -1;
|
|
if (!i) return 32;
|
|
|
|
puts ("t: i = m1 < 0\n");
|
|
i = m1 < 0;
|
|
if (!i) return 33;
|
|
|
|
puts ("t: i = m1 <= -1\n");
|
|
i = m1 <= -1;
|
|
if (!i) return 34;
|
|
|
|
|
|
puts ("t: i = -1 > m1\n");
|
|
i = -1 > m1;
|
|
if (i) return 35;
|
|
|
|
puts ("t: i = -2 >= m1\n");
|
|
i = -2 >= m1;
|
|
if (i) return 36;
|
|
|
|
puts ("t: i = -1 < m1 \n");
|
|
i = -1 < m1;
|
|
if (i) return 37;
|
|
|
|
puts ("t: i = -2 <= m1\n");
|
|
i = 0 <= m1;
|
|
if (i) return 38;
|
|
|
|
|
|
puts ("t: isid (0)\n");
|
|
if (isid (0)) return 39;
|
|
|
|
puts ("t: isid (6)\n");
|
|
|
|
if (isid (6)) return 40;
|
|
|
|
puts ("t: isid (a)\n");
|
|
if (isid ('a') != 1) return 41;
|
|
|
|
puts ("t: isid ( )\n");
|
|
if (isid (' ')) return 42;
|
|
|
|
return 0;
|
|
}
|