[PATCH V4 00/11] eBPF support for GCC

[Jose E. Marchesi]

    . The mul32 instruction zero-extends arguments and then performs
      a multiplication.  Use the right pattern for this in bpf.md and
      name it umulsidi3.

Sorry, here I meant to say that the mul32 instruction multiplies and
then zero-extends its result.