1/* { dg-options "-mips1 -mfix-r4000 -O2 -dp -EB" } */
2typedef unsigned int uint32_t;
3typedef unsigned long long uint64_t;
4uint32_t foo (uint32_t x, uint32_t y) { return ((uint64_t) x * y) >> 32; }
5/* ??? A highpart pattern would be a better choice, but we currently
6   don't use them.  */
7/* { dg-final { scan-assembler "[concat {\tmultu\t\$[45],\$[45][^\n]+umulsidi3_32bit_r4000[^\n]+\n\tmflo\t\$3\n\tmfhi\t\$2\n}]" } } */
8