1 /* { dg-do compile } */
2 /* { dg-options "-O2" } */
3
4 typedef unsigned int __attribute ((mode(TI))) uti_t;
5
6 uti_t foo(unsigned long x, unsigned long y)
7 {
8 return (uti_t)x * (uti_t)y;
9 }
10
11 /* { dg-final { scan-assembler-times "mul.lo.u64" 1 } } */
12 /* { dg-final { scan-assembler-times "mul.hi.u64" 1 } } */
13