#!/bin/bash 

CILLY=${CILHOME}/cilly

FILE=$1

if [ -z "$FILE" ]
then
  echo "Usage: ptyasm <file>"
  exit
fi

FILE_BASE=`basename $FILE .c`

# Preprocess
gcc -E -DEOS=0 $FILE > $FILE_BASE.i

# Run the loop scanner
$CILLY --doscanloops --save-temps --noPrintLn --dosimpleMem --domakeCFG --printCilAsIs --out=$FILE_BASE.cil $FILE_BASE.i

# Massage output
yasmpp.pl $FILE_BASE.cil > $FILE_BASE.ypp

# Run yasm
ABSFILE=$FILE_BASE.abs
yasr -p 'EF pc = ERROR' $FILE_BASE.ypp --prooftemplates "${ABSFILE}" --refiner "local-cbj-vs-i-s" --blocking
