https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86948
--- Comment #3 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Created attachment 44537 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44537&action=edit expose mult-highpart via GIMPLE FE Attaching a patch that allows creating MULT_HIGHPART_EXPR via GIMPLE FE, which allows testing with __GIMPLE unsigned f(unsigned x, unsigned y) { unsigned r; r = x h* y; return r; } (though the patch is not too sophisticated, it accepts "h<whitespace>*")