1#!/bin/bash -e
2
3# RS Invocation script to FileCheck
4# Usage: rs-filecheck-wrapper.sh <output-directory> <path-to-FileCheck> <source> [<more-args>]
5
6OUTDIR=$1
7FILECHECK=$2
8SOURCEFILE=$3
9shift 3
10
11FILECHECK_INPUTFILE=`basename $SOURCEFILE | sed 's/\.rs\$/.ll/'`
12
13# This runs FileCheck on both the 32 bit and the 64 bit bitcode files.
14$FILECHECK -input-file $OUTDIR/bc32/$FILECHECK_INPUTFILE $SOURCEFILE $@
15$FILECHECK -input-file $OUTDIR/bc64/$FILECHECK_INPUTFILE $SOURCEFILE $@
16