1  /* { dg-do compile } */
       2  /* { dg-options "-mel -mabi=32 -march=mips64r2 -fexpensive-optimizations" } */
       3  /* { dg-skip-if "code quality test" { *-*-* } { "-O0" } { "" } } */
       4  
       5  typedef int DI __attribute__((mode(DI)));
       6  typedef int SI __attribute__((mode(SI)));
       7  
       8  __attribute__((mips16)) SI
       9  f (SI x, SI y)
      10  {
      11    return ((DI) x * y) >> 32;
      12  }
      13  
      14  /* { dg-final { scan-assembler-not "\tsw\t" } } */