gcc/testsuite/gcc.target/powerpc/float128-hw4.c

   1 /* { dg-do compile { target lp64 } } */
   2 /* { dg-require-effective-target powerpc_p9vector_ok } */
   3 /* { dg-require-effective-target float128 } */
   4 /* { dg-options "-mpower9-vector -O2 -mabi=ieeelongdouble -Wno-psabi" } */
   5
   6 /* Insure that the ISA 3.0 IEEE 128-bit floating point built-in functions can
   7    be used with long double when the default is IEEE 128-bit.  */
   8
   9 #ifndef TYPE
  10 #define TYPE long double
  11 #endif
  12
  13 unsigned int
  14 get_double_exponent (double a)
  15 {
  16   return __builtin_vec_scalar_extract_exp (a);
  17 }
  18
  19 unsigned int
  20 get_float128_exponent (TYPE a)
  21 {
  22   return __builtin_vec_scalar_extract_exp (a);
  23 }
  24
  25 unsigned long
  26 get_double_mantissa (double a)
  27 {
  28   return __builtin_vec_scalar_extract_sig (a);
  29 }
  30
  31 __uint128_t
  32 get_float128_mantissa (TYPE a)
  33 {
  34   return __builtin_vec_scalar_extract_sig (a);
  35 }
  36
  37 double
  38 set_double_exponent_ulong (unsigned long a, unsigned long e)
  39 {
  40   return __builtin_vec_scalar_insert_exp (a, e);
  41 }
  42
  43 TYPE
  44 set_float128_exponent_uint128 (__uint128_t a, unsigned long e)
  45 {
  46   return __builtin_vec_scalar_insert_exp (a, e);
  47 }
  48
  49 double
  50 set_double_exponent_double (double a, unsigned long e)
  51 {
  52   return __builtin_vec_scalar_insert_exp (a, e);
  53 }
  54
  55 TYPE
  56 set_float128_exponent_float128 (TYPE a, __uint128_t e)
  57 {
  58   return __builtin_vec_scalar_insert_exp (a, e);
  59 }
  60
  61 TYPE
  62 sqrt_odd (TYPE a)
  63 {
  64   return __builtin_sqrtf128_round_to_odd (a);
  65 }
  66
  67 double
  68 trunc_odd (TYPE a)
  69 {
  70   return __builtin_truncf128_round_to_odd (a);
  71 }
  72
  73 TYPE
  74 add_odd (TYPE a, TYPE b)
  75 {
  76   return __builtin_addf128_round_to_odd (a, b);
  77 }
  78
  79 TYPE
  80 sub_odd (TYPE a, TYPE b)
  81 {
  82   return __builtin_subf128_round_to_odd (a, b);
  83 }
  84
  85 TYPE
  86 mul_odd (TYPE a, TYPE b)
  87 {
  88   return __builtin_mulf128_round_to_odd (a, b);
  89 }
  90
  91 TYPE
  92 div_odd (TYPE a, TYPE b)
  93 {
  94   return __builtin_divf128_round_to_odd (a, b);
  95 }
  96
  97 TYPE
  98 fma_odd (TYPE a, TYPE b, TYPE c)
  99 {
 100   return __builtin_fmaf128_round_to_odd (a, b, c);
 101 }
 102
 103 TYPE
 104 fms_odd (TYPE a, TYPE b, TYPE c)
 105 {
 106   return __builtin_fmaf128_round_to_odd (a, b, -c);
 107 }
 108
 109 TYPE
 110 nfma_odd (TYPE a, TYPE b, TYPE c)
 111 {
 112   return -__builtin_fmaf128_round_to_odd (a, b, c);
 113 }
 114
 115 TYPE
 116 nfms_odd (TYPE a, TYPE b, TYPE c)
 117 {
 118   return -__builtin_fmaf128_round_to_odd (a, b, -c);
 119 }
 120
 121 /* { dg-final { scan-assembler     {\mxsiexpdp\M}   } } */
 122 /* { dg-final { scan-assembler     {\mxsiexpqp\M}   } } */
 123 /* { dg-final { scan-assembler     {\mxsxexpdp\M}   } } */
 124 /* { dg-final { scan-assembler     {\mxsxexpqp\M}   } } */
 125 /* { dg-final { scan-assembler     {\mxsxsigdp\M}   } } */
 126 /* { dg-final { scan-assembler     {\mxsxsigqp\M}   } } */
 127 /* { dg-final { scan-assembler     {\mxsaddqpo\M}   } } */
 128 /* { dg-final { scan-assembler     {\mxsdivqpo\M}   } } */
 129 /* { dg-final { scan-assembler     {\mxsmaddqpo\M}  } } */
 130 /* { dg-final { scan-assembler     {\mxsmsubqpo\M}  } } */
 131 /* { dg-final { scan-assembler     {\mxsmulqpo\M}   } } */
 132 /* { dg-final { scan-assembler     {\mxsnmaddqpo\M} } } */
 133 /* { dg-final { scan-assembler     {\mxsnmsubqpo\M} } } */
 134 /* { dg-final { scan-assembler     {\mxssqrtqpo\M}  } } */
 135 /* { dg-final { scan-assembler     {\mxssubqpo\M}   } } */
 136 /* { dg-final { scan-assembler-not {\mbl\M}         } } */