PreservedAnalyses.hpp

Go to the documentation of this file.

 
#ifndef LLVMEXPR_ANALYSIS_FRAMEWORK_PRESERVED_ANALYSES_HPP
#define LLVMEXPR_ANALYSIS_FRAMEWORK_PRESERVED_ANALYSES_HPP
 
#include <typeindex>
#include <unordered_set>
 
namespace analysis {
 
class PreservedAnalyses {
  public:
    static PreservedAnalyses all() { return PreservedAnalyses(true); }
 
    static PreservedAnalyses none() { return PreservedAnalyses(false); }
 
    [[nodiscard]] bool preservedAll() const { return preserved_all; }
 
    template <typename PassT> void preserve() {
        if (!preserved_all) {
            preserved_passes.insert(std::type_index(typeid(PassT)));
        }
    }
 
    template <typename PassT> [[nodiscard]] bool isPreserved() const {
        if (preserved_all) {
            return true;
        }
        return preserved_passes.contains(std::type_index(typeid(PassT)));
    }
 
    [[nodiscard]] bool isPreserved(const std::type_index& pass_type) const {
        if (preserved_all) {
            return true;
        }
        return preserved_passes.contains(pass_type);
    }
 
  private:
    explicit PreservedAnalyses(bool all) : preserved_all(all) {}
 
    bool preserved_all;
    std::unordered_set<std::type_index> preserved_passes;
};
 
} // namespace analysis
 
#endif // LLVMEXPR_ANALYSIS_FRAMEWORK_PRESERVED_ANALYSES_HPP