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 18 int 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 51 constexpr int foo = std::bit_and<int> () (0x58D3, 0xEA95); 52 static_assert ( foo == 0x4891, "" ); 53 54 constexpr int bar = std::bit_and<> () (0x58D3L, 0xEA95); 55 static_assert ( bar == 0x4891, "" ); 56 #endif 57 } 58
