Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===-- llvm/ADT/CombinationGenerator.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 | /// \file |
||
| 10 | /// Combination generator. |
||
| 11 | /// |
||
| 12 | /// Example: given input {{0, 1}, {2}, {3, 4}} it will produce the following |
||
| 13 | /// combinations: {0, 2, 3}, {0, 2, 4}, {1, 2, 3}, {1, 2, 4}. |
||
| 14 | /// |
||
| 15 | /// It is useful to think of input as vector-of-vectors, where the |
||
| 16 | /// outer vector is the variable space, and inner vector is choice space. |
||
| 17 | /// The number of choices for each variable can be different. |
||
| 18 | /// |
||
| 19 | /// As for implementation, it is useful to think of this as a weird number, |
||
| 20 | /// where each digit (==variable) may have different base (==number of choices). |
||
| 21 | /// Thus modelling of 'produce next combination' is exactly analogous to the |
||
| 22 | /// incrementing of an number - increment lowest digit (pick next choice for the |
||
| 23 | /// variable), and if it wrapped to the beginning then increment next digit. |
||
| 24 | /// |
||
| 25 | //===----------------------------------------------------------------------===// |
||
| 26 | |||
| 27 | #ifndef LLVM_ADT_COMBINATIONGENERATOR_H |
||
| 28 | #define LLVM_ADT_COMBINATIONGENERATOR_H |
||
| 29 | |||
| 30 | #include "llvm/ADT/ArrayRef.h" |
||
| 31 | #include "llvm/ADT/STLFunctionalExtras.h" |
||
| 32 | #include "llvm/ADT/SmallVector.h" |
||
| 33 | #include <cassert> |
||
| 34 | #include <cstring> |
||
| 35 | |||
| 36 | namespace llvm { |
||
| 37 | |||
| 38 | template <typename choice_type, typename choices_storage_type, |
||
| 39 | int variable_smallsize> |
||
| 40 | class CombinationGenerator { |
||
| 41 | template <typename T> struct WrappingIterator { |
||
| 42 | using value_type = T; |
||
| 43 | |||
| 44 | const ArrayRef<value_type> Range; |
||
| 45 | typename decltype(Range)::const_iterator Position; |
||
| 46 | |||
| 47 | // Rewind the tape, placing the position to again point at the beginning. |
||
| 48 | void rewind() { Position = Range.begin(); } |
||
| 49 | |||
| 50 | // Advance position forward, possibly wrapping to the beginning. |
||
| 51 | // Returns whether the wrap happened. |
||
| 52 | bool advance() { |
||
| 53 | ++Position; |
||
| 54 | bool Wrapped = Position == Range.end(); |
||
| 55 | if (Wrapped) |
||
| 56 | rewind(); |
||
| 57 | return Wrapped; |
||
| 58 | } |
||
| 59 | |||
| 60 | // Get the value at which we are currently pointing. |
||
| 61 | const value_type &operator*() const { return *Position; } |
||
| 62 | |||
| 63 | WrappingIterator(ArrayRef<value_type> Range_) : Range(Range_) { |
||
| 64 | assert(!Range.empty() && "The range must not be empty."); |
||
| 65 | rewind(); |
||
| 66 | } |
||
| 67 | }; |
||
| 68 | |||
| 69 | const ArrayRef<choices_storage_type> VariablesChoices; |
||
| 70 | |||
| 71 | void performGeneration( |
||
| 72 | const function_ref<bool(ArrayRef<choice_type>)> Callback) const { |
||
| 73 | SmallVector<WrappingIterator<choice_type>, variable_smallsize> |
||
| 74 | VariablesState; |
||
| 75 | |||
| 76 | // 'increment' of the the whole VariablesState is defined identically to the |
||
| 77 | // increment of a number: starting from the least significant element, |
||
| 78 | // increment it, and if it wrapped, then propagate that carry by also |
||
| 79 | // incrementing next (more significant) element. |
||
| 80 | auto IncrementState = |
||
| 81 | [](MutableArrayRef<WrappingIterator<choice_type>> VariablesState) |
||
| 82 | -> bool { |
||
| 83 | for (WrappingIterator<choice_type> &Variable : |
||
| 84 | llvm::reverse(VariablesState)) { |
||
| 85 | bool Wrapped = Variable.advance(); |
||
| 86 | if (!Wrapped) |
||
| 87 | return false; // There you go, next combination is ready. |
||
| 88 | // We have carry - increment more significant variable next.. |
||
| 89 | } |
||
| 90 | return true; // MSB variable wrapped, no more unique combinations. |
||
| 91 | }; |
||
| 92 | |||
| 93 | // Initialize the per-variable state to refer to the possible choices for |
||
| 94 | // that variable. |
||
| 95 | VariablesState.reserve(VariablesChoices.size()); |
||
| 96 | for (ArrayRef<choice_type> VC : VariablesChoices) |
||
| 97 | VariablesState.emplace_back(VC); |
||
| 98 | |||
| 99 | // Temporary buffer to store each combination before performing Callback. |
||
| 100 | SmallVector<choice_type, variable_smallsize> CurrentCombination; |
||
| 101 | CurrentCombination.resize(VariablesState.size()); |
||
| 102 | |||
| 103 | while (true) { |
||
| 104 | // Gather the currently-selected variable choices into a vector. |
||
| 105 | for (auto I : llvm::zip(VariablesState, CurrentCombination)) |
||
| 106 | std::get<1>(I) = *std::get<0>(I); |
||
| 107 | // And pass the new combination into callback, as intended. |
||
| 108 | if (/*Abort=*/Callback(CurrentCombination)) |
||
| 109 | return; |
||
| 110 | // And tick the state to next combination, which will be unique. |
||
| 111 | if (IncrementState(VariablesState)) |
||
| 112 | return; // All combinations produced. |
||
| 113 | } |
||
| 114 | }; |
||
| 115 | |||
| 116 | public: |
||
| 117 | CombinationGenerator(ArrayRef<choices_storage_type> VariablesChoices_) |
||
| 118 | : VariablesChoices(VariablesChoices_) { |
||
| 119 | #ifndef NDEBUG |
||
| 120 | assert(!VariablesChoices.empty() && "There should be some variables."); |
||
| 121 | llvm::for_each(VariablesChoices, [](ArrayRef<choice_type> VariableChoices) { |
||
| 122 | assert(!VariableChoices.empty() && |
||
| 123 | "There must always be some choice, at least a placeholder one."); |
||
| 124 | }); |
||
| 125 | #endif |
||
| 126 | } |
||
| 127 | |||
| 128 | // How many combinations can we produce, max? |
||
| 129 | // This is at most how many times the callback will be called. |
||
| 130 | size_t numCombinations() const { |
||
| 131 | size_t NumVariants = 1; |
||
| 132 | for (ArrayRef<choice_type> VariableChoices : VariablesChoices) |
||
| 133 | NumVariants *= VariableChoices.size(); |
||
| 134 | assert(NumVariants >= 1 && |
||
| 135 | "We should always end up producing at least one combination"); |
||
| 136 | return NumVariants; |
||
| 137 | } |
||
| 138 | |||
| 139 | // Actually perform exhaustive combination generation. |
||
| 140 | // Each result will be passed into the callback. |
||
| 141 | void generate(const function_ref<bool(ArrayRef<choice_type>)> Callback) { |
||
| 142 | performGeneration(Callback); |
||
| 143 | } |
||
| 144 | }; |
||
| 145 | |||
| 146 | } // namespace llvm |
||
| 147 | |||
| 148 | #endif |