2 ms·

Indeed. Compilers do have to make compromises, and it is not possible from code alone to understand the tradeoffs.