clang/test/SemaCXX/complex-folding.cpp

   1 // RUN: %clang_cc1 %s -std=c++1z -fsyntax-only -verify
   2 //
   3 // Test the constant folding of builtin complex numbers.
   4
   5 static_assert((0.0 + 0.0j) == (0.0 + 0.0j));
   6 static_assert((0.0 + 0.0j) != (0.0 + 0.0j)); // expected-error {{static assertion}} \
   7                                              // expected-note {{evaluates to}}
   8
   9 static_assert((0.0 + 0.0j) == 0.0);
  10 static_assert(0.0 == (0.0 + 0.0j));
  11 static_assert(0.0 == 0.0j);
  12 static_assert((0.0 + 1.0j) != 0.0);
  13 static_assert(1.0 != (0.0 + 0.0j));
  14 static_assert(0.0 != 1.0j);
  15
  16 // Walk around the complex plane stepping between angular differences and
  17 // equality.
  18 static_assert((1.0 + 0.0j) == (0.0 + 0.0j)); // expected-error {{static assertion}} \
  19                                              // expected-note {{evaluates to}}
  20 static_assert((1.0 + 0.0j) == (1.0 + 0.0j));
  21 static_assert((1.0 + 1.0j) == (1.0 + 0.0j)); // expected-error {{static assertion}} \
  22                                              // expected-note {{evaluates to}}
  23 static_assert((1.0 + 1.0j) == (1.0 + 1.0j));
  24 static_assert((0.0 + 1.0j) == (1.0 + 1.0j)); // expected-error {{static assertion}} \
  25                                              // expected-note {{evaluates to}}
  26 static_assert((0.0 + 1.0j) == (0.0 + 1.0j));
  27 static_assert((-1.0 + 1.0j) == (0.0 + 1.0j)); // expected-error {{static assertion}} \
  28                                               // expected-note {{evaluates to}}
  29 static_assert((-1.0 + 1.0j) == (-1.0 + 1.0j));
  30 static_assert((-1.0 + 0.0j) == (-1.0 + 1.0j)); // expected-error {{static assertion}} \
  31                                                // expected-note {{evaluates to}}
  32 static_assert((-1.0 + 0.0j) == (-1.0 + 0.0j));
  33 static_assert((-1.0 - 1.0j) == (-1.0 + 0.0j)); // expected-error {{static assertion}} \
  34                                                // expected-note {{evaluates to}}
  35 static_assert((-1.0 - 1.0j) == (-1.0 - 1.0j));
  36 static_assert((0.0 - 1.0j) == (-1.0 - 1.0j)); // expected-error {{static assertion}} \
  37                                               // expected-note {{evaluates to}}
  38 static_assert((0.0 - 1.0j) == (0.0 - 1.0j));
  39 static_assert((1.0 - 1.0j) == (0.0 - 1.0j)); // expected-error {{static assertion}} \
  40                                              // expected-note {{evaluates to}}
  41 static_assert((1.0 - 1.0j) == (1.0 - 1.0j));
  42
  43 // Test basic mathematical folding of both complex and real operands.
  44 static_assert(((1.0 + 0.5j) + (0.25 - 0.75j)) == (1.25 - 0.25j));
  45 static_assert(((1.0 + 0.5j) + 0.25) == (1.25 + 0.5j));
  46 static_assert((1.0 + (0.25 - 0.75j)) == (1.25 - 0.75j));
  47
  48 static_assert(((1.0 + 0.5j) - (0.25 - 0.75j)) == (0.75 + 1.25j));
  49 static_assert(((1.0 + 0.5j) - 0.25) == (0.75 + 0.5j));
  50 static_assert((1.0 - (0.25 - 0.75j)) == (0.75 + 0.75j));
  51
  52 static_assert(((1.25 + 0.5j) * (0.25 - 0.75j)) == (0.6875 - 0.8125j));
  53 static_assert(((1.25 + 0.5j) * 0.25) == (0.3125 + 0.125j));
  54 static_assert((1.25 * (0.25 - 0.75j)) == (0.3125 - 0.9375j));
  55
  56 static_assert(((1.25 + 0.5j) / (0.25 - 0.75j)) == (-0.1 + 1.7j));
  57 static_assert(((1.25 + 0.5j) / 0.25) == (5.0 + 2.0j));
  58 static_assert((1.25 / (0.25 - 0.75j)) == (0.5 + 1.5j));
  59
  60 // Test that infinities are preserved, don't turn into NaNs, and do form zeros
  61 // when the divisor.
  62 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) * 1.0)) == 1);
  63 static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) * 1.0)) == 1);
  64 static_assert(__builtin_isinf_sign(__real__(1.0 * (__builtin_inf() + 1.0j))) == 1);
  65 static_assert(__builtin_isinf_sign(__imag__(1.0 * (1.0 + __builtin_inf() * 1.0j))) == 1);
  66
  67 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) * (1.0 + 1.0j))) == 1);
  68 static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) * (__builtin_inf() + 1.0j))) == 1);
  69 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) * (__builtin_inf() + 1.0j))) == 1);
  70
  71 static_assert(__builtin_isinf_sign(__real__((1.0 + __builtin_inf() * 1.0j) * (1.0 + 1.0j))) == -1);
  72 static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) * (1.0 + 1.0j))) == 1);
  73 static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) * (1.0 + __builtin_inf() * 1.0j))) == -1);
  74 static_assert(__builtin_isinf_sign(__imag__((1.0 + 1.0j) * (1.0 + __builtin_inf() * 1.0j))) == 1);
  75
  76 static_assert(__builtin_isinf_sign(__real__((1.0 + __builtin_inf() * 1.0j) * (1.0 + __builtin_inf() * 1.0j))) == -1);
  77 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + __builtin_inf() * 1.0j) * (__builtin_inf() + __builtin_inf() * 1.0j))) == -1);
  78
  79 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / (1.0 + 1.0j))) == 1);
  80 static_assert(__builtin_isinf_sign(__imag__(1.0 + (__builtin_inf() * 1.0j) / (1.0 + 1.0j))) == 1);
  81 static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / (1.0 + 1.0j))) == 1);
  82 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / 1.0)) == 1);
  83 static_assert(__builtin_isinf_sign(__imag__(1.0 + (__builtin_inf() * 1.0j) / 1.0)) == 1);
  84 static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / 1.0)) == 1);
  85
  86 static_assert(((1.0 + 1.0j) / (__builtin_inf() + 1.0j)) == (0.0 + 0.0j));
  87 static_assert(((1.0 + 1.0j) / (1.0 + __builtin_inf() * 1.0j)) == (0.0 + 0.0j));
  88 static_assert(((1.0 + 1.0j) / (__builtin_inf() + __builtin_inf() * 1.0j)) == (0.0 + 0.0j));
  89 static_assert(((1.0 + 1.0j) / __builtin_inf()) == (0.0 + 0.0j));
  90
  91 static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) / (0.0 + 0.0j))) == 1);
  92 static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) / 0.0)) == 1);
  93
  94 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / (0.0 + 0.0j))) == 1);
  95 static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) / (0.0 + 0.0j))) == 1);
  96 static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / (0.0 + 0.0j))) == 1);
  97 static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / 0.0)) == 1);
  98 static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) / 0.0)) == 1);
  99 static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / 0.0)) == 1);