blob: e6475fa244ca0370fbab5fc3a8deea08ed67aea3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
all:
.SECONDARY:
INCLUDES=-I csmith/include/csmith-2.3.0/
TARGET_CCOMP=../../../ccomp
TARGET_CC=kvx-cos-gcc
ifndef EXECUTE
EXECUTE=timeout 10s kvx-cluster --
endif
CFLAGS += -Wno-incompatible-pointer-types
ifndef CSMITH
CSMITH=csmith/bin/csmith
endif
CSMITHOPT=--max-funcs 10
MAX=10000
PREFIX=ran%06.f
CCOMPOTS=-static
CCOMPFLAGS+= -fstruct-passing -fbitfields -fno-cse2 -stdlib ../../../runtime
TESTS_C=$(shell seq --format $(PREFIX)/source.c 1 $(MAX))
TESTS_CCOMP_TARGET_S=$(TEST_C:.c=.ccomp.target.s)
TESTS_GCC_TARGET_S=$(TEST_C:.c=.gcc.target.s)
TESTS_GCC_HOST_S=$(TEST_C:.c=.gcc.host.s)
TESTS_CCOMP_TARGET_OUT=$(shell seq --format $(PREFIX)/example.ccomp.target.out 1 $(MAX))
TESTS_GCC_TARGET_OUT=$(shell seq --format $(PREFIX)/example.gcc.target.out 1 $(MAX))
TESTS_GCC_HOST_OUT=$(shell seq --format $(PREFIX)/example.gcc.host.out 1 $(MAX))
TESTS_CMP=$(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX)) # $(shell seq --format $(PREFIX)/example.host_target.cmp 1 $(MAX))
all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_CMP) $(TESTS_C)
$(TESTS_C): $(CSMITH)
tests_c: $(TESTS_C)
tests_s: $(TESTS_CCOMP_TARGET_S)
%.ccomp.target.s : %.c
$(TARGET_CCOMP) $(INCLUDES) $(CCOMPOPTS) $(CCOMPFLAGS) -S -o $@ $<
%.gcc.target.s : %.c
$(TARGET_CC) $(INCLUDES) $(CFLAGS) -S -o $@ $<
%.gcc.host.s : %.c
$(CC) $(INCLUDES) $(CFLAGS) -S -o $@ $<
%.target.o : %.target.s
$(TARGET_CC) -c -o $@ $<
%.host.o : %.host.s
$(CC) $(CFLAGS) -c -o $@ $<
%.target.out : %.target
$(EXECUTE) $< | tee $@
%.host.out : %.host
./$< | tee $@
ran%/example.ccomp.target: ran%/source.ccomp.target.o
$(TARGET_CCOMP) $(CCOMPOPTS) $(CCOMPFLAGS) $+ -o $@
ran%/example.gcc.target: ran%/source.gcc.target.o
$(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@
ran%/example.gcc.host: ran%/source.gcc.host.o
$(CC) $(CFLAGS) $+ -o $@
ran%/source.c:
mkdir -p ran$*
$(CSMITH) $(CSMITHOPT) --seed $* --output ran$*/source.c
ran%/example.target.cmp : ran%/example.gcc.target.out ran%/example.ccomp.target.out
cmp $+ > $@
ran%/example.host_target.cmp : ran%/example.gcc.host.out ran%/example.ccomp.target.out
cmp $+ > $@
.PHONY: all clean tests_c tests_c
clean:
-rm -rf ran*
csmith/bin/csmith:
curl -L -o csmith-2.3.0.tar.gz https://embed.cs.utah.edu/csmith/csmith-2.3.0.tar.gz
tar xfz csmith-2.3.0.tar.gz
WD=`pwd` && cd csmith-2.3.0 && ./configure --prefix=$$WD/csmith && make install
|
