1 /* { dg-do compile { target { powerpc64*-*-linux* && lp64 } } } */
2 /* { dg-require-effective-target powerpc_p8vector_ok } */
3 /* { dg-skip-if "do not override -mcpu" { powerpc*-*-* } { "-mcpu=*" } { "-mcpu=power8" } } */
4 /* { dg-options "-mcpu=power8 -O2 -mno-float128" } */
6 /* This test tests whether the underlying IEEE 128-bit floating point) is
7 enabled by default on VSX Linux 64-bit systems, even if the keyword
8 __float128 is not enabled . Test that power8 generates a call to the
9 __addkf3 emulation function. */
11 #ifdef __LONG_DOUBLE_IEEE128
12 typedef double __attribute__((__mode__(__TF__
))) f128_t
;
13 typedef _Complex
double __attribute__((__mode__(__TC__
))) f128c_t
;
16 typedef double __attribute__((__mode__(__KF__
))) f128_t
;
17 typedef _Complex
double __attribute__((__mode__(__KC__
))) f128c_t
;
21 add_scalar (f128_t a
, f128_t b
)
28 add_complex (f128c_t a
, f128c_t b
)
33 /* { dg-final { scan-assembler "bl __addkf3" } } */