3 ms·

you're right, and even on old versions of gcc and clang it seems that it is correctly generated as mul + umulh pair