+ if (opts_benchmark)
+ {
+ printf("started parsing at: %lu:%09lu\n", (unsigned long)ta.tv_sec, (unsigned long)ta.tv_nsec);
+ printf("started codegen at: %lu:%09lu\n", (unsigned long)tb.tv_sec, (unsigned long)tb.tv_nsec);
+ printf(" finished at: %lu:%09lu\n", (unsigned long)tc.tv_sec, (unsigned long)tc.tv_nsec);
+ {
+ size_t sec = tb.tv_sec - ta.tv_sec;
+ size_t nsec = (tb.tv_nsec + sec * 1000000000L) - ta.tv_nsec;
+ printf("Parsing took %lu\n", (unsigned long)nsec);
+ }
+ {
+ size_t sec = tc.tv_sec - tb.tv_sec;
+ size_t nsec = (tc.tv_nsec + sec * 1000000000L) - tb.tv_nsec;
+ printf("Codegen took %lu\n", (unsigned long)nsec);
+ }
+ }