- 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);
- }
- }