1c460b37ffb50819a32c2a8967754b6f784b28263mkopec#!/bin/bash -e 2c460b37ffb50819a32c2a8967754b6f784b28263mkopec 3c460b37ffb50819a32c2a8967754b6f784b28263mkopec# RS Invocation script to FileCheck 43a6750f246eed4168351786074691e8eeee5b175David Gross# Usage: rs-filecheck-wrapper.sh <output-directory> <path-to-FileCheck> <source> [<more-args>] 5c460b37ffb50819a32c2a8967754b6f784b28263mkopec 6c460b37ffb50819a32c2a8967754b6f784b28263mkopecOUTDIR=$1 7c460b37ffb50819a32c2a8967754b6f784b28263mkopecFILECHECK=$2 8c460b37ffb50819a32c2a8967754b6f784b28263mkopecSOURCEFILE=$3 93a6750f246eed4168351786074691e8eeee5b175David Grossshift 3 10c460b37ffb50819a32c2a8967754b6f784b28263mkopec 11c460b37ffb50819a32c2a8967754b6f784b28263mkopecFILECHECK_INPUTFILE=`basename $SOURCEFILE | sed 's/\.rs\$/.ll/'` 12c460b37ffb50819a32c2a8967754b6f784b28263mkopec 13bc1f154b00985c8935d943672e2d97ed17c309e2Matt Wala# This runs FileCheck on both the 32 bit and the 64 bit bitcode files. 143a6750f246eed4168351786074691e8eeee5b175David Gross$FILECHECK -input-file $OUTDIR/bc32/$FILECHECK_INPUTFILE $SOURCEFILE $@ 153a6750f246eed4168351786074691e8eeee5b175David Gross$FILECHECK -input-file $OUTDIR/bc64/$FILECHECK_INPUTFILE $SOURCEFILE $@ 16