3 ms·

Thanks - and of course ARMv8 decoding will have some cost. I seem to recall that x64 has greater code density too so some offset there.