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