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