DEFINES="-DNALARM -DNZIP -DNGETRUSAGE -DNDEBUG"
COMPCERT=/home/monniaux/work/Kalray/mppa-RTLpathSE-verif-hash-junk
DATA=$COMPCERT/test/monniaux/picosat-965/tiny.dat
CCOMP="$COMPCERT/ccomp -fbitfields -fduplicate 2 -fall-loads-nontrap $DEFINES"
GCC="kvx-cos-gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
HOSTCC0="gcc -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
HOSTCC1="gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
HOSTCC2="gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES"
HOSTCC3="gcc -O3 -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
HOSTCC4="/usr/bin/clang -Wimplicit -Wuninitialized -Werror $DEFINES"
HOSTCC5="/usr/bin/clang -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES"
CFILES="reduced_picosat.c"
SIMU="kvx-cluster --timeout=10000000 -- "

if ! $HOSTCC0 $CFILES -o picosat.cc0.host ;
then exit 30 ;
fi

if ! $HOSTCC1 $CFILES -o picosat.cc1.host ;
then exit 31 ;
fi

if ! $HOSTCC2 $CFILES -o picosat.cc2.host ;
then exit 32 ;
fi

if ! $HOSTCC3 $CFILES -o picosat.cc3.host ;
then exit 33 ;
fi

if ! $HOSTCC4 $CFILES -o picosat.cc4.host ;
then exit 34 ;
fi

if ! $HOSTCC5 $CFILES -o picosat.cc5.host ;
then exit 35 ;
fi

timeout 1 ./picosat.cc0.host $DATA 2>&1 > picosat.cc0.out
if [ $? -ge 100 ];
then exit 40 ;
fi

timeout 1 ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.out
if [ $? -ge 100 ];
then exit 41 ;
fi

timeout 1 valgrind --log-file=picosat.cc0.valgrind.log ./picosat.cc0.host $DATA 2>&1 > picosat.cc0.valgrind.out
if [ $? -ge 100 ];
then exit 50 ;
fi

timeout 1 valgrind --log-file=picosat.cc1.valgrind.log ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.valgrind.out
if [ $? -ge 100 ];
then exit 51 ;
fi

timeout 1 ./picosat.cc2.host $DATA 2>&1 > picosat.cc2.out
if [ $? -ge 100 ];
then exit 42 ;
fi

timeout 1 ./picosat.cc3.host $DATA 2>&1 > picosat.cc3.out
if [ $? -ge 100 ];
then exit 43 ;
fi

timeout 1 ./picosat.cc4.host $DATA 2>&1 > picosat.cc4.out
if [ $? -ge 100 ];
then exit 44 ;
fi

timeout 1 ./picosat.cc5.host $DATA 2>&1 > picosat.cc5.out
if [ $? -ge 100 ];
then exit 45 ;
fi

if ! cmp picosat.cc0.out picosat.cc1.out ;
then exit 60 ;
fi

if ! cmp picosat.cc0.out picosat.cc0.valgrind.out ;
then exit 70 ;
fi

if ! cmp picosat.cc1.out picosat.cc1.valgrind.out ;
then exit 61 ;
fi

if ! cmp picosat.cc1.out picosat.cc2.out ;
then exit 62 ;
fi

if ! cmp picosat.cc1.out picosat.cc3.out ;
then exit 63 ;
fi

if ! $GCC $CFILES -o picosat.gcc.target ;
then exit 1 ;
fi

if ! $CCOMP $CFILES -o picosat.ccomp.target ;
then exit 2 ;
fi

if ! $CCOMP -fprepass -fprepass= list $CFILES -o picosat.prepass.target ;
then exit 3 ;
fi

$SIMU ./picosat.gcc.target $DATA 2>&1 > picosat.gcc.out
if [ $? -ge 100 ];
then exit 4 ;
fi

if ! cmp picosat.gcc.out picosat.cc1.out ;
then exit 13 ;
fi

if grep timeout picosat.gcc.out ;
then exit 8 ;
fi

$SIMU ./picosat.ccomp.target $DATA 2>&1 > picosat.ccomp.out
if [ $? -ge 100 ];
then exit 5 ;
fi

if grep timeout picosat.ccomp.out ;
then exit 9 ;
fi

if ! cmp picosat.gcc.out picosat.ccomp.out ;
then exit 6 ;
fi

$SIMU ./picosat.prepass.target $DATA 2>&1 > picosat.prepass.out
if [ $? -ge 100 ];
then exit 0 ;
fi

if cmp picosat.gcc.out picosat.prepass.out ;
then exit 7 ;
fi

exit 0