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