/* { dg-do compile } */
/* { dg-options "-O2" } */

typedef unsigned int __attribute ((mode(TI))) uti_t;

uti_t foo(unsigned long x, unsigned long y)
{
  return (uti_t)x * (uti_t)y;
}

/* { dg-final { scan-assembler-times "mul.lo.u64" 1 } } */
/* { dg-final { scan-assembler-times "mul.hi.u64" 1 } } */