summary refs log tree commit diff
path: root/lisc/tools/abitest.sh
blob: 096c4efe46e1bcc45d46b76d4f619e7b7a12cca0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/bin/sh

OCAML=/usr/bin/ocaml
QBE=lisc
TMP=`mktemp -d abifuzz.XXXXXX`

failure() {
	echo "Failure at stage:" $1 >&2
	exit 1
}

if ! test -x $QBE
then
	echo "error: I must run in the directory containing $QBE." >&2
	exit 1
fi

	$OCAML tools/abi.ml $TMP c ssa

	./$QBE -o $TMP/callee.s $TMP/callee.ssa
		|| failure "qbe"

	c99 -g -o $TMP/abitest $TMP/caller.c $TMP/callee.s
		|| failure "cc + linking"

	$TMP/abitest
		|| failure "runtime"

rm -fr $TMP