#!/bin/bash

NAT=../native/vmc
OPT=../nativeopt/vmc

if [ -x $NAT ]; then
  ( sleep 1;
    time $1;
    time $NAT ../progs/$1;
  ) > /tmp/times 2>&1
  C=`fgrep user /tmp/times | head -1 | sed 's/user.*//'`
  V=`fgrep user /tmp/times | tail -1 | sed 's/user.*//'`
  echo -n "nat $1 "
  echo "scale=4
  $C/$V*100" | bc -l | tail -1 | sed 's/..$/%/'
fi

if [ -x $OPT ]; then
  ( sleep 1;
    time $1;
    time $OPT ../progs/$1;
  ) > /tmp/times 2>&1
  C=`fgrep user /tmp/times | head -1 | sed 's/user.*//'`
  V=`fgrep user /tmp/times | tail -1 | sed 's/user.*//'`
  echo -n "opt $1 "
  echo "scale=4
  $C/$V*100" | bc -l | tail -1 | sed 's/..$/%/'
fi
