From da640c5a467bfdf7b3bbced52fc13a28fd8b37bd Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Sun, 27 Mar 2016 18:17:08 -0400
Subject: move tools to the root

---
 src/tools/abitest.sh | 104 ---------------------------------------------------
 1 file changed, 104 deletions(-)
 delete mode 100755 src/tools/abitest.sh

(limited to 'src/tools/abitest.sh')

diff --git a/src/tools/abitest.sh b/src/tools/abitest.sh
deleted file mode 100755
index d5b16e5..0000000
--- a/src/tools/abitest.sh
+++ /dev/null
@@ -1,104 +0,0 @@
-#!/bin/sh
-
-OCAMLC=/usr/bin/ocamlc
-QBE=`pwd`/qbe
-
-failure() {
-	echo "Failure at stage:" $1 >&2
-	exit 1
-}
-
-cleanup() {
-	rm -fr $TMP
-}
-
-init() {
-	cp tools/abi.ml $TMP
-	pushd $TMP > /dev/null
-
-	cat > Makefile << EOM
-
-.PHONY: test
-test: caller.o callee.o
-	c99 -o \$@ caller.o callee.o
-%.o: %.c
-	c99 -c -o \$@ \$<
-%.o: %.ssa
-	$QBE -o \$*.s \$<
-	c99 -c -o \$@ \$*.s
-
-EOM
-
-	if ! $OCAMLC abi.ml -o gentest
-	then
-		popd > /dev/null
-		cleanup
-		failure "abifuzz compilation"
-	fi
-	popd > /dev/null
-}
-
-once() {
-	if test -z "$3"
-	then
-		$TMP/gentest $TMP $1 $2
-	else
-		$TMP/gentest -s $3 $TMP $1 $2
-	fi
-	make -C $TMP test > /dev/null || failure "building"
-	$TMP/test || failure "runtime"
-}
-
-usage() {
-	echo "usage: abitest.sh [-callssa] [-callc] [-s SEED] [-n ITERATIONS]" >&2
-	exit 1
-}
-
-N=1
-CALLER=c
-CALLEE=ssa
-
-while test -n "$1"
-do
-	case "$1" in
-	"-callssa")
-		;;
-	"-callc")
-		CALLER=ssa
-		CALLEE=c
-		;;
-	"-s")
-		test -n "$2" || usage
-		shift
-		SEED="$1"
-		;;
-	"-n")
-		test -n "$2" || usage
-		shift
-		N="$1"
-		;;
-	*)
-		usage
-		;;
-	esac
-	shift
-done
-
-TMP=`mktemp -d abifuzz.XXXXXX`
-
-init
-
-if test -n "$S"
-then
-	once $CALLER $CALLEE $SEED
-else
-	for n in `seq $N`
-	do
-		once $CALLER $CALLEE
-		echo "$n" | grep "00$"
-	done
-fi
-
-echo "All done."
-
-cleanup
-- 
cgit 1.4.1