I just wanted to thank you for this website. It is putting end to so many discussions we have about the quality of the code. Extra, it has a support for FORTRAN. Previously we were doing debug and disassembly ourselves.
you're right, and even on old versions of gcc and clang it seems that it is correctly generated as mul + umulh pair