Clang Project

clang_source_code/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
5static_assert((0.0 + 0.0j) == (0.0 + 0.0j));
6static_assert((0.0 + 0.0j) != (0.0 + 0.0j)); // expected-error {{static_assert}}
7
8static_assert((0.0 + 0.0j) == 0.0);
9static_assert(0.0 == (0.0 + 0.0j));
10static_assert(0.0 == 0.0j);
11static_assert((0.0 + 1.0j) != 0.0);
12static_assert(1.0 != (0.0 + 0.0j));
13static_assert(0.0 != 1.0j);
14
15// Walk around the complex plane stepping between angular differences and
16// equality.
17static_assert((1.0 + 0.0j) == (0.0 + 0.0j)); // expected-error {{static_assert}}
18static_assert((1.0 + 0.0j) == (1.0 + 0.0j));
19static_assert((1.0 + 1.0j) == (1.0 + 0.0j)); // expected-error {{static_assert}}
20static_assert((1.0 + 1.0j) == (1.0 + 1.0j));
21static_assert((0.0 + 1.0j) == (1.0 + 1.0j)); // expected-error {{static_assert}}
22static_assert((0.0 + 1.0j) == (0.0 + 1.0j));
23static_assert((-1.0 + 1.0j) == (0.0 + 1.0j)); // expected-error {{static_assert}}
24static_assert((-1.0 + 1.0j) == (-1.0 + 1.0j));
25static_assert((-1.0 + 0.0j) == (-1.0 + 1.0j)); // expected-error {{static_assert}}
26static_assert((-1.0 + 0.0j) == (-1.0 + 0.0j));
27static_assert((-1.0 - 1.0j) == (-1.0 + 0.0j)); // expected-error {{static_assert}}
28static_assert((-1.0 - 1.0j) == (-1.0 - 1.0j));
29static_assert((0.0 - 1.0j) == (-1.0 - 1.0j)); // expected-error {{static_assert}}
30static_assert((0.0 - 1.0j) == (0.0 - 1.0j));
31static_assert((1.0 - 1.0j) == (0.0 - 1.0j)); // expected-error {{static_assert}}
32static_assert((1.0 - 1.0j) == (1.0 - 1.0j));
33
34// Test basic mathematical folding of both complex and real operands.
35static_assert(((1.0 + 0.5j) + (0.25 - 0.75j)) == (1.25 - 0.25j));
36static_assert(((1.0 + 0.5j) + 0.25) == (1.25 + 0.5j));
37static_assert((1.0 + (0.25 - 0.75j)) == (1.25 - 0.75j));
38
39static_assert(((1.0 + 0.5j) - (0.25 - 0.75j)) == (0.75 + 1.25j));
40static_assert(((1.0 + 0.5j) - 0.25) == (0.75 + 0.5j));
41static_assert((1.0 - (0.25 - 0.75j)) == (0.75 + 0.75j));
42
43static_assert(((1.25 + 0.5j) * (0.25 - 0.75j)) == (0.6875 - 0.8125j));
44static_assert(((1.25 + 0.5j) * 0.25) == (0.3125 + 0.125j));
45static_assert((1.25 * (0.25 - 0.75j)) == (0.3125 - 0.9375j));
46
47static_assert(((1.25 + 0.5j) / (0.25 - 0.75j)) == (-0.1 + 1.7j));
48static_assert(((1.25 + 0.5j) / 0.25) == (5.0 + 2.0j));
49static_assert((1.25 / (0.25 - 0.75j)) == (0.5 + 1.5j));
50
51// Test that infinities are preserved, don't turn into NaNs, and do form zeros
52// when the divisor.
53static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) * 1.0)) == 1);
54static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) * 1.0)) == 1);
55static_assert(__builtin_isinf_sign(__real__(1.0 * (__builtin_inf() + 1.0j))) == 1);
56static_assert(__builtin_isinf_sign(__imag__(1.0 * (1.0 + __builtin_inf() * 1.0j))) == 1);
57
58static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) * (1.0 + 1.0j))) == 1);
59static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) * (__builtin_inf() + 1.0j))) == 1);
60static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) * (__builtin_inf() + 1.0j))) == 1);
61
62static_assert(__builtin_isinf_sign(__real__((1.0 + __builtin_inf() * 1.0j) * (1.0 + 1.0j))) == -1);
63static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) * (1.0 + 1.0j))) == 1);
64static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) * (1.0 + __builtin_inf() * 1.0j))) == -1);
65static_assert(__builtin_isinf_sign(__imag__((1.0 + 1.0j) * (1.0 + __builtin_inf() * 1.0j))) == 1);
66
67static_assert(__builtin_isinf_sign(__real__((1.0 + __builtin_inf() * 1.0j) * (1.0 + __builtin_inf() * 1.0j))) == -1);
68static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + __builtin_inf() * 1.0j) * (__builtin_inf() + __builtin_inf() * 1.0j))) == -1);
69
70static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / (1.0 + 1.0j))) == 1);
71static_assert(__builtin_isinf_sign(__imag__(1.0 + (__builtin_inf() * 1.0j) / (1.0 + 1.0j))) == 1);
72static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / (1.0 + 1.0j))) == 1);
73static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / 1.0)) == 1);
74static_assert(__builtin_isinf_sign(__imag__(1.0 + (__builtin_inf() * 1.0j) / 1.0)) == 1);
75static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / 1.0)) == 1);
76
77static_assert(((1.0 + 1.0j) / (__builtin_inf() + 1.0j)) == (0.0 + 0.0j));
78static_assert(((1.0 + 1.0j) / (1.0 + __builtin_inf() * 1.0j)) == (0.0 + 0.0j));
79static_assert(((1.0 + 1.0j) / (__builtin_inf() + __builtin_inf() * 1.0j)) == (0.0 + 0.0j));
80static_assert(((1.0 + 1.0j) / __builtin_inf()) == (0.0 + 0.0j));
81
82static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) / (0.0 + 0.0j))) == 1);
83static_assert(__builtin_isinf_sign(__real__((1.0 + 1.0j) / 0.0)) == 1);
84
85static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / (0.0 + 0.0j))) == 1);
86static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) / (0.0 + 0.0j))) == 1);
87static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / (0.0 + 0.0j))) == 1);
88static_assert(__builtin_isinf_sign(__real__((__builtin_inf() + 1.0j) / 0.0)) == 1);
89static_assert(__builtin_isinf_sign(__imag__((1.0 + __builtin_inf() * 1.0j) / 0.0)) == 1);
90static_assert(__builtin_isinf_sign(__imag__((__builtin_inf() + __builtin_inf() * 1.0j) / 0.0)) == 1);
91
CodeThinker, Enjoy your reading code