artemist/mes
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

lib/tests: 50-compare-rotated-weird.c: Add test for RV reloc

Browse source 
We detected the value in off64 in the test is not -1 as it should but 56
ones. This is because the rotation is applied as unsigned even with the
signed cast. This breaks many things in tcc.

* lib/tests/scaffold/50-compare-rotated-weird.c: New file.
* build-aux/check-mescc.sh (mes_tests): Add it.
This commit is contained in:
Ekaitz Zarraga 2023-09-11 00:39:51 +02:00 committed by Janneke Nieuwenhuizen
parent 63beaa3dfe
commit 72ec66bd86
2 changed files with 41 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
build-aux/check-mescc.sh
View file

@ -107,6 +107,7 @@ lib/tests/scaffold/47-function-expression.c
lib/tests/scaffold/48-global-static.c
lib/tests/assert/50-assert.c
lib/tests/mes/50-itoa.c
lib/tests/scaffold/50-compare-rotated-weird.c
lib/tests/posix/50-getenv.c
lib/tests/stdlib/50-malloc.c
lib/tests/string/50-memcmp.c

40
lib/tests/scaffold/50-compare-rotated-weird.c Normal file
View file

@ -0,0 +1,40 @@
/* -*-comment-start: "//";comment-end:""-*-
* GNU Mes --- Maxwell Equations of Software
* Copyright © 2023 Ekaitz Zarraga <ekaitz@elenq.tech>
*
* This file is part of GNU Mes.
*
* GNU 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.
*
* GNU 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 GNU Mes. If not, see <http://www.gnu.org/licenses/>.
*/
#include <stdint.h>
#include <mes/lib.h>
#include <string.h>
int
main ()
{
uint64_t val = 0x27c1c;
uint64_t addr = 0x28bb4;
uint64_t off64 = (int64_t)((int64_t)(val - addr + 0x800) >> 12);
uint64_t cond = (off64 + ((uint64_t)1 << 20)) >> 21;
if (cond)
{
eputs ("failure: ");
eputs (itoa (cond));
eputs ("\n");
return 2;
}
return 0;
}