bit_and.pass.cpp revision ff46409221ea91df3c5413ba06eed2f6ba963444 
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_and
13
14#include <functional>
15#include <type_traits>
16#include <cassert>
17
18int main()
19{
20    typedef std::bit_and<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) == 0xEA95);
24    assert(f(0xEA95, 0x58D3) == 0x4891);
25    assert(f(0x58D3, 0xEA95) == 0x4891);
26    assert(f(0x58D3, 0) == 0);
27    assert(f(0xFFFF, 0x58D3) == 0x58D3);
28#if _LIBCPP_STD_VER > 11
29    typedef std::bit_and<> F2;
30    const F2 f2 = F2();
31    assert(f2(0xEA95, 0xEA95) == 0xEA95);
32    assert(f2(0xEA95L, 0xEA95) == 0xEA95);
33    assert(f2(0xEA95, 0xEA95L) == 0xEA95);
34
35    assert(f2(0xEA95, 0x58D3) == 0x4891);
36    assert(f2(0xEA95L, 0x58D3) == 0x4891);
37    assert(f2(0xEA95, 0x58D3L) == 0x4891);
38
39    assert(f2(0x58D3, 0xEA95) == 0x4891);
40    assert(f2(0x58D3L, 0xEA95) == 0x4891);
41    assert(f2(0x58D3, 0xEA95L) == 0x4891);
42
43    assert(f2(0x58D3, 0) == 0);
44    assert(f2(0x58D3L, 0) == 0);
45    assert(f2(0x58D3, 0L) == 0);
46
47    assert(f2(0xFFFF, 0x58D3) == 0x58D3);
48    assert(f2(0xFFFFL, 0x58D3) == 0x58D3);
49    assert(f2(0xFFFF, 0x58D3L) == 0x58D3);
50#endif
51}
52