Makefile

ADDITIONAL_INCLUDE_PATH:=
UNAME_S := $(shell uname -s)
ifeq ($(UNAME_S),Darwin)
    XCRUN := $(shell xcrun --show-sdk-path >/dev/null 2>&1 && echo yes || echo no)
    ifeq ($(XCRUN),yes)
        ADDITIONAL_INCLUDE_PATH := $(shell xcrun --show-sdk-path)/usr/include
    endif
endif

CC += -std=gnu11 -Wno-abi -fsigned-char
ifneq ($(ADDITIONAL_INCLUDE_PATH),)
  CC += -DADDITIONAL_INCLUDE_PATH=\"$(ADDITIONAL_INCLUDE_PATH)\"
endif

ifeq ($(shell $(CC) -v 2>&1 | grep -c "clang version"), 0)
  ifeq ($(shell $(CC) -fno-tree-sra 2>&1 | grep -c 'fno-tree-sra'), 0)
     CC += -fno-tree-sra
  endif
  ifeq ($(shell $(CC) -fno-ipa-cp-clone 2>&1 | grep -c 'fno-ipa-cp-clone'), 0)
     CC += -fno-ipa-cp-clone
  endif
endif

CFLAGS=-O3 -g -DNDEBUG
ifeq ($(OS),Windows_NT)
  MIR_LIBS=-lm -lkernel32
else
  MIR_LIBS=-lm -ldl
endif
MIR_DEPS=mir.h mir-varr.h mir-dlist.h mir-htab.h mir-hash.h mir-interp.c mir-x86_64.c
MIR_GEN_DEPS=$(MIR_DEPS) mir-bitmap.h \
             mir-gen-x86_64.c mir-gen-aarch64.c mir-gen-ppc64.c mir-gen-s390x.c
OBJS=mir.o mir-gen.o c2m m2b b2m b2ctab m2libgccjit
Q=@

L2M-TEST=
ifneq ($(shell test -f /usr/include/llvm-c/Core.h|echo 1), 1)
OBJS += l2m
L2M-TEST += l2m-test
endif

all: $(OBJS)
     
mir.o: mir.c $(MIR_DEPS)
	$(CC) -c $(CFLAGS) -o $@ $<

mir-gen.o: mir-gen.c $(MIR_GEN_DEPS)
	$(CC) -c $(CFLAGS) -o $@ $<

c2m: mir.o mir-gen.o c2mir/c2mir.h c2mir/mirc.h c2mir/c2mir.c c2mir/c2mir-driver.c
	$(CC) $(CFLAGS) -I. mir-gen.o c2mir/c2mir.c c2mir/c2mir-driver.c mir.o $(MIR_LIBS) -o $@

m2libgccjit: m2libgccjit.cc mir.o
	g++ -lgccjit -Wall -g m2libgccjit.cc mir.o -o $@

run-libgccjit-test: m2libgccjit c2m
	./c2m c-tests/andrewchambers_c/0004-operators1.c
	./m2libgccjit a.bmir -o gccjit.out
	./gccjit.out

llvm2mir.o: llvm2mir/llvm2mir.c $(MIR_DEPS) mir.c mir-gen.h mir-gen.c
	$(CC) -I. -c $(CFLAGS) -o $@ $<

l2m: llvm2mir.o $(MIR_DEPS) llvm2mir/llvm2mir.h llvm2mir/llvm2mir-driver.c mir-gen.c mir-gen.h 
	$(CC) -I. $(CFLAGS) mir.c mir-gen.c llvm2mir.o llvm2mir/llvm2mir-driver.c -lLLVM $(MIR_LIBS) -o l2m

m2b: mir.o mir-utils/m2b.c
	$(CC) -I. $(CFLAGS) -o $@ mir.o mir-utils/m2b.c
	
b2m: mir.o mir-utils/b2m.c
	$(CC) -I. $(CFLAGS) -o $@ mir.o mir-utils/b2m.c
	
b2ctab: mir.o mir-utils/b2ctab.c
	$(CC) -I. $(CFLAGS) -o $@ mir.o mir-utils/b2ctab.c
	
test: adt-test mir-test io-test scan-test interp-test gen-test readme-example-test mir2c-test c2mir-test $(L2M-TEST)
	@echo ==============================Test is done
      
l2m-test: l2m-simple-test # l2m-full-test

l2m-simple-test: l2m-test1 l2m-test2

l2m-full-test: l2m-interp-test l2m-gen-test

l2m-interp-test: l2m
	$(SHELL) c-tests/runtests.sh c-tests/use-l2m-interp
l2m-gen-test: l2m
	$(SHELL) c-tests/runtests.sh c-tests/use-l2m-gen

l2m-test1: l2m
	@echo +++++ LLVM to MIR translator test '(-O0)' +++++++
	clang -O0 -fno-vectorize -w -c -emit-llvm sieve.c
	@echo +++++ Interpreter +++++++ && ./l2m -i sieve.bc
	@echo +++++ Generator +++++++ && ./l2m -g sieve.bc
	
l2m-test2: l2m
	@echo +++++ LLVM to MIR translator test '(-O2)' +++++++
	clang -O2 -fno-vectorize -w -c -emit-llvm sieve.c
	@echo +++++ Interpreter +++++++ && ./l2m -i sieve.bc
	@echo +++++ Generator +++++++ && ./l2m -g sieve.bc
	
bench: interp-bench gen-bench gen-bench2 io-bench mir2c-bench c2mir-sieve-bench gen-speed c2mir-bench
	@echo ==============================Bench is done

mir-test:
	$(CC) -g mir.c mir-tests/simplify.c -o test && ./test

scan-test:
	$(CC) -g mir.c mir-tests/scan-test.c -o test && ./test

io-test:
	$(CC) -g mir.c mir-tests/io.c -o test && ./test

io-bench:
	@echo ========io-bench can take upto 2 min===============
	$(CC) $(CFLAGS) mir.c mir-tests/io-bench.c -o test && ./test

interp-test1:
	$(CC) -g -DMIR_INTERP_DEBUG=1 mir.c mir-tests/loop-interp.c -o test && ./test
interp-test2:
	$(CC) -g -DMIR_INTERP_DEBUG=1 -DMIR_C_INTERFACE=1 mir.c mir-tests/loop-interp.c -o test && ./test
interp-test3:
	$(CC) -g -DMIR_INTERP_DEBUG=1 mir.c mir-tests/sieve-interp.c -o test && ./test
interp-test4:
	$(CC) -g -DMIR_INTERP_DEBUG=1 -DMIR_C_INTERFACE=1 mir.c mir-tests/sieve-interp.c -o test && ./test
interp-test5:
	$(CC) -g -DMIR_INTERP_DEBUG=1 mir.c mir-tests/hi-interp.c -o test && ./test
interp-test6:
	$(CC) -g mir.c mir-tests/args-interp.c -o test && ./test
interp-test7:
	$(CC) -g -DMIR_C_INTERFACE=1 mir.c mir-tests/args-interp.c -o test && ./test
interp-test8:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test8.mir
interp-test9:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test9.mir

interp-test10:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test10.mir

interp-test11:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test11.mir

interp-test12:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test12.mir

interp-test13:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test13.mir

interp-test14:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test14.mir

interp-test15:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test16.mir

interp-test16:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -i mir-tests/test16.mir

interp-test: interp-test1 interp-test2 interp-test3 interp-test4 interp-test5 interp-test6 interp-test7 interp-test8\
             interp-test9 interp-test10 interp-test11 interp-test12 interp-test13 interp-test14 interp-test15 interp-test16

interp-bench:
	$(CC) $(CFLAGS) mir.c mir-tests/loop-interp.c -o test && ./test && size ./test
	$(CC) $(CFLAGS) -DMIR_C_INTERFACE=1 mir.c mir-tests/loop-interp.c -o test && ./test && size ./test
	$(CC) $(CFLAGS) mir.c mir-tests/sieve-interp.c -o test && ./test && size ./test

gen-test1:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test1.mir
gen-test2:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test2.mir
gen-test3:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test3.mir
gen-test4:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test4.mir
gen-test5:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test5.mir
gen-test6:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test6.mir
gen-test7:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/test-gen.c -o test && ./test mir-tests/test7.mir

gen-test8:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test8.mir

gen-test9:
	$(CC) -g -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test9.mir

gen-test10:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test10.mir

gen-test11:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -DTEST_GEN_DEBUG=1 -o test && ./test -g mir-tests/test11.mir

gen-test12:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -DTEST_GEN_DEBUG=1 -o test && ./test -g mir-tests/test12.mir

gen-test13:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test13.mir

gen-test14:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test14.mir

gen-test15:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test15.mir

gen-test16:
	$(CC) -g mir.c mir-gen.c mir-tests/run-test.c -o test && ./test -g mir-tests/test16.mir

gen-test: gen-test1 gen-test2 gen-test3 gen-test4 gen-test5 gen-test6 gen-test7 gen-test8 gen-test9 gen-test10 gen-test11 gen-test12 gen-test13 gen-test14 gen-test15 gen-test16
	$(CC) -g -DTEST_GEN_LOOP -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/loop-sieve-gen.c -o test && ./test
	$(CC) -g -DTEST_GEN_SIEVE -DTEST_GEN_DEBUG=1 mir.c mir-gen.c mir-tests/loop-sieve-gen.c -o test && ./test

gen-bench:
	$(CC) $(CFLAGS) -DTEST_GEN_LOOP mir.c mir-gen.c mir-tests/loop-sieve-gen.c -o test && ./test && size ./test
	$(CC) $(CFLAGS) -DTEST_GEN_SIEVE mir.c mir-gen.c mir-tests/loop-sieve-gen.c -o test && ./test && size ./test

gen-bench2: c2m
	echo +++++ Compiling and generating all code for c2m: +++++
	@for i in 0 1 2 3;do \
	   echo === Optimization level $$i:;\
           echo 'int main () {return 0;}'|/usr/bin/time ./c2m -O$$i -Dx86_64 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c -el -i;\
	done

gen-speed:
	if type valgrind  > /dev/null 2>&1; then \
	  $(CC) $(CFLAGS) -DTEST_GEN_SIEVE -DTEST_GENERATION_ONLY mir.c mir-gen.c mir-tests/loop-sieve-gen.c -o test && valgrind --tool=lackey ./test; \
	fi

readme-example-test:
	$(CC) -g mir.c mir-gen.c mir-tests/readme-example.c -o test && ./test

c2mir-test: c2mir-simple-test c2mir-full-test

c2mir-simple-test:
	$(CC) -g -I. mir.c mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c $(MIR_LIBS) -o test && ./test -v sieve.c -ei

c2mir-full-test: c2mir-interp-test c2mir-gen-test c2mir-gen-test0 c2mir-gen-test1 c2mir-gen-test3 c2mir-bootstrap-test0 c2mir-bootstrap-test c2mir-bootstrap-test2

c2mir-interp-test: c2m
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-interp
c2mir-gen-test: c2m
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-gen
c2mir-gen-test0: c2m
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-gen-O0
c2mir-gen-test1: c2m
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-gen-O1
c2mir-gen-test3: c2m
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-gen-O3

c2mir-bootstrap-test0: c2m
	$(Q) echo -n +++++++ C2MIR Bootstrap Test with -O0 '... '
	$(Q) ./c2m -O0 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c && mv a.bmir 1.bmir
	$(Q) ./c2m -O0 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c -el -O0 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c
	$(Q) cmp 1.bmir a.bmir && echo Passed || echo FAIL
	$(Q) rm -rf 1.bmir a.bmir

c2mir-bootstrap-test: c2m
	$(Q) echo -n +++++++ C2MIR Bootstrap Test with default optimize level '... '
	$(Q) ./c2m -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c && mv a.bmir 1.bmir
	$(Q) ./c2m -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c -el -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c
	$(Q) cmp 1.bmir a.bmir && echo Passed || echo FAIL
	$(Q) rm -rf 1.bmir a.bmir

c2mir-bootstrap-test2: c2m
	$(Q) echo -n +++++++ C2MIR Bootstrap Test with -O3 '... '
	$(Q) ./c2m -O3 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c && mv a.bmir 1.bmir
	$(Q) ./c2m -O3 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c -el -O3 -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c
	$(Q) cmp 1.bmir a.bmir && echo Passed || echo FAIL
	$(Q) rm -rf 1.bmir a.bmir

c2mir-bootstrap-test3: c2m b2ctab
	$(Q) echo -n +++++++ C2MIR Bootstrap Test 2 '(usually it takes about 10-20 sec) ... '
	$(Q) ./c2m -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c && mv a.bmir 1.bmir
	$(Q) ./b2ctab <1.bmir >mir-ctab
	$(Q) $(CC) $(CFLAGS) -w -fno-tree-sra mir.c mir-gen.c mir-bin-driver.c $(MIR_LIBS) -o test
	$(Q) ./test -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c
	$(Q) cmp 1.bmir a.bmir && echo Passed || echo FAIL
	$(Q) rm -rf 1.bmir a.bmir mir-ctab

c2mir-bootstrap-test4: c2m
	$(Q) echo -n +++++++ C2MIR Bootstrap Interpreter Test with -O3 '... '
	$(Q) ./c2m -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c && mv a.bmir 1.bmir
	$(Q) ./c2m -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c -ei -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c
	$(Q) cmp 1.bmir a.bmir && echo Passed || echo FAIL
	$(Q) rm -rf 1.bmir a.bmir

c2mir-sieve-bench:
	$(CC) $(CFLAGS) -I. mir-gen.c c2mir/c2mir.c c2mir/c2mir-driver.c mir.c $(MIR_LIBS) -o test && ./test -v sieve.c -eg && size ./test

c2mir-bench: c2m
	c-benchmarks/run-benchmarks.sh

# c2mir-bin-test is very slow
c2mir-bin-test: c2mir-bin-interp-test c2mir-bin-gen-test

c2mir-bin-interp-test: c2m mir.o mir-gen.o b2ctab
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-bin-interp

c2mir-bin-gen-test: c2m mir.o mir-gen.o b2ctab
	$(SHELL) c-tests/runtests.sh c-tests/use-c2m-bin-gen

mir2c-test:
	$(CC) -g -DTEST_MIR2C -I. mir.c mir2c/mir2c.c -o test && ./test

mir2c-bench:
	$(CC) $(CFLAGS) -DTEST_MIR2C -I. mir2c/mir2c.c mir.c -o test && ./test -v && size ./test

adt-test: varr-test dlist-test bitmap-test htab-test reduce-test

varr-test:
	$(CC) -g -I. adt-tests/mir-varr-test.c -o test && ./test

dlist-test:
	$(CC) -g -I. adt-tests/mir-dlist-test.c -o test && ./test

bitmap-test:
	$(CC) -g -I. adt-tests/mir-bitmap-test.c -o test && ./test

htab-test:
	$(CC) -g -I. adt-tests/mir-htab-test.c -o test && ./test

reduce-test:
	$(CC) -g -I. -O3 -DNDEBUG adt-tests/mir-reduce-test.c -o test && ./test < c2mir/c2mir.c

clean:
	rm -f $(OBJS) ./test
	rm -f llvm2mir.o ./l2m

realclean: clean

sloc:
	@echo -n 'C2MIR: ' && wc -l c2mir/c2mir.c | awk '{last=$$1} END {print last}'
	@echo -n 'ADT: ' && wc -l mir-dlist.h mir-hash.h mir-htab.h mir-varr.h mir-reduce.h mir-bitmap.h mir-mp.h | awk '{last=$$1} END {print last}'
	@echo -n 'MIR API: ' && wc -l mir.[ch] | awk '{last=$$1} END {print last}'
	@echo -n 'MIR Interpreter: ' && wc -l mir-interp.c | awk '{last=$$1} END {print last}'
	@echo -n 'MIR Generator: ' && wc -l mir-gen.[ch] | awk '{last=$$1} END {print last}'
	@echo -n 'x86-64 machine dependent code: ' && wc -l mir-x86_64.c mir-gen-x86_64.c | awk '{last=$$1} END {print last}'
	@echo -n 'aarch64 machine dependent code: ' && wc -l mir-aarch64.c mir-gen-aarch64.c | awk '{last=$$1} END {print last}'
	@echo -n 'ppc64 machine dependent code: ' && wc -l mir-ppc64.c mir-gen-ppc64.c | awk '{last=$$1} END {print last}'
	@echo -n 's390x machine dependent code: ' && wc -l mir-s390x.c mir-gen-s390x.c | awk '{last=$$1} END {print last}'
	@echo -n 'Overall: ' && wc -l c2mir/c2mir.c mir-dlist.h mir-hash.h mir-htab.h mir-varr.h mir-reduce.h mir-bitmap.h mir-mp.h mir.[ch] mir-interp.c mir-gen.[ch] mir-x86_64.c mir-gen-x86_64.c mir-aarch64.c mir-gen-aarch64.c mir-ppc64.c mir-gen-ppc64.c mir-s390x.c mir-gen-s390x.c | awk '{last=$$1} END {print last}'

gcc-test:
	$(SHELL) c-tests/runtests.sh c-tests/use-gcc

clang-test:
	$(SHELL) c-tests/runtests.sh c-tests/use-clang