Changed order: 1st then JITI.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1828 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
755cd9155e
commit
50d49538c4
@ -12,21 +12,22 @@ else
|
|||||||
compress.P sg_cyl.P pta.P mutagenesis.P"
|
compress.P sg_cyl.P pta.P mutagenesis.P"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "========================================"
|
printf "========================================\n"
|
||||||
echo " XXX JITI 1st "
|
printf " XXX 1st JITI \n"
|
||||||
echo "========================================"
|
printf "========================================\n"
|
||||||
for file in $testfiles ; do
|
for file in $testfiles ; do
|
||||||
benchname=`basename $file .P`
|
benchname=`basename $file .P`
|
||||||
printf "%21s " $benchname
|
printf "%21s " $benchname
|
||||||
$XXX << EOF 2>/dev/null
|
|
||||||
['$file'].
|
|
||||||
time.
|
|
||||||
EOF
|
|
||||||
printf " \t"
|
|
||||||
$XXX << EOF 2>/dev/null
|
$XXX << EOF 2>/dev/null
|
||||||
compile('$file',[jiti_off]).
|
compile('$file',[jiti_off]).
|
||||||
['$file'].
|
['$file'].
|
||||||
time.
|
time.
|
||||||
EOF
|
EOF
|
||||||
echo
|
rm *.O
|
||||||
|
printf " \t"
|
||||||
|
$XXX << EOF 2>/dev/null
|
||||||
|
['$file'].
|
||||||
|
time.
|
||||||
|
EOF
|
||||||
|
printf "\n"
|
||||||
done
|
done
|
||||||
|
@ -10,23 +10,23 @@ else
|
|||||||
compress.P sg_cyl.P pta.P mutagenesis.P"
|
compress.P sg_cyl.P pta.P mutagenesis.P"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "========================================"
|
printf "========================================\n"
|
||||||
echo " Yap JITI 1st "
|
printf " Yap 1st JITI \n"
|
||||||
echo "========================================"
|
printf "========================================\n"
|
||||||
for file in $testfiles ; do
|
for file in $testfiles ; do
|
||||||
benchname=`basename $file .P`
|
benchname=`basename $file .P`
|
||||||
printf "%21s " $benchname
|
printf "%21s " $benchname
|
||||||
$XXX << EOF 2>/dev/null
|
|
||||||
yap_flag(tabling_mode,local).
|
|
||||||
['$file'].
|
|
||||||
time.
|
|
||||||
EOF
|
|
||||||
printf " \t"
|
|
||||||
$XXX << EOF 2>/dev/null
|
$XXX << EOF 2>/dev/null
|
||||||
set_prolog_flag(index,single).
|
set_prolog_flag(index,single).
|
||||||
yap_flag(tabling_mode,local).
|
yap_flag(tabling_mode,local).
|
||||||
['$file'].
|
['$file'].
|
||||||
time.
|
time.
|
||||||
EOF
|
EOF
|
||||||
echo
|
printf " \t"
|
||||||
|
$XXX << EOF 2>/dev/null
|
||||||
|
yap_flag(tabling_mode,local).
|
||||||
|
['$file'].
|
||||||
|
time.
|
||||||
|
EOF
|
||||||
|
printf "\n"
|
||||||
done
|
done
|
||||||
|
Reference in New Issue
Block a user