gcc/testsuite/gcc.dg/torture/builtin-cproj-1.c

   1 /* Copyright (C) 2010  Free Software Foundation.
   2
   3    Verify that folding of built-in cproj is correctly performed by the
   4    compiler.
   5
   6    Origin: Kaveh R. Ghazi,  April 9, 2010.  */
   7
   8 /* { dg-do link } */
   9 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
  10 /* { dg-add-options ieee } */
  11
  12 /* All references to link_error should go away at compile-time.  The
  13    argument is the __LINE__ number.  It appears in the tree dump file
  14    and aids in debugging should any of the tests fail.  */
  15 extern void link_error(int);
  16
  17 #define CPROJ(X) __builtin_cproj(X)
  18 #define CPROJF(X) __builtin_cprojf(X)
  19 #define CPROJL(X) __builtin_cprojl(X)
  20 #ifndef __SPU__
  21 #define INF __builtin_inff()
  22 #else
  23 #define INF __builtin_inf()
  24 #endif
  25 #define I 1i
  26 #define CPSGN(X,Y) __builtin_copysignf((X),(Y))
  27 #define CIMAG(X) __builtin_cimagf(X)
  28 #define CREAL(X) __builtin_crealf(X)
  29
  30 /* Check that the signs of the real and/or imaginary parts of two
  31    complex numbers match.  */
  32 #define CKSGN(X,Y) (CKSGN_R(X,Y) || CKSGN_I(X,Y))
  33 #define CKSGN_R(X,Y) (CPSGN(1,CREAL(X)) != CPSGN(1,CREAL(Y)))
  34 #define CKSGN_I(X,Y) (CPSGN(1,CIMAG(X)) != CPSGN(1,CIMAG(Y)))
  35
  36 /* Test that (cproj(X) == ZERO+Inf) and that the signs of the
  37    imaginary parts match.  ZERO is +/- 0i.  */
  38 #ifndef __SPU__
  39 #define TEST_CST_INF(X,ZERO) do { \
  40   if (CPROJF(X) != ZERO+INF || CKSGN_I(CPROJF(X),ZERO+INF)) \
  41     link_error(__LINE__); \
  42   if (CPROJ(X) != ZERO+INF || CKSGN_I(CPROJ(X),ZERO+INF)) \
  43     link_error(__LINE__); \
  44   if (CPROJL(X) != ZERO+INF || CKSGN_I(CPROJL(X),ZERO+INF)) \
  45     link_error(__LINE__); \
  46 } while (0)
  47 #else
  48 #define TEST_CST_INF(X,ZERO) do { \
  49   if (CPROJ(X) != ZERO+INF || CKSGN_I(CPROJ(X),ZERO+INF)) \
  50     link_error(__LINE__); \
  51   if (CPROJL(X) != ZERO+INF || CKSGN_I(CPROJL(X),ZERO+INF)) \
  52     link_error(__LINE__); \
  53 } while (0)
  54 #endif
  55
  56 /* Test that (cproj(X) == X) for all finite (X).  */
  57 #define TEST_CST(X) do { \
  58   if (CPROJF(X) != (X) || CKSGN(CPROJF(X),(X))) \
  59     link_error(__LINE__); \
  60 } while (0)
  61
  62 /* Test that cproj(X + I*INF) -> (ZERO + INF), where ZERO is +-0i.
  63    NEG is either blank or a minus sign when ZERO is negative.  */
  64 #ifndef __SPU__
  65 #define TEST_IMAG_INF(NEG,ZERO) do { \
  66   if (CPROJF(f+I*NEG INF) != ZERO+INF \
  67       || CKSGN_I (CPROJF(f+I*NEG INF), ZERO+INF)) \
  68     link_error(__LINE__); \
  69   if (CPROJ(d+I*NEG INF) != ZERO+INF \
  70       || CKSGN_I (CPROJ(d+I*NEG INF), ZERO+INF)) \
  71     link_error(__LINE__); \
  72   if (CPROJL(ld+I*NEG INF) != ZERO+INF \
  73       || CKSGN_I (CPROJL(ld+I*NEG INF), ZERO+INF)) \
  74     link_error(__LINE__); \
  75 } while (0)
  76 #else
  77 #define TEST_IMAG_INF(NEG,ZERO) do { \
  78   if (CPROJ(d+I*NEG INF) != ZERO+INF \
  79       || CKSGN_I (CPROJ(d+I*NEG INF), ZERO+INF)) \
  80     link_error(__LINE__); \
  81   if (CPROJL(ld+I*NEG INF) != ZERO+INF \
  82       || CKSGN_I (CPROJL(ld+I*NEG INF), ZERO+INF)) \
  83     link_error(__LINE__); \
  84 } while (0)
  85 #endif
  86
  87 /* Like TEST_IMAG_INF, but check that side effects are honored.  */
  88 #ifndef __SPU__
  89 #define TEST_IMAG_INF_SIDE_EFFECT(NEG,ZERO) do { \
  90   int side = 4; \
  91   if (CPROJF(++side+I*NEG INF) != ZERO+INF \
  92       || CKSGN_I (CPROJF(++side+I*NEG INF), ZERO+INF)) \
  93     link_error(__LINE__); \
  94   if (CPROJ(++side+I*NEG INF) != ZERO+INF \
  95       || CKSGN_I (CPROJ(++side+I*NEG INF), ZERO+INF)) \
  96     link_error(__LINE__); \
  97   if (CPROJL(++side+I*NEG INF) != ZERO+INF \
  98       || CKSGN_I (CPROJL(++side+I*NEG INF), ZERO+INF)) \
  99     link_error(__LINE__); \
 100   if (side != 10) \
 101     link_error(__LINE__); \
 102 } while (0)
 103 #else
 104 #define TEST_IMAG_INF_SIDE_EFFECT(NEG,ZERO) do { \
 105   int side = 4; \
 106   if (CPROJ(++side+I*NEG INF) != ZERO+INF \
 107       || CKSGN_I (CPROJ(++side+I*NEG INF), ZERO+INF)) \
 108     link_error(__LINE__); \
 109   if (CPROJL(++side+I*NEG INF) != ZERO+INF \
 110       || CKSGN_I (CPROJL(++side+I*NEG INF), ZERO+INF)) \
 111     link_error(__LINE__); \
 112   if (side != 8) \
 113     link_error(__LINE__); \
 114 } while (0)
 115 #endif
 116
 117 /* Test that cproj(INF, POSITIVE) -> INF+0i.  NEG is either blank or a
 118    minus sign to test negative INF.  */
 119 #ifndef __SPU__
 120 #define TEST_REAL_INF(NEG) do { \
 121   __real cf = NEG INF; \
 122   __imag cf = (x ? 4 : 5); \
 123   if (CPROJF(cf) != INF \
 124       || CKSGN_I (CPROJF(cf), INF)) \
 125     link_error(__LINE__); \
 126   __real cd = NEG INF; \
 127   __imag cd = (x ? 4 : 5); \
 128   if (CPROJ(cd) != INF \
 129       || CKSGN_I (CPROJ(cd), INF)) \
 130     link_error(__LINE__); \
 131   __real cld = NEG INF; \
 132   __imag cld = (x ? 4 : 5); \
 133   if (CPROJL(cld) != INF \
 134       || CKSGN_I (CPROJL(cld), INF)) \
 135     link_error(__LINE__); \
 136 } while (0)
 137 #else
 138 #define TEST_REAL_INF(NEG) do { \
 139   __real cd = NEG INF; \
 140   __imag cd = (x ? 4 : 5); \
 141   if (CPROJ(cd) != INF \
 142       || CKSGN_I (CPROJ(cd), INF)) \
 143     link_error(__LINE__); \
 144   __real cld = NEG INF; \
 145   __imag cld = (x ? 4 : 5); \
 146   if (CPROJL(cld) != INF \
 147       || CKSGN_I (CPROJL(cld), INF)) \
 148     link_error(__LINE__); \
 149 } while (0)
 150 #endif
 151
 152 /* Like TEST_REAL_INF, but check that side effects are honored.  */
 153 #ifndef __SPU__
 154 #define TEST_REAL_INF_SIDE_EFFECT(NEG) do { \
 155   int side = -9; \
 156   __real cf = NEG INF; \
 157   __imag cf = (x ? 4 : 5); \
 158   if (CPROJF((++side,cf)) != INF \
 159       || CKSGN_I (CPROJF((++side,cf)), INF)) \
 160     link_error(__LINE__); \
 161   __real cd = NEG INF; \
 162   __imag cd = (x ? 4 : 5); \
 163   if (CPROJ((++side,cd)) != INF \
 164       || CKSGN_I (CPROJ((++side,cd)), INF)) \
 165     link_error(__LINE__); \
 166   __real cld = NEG INF; \
 167   __imag cld = (x ? 4 : 5); \
 168   if (CPROJL((++side,cld)) != INF \
 169       || CKSGN_I (CPROJL((++side,cld)), INF)) \
 170     link_error(__LINE__); \
 171   if (side != -3) \
 172     link_error(__LINE__); \
 173 } while (0)
 174 #else
 175 #define TEST_REAL_INF_SIDE_EFFECT(NEG) do { \
 176   int side = -9; \
 177   __real cd = NEG INF; \
 178   __imag cd = (x ? 4 : 5); \
 179   if (CPROJ((++side,cd)) != INF \
 180       || CKSGN_I (CPROJ((++side,cd)), INF)) \
 181     link_error(__LINE__); \
 182   __real cld = NEG INF; \
 183   __imag cld = (x ? 4 : 5); \
 184   if (CPROJL((++side,cld)) != INF \
 185       || CKSGN_I (CPROJL((++side,cld)), INF)) \
 186     link_error(__LINE__); \
 187   if (side != -5) \
 188     link_error(__LINE__); \
 189 } while (0)
 190 #endif
 191
 192 void foo (_Complex long double cld, _Complex double cd, _Complex float cf,
 193           long double ld, double d, float f, int x)
 194 {
 195   TEST_CST_INF (INF+0I, 0);
 196   TEST_CST_INF (INF-0I, -0.FI);
 197   TEST_CST_INF (INF+4I, 0);
 198   TEST_CST_INF (INF-4I, -0.FI);
 199   TEST_CST_INF (-INF+0I, 0);
 200   TEST_CST_INF (-INF-0I, -0.FI);
 201   TEST_CST_INF (-INF+4I, 0);
 202   TEST_CST_INF (-INF-4I, -0.FI);
 203
 204   TEST_CST_INF (0+I*INF, 0);
 205   TEST_CST_INF (0-I*INF, -0.FI);
 206   TEST_CST_INF (23+I*INF, 0);
 207   TEST_CST_INF (23-I*INF, -0.FI);
 208   TEST_CST_INF (-0.F+I*INF, 0);
 209   TEST_CST_INF (-0.F-I*INF, -0.FI);
 210   TEST_CST_INF (-23+I*INF, 0);
 211   TEST_CST_INF (-23-I*INF, -0.FI);
 212
 213   TEST_CST_INF (INF+I*INF, 0);
 214   TEST_CST_INF (INF-I*INF, -0.FI);
 215   TEST_CST_INF (-INF+I*INF, 0);
 216   TEST_CST_INF (-INF-I*INF, -0.FI);
 217
 218   TEST_CST (0);
 219   TEST_CST (-0.F);
 220   TEST_CST (0-0.FI);
 221   TEST_CST (-0.F-0.FI);
 222
 223   TEST_CST (22+3I);
 224   TEST_CST (22-3I);
 225   TEST_CST (-22+3I);
 226   TEST_CST (-22-3I);
 227
 228   TEST_IMAG_INF (,0.FI);
 229   TEST_IMAG_INF (-,-0.FI);
 230
 231 #ifdef __OPTIMIZE__
 232   TEST_REAL_INF( );
 233   TEST_REAL_INF(-);
 234
 235   TEST_IMAG_INF_SIDE_EFFECT (,0.FI);
 236   TEST_IMAG_INF_SIDE_EFFECT (-,-0.FI);
 237
 238   TEST_REAL_INF_SIDE_EFFECT( );
 239   TEST_REAL_INF_SIDE_EFFECT(-);
 240 #endif
 241
 242   return;
 243 }
 244
 245 int main (void)
 246 {
 247   return 0;
 248 }