1  /* { dg-do compile { target { fixed_point } } } */
       2  /* This test requires widening_mul */
       3  /* { dg-options "-mgp32 -mdsp -fexpensive-optimizations" } */
       4  /* { dg-skip-if "code quality test" { *-*-* } { "-O0" } { "" } } */
       5  /* { dg-final { scan-assembler-times "\tdpaq_sa.l.w\t\\\$ac" 3 } } */
       6  
       7  NOMIPS16 _Sat long long _Fract
       8  f1 (_Sat long _Fract x, _Sat long _Fract y, _Sat long long _Fract z)
       9  {
      10    return (_Sat long long _Fract) x * y + z;
      11  }
      12  
      13  NOMIPS16 _Sat long long _Fract
      14  f2 (_Sat long _Fract x, _Sat long _Fract y, _Sat long long _Fract z)
      15  {
      16    return z + (_Sat long long _Fract) y * x;
      17  }
      18  
      19  NOMIPS16 _Sat long long _Fract
      20  f3 (_Sat long _Fract x, _Sat long _Fract y, _Sat long long _Fract z)
      21  {
      22    _Sat long long _Fract t = (_Sat long long _Fract) x * y;
      23    int temp = 5;
      24    if (temp == 5)
      25      z = t + z; /* Need to put z at the end.  GCC does not swap operands to
      26  		  match the ssmadd pattern, because types are saturating.  */
      27    return z;
      28  }
      29  
      30  long long _Fract
      31  f4 (long _Fract x, long _Fract y, long long _Fract z)
      32  {
      33    return (long long _Fract) x * y + z;
      34  }
      35  
      36  long long _Fract
      37  f5 (long _Fract x, long _Fract y, long long _Fract z)
      38  {
      39    return z + (long long _Fract) y * x;
      40  }
      41  
      42  long long _Fract
      43  f6 (long _Fract x, long _Fract y, long long _Fract z)
      44  {
      45    long long _Fract t = (long long _Fract) x * y;
      46    int temp = 5;
      47    if (temp == 5)
      48      z = t + z; /* Need to put z at the end.  GCC does not swap operands to
      49  		  match the ssmadd pattern, because types are saturating.  */
      50    return z;
      51  }