1 /* { dg-options "-march=r4000 -mfix-r4000 -mgp64 -dp" } */
2 /* { dg-skip-if "naming registers makes this a code quality test" { *-*-* } { "-O0" } { "" } } */
3 /* { dg-skip-if "using DDIVU gives a shorter sequence" { *-*-* } { "-Os" } { "" } } */
4 typedef unsigned long long uint64_t;
foo(uint64_t x)5 NOMIPS16 uint64_t foo (uint64_t x) { return x / 11993; }
6 /* { dg-final { scan-assembler "[concat {\tdmultu\t\$4,\$[0-9]+[^\n]+umuldi3_highpart[^\n]+\n\tmfhi\t\$[0-9]+\n}]" } } */
7