gcc/testsuite/c-c++-common/torture/complex-sign-mul-minus-one.c

   1 /* Test complex arithmetic with signed zeros.  Pure complex
   2    multiplication with -1.0 + 0.0i.  */
   3 /* { dg-do run } */
   4 /* { dg-options "-std=gnu99" { target c } } */
   5 /* { dg-add-options ieee } */
   6
   7 #include "complex-sign.h"
   8
   9 #define CHECK_MUL_INT(TYPE, COPY, ZERO, ZEROI, ONE, S1, S2, SR, SI)     \
  10   do {                                                                  \
  11     _Complex TYPE a1, b1, c1;                                           \
  12     volatile _Complex TYPE a2, b2, c2;                                  \
  13     a1 = ENCODE(ZERO, ZEROI, S1, S2);                                   \
  14     CHECK_RES (a1, COPY, S1, S2);                                       \
  15     b1 = -ONE + ZEROI;                                                  \
  16     c1 = a1 * b1;                                                       \
  17     CHECK_RES (c1, COPY, SR, SI);                                       \
  18     c1 = a1 * (-ONE + ZEROI);                                           \
  19     CHECK_RES (c1, COPY, SR, SI);                                       \
  20     a2 = ENCODE(ZERO, ZEROI, S1, S2);                                   \
  21     CHECK_RES (a2, COPY, S1, S2);                                       \
  22     b2 = -ONE + ZEROI;                                                  \
  23     c2 = a2 * b2;                                                       \
  24     CHECK_RES (c2, COPY, SR, SI);                                       \
  25     c2 = a2 * (-ONE + ZEROI);                                           \
  26     CHECK_RES (c2, COPY, SR, SI);                                       \
  27   } while (0)
  28
  29 #define CHECK_MUL(TYPE, COPY, ZERO, ZEROI, ONE)                 \
  30   do {                                                          \
  31     CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, +, -, +);   \
  32     CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, -, +, +);   \
  33     CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, +, +, -);   \
  34     CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, -, +, +);   \
  35   } while (0)
  36
  37 void
  38 check_mul_float (void)
  39 {
  40 #ifndef __SPU__
  41   CHECK_MUL (float, __builtin_copysignf, 0.0f, 0.0if, 1.0f);
  42 #endif
  43 }
  44
  45 void
  46 check_mul_double (void)
  47 {
  48   CHECK_MUL (double, __builtin_copysign, 0.0, 0.0i, 1.0);
  49 }
  50
  51 void
  52 check_mul_long_double (void)
  53 {
  54   CHECK_MUL (long double, __builtin_copysignl, 0.0l, 0.0il, 1.0l);
  55 }
  56
  57 int
  58 main (void)
  59 {
  60   check_mul_float ();
  61   check_mul_double ();
  62   check_mul_long_double ();
  63   exit (0);
  64 }