On Sat, Feb 11, 2023, 14:37 Basile Starynkevitch <bas...@starynkevitch.net> wrote:
> Modifying the pass manager > https://gcc.gnu.org/onlinedocs/gccint/Pass-manager.html#Pass-manager to > use clock_gettime system call. See > https://man7.org/linux/man-pages/man2/clock_gettime.2.html Since we can now use c++11, std::chrono::high_resolution_clock::now() would call that without being platform specific.