gcc/testsuite/gcc.target/mips/dpaq_sa_l_w.c

   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 }