#!/usr/local/bin/bash

TESLA_ARGS="-Xclang -load -Xclang TeslaInstrumenter.so -Xclang -add-plugin -Xclang tesla -Xclang -plugin-arg-tesla"

ARGS=`echo "$*" | sed 's/-Werror//'`

if [ "`ls time.*`" != "" ]; then
	echo "running this script will clobber `ls time.*`"
	exit 1
fi

rm -f time.*

for ((  i = 0 ;  i < 10;  i++  ))
do
	echo "Iteration $i..."
#	/usr/bin/time -ao time.gcc gcc $ARGS
	/usr/bin/time -ao time.clang clang $ARGS
	/usr/bin/time -ao time.plugin clang $TESLA_ARGS -Xclang empty.spec $ARGS
	/usr/bin/time -ao time.instrumentation clang $TESLA_ARGS -Xclang instrumentation.spec $ARGS
	/usr/bin/time -ao time.assertion clang -DTESLA_INCLUDE_ASSERTIONS $TESLA_ARGS -Xclang instrumentation.spec $ARGS
	echo
done