#!/bin/bash -e

# RS Invocation script to FileCheck
# Usage: rs-filecheck-wrapper.sh <output-directory> <path-to-FileCheck> <source>

OUTDIR=$1
FILECHECK=$2
SOURCEFILE=$3

FILECHECK_INPUTFILE=`basename $SOURCEFILE | sed 's/\.rs\$/.ll/'`

# This runs FileCheck on both the 32 bit and the 64 bit bitcode files.
$FILECHECK -input-file $OUTDIR/bc32/$FILECHECK_INPUTFILE $SOURCEFILE
$FILECHECK -input-file $OUTDIR/bc64/$FILECHECK_INPUTFILE $SOURCEFILE