Александр Петров
61d4255091
Обвязка для быстрых тестов plain-C логики: секунды вместо прогона в MAME, без образа диска. ucsim_z80 идёт в комплекте нашего SDCC — новых зависимостей нет. ПОЧЕМУ ПОД Z80, А НЕ ХОСТОВЫМ GCC. У SDCC z80 int 16 бит, у хоста 32, и расходится это НЕ в объявлениях, а в выражениях: integer promotion повышает операнды до int независимо от того, объявлены они как uint8_t или uint16_t. Перевод кода на фиксированные типы разницу не убирает — убирает только исполнение с z80-семантикой. Побочно проверяется кодогенерация SDCC и модули с inline-asm, которых хостовая сборка не видит в принципе. Устройство: crt0_ucsim.s (SP, зануление, main, halt), tcheck.* (итог в структуру в ОЗУ), run_ucsim.py (гоняет ucsim, дампит tc_result, печатает отчёт), host-tests.mk (общие правила). Вывода через printf нет: тестовый бинарь линкуется без Sprinter-libc. Через ucsim-simif не идём — номера его команд плавают между версиями, halt + dump работают везде. Наборы лежат РЯДОМ с проверяемым кодом, обвязка общая: testkit/t_selftest.c — самопроверка (sizeof(int)==2) applications/PoP/roomtest/tests-host/ — движок PoP Первый содержательный набор — t_geom: сверяет рукописный asm-LCG из pop_geom.c с наивной 32-битной формулой на 128 шагах. Заявка «бит-в-бит как в SDLPoP» до сих пор держалась на комментарии. Тест проверен мутацией: порча эталонной константы даёт красный. Планы дальнейшего покрытия: docs/host-tests-plan.md — libc и libbgi (не начато) applications/PoP/docs/host_tests_plan.md — движок PoP Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
46 lines
1.6 KiB
C
46 lines
1.6 KiB
C
/*
|
|
* t_smoke.c — проверка самого каркаса, а не движка.
|
|
*
|
|
* Главное здесь — TC_EQ(sizeof(int), 2): она доказывает, что тест реально
|
|
* исполняется с z80-семантикой, а не собран хостовым компилятором. Ради
|
|
* этого весь прогон под ucsim и затевался (см. обсуждение 16/32 бит).
|
|
*/
|
|
#include "tcheck.h"
|
|
|
|
TC_TEST(smoke_z80_widths)
|
|
{
|
|
TC_EQ(sizeof(int), 2); /* мы под z80, int 16 бит */
|
|
TC_EQ(sizeof(void *), 2);
|
|
TC_EQ(sizeof(long), 4);
|
|
}
|
|
|
|
TC_TEST(smoke_arith)
|
|
{
|
|
static volatile uint8_t a, b; /* volatile: иначе SDCC свернёт всё
|
|
* в константу и тест ничего не
|
|
* проверит (warning 110) */
|
|
int16_t s;
|
|
a = 200; b = 100;
|
|
s = (int16_t)(a + b); /* байты повышаются до int */
|
|
TC_EQ(s, 300);
|
|
TC_EQ((uint8_t)(a + b), 44); /* явный заворот в байт */
|
|
}
|
|
|
|
TC_TEST(smoke_wraparound_is_16bit)
|
|
{
|
|
/* Ровно тот случай, который на хосте посчитался бы в 32 битах:
|
|
* здесь заворот обязан произойти. */
|
|
static volatile uint16_t a, b;
|
|
a = 60000; b = 10000;
|
|
TC_EQ((uint16_t)(a + b), 4464);
|
|
TC_TRUE((uint16_t)(a + b) < 65000);
|
|
}
|
|
|
|
int main(void)
|
|
{
|
|
TC_RUN(smoke_z80_widths);
|
|
TC_RUN(smoke_arith);
|
|
TC_RUN(smoke_wraparound_is_16bit);
|
|
return 0;
|
|
}
|