#include <stdio.h>
#include <spu_timer.h>

#define N 30000000

#define TIMEBASE 79800000 // from /proc/cpuinfo

int main()
{
  int i;
  spu_clock_start();

  uint64_t clk0=spu_clock_read();
  double s = 0.0;
  for (i=0;i<N;i++) s += (double)i/N;
  uint64_t clk1=spu_clock_read();
  spu_clock_stop();

  printf("Clocks : %llu\n",clk1-clk0);
  printf("Seconds: %lf\n",(double)(clk1-clk0)/TIMEBASE);
  return 0;
}