[Bug c/79217] Feature request: high half of an integer multiplication

[hpa at zytor dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79217

--- Comment #4 from H. Peter Anvin <hpa at zytor dot com> ---
My apologies for the three attachments; I incorrectly attached them to the
wrong bug report.