| #! /bin/bash |
| # A wrapper over perf to provide similar functionality to timeit.c |
| |
| REPORT=/dev/stderr |
| INPUT=/dev/stdin |
| OUTPUT=/dev/stdout |
| |
| while [[ $1 = -* ]]; do |
| if [ $1 = "--summary" ]; then |
| REPORT=$2 |
| elif [ $1 = "--redirect-input" ]; then |
| INPUT=$2 |
| elif [ $1 = "--redirect-output" ]; then |
| OUTPUT=$2 |
| fi |
| shift 2 |
| done |
| |
| perf stat -o $PERFSTAT $@ < $INPUT &> $OUTPUT |
| |
| EXITCODE=$? |
| |
| echo exit $EXITCODE > $REPORT |
| awk -F' ' '{if ($2 == "task-clock") print "user",$1/1000; else if($2 =="seconds") print "real",$1;}' stats >> $REPORT |
| |
| rm stats |
| |
| exit $EXITCODE |
