bit_xor.pass.cpp revision 9738cafa4f5c5ce19cd674e7e8c38376eaac8abe 
1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <functional>
11
12// bit_xor
13
14#include <functional>
15#include <type_traits>
16#include <cassert>
17
18int main()
19{
20    typedef std::bit_xor<int> F;
21    const F f = F();
22    static_assert((std::is_base_of<std::binary_function<int, int, int>, F>::value), "");
23    assert(f(0xEA95, 0xEA95) == 0);
24    assert(f(0xEA95, 0x58D3) == 0xB246);
25    assert(f(0x58D3, 0xEA95) == 0xB246);
26    assert(f(0x58D3, 0) == 0x58D3);
27    assert(f(0xFFFF, 0x58D3) == 0xA72C);
28#if _LIBCPP_STD_VER > 11
29    typedef std::bit_xor<> F2;
30    const F2 f2 = F2();
31    assert(f(0xEA95, 0xEA95) == 0);
32    assert(f(0xEA95L, 0xEA95) == 0);
33    assert(f(0xEA95, 0xEA95L) == 0);
34
35    assert(f(0xEA95, 0x58D3) == 0xB246);
36    assert(f(0xEA95L, 0x58D3) == 0xB246);
37    assert(f(0xEA95, 0x58D3L) == 0xB246);
38
39    assert(f(0x58D3, 0xEA95) == 0xB246);
40    assert(f(0x58D3L, 0xEA95) == 0xB246);
41    assert(f(0x58D3, 0xEA95L) == 0xB246);
42
43    assert(f(0x58D3, 0) == 0x58D3);
44    assert(f(0x58D3L, 0) == 0x58D3);
45    assert(f(0x58D3, 0L) == 0x58D3);
46
47    assert(f(0xFFFF, 0x58D3) == 0xA72C);
48    assert(f(0xFFFFL, 0x58D3) == 0xA72C);
49    assert(f(0xFFFF, 0x58D3L) == 0xA72C);
50
51    constexpr int foo = std::bit_xor<int> () (0x58D3, 0xEA95);
52    static_assert ( foo == 0xB246, "" );
53
54    constexpr int bar = std::bit_xor<> () (0x58D3L, 0xEA95);
55    static_assert ( bar == 0xB246, "" );
56#endif
57}
58