mirror of
https://github.com/frida/tinycc
synced 2024-11-28 18:43:07 +03:00
c2ad11ac70
This was causing assembler bugs in a tcc compiled by itself
at i386-asm.c:352 when ExprValue.v was changed to uint64_t:
if (op->e.v == (int8_t)op->e.v)
op->type |= OP_IM8S;
A general test case:
#include <stdio.h>
int main(int argc, char **argv)
{
long long ll = 4000;
int i = (char)ll;
printf("%d\n", i);
return 0;
}
Output was "4000", now "-96".
Also: add "asmtest2" as asmtest with tcc compiled by itself
237 lines
6.4 KiB
Makefile
237 lines
6.4 KiB
Makefile
#
|
|
# Tiny C Compiler Makefile - tests
|
|
#
|
|
|
|
TOP = ..
|
|
include $(TOP)/Makefile
|
|
VPATH = $(TOPSRC)/tests $(TOPSRC) $(TOP)
|
|
CFLAGS = -I$(TOPSRC) -I$(TOP)
|
|
|
|
# what tests to run
|
|
TESTS = \
|
|
hello-exe \
|
|
hello-run \
|
|
libtest \
|
|
test3 \
|
|
abitest \
|
|
vla_test-run \
|
|
tests2-dir \
|
|
pp-dir
|
|
|
|
BTESTS = test1b test3b btest
|
|
|
|
# test4 -- problem with -static
|
|
# asmtest / asmtest2 -- minor differences with gcc
|
|
# btest -- works on i386 (including win32)
|
|
|
|
# bounds-checking is supported only on i386
|
|
ifneq ($(ARCH),i386)
|
|
TESTS := $(filter-out $(BTESTS),$(TESTS))
|
|
endif
|
|
ifdef CONFIG_WIN32
|
|
TESTS := $(filter-out $(BTESTS),$(TESTS))
|
|
endif
|
|
ifeq ($(TARGETOS),Darwin)
|
|
TESTS := $(filter-out hello-exe test3 $(BTESTS),$(TESTS))
|
|
endif
|
|
ifeq (,$(filter arm64 i386 x86-64,$(ARCH)))
|
|
TESTS := $(filter-out vla_test-run,$(TESTS))
|
|
endif
|
|
ifeq ($(CONFIG_arm_eabi),yes)
|
|
TESTS := $(filter-out test3,$(TESTS))
|
|
endif
|
|
|
|
# run local version of tcc with local libraries and includes
|
|
TCCFLAGS = -B$(TOP) -I$(TOPSRC)/include -I$(TOPSRC) -I$(TOP)
|
|
ifdef CONFIG_WIN32
|
|
TCCFLAGS = -B$(TOPSRC)/win32 -I$(TOPSRC)/include -I$(TOPSRC) -I$(TOP) -L$(TOP)
|
|
PATH := $(CURDIR)/$(TOP):$(PATH) # for libtcc_test to find libtcc.dll
|
|
endif
|
|
|
|
TCC = $(TOP)/tcc $(TCCFLAGS)
|
|
RUN_TCC = $(NATIVE_DEFINES) -DONE_SOURCE -run $(TOPSRC)/tcc.c $(TCCFLAGS)
|
|
|
|
ifeq ($(TARGETOS),Darwin)
|
|
CFLAGS += -Wl,-flat_namespace,-undefined,warning
|
|
TCCFLAGS += -D_ANSI_SOURCE
|
|
export MACOSX_DEPLOYMENT_TARGET:=10.2
|
|
endif
|
|
|
|
DISAS = objdump -d
|
|
|
|
all test : clean-s $(TESTS)
|
|
|
|
hello-exe: ../examples/ex1.c
|
|
@echo ------------ $@ ------------
|
|
$(TCC) $< -o hello$(EXESUF) || ($(TOP)/tcc -vv; exit 1) && ./hello$(EXESUF)
|
|
|
|
hello-run: ../examples/ex1.c
|
|
@echo ------------ $@ ------------
|
|
$(TCC) -run $<
|
|
|
|
libtest: libtcc_test$(EXESUF)
|
|
@echo ------------ $@ ------------
|
|
./libtcc_test$(EXESUF) $(TCCFLAGS)
|
|
|
|
libtcc_test$(EXESUF): libtcc_test.c $(LIBTCC)
|
|
$(CC) -o $@ $^ $(CFLAGS) $(LIBS)
|
|
|
|
%-dir:
|
|
@echo ------------ $@ ------------
|
|
$(MAKE) -k -C $*
|
|
|
|
# test.ref - generate using cc
|
|
test.ref: tcctest.c
|
|
$(CC) -o tcctest.gcc $< $(NATIVE_DEFINES) $(CFLAGS) -w -O0 -std=gnu99 -fno-omit-frame-pointer
|
|
./tcctest.gcc > $@
|
|
|
|
# auto test
|
|
test1 test1b: tcctest.c test.ref
|
|
@echo ------------ $@ ------------
|
|
$(TCC) -run $< > test.out1
|
|
@diff -u test.ref test.out1 && echo "Auto Test OK"
|
|
|
|
# iterated test2 (compile tcc then compile tcctest.c !)
|
|
test2 test2b: tcctest.c test.ref
|
|
@echo ------------ $@ ------------
|
|
$(TCC) $(RUN_TCC) $(RUN_TCC) -run $< > test.out2
|
|
@diff -u test.ref test.out2 && echo "Auto Test2 OK"
|
|
|
|
# iterated test3 (compile tcc then compile tcc then compile tcctest.c !)
|
|
test3 test3b: tcctest.c test.ref
|
|
@echo ------------ $@ ------------
|
|
$(TCC) $(RUN_TCC) $(RUN_TCC) $(RUN_TCC) -run $< > test.out3
|
|
@diff -u test.ref test.out3 && echo "Auto Test3 OK"
|
|
|
|
test%b : TCCFLAGS += -b
|
|
|
|
# binary output test
|
|
test4: tcctest.c test.ref
|
|
@echo ------------ $@ ------------
|
|
# object + link output
|
|
$(TCC) -c -o tcctest3.o $<
|
|
$(TCC) -o tcctest3 tcctest3.o
|
|
./tcctest3 > test3.out
|
|
@if diff -u test.ref test3.out ; then echo "Object Auto Test OK"; fi
|
|
# dynamic output
|
|
$(TCC) -o tcctest1 $<
|
|
./tcctest1 > test1.out
|
|
@if diff -u test.ref test1.out ; then echo "Dynamic Auto Test OK"; fi
|
|
# dynamic output + bound check
|
|
$(TCC) -b -o tcctest4 $<
|
|
./tcctest4 > test4.out
|
|
@if diff -u test.ref test4.out ; then echo "BCheck Auto Test OK"; fi
|
|
# static output
|
|
$(TCC) -static -o tcctest2 $<
|
|
./tcctest2 > test2.out
|
|
@if diff -u test.ref test2.out ; then echo "Static Auto Test OK"; fi
|
|
|
|
# memory and bound check auto test
|
|
BOUNDS_OK = 1 4 8 10 14
|
|
BOUNDS_FAIL= 2 5 7 9 11 12 13 15
|
|
|
|
btest: boundtest.c
|
|
@echo ------------ $@ ------------
|
|
@for i in $(BOUNDS_OK); do \
|
|
echo ; echo --- boundtest $$i ---; \
|
|
if $(TCC) -b -run $< $$i ; then \
|
|
echo succeeded as expected; \
|
|
else\
|
|
echo Failed positive test $$i ; exit 1 ; \
|
|
fi ;\
|
|
done ;\
|
|
for i in $(BOUNDS_FAIL); do \
|
|
echo ; echo --- boundtest $$i ---; \
|
|
if $(TCC) -b -run $< $$i ; then \
|
|
echo Failed negative test $$i ; exit 1 ;\
|
|
else\
|
|
echo failed as expected; \
|
|
fi ;\
|
|
done ;\
|
|
echo; echo Bound test OK
|
|
|
|
# speed test
|
|
speedtest: ex2 ex3
|
|
@echo ------------ $@ ------------
|
|
time ./ex2 1238 2 3 4 10 13 4
|
|
time $(TCC) -run $(TOPSRC)/examples/ex2.c 1238 2 3 4 10 13 4
|
|
time ./ex3 35
|
|
time $(TCC) -run $(TOPSRC)/examples/ex3.c 35
|
|
|
|
weaktest: tcctest.c test.ref
|
|
$(TCC) -c $< -o weaktest.tcc.o
|
|
$(CC) -c $< -o weaktest.gcc.o -I. $(CFLAGS)
|
|
objdump -t weaktest.tcc.o | grep ' w ' | sed -e 's/.* \([a-zA-Z0-9_]*\)$$/\1/' | LC_ALL=C sort > weaktest.tcc.o.txt
|
|
objdump -t weaktest.gcc.o | grep ' w ' | sed -e 's/.* \([a-zA-Z0-9_]*\)$$/\1/' | LC_ALL=C sort > weaktest.gcc.o.txt
|
|
diff weaktest.gcc.o.txt weaktest.tcc.o.txt && echo "Weak Auto Test OK"
|
|
|
|
ex%: $(TOPSRC)/examples/ex%.c
|
|
$(CC) -o $@ $< $(CFLAGS)
|
|
|
|
# tiny assembler testing
|
|
asmtest.ref: asmtest.S
|
|
$(CC) -Wa,-W -o asmtest.ref.o -c asmtest.S
|
|
objdump -D asmtest.ref.o > asmtest.ref
|
|
|
|
asmtest asmtest2: asmtest.ref
|
|
@echo ------------ $@ ------------
|
|
$(TCC) $(MAYBE_RUN_TCC) -c asmtest.S
|
|
objdump -D asmtest.o > asmtest.out
|
|
@if diff -u --ignore-matching-lines="file format" asmtest.ref asmtest.out ; then echo "ASM Auto Test OK"; fi
|
|
|
|
# test assembler with tcc compiled by itself
|
|
asmtest2: MAYBE_RUN_TCC = $(RUN_TCC)
|
|
|
|
# Check that code generated by libtcc is binary compatible with
|
|
# that generated by CC
|
|
abitest-cc$(EXESUF): abitest.c $(LIBTCC)
|
|
$(CC) -o $@ $^ $(CFLAGS) $(LIBS) -w
|
|
|
|
abitest-tcc$(EXESUF): abitest.c libtcc.c
|
|
$(TCC) -o $@ $^ $(NATIVE_DEFINES) -DONE_SOURCE $(LIBS)
|
|
|
|
ABITESTS := abitest-cc$(EXESUF)
|
|
ifneq ($(CONFIG_arm_eabi),yes) # not ARM soft-float
|
|
ABITESTS += abitest-tcc$(EXESUF)
|
|
endif
|
|
|
|
abitest: $(ABITESTS)
|
|
@echo ------------ $@ ------------
|
|
./abitest-cc$(EXESUF) $(TCCFLAGS)
|
|
ifneq ($(CONFIG_arm_eabi),yes) # not ARM soft-float
|
|
./abitest-tcc$(EXESUF) $(TCCFLAGS)
|
|
endif
|
|
|
|
vla_test$(EXESUF): vla_test.c
|
|
$(TCC) -o $@ $^
|
|
|
|
vla_test-run: vla_test$(EXESUF)
|
|
@echo ------------ $@ ------------
|
|
./vla_test$(EXESUF)
|
|
|
|
# targets for development
|
|
%.bin: %.c tcc
|
|
$(TCC) -g -o $@ $<
|
|
$(DISAS) $@
|
|
|
|
instr: instr.o
|
|
objdump -d instr.o
|
|
|
|
instr.o: instr.S
|
|
$(CC) -o $@ -c $< -O2 -Wall -g
|
|
|
|
cache: tcc_g
|
|
cachegrind ./tcc_g -o /tmp/linpack -lm bench/linpack.c
|
|
vg_annotate tcc.c > /tmp/linpack.cache.log
|
|
|
|
# clean
|
|
clean:
|
|
rm -f *~ *.o *.a *.bin *.i *.ref *.out *.out? *.out?b *.cc *.gcc \
|
|
*-cc *-gcc *-tcc *.exe hello libtcc_test vla_test tcctest[1234] ex? tcc_g
|
|
$(MAKE) -C tests2 $@
|
|
$(MAKE) -C pp $@
|
|
|
|
# silent clean, used before running tests
|
|
clean-s:
|
|
@$(MAKE) -s --no-print-directory clean
|