gcc/testsuite/c-c++-common/torture/complex-sign-mixed-sub.c

   1 /* Test complex arithmetic with signed zeros.  Mixed real/complex
   2    subtraction.  */
   3 /* { dg-do run } */
   4 /* { dg-options "-std=gnu99" { target c } } */
   5 /* { dg-skip-if "ptx can elide zero additions" { "nvptx-*-*" } { "-O0" } { "" } } */
   6 /* { dg-skip-if "double support is incomplete" { "avr-*-*" } } */
   7
   8 #include "complex-sign.h"
   9
  10 #define CHECK_SUB(TYPE, COPY, ZERO, ZEROI)                              \
  11   do {                                                                  \
  12     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, +, +, +, +, -);         \
  13     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, +, +, -, +, +);         \
  14     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, +, -, +, +, -);         \
  15     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, +, -, -, +, +);         \
  16     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, -, +, +, -, -);         \
  17     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, -, +, -, -, +);         \
  18     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, -, -, +, +, -);         \
  19     CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, -, -, -, -, +, +);         \
  20     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, +, +, +, ZERO, +, +);   \
  21     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, +, +, -, ZERO, +, +);   \
  22     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, +, -, +, ZERO, +, -);   \
  23     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, +, -, -, ZERO, +, -);   \
  24     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, -, +, +, ZERO, -, +);   \
  25     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, -, +, -, ZERO, +, +);   \
  26     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, -, -, +, ZERO, -, -);   \
  27     CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, -, -, -, -, ZERO, +, -);   \
  28   } while (0)
  29
  30 void
  31 check_sub_float (void)
  32 {
  33   CHECK_SUB (float, __builtin_copysignf, 0.0f, 0.0if);
  34 }
  35
  36 void
  37 check_sub_double (void)
  38 {
  39   CHECK_SUB (double, __builtin_copysign, 0.0, 0.0i);
  40 }
  41
  42 void
  43 check_sub_long_double (void)
  44 {
  45   CHECK_SUB (long double, __builtin_copysignl, 0.0l, 0.0il);
  46 }
  47
  48 int
  49 main (void)
  50 {
  51   check_sub_float ();
  52   check_sub_double ();
  53   check_sub_long_double ();
  54   exit (0);
  55 }