mirror of
git://repo.or.cz/tinycc.git
synced 2026-11-04 21:26:36 +08:00
43158eaa71
An input shared object can be the only place where a conventional boundary name is referenced or defined. In that case the regular symbol table has no entry, but native ELF linkers still synthesize the executable definition so that it participates in dynamic symbol resolution. Consult the input dynamic symbol table before treating a plain boundary name as unreferenced. Exercise the case with a DSO-defined end symbol whose address must be interposed by the executable's final boundary.
286 lines
9.7 KiB
Makefile
286 lines
9.7 KiB
Makefile
TOP = ../..
|
|
include $(TOP)/Makefile
|
|
SRC = $(TOPSRC)/tests/tests2
|
|
VPATH = $(SRC)
|
|
|
|
TESTS = $(patsubst %.c,%.test,\
|
|
$(sort $(notdir $(wildcard $(SRC)/??_*.c)))\
|
|
$(sort $(notdir $(wildcard $(SRC)/???_*.c))))
|
|
|
|
# some tests do not pass on all platforms, remove them for now
|
|
SKIP = 34_array_assignment.test # array assignment is not in C standard
|
|
ifeq (-$(CONFIG_arm_eabi)-$(CONFIG_arm_vfp)-,-yes--)
|
|
SKIP += 22_floating_point.test
|
|
endif
|
|
ifeq (,$(filter i386,$(ARCH)))
|
|
SKIP += 98_al_ax_extend.test 99_fastcall.test
|
|
endif
|
|
ifeq (,$(filter x86_64 riscv64 arm64 i386,$(ARCH)))
|
|
SKIP += 146_tls_extern.test # TLS only implemented on these architectures
|
|
endif
|
|
ifeq (,$(filter i386 x86_64,$(ARCH)))
|
|
SKIP += 85_asm-outside-function.test # x86 asm
|
|
SKIP += 127_asm_goto.test # hardcodes x86 asm
|
|
endif
|
|
ifeq ($(CONFIG_backtrace),no)
|
|
SKIP += 113_btdll.test
|
|
CONFIG_bcheck = no
|
|
# no bcheck without backtrace
|
|
endif
|
|
ifeq ($(CONFIG_bcheck),no)
|
|
SKIP += 112_backtrace.test
|
|
SKIP += 114_bound_signal.test
|
|
SKIP += 115_bound_setjmp.test
|
|
SKIP += 116_bound_setjmp2.test
|
|
SKIP += 117_builtins.test
|
|
SKIP += 126_bound_global.test
|
|
SKIP += 132_bound_test.test
|
|
endif
|
|
ifeq ($(CONFIG_dll),no)
|
|
SKIP += 113_btdll.test 147_def_library.test # no shared lib support yet
|
|
SKIP += 149_end_copy_reloc.test 151_dso_linker_symbol.test
|
|
endif
|
|
ifeq (-$(findstring gcc,$(CC))-,--)
|
|
SKIP += $(patsubst %.expect,%.test,$(GEN-ALWAYS))
|
|
endif
|
|
ifeq ($(CC_NAME),tcc)
|
|
SKIP += 146_tls_extern.test 150_linker_boundaries.test # needs external tools
|
|
endif
|
|
ifeq (-$(CONFIG_WIN32)-$(CONFIG_i386)$(CONFIG_arm)-,--yes-)
|
|
SKIP += 95_bitfields%.test # type_align is different on 32bit-non-windows
|
|
endif
|
|
ifeq (-$(CONFIG_WIN32)-,-yes-)
|
|
SKIP += 106_versym.test # No pthread support
|
|
SKIP += 114_bound_signal.test # No pthread support
|
|
SKIP += 117_builtins.test # win32 port doesn't define __builtins
|
|
SKIP += 124_atomic_counter.test # No pthread support
|
|
SKIP += 144_tls.test 146_tls_extern.test # TLS runtime not supported
|
|
SKIP += 148_linker_symbols.test 149_end_copy_reloc.test # ELF linker tests
|
|
SKIP += 150_linker_boundaries.test 151_dso_linker_symbol.test
|
|
endif
|
|
ifneq (,$(filter OpenBSD FreeBSD NetBSD,$(TARGETOS)))
|
|
SKIP += 106_versym.test # no pthread_condattr_setpshared
|
|
SKIP += 114_bound_signal.test # libc problem signal/fork
|
|
SKIP += 116_bound_setjmp2.test # No TLS_FUNC/TLS_VAR in bcheck.c
|
|
SKIP += 144_tls.test 146_tls_extern.test # No tls support
|
|
endif
|
|
ifeq ($(TARGETOS),DragonFly)
|
|
SKIP += 144_tls.test 146_tls_extern.test # TLS runtime not supported
|
|
endif
|
|
ifeq ($(CONFIG_OSX),yes)
|
|
SKIP += 144_tls.test 146_tls_extern.test # TLS runtime not supported on Mach-O
|
|
SKIP += 148_linker_symbols.test 149_end_copy_reloc.test # ELF linker tests
|
|
SKIP += 150_linker_boundaries.test 151_dso_linker_symbol.test
|
|
endif
|
|
ifeq ($(CONFIG_pie),yes)
|
|
SKIP += 149_end_copy_reloc.test # PIE executables do not use copy relocations
|
|
endif
|
|
ifeq (-$(ARCH)-,-arm-)
|
|
SKIP += 144_tls.test 146_tls_extern.test # doesn't work currently
|
|
endif
|
|
ifneq (-$(ARCH)-,-arm64-)
|
|
SKIP += 138_arm64_encoding.test
|
|
SKIP += 139_arm64_errors.test
|
|
SKIP += 140_arm64_extasm.test
|
|
endif
|
|
ifneq (-$(ARCH)-,-riscv64-)
|
|
SKIP += 141_riscv_asm.test # riscv64 asm
|
|
endif
|
|
ifneq (-$(ARCH)-$(CONFIG_WIN32)-,-arm64-yes-)
|
|
SKIP += 145_winarm64_interlocked.test
|
|
endif
|
|
ifneq ($(CONFIG_WIN32),yes)
|
|
SKIP += 147_def_library.test
|
|
endif
|
|
|
|
# Some tests might need arguments
|
|
ARGS =
|
|
31_args.test : ARGS = arg1 arg2 arg3 arg4 arg5
|
|
46_grep.test : ARGS = '[^* ]*[:a:d: ]+\:\*-/: $$' $(SRC)/46_grep.c
|
|
|
|
# And some tests don't test the right thing with -run
|
|
NORUN =
|
|
42_function_pointer.test : NORUN = true
|
|
# riscv64 asm tests validate encoding, raw regs may crash at runtime
|
|
|
|
# Some tests might need different flags
|
|
FLAGS =
|
|
76_dollars_in_identifiers.test : FLAGS += -fdollars-in-identifiers
|
|
ifneq (-$(CONFIG_WIN32)-,-yes-)
|
|
22_floating_point.test: FLAGS += -lm
|
|
24_math_library.test: FLAGS += -lm
|
|
endif
|
|
|
|
# These tests run several snippets from the same file one by one
|
|
60_errors_and_warnings.test : FLAGS += -dt
|
|
96_nodata_wanted.test : FLAGS += -dt
|
|
139_arm64_errors.test : FLAGS += -dt
|
|
|
|
GEN-ALWAYS =
|
|
# GEN-ALWAYS += 95_bitfields.expect # does not work
|
|
|
|
# using the ms compiler for the really ms-compatible bitfields
|
|
95_bitfields_ms.test : GEN = $(GEN-MSC)
|
|
|
|
# this test compiles/links two files:
|
|
104_inline.test : FLAGS += $(subst 104,104+,$1)
|
|
104_inline.test : GEN = $(GEN-TCC)
|
|
|
|
# this test needs two files, and we want to invoke the linker
|
|
120_alias.test : FLAGS += $(subst 120,120+,$1)
|
|
120_alias.test : GEN = $(GEN-TCC)
|
|
120_alias.test : NORUN = true
|
|
|
|
# this test needs pthread
|
|
106_versym.test: FLAGS += -pthread
|
|
106_versym.test: NORUN = true
|
|
|
|
# constructor/destructor
|
|
108_constructor.test: NORUN = true
|
|
|
|
# TLS needs executable and pthread, not -run
|
|
144_tls.test: FLAGS += -pthread
|
|
144_tls.test: NORUN = true
|
|
|
|
# Verify that undefined TLS symbols in TCC objects work with the system linker.
|
|
146_tls_extern.test: NORUN = true
|
|
146_tls_extern.test: T1 = \
|
|
$(TCC) -c $1 -o 146_tls_extern-main.o && \
|
|
$(TCC) -c $(subst 146,146+,$1) -o 146_tls_extern-def.o && \
|
|
$(CC) -no-pie -Wl,-z,noexecstack 146_tls_extern-main.o \
|
|
146_tls_extern-def.o -o $(basename $@).exe && \
|
|
./$(basename $@).exe
|
|
|
|
# Check optional ELF linker symbols, including references from an archive.
|
|
148_linker_symbols.test: NORUN = true
|
|
148_linker_symbols.test: T1 = ( \
|
|
$(TCC) -c $(subst 148,148+,$1) -o 148_linker_symbols.o && \
|
|
$(AR) rcs 148_linker_symbols.a 148_linker_symbols.o && \
|
|
$(TCC) $1 148_linker_symbols.a -o $(basename $@).exe && \
|
|
./$(basename $@).exe && \
|
|
$(TCC) $(subst 148,148+override,$1) -o 148_linker_symbols-override.exe && \
|
|
./148_linker_symbols-override.exe \
|
|
)
|
|
|
|
# Copy relocations must be included in the final end symbols.
|
|
149_end_copy_reloc.test: NORUN = true
|
|
149_end_copy_reloc.test: T1 = ( \
|
|
$(TCC) -shared $(subst 149,149+,$1) -o 149_end_copy_reloc$(DLLSUF) && \
|
|
$(TCC) $1 ./149_end_copy_reloc$(DLLSUF) -Wl,-rpath=. \
|
|
-o $(basename $@).exe && \
|
|
./$(basename $@).exe && \
|
|
$(TCC) $(subst 149,149+override,$1) ./149_end_copy_reloc$(DLLSUF) \
|
|
-Wl,-rpath=. -o 149_end_copy_reloc-override.exe && \
|
|
./149_end_copy_reloc-override.exe \
|
|
)
|
|
|
|
# Boundary symbols must cover separately named sections from external objects.
|
|
150_linker_boundaries.test: NORUN = true
|
|
150_linker_boundaries.test: T1 = ( \
|
|
$(CC) -fno-pic -fno-pie -c $(subst 150,150+,$1) \
|
|
-o 150_linker_boundaries.o && \
|
|
$(TCC) $1 150_linker_boundaries.o -o $(basename $@).exe && \
|
|
./$(basename $@).exe \
|
|
)
|
|
|
|
# A linker symbol needed only by a DSO must be provided by the executable.
|
|
151_dso_linker_symbol.test: NORUN = true
|
|
151_dso_linker_symbol.test: T1 = ( \
|
|
$(TCC) -shared $(subst 151,151+,$1) -o 151_dso_linker_symbol$(DLLSUF) && \
|
|
$(TCC) $1 ./151_dso_linker_symbol$(DLLSUF) -Wl,-rpath=. \
|
|
-o $(basename $@).exe && \
|
|
./$(basename $@).exe \
|
|
)
|
|
|
|
112_backtrace.test: FLAGS += -dt -b
|
|
112_backtrace.test 113_btdll.test 126_bound_global.test: FILTER += \
|
|
-e 's;[0-9A-Fa-fx]\{5,\};........;g' \
|
|
-e 's;0x[0-9A-Fa-f]\{1,\};0x?;g'
|
|
|
|
# this test creates two DLLs and an EXE
|
|
113_btdll.test: T1 = \
|
|
$(TCC) -bt $1 -shared -D DLL=1 -o a1$(DLLSUF) && \
|
|
$(TCC) -bt $1 -shared -D DLL=2 -o a2$(DLLSUF) && \
|
|
$(TCC) -bt $1 a1$(DLLSUF) a2$(DLLSUF) -Wl,-rpath=. -o $(basename $@).exe && \
|
|
./$(basename $@).exe
|
|
|
|
# Verify quoted LIBRARY names and the default .dll extension in DEF files.
|
|
147_def_library.test: T1 = \
|
|
cp $(SRC)/147_def_library.def.in 147_def_library.def && \
|
|
$(TCC) -D DEF_LIBRARY_DLL -shared $1 -o "def library test.dll" && \
|
|
$(TCC) $1 147_def_library.def -o $(basename $@).exe && \
|
|
grep -a -q "def library test.dll" $(basename $@).exe && \
|
|
./$(basename $@).exe
|
|
|
|
114_bound_signal.test: FLAGS += -b
|
|
114_bound_signal.test: NORUN = true # tcc -run does not support fork and -b and SELINUX
|
|
115_bound_setjmp.test: FLAGS += -b
|
|
116_bound_setjmp2.test: FLAGS += -b
|
|
117_builtins.test: T1 = ( $(TCC) -run $1 && $(TCC) -b -run $1 )
|
|
ifneq ($(CONFIG_bcheck),no)
|
|
121_struct_return.test: FLAGS += -b
|
|
122_vla_reuse.test: FLAGS += -b
|
|
endif
|
|
125_atomic_misc.test: FLAGS += -dt
|
|
124_atomic_counter.test: FLAGS += -pthread
|
|
126_bound_global.test: FLAGS += -b
|
|
126_bound_global.test: NORUN = true
|
|
128_run_atexit.test: FLAGS += -dt
|
|
132_bound_test.test: FLAGS += -b
|
|
140_arm64_extasm.test: GEN = $(GEN-TCC)
|
|
141_riscv_asm.test: GEN = $(GEN-TCC)
|
|
|
|
# Filter source directory in warnings/errors (out-of-tree builds)
|
|
FILTER = 2>&1 | sed -e 's,$(SRC)/,,g'
|
|
|
|
all test tests2.all: $(filter-out $(SKIP),$(TESTS))
|
|
@$(MAKE) clean --no-print-directory -s
|
|
|
|
%.test: %.c %.expect
|
|
@echo Test: $*...
|
|
@$(call T1,$<) $(T3)
|
|
|
|
T1 = $(TCC) $(FLAGS) $(T2) $(ARGS)
|
|
T2 = $(if $(NORUN),$1 -o $(basename $@).exe && ./$(basename $@).exe,-run $1)
|
|
T3 = $(FILTER) >$*.output 2>&1 || true \
|
|
&& diff -Nbu $(filter %.expect,$^) $*.output \
|
|
&& rm -f $*.output $(filter $*.expect,$(GEN-ALWAYS))
|
|
|
|
# run single test and update .expect file, e.g. "make tests2.37+"
|
|
tests2.%+:
|
|
@$(MAKE) $(call F2,$(call F1,$*)) --no-print-directory
|
|
|
|
# just run tcc to see the output, e.g. "make tests2.37-"
|
|
tests2.%-:
|
|
@$(MAKE) $(call F1,$*) T3= --no-print-directory
|
|
|
|
# run single test, e.g. "make tests2.37"
|
|
tests2.%:
|
|
@$(MAKE) $(call F1,$*) --no-print-directory
|
|
|
|
F1 = $(or $(filter $1_%,$(TESTS)),$1_???.test)
|
|
F2 = $1 UPDATE="$(patsubst %.test,%.expect,$1)"
|
|
|
|
# automatically generate .expect files with gcc:
|
|
%.expect :
|
|
@echo Generating: $@
|
|
@$(call GEN,$(SRC)/$*.c) $(FILTER) >$@ 2>&1
|
|
@rm -f *.exe *.obj *.pdb
|
|
|
|
# using TCC for .expect if -dt in FLAGS
|
|
GEN = $(if $(filter -dt -bt -b,$(FLAGS)),$(GEN-TCC),$(GEN-CC))
|
|
GEN-CC = $(CC) -w -std=gnu99 $(FLAGS) $1 -o $(basename $@).exe && ./$(basename $@).exe $(ARGS)
|
|
GEN-TCC = $(T1)
|
|
GEN-MSC = $(MS-CC) $1 && ./$(basename $@).exe
|
|
MS-CC = cl
|
|
|
|
# tell make not to delete
|
|
.PRECIOUS: %.expect
|
|
|
|
# force .expect generation for these files
|
|
$(sort $(GEN-ALWAYS) $(UPDATE)) : force
|
|
force:
|
|
|
|
clean :
|
|
rm -f fred.txt *.output *.o *.a *.exe *.dll *.so *.def $(GEN-ALWAYS)
|