Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===-- llvm/ADT/BitmaskEnum.h ----------------------------------*- C++ -*-===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | |||
| 9 | #ifndef LLVM_ADT_BITMASKENUM_H |
||
| 10 | #define LLVM_ADT_BITMASKENUM_H |
||
| 11 | |||
| 12 | #include <cassert> |
||
| 13 | #include <type_traits> |
||
| 14 | #include <utility> |
||
| 15 | |||
| 16 | #include "llvm/Support/MathExtras.h" |
||
| 17 | |||
| 18 | /// LLVM_MARK_AS_BITMASK_ENUM lets you opt in an individual enum type so you can |
||
| 19 | /// perform bitwise operations on it without putting static_cast everywhere. |
||
| 20 | /// |
||
| 21 | /// \code |
||
| 22 | /// enum MyEnum { |
||
| 23 | /// E1 = 1, E2 = 2, E3 = 4, E4 = 8, |
||
| 24 | /// LLVM_MARK_AS_BITMASK_ENUM(/* LargestValue = */ E4) |
||
| 25 | /// }; |
||
| 26 | /// |
||
| 27 | /// void Foo() { |
||
| 28 | /// MyEnum A = (E1 | E2) & E3 ^ ~E4; // Look, ma: No static_cast! |
||
| 29 | /// } |
||
| 30 | /// \endcode |
||
| 31 | /// |
||
| 32 | /// Normally when you do a bitwise operation on an enum value, you get back an |
||
| 33 | /// instance of the underlying type (e.g. int). But using this macro, bitwise |
||
| 34 | /// ops on your enum will return you back instances of the enum. This is |
||
| 35 | /// particularly useful for enums which represent a combination of flags. |
||
| 36 | /// |
||
| 37 | /// The parameter to LLVM_MARK_AS_BITMASK_ENUM should be the largest individual |
||
| 38 | /// value in your enum. |
||
| 39 | /// |
||
| 40 | /// All of the enum's values must be non-negative. |
||
| 41 | #define LLVM_MARK_AS_BITMASK_ENUM(LargestValue) \ |
||
| 42 | LLVM_BITMASK_LARGEST_ENUMERATOR = LargestValue |
||
| 43 | |||
| 44 | /// LLVM_ENABLE_BITMASK_ENUMS_IN_NAMESPACE() pulls the operator overloads used |
||
| 45 | /// by LLVM_MARK_AS_BITMASK_ENUM into the current namespace. |
||
| 46 | /// |
||
| 47 | /// Suppose you have an enum foo::bar::MyEnum. Before using |
||
| 48 | /// LLVM_MARK_AS_BITMASK_ENUM on MyEnum, you must put |
||
| 49 | /// LLVM_ENABLE_BITMASK_ENUMS_IN_NAMESPACE() somewhere inside namespace foo or |
||
| 50 | /// namespace foo::bar. This allows the relevant operator overloads to be found |
||
| 51 | /// by ADL. |
||
| 52 | /// |
||
| 53 | /// You don't need to use this macro in namespace llvm; it's done at the bottom |
||
| 54 | /// of this file. |
||
| 55 | #define LLVM_ENABLE_BITMASK_ENUMS_IN_NAMESPACE() \ |
||
| 56 | using ::llvm::BitmaskEnumDetail::operator~; \ |
||
| 57 | using ::llvm::BitmaskEnumDetail::operator|; \ |
||
| 58 | using ::llvm::BitmaskEnumDetail::operator&; \ |
||
| 59 | using ::llvm::BitmaskEnumDetail::operator^; \ |
||
| 60 | using ::llvm::BitmaskEnumDetail::operator|=; \ |
||
| 61 | using ::llvm::BitmaskEnumDetail::operator&=; \ |
||
| 62 | /* Force a semicolon at the end of this macro. */ \ |
||
| 63 | using ::llvm::BitmaskEnumDetail::operator^= |
||
| 64 | |||
| 65 | namespace llvm { |
||
| 66 | |||
| 67 | /// Traits class to determine whether an enum has a |
||
| 68 | /// LLVM_BITMASK_LARGEST_ENUMERATOR enumerator. |
||
| 69 | template <typename E, typename Enable = void> |
||
| 70 | struct is_bitmask_enum : std::false_type {}; |
||
| 71 | |||
| 72 | template <typename E> |
||
| 73 | struct is_bitmask_enum< |
||
| 74 | E, std::enable_if_t<sizeof(E::LLVM_BITMASK_LARGEST_ENUMERATOR) >= 0>> |
||
| 75 | : std::true_type {}; |
||
| 76 | namespace BitmaskEnumDetail { |
||
| 77 | |||
| 78 | /// Get a bitmask with 1s in all places up to the high-order bit of E's largest |
||
| 79 | /// value. |
||
| 80 | template <typename E> constexpr std::underlying_type_t<E> Mask() { |
||
| 81 | // On overflow, NextPowerOf2 returns zero with the type uint64_t, so |
||
| 82 | // subtracting 1 gives us the mask with all bits set, like we want. |
||
| 83 | return NextPowerOf2(static_cast<std::underlying_type_t<E>>( |
||
| 84 | E::LLVM_BITMASK_LARGEST_ENUMERATOR)) - |
||
| 85 | 1; |
||
| 86 | } |
||
| 87 | |||
| 88 | /// Check that Val is in range for E, and return Val cast to E's underlying |
||
| 89 | /// type. |
||
| 90 | template <typename E> constexpr std::underlying_type_t<E> Underlying(E Val) { |
||
| 91 | auto U = static_cast<std::underlying_type_t<E>>(Val); |
||
| 92 | assert(U >= 0 && "Negative enum values are not allowed."); |
||
| 93 | assert(U <= Mask<E>() && "Enum value too large (or largest val too small?)"); |
||
| 94 | return U; |
||
| 95 | } |
||
| 96 | |||
| 97 | constexpr unsigned bitWidth(uint64_t Value) { |
||
| 98 | return Value ? 1 + bitWidth(Value >> 1) : 0; |
||
| 99 | } |
||
| 100 | |||
| 101 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 102 | constexpr E operator~(E Val) { |
||
| 103 | return static_cast<E>(~Underlying(Val) & Mask<E>()); |
||
| 104 | } |
||
| 105 | |||
| 106 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 107 | constexpr E operator|(E LHS, E RHS) { |
||
| 108 | return static_cast<E>(Underlying(LHS) | Underlying(RHS)); |
||
| 109 | } |
||
| 110 | |||
| 111 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 112 | constexpr E operator&(E LHS, E RHS) { |
||
| 113 | return static_cast<E>(Underlying(LHS) & Underlying(RHS)); |
||
| 114 | } |
||
| 115 | |||
| 116 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 117 | constexpr E operator^(E LHS, E RHS) { |
||
| 118 | return static_cast<E>(Underlying(LHS) ^ Underlying(RHS)); |
||
| 119 | } |
||
| 120 | |||
| 121 | // |=, &=, and ^= return a reference to LHS, to match the behavior of the |
||
| 122 | // operators on builtin types. |
||
| 123 | |||
| 124 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 125 | E &operator|=(E &LHS, E RHS) { |
||
| 126 | LHS = LHS | RHS; |
||
| 127 | return LHS; |
||
| 128 | } |
||
| 129 | |||
| 130 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 131 | E &operator&=(E &LHS, E RHS) { |
||
| 132 | LHS = LHS & RHS; |
||
| 133 | return LHS; |
||
| 134 | } |
||
| 135 | |||
| 136 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 137 | E &operator^=(E &LHS, E RHS) { |
||
| 138 | LHS = LHS ^ RHS; |
||
| 139 | return LHS; |
||
| 140 | } |
||
| 141 | |||
| 142 | } // namespace BitmaskEnumDetail |
||
| 143 | |||
| 144 | // Enable bitmask enums in namespace ::llvm and all nested namespaces. |
||
| 145 | LLVM_ENABLE_BITMASK_ENUMS_IN_NAMESPACE(); |
||
| 146 | template <typename E, typename = std::enable_if_t<is_bitmask_enum<E>::value>> |
||
| 147 | constexpr unsigned BitWidth = BitmaskEnumDetail::bitWidth(uint64_t{ |
||
| 148 | static_cast<std::underlying_type_t<E>>( |
||
| 149 | E::LLVM_BITMASK_LARGEST_ENUMERATOR)}); |
||
| 150 | |||
| 151 | } // namespace llvm |
||
| 152 | |||
| 153 | #endif |