| # |
| # /**-------------------------------------------------------------------** |
| # ** CLooG ** |
| # **-------------------------------------------------------------------** |
| # ** makefile ** |
| # **-------------------------------------------------------------------** |
| # ** First version: march 6th 2003 ** |
| # **-------------------------------------------------------------------**/ |
| # |
| # makefile for checking. |
| |
| #/***************************************************************************** |
| # * CLooG : the Chunky Loop Generator (experimental) * |
| # ***************************************************************************** |
| # * * |
| # * Copyright (C) 2003 Cedric Bastoul * |
| # * * |
| # * This library is free software; you can redistribute it and/or * |
| # * modify it under the terms of the GNU Lesser General Public * |
| # * License as published by the Free Software Foundation; either * |
| # * version 2.1 of the License, or (at your option) any later version. * |
| # * * |
| # * This library is distributed in the hope that it will be useful, * |
| # * but WITHOUT ANY WARRANTY; without even the implied warranty of * |
| # * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * |
| # * Lesser General Public License for more details. * |
| # * * |
| # * You should have received a copy of the GNU Lesser General Public * |
| # * License along with this library; if not, write to the Free Software * |
| # * Foundation, Inc., 51 Franklin Street, Fifth Floor, * |
| # * Boston, MA 02110-1301 USA * |
| # * * |
| # * CLooG, the Chunky Loop Generator * |
| # * Written by Cedric Bastoul, [email protected] * |
| # * This file has been written with the help of the Bart Kienhuis's checking * |
| # * makefile for PipLib. * |
| # * * |
| # *****************************************************************************/ |
| |
| if NO_ISL |
| GENERATE_TEST = |
| else |
| GENERATE_TEST = generate_test |
| endif |
| noinst_PROGRAMS = $(GENERATE_TEST) |
| INCLUDES = -I$(top_builddir)/include -I$(top_srcdir)/include |
| LDADD = ../libcloog-isl.la |
| generate_test_SOURCES = generate_test.c |
| |
| FORCE: |
| ../libcloog-isl.la: FORCE |
| cd ..; $(MAKE) $(AM_MAKEFLAGS) libcloog-isl.la |
| |
| ROOT = .. |
| |
| FINITE_CLOOGTEST_C = \ |
| 0D-1 \ |
| 0D-2 \ |
| 0D-3 \ |
| 1point-1 \ |
| 1point-2 \ |
| 4-param \ |
| basic-bounds-1 \ |
| basic-bounds-2 \ |
| basic-bounds-3 \ |
| basic-bounds-4 \ |
| basic-bounds-5 \ |
| basic-bounds-6 \ |
| block \ |
| block2 \ |
| block3 \ |
| byu98-1-2-3 \ |
| cholesky \ |
| cholesky2 \ |
| christian \ |
| classen \ |
| classen2 \ |
| constant \ |
| constbound \ |
| darte \ |
| dealII \ |
| donotsimp \ |
| dot \ |
| dot2 \ |
| double \ |
| durbin_e_s \ |
| emploi \ |
| esced \ |
| ex1 \ |
| forwardsub-1-1-2 \ |
| forwardsub-2-1-2-3 \ |
| forwardsub-3-1-2 \ |
| gauss \ |
| gesced \ |
| gesced2 \ |
| gesced3 \ |
| guide \ |
| iftest \ |
| iftest2 \ |
| largeur \ |
| levenshtein-1-2-3 \ |
| lex \ |
| lineality-1-2 \ |
| lineality-2-1-2 \ |
| logo \ |
| logopar \ |
| lu \ |
| lu2 \ |
| lub \ |
| lux \ |
| min-1-1 \ |
| min-2-1 \ |
| min-3-1 \ |
| min-4-1 \ |
| mode \ |
| multi-mm-1 \ |
| no_lindep \ |
| orc \ |
| rectangle \ |
| singleton \ |
| square+triangle-1-1-2-3 \ |
| swim \ |
| test \ |
| thomasset \ |
| tiling \ |
| uday_scalars \ |
| union \ |
| vivien \ |
| vivien2 \ |
| walters \ |
| walters2 \ |
| walters3 \ |
| wavefront \ |
| yosr \ |
| yosr2 \ |
| ./non_optimal/nul_complex1 \ |
| ./non_optimal/usvd_e_t \ |
| ./non_optimal/youcef \ |
| ./reservoir/cholesky2 \ |
| ./reservoir/fusion1 \ |
| ./reservoir/fusion2 \ |
| ./reservoir/jacobi2 \ |
| ./reservoir/jacobi3 \ |
| ./reservoir/lim-lam1 \ |
| ./reservoir/lim-lam2 \ |
| ./reservoir/lim-lam3 \ |
| ./reservoir/lim-lam4 \ |
| ./reservoir/lim-lam5 \ |
| ./reservoir/lim-lam6 \ |
| ./reservoir/liu-zhuge1 \ |
| ./reservoir/loechner3 \ |
| ./reservoir/loechner4 \ |
| ./reservoir/loechner5 \ |
| ./reservoir/mg-interp2 \ |
| ./reservoir/mg-interp \ |
| ./reservoir/mg-psinv \ |
| ./reservoir/mg-resid \ |
| ./reservoir/mg-rprj3 \ |
| ./reservoir/pingali1 \ |
| ./reservoir/pingali2 \ |
| ./reservoir/pingali3 \ |
| ./reservoir/pingali4 \ |
| ./reservoir/pingali5 \ |
| ./reservoir/pingali6 \ |
| ./reservoir/QR \ |
| ./reservoir/tang-xue1 \ |
| ./reservoir/two |
| |
| CLOOG_ISL_TEST_C = \ |
| isl/mod \ |
| isl/mod2 \ |
| isl/mod3 \ |
| isl/mod4 |
| |
| CLOOGTEST_C = \ |
| infinite \ |
| infinite2 \ |
| infinite3 \ |
| infinite4 \ |
| $(FINITE_CLOOGTEST_C) \ |
| $(CLOOG_ISL_TEST_C) |
| |
| # ./reservoir/long \ |
| # faber |
| |
| CLOOGTEST_FORTRAN = \ |
| dartef \ |
| iftestf \ |
| levenshtein-1-2-3f \ |
| yosrf |
| |
| CLOOG_ISL_TEST_STRIDED = \ |
| isl/mxm-shared |
| |
| CLOOGTEST_STRIDED = \ |
| basic-bounds-2 \ |
| mod4 \ |
| nul_basic1 \ |
| nul_basic2 \ |
| nul_lcpc \ |
| multi-stride \ |
| multi-stride2 \ |
| stride3 \ |
| stride4 \ |
| reservoir/bastoul3 \ |
| reservoir/stride \ |
| reservoir/stride2 \ |
| $(CLOOG_ISL_TEST_STRIDED) |
| |
| SPECIAL_TESTS = \ |
| isl/jacobi-shared \ |
| backtrack \ |
| vasilache \ |
| merge \ |
| equality \ |
| equality2 \ |
| otl \ |
| param-split \ |
| pouchet \ |
| stride \ |
| stride2 \ |
| sor1d |
| SPECIAL_OPTIONS = \ |
| 'isl/jacobi-shared -f 4 -l -1 -override -strides 1 -sh 1' \ |
| 'backtrack -f 1 -backtrack' \ |
| 'vasilache -f 8 -l 9' \ |
| 'merge -f -1' \ |
| 'equality -f -1 -l 2 -override' \ |
| 'equality2 -f -1 -l 4 -esp 1 -override' \ |
| 'otl -block 1 -esp 0 -otl 0' \ |
| 'param-split -f -1' \ |
| 'pouchet -f 3 -l 7' \ |
| 'stride -f -1 -strides 1' \ |
| 'stride2 -f -1 -strides 1' \ |
| 'sor1d -f -1' |
| |
| EXTRA_DIST = \ |
| $(CLOOGTEST_C:%=%.cloog) \ |
| $(CLOOGTEST_C:%=%.c) \ |
| $(FINITE_CLOOGTEST_C:%=%.good.c) \ |
| $(CLOOGTEST_FORTRAN:%=%.cloog) \ |
| $(CLOOGTEST_FORTRAN:%=%.f) \ |
| $(CLOOGTEST_STRIDED:%=%.cloog) \ |
| $(CLOOGTEST_STRIDED:%=%.c) \ |
| $(SPECIAL_TESTS:%=%.cloog) \ |
| $(SPECIAL_TESTS:%=%.c) \ |
| $(SPECIAL_TESTS:%=%.good.c) |
| |
| generate: |
| @echo " /*-----------------------------------------------*" |
| @echo " * Generate files *" |
| @echo " *-----------------------------------------------*/" |
| @for x in $(CLOOGTEST_C) ; do \ |
| echo "Generate $$x.c" ; \ |
| $(top_builddir)/cloog $(srcdir)/$$x.cloog -o $(srcdir)/$$x.c ; \ |
| done ; \ |
| for x in $(CLOOGTEST_FORTRAN) ; do \ |
| echo "Generate $$x.f" ; \ |
| $(top_builddir)/cloog $(srcdir)/$$x.cloog -o $(srcdir)/$$x.f ; \ |
| done ; \ |
| for x in $(CLOOGTEST_STRIDED) ; do \ |
| echo "Generate $$x.c" ; \ |
| $(top_builddir)/cloog $(srcdir)/$$x.cloog \ |
| -strides 1 -o $(srcdir)/$$x.c ; \ |
| done ; \ |
| for line in $(SPECIAL_OPTIONS); do echo $$line | while read x options; do \ |
| echo "Generate file $$x ($$options)" ; \ |
| $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog \ |
| $$options > $(srcdir)/$$x.c ; \ |
| done; done |
| |
| generate_good: |
| @for x in $(FINITE_CLOOGTEST_C) ; do \ |
| echo "Generate $$x.good.c" ; \ |
| $(top_builddir)/cloog$(EXEEXT) -callable 1 $(srcdir)/$$x.cloog -o $(srcdir)/$$x.good.c ; \ |
| done; \ |
| for line in $(SPECIAL_OPTIONS); do echo $$line | while read x options; do \ |
| echo "Generate $$x.good.c ($$options)" ; \ |
| $(top_builddir)/cloog$(EXEEXT) -callable 1 $$options $(srcdir)/$$x.cloog -o $(srcdir)/$$x.good.c ; \ |
| done; done |
| |
| valgrind: |
| @echo " /*-----------------------------------------------*" |
| @echo " * Checking files by Valgrind *" |
| @echo " *-----------------------------------------------*/" |
| for x in $(CLOOGTEST_C) ; do \ |
| echo "Valgrinding $$x.c" ; \ |
| valgrind $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog ; \ |
| done ; \ |
| for x in $(CLOOGTEST_FORTRAN) ; do \ |
| echo "Valgrinding $$x.f" ; \ |
| valgrind $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog ; \ |
| done |
| |
| test_run: generate_test$(EXEEXT) |
| @echo " /*-----------------------------------------------*" |
| @echo " * Testing CLooG *" |
| @echo " *-----------------------------------------------*/" |
| @failedtest=0 ; \ |
| echo "--- Testing C files... (correct output)" ; \ |
| for x in $(FINITE_CLOOGTEST_C) ; do \ |
| echo -n "Verify file $$x... " ; \ |
| echo -n "generating... " ; \ |
| $(top_builddir)/cloog$(EXEEXT) -q -callable 1 $(srcdir)/$$x.cloog > test_test.c ; \ |
| ./generate_test$(EXEEXT) < $(srcdir)/$$x.cloog > test_main.c; \ |
| echo -n "compiling... " ; \ |
| $(COMPILE) -c test_test.c; \ |
| $(COMPILE) -Dtest=good -c $(srcdir)/$$x.good.c -o test_good.o; \ |
| $(LINK) test_main.c test_test.o test_good.o > /dev/null; \ |
| echo -n "comparing... " ; \ |
| ./test_run$(EXEEXT); \ |
| result=$$?; \ |
| if test "$$result" -ne "0" ; then \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| fi; \ |
| $(RM) $@; \ |
| echo; \ |
| done; \ |
| for line in $(SPECIAL_OPTIONS); do echo $$line | while read x options; do \ |
| echo -n "Verify file $$x ($$options)... " ; \ |
| echo -n "generating... " ; \ |
| $(top_builddir)/cloog$(EXEEXT) -q -callable 1 $$options $(srcdir)/$$x.cloog > test_test.c ; \ |
| ./generate_test$(EXEEXT) < $(srcdir)/$$x.cloog > test_main.c; \ |
| echo -n "compiling... " ; \ |
| $(COMPILE) -c test_test.c; \ |
| $(COMPILE) -Dtest=good -c $(srcdir)/$$x.good.c -o test_good.o; \ |
| $(LINK) test_main.c test_test.o test_good.o > /dev/null; \ |
| echo -n "comparing... " ; \ |
| ./test_run$(EXEEXT); \ |
| result=$$?; \ |
| if test "$$result" -ne "0" ; then \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| fi; \ |
| $(RM) $@; \ |
| echo; \ |
| done; done; \ |
| for line in $(SPECIAL_OPTIONS); do echo $$line | while read x options; do \ |
| echo -n "Verify file $$x ($$options -sh 1)... " ; \ |
| echo -n "generating... " ; \ |
| $(top_builddir)/cloog$(EXEEXT) -q -callable 1 $$options -sh 1 $(srcdir)/$$x.cloog > test_test.c ; \ |
| ./generate_test$(EXEEXT) < $(srcdir)/$$x.cloog > test_main.c; \ |
| echo -n "compiling... " ; \ |
| $(COMPILE) -c test_test.c; \ |
| $(COMPILE) -Dtest=good -c $(srcdir)/$$x.good.c -o test_good.o; \ |
| $(LINK) test_main.c test_test.o test_good.o > /dev/null; \ |
| echo -n "comparing... " ; \ |
| ./test_run$(EXEEXT); \ |
| result=$$?; \ |
| if test "$$result" -ne "0" ; then \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| fi; \ |
| $(RM) $@; \ |
| echo; \ |
| done; done; \ |
| if [ $$failedtest != 0 ] ; then \ |
| echo "$$failedtest tests failed" ; \ |
| else \ |
| echo "CLooG works correctly :-) !" ; \ |
| fi |
| test: |
| @echo " /*-----------------------------------------------*" |
| @echo " * Testing CLooG *" |
| @echo " *-----------------------------------------------*/" |
| @failedtest=0 ; \ |
| echo "--- Testing C files... (expected output)" ; \ |
| for x in $(CLOOGTEST_C) ; do \ |
| echo "Verify file $$x" ; \ |
| $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog > ttemp ; \ |
| diff -u -w --ignore-matching-lines='CLooG' ttemp $(srcdir)/$$x.c ; \ |
| result=$$?; \ |
| if [ "$$result" -ne "0" ] ; then \ |
| echo "!!! Error: $$x is not the same" ; \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| else \ |
| echo "$$x passed" ; \ |
| fi ; \ |
| done ; \ |
| echo "--- Testing FORTRAN files..." ; \ |
| for x in $(CLOOGTEST_FORTRAN) ; do \ |
| echo "Verify file $$x" ; \ |
| $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog > ttemp ; \ |
| diff -u -w --ignore-matching-lines='CLooG' ttemp $(srcdir)/$$x.f ; \ |
| result=$$?; \ |
| if [ "$$result" -ne "0" ] ; then \ |
| echo "!!! Error: $$x is not the same" ; \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| else \ |
| echo "$$x passed" ; \ |
| fi ; \ |
| done ; \ |
| echo "--- Testing STRIDED files..." ; \ |
| for x in $(CLOOGTEST_STRIDED) ; do \ |
| echo "Verify file $$x" ; \ |
| $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog \ |
| -strides 1 > ttemp ; \ |
| diff -u -w --ignore-matching-lines='CLooG' ttemp $(srcdir)/$$x.c ; \ |
| result=$$?; \ |
| if [ "$$result" -ne "0" ] ; then \ |
| echo "!!! Error: $$x is not the same" ; \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| else \ |
| echo "$$x passed" ; \ |
| fi ; \ |
| done ; \ |
| echo "--- Testing SPECIAL OPTIONS files..." ; \ |
| for line in $(SPECIAL_OPTIONS); do echo $$line | while read x options; do \ |
| echo "Verify file $$x ($$options)" ; \ |
| $(top_builddir)/cloog$(EXEEXT) $(srcdir)/$$x.cloog \ |
| $$options > ttemp ; \ |
| diff -u -w --ignore-matching-lines='CLooG' ttemp $(srcdir)/$$x.c ; \ |
| result=$$?; \ |
| if [ "$$result" -ne "0" ] ; then \ |
| echo "!!! Error: $$x is not the same" ; \ |
| failedtest=`expr $$failedtest + 1` ; \ |
| else \ |
| echo "$$x passed" ; \ |
| fi ; \ |
| done; done; \ |
| rm ttemp ; \ |
| if [ $$failedtest != 0 ] ; then \ |
| echo "$$failedtest tests failed" ; \ |
| else \ |
| echo "CLooG works correctly :-) !" ; \ |
| fi |
