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 6 OUTDIR=$1 7 FILECHECK=$2 8 SOURCEFILE=$3 9 shift 3 10 11 FILECHECK_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
