RegionPredicateTrace.hpp

Go to the documentation of this file.

/*
 * Copyright 2026 Helge Bahmann <hcb@chaoticmind.net>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_RVSDG_REGIONPREDICATETRACE_HPP
#define JLM_RVSDG_REGIONPREDICATETRACE_HPP
 
#include <jlm/rvsdg/control.hpp>
#include <jlm/rvsdg/graph.hpp>
#include <jlm/rvsdg/node.hpp>
 
#include <unordered_map>
 
namespace jlm::rvsdg
{
 
class PredicateValueRange
{
public:
  static inline PredicateValueRange
  CreateEmpty(const ControlType & type)
  {
    return PredicateValueRange(type.nalternatives(), false);
  }
 
  static inline PredicateValueRange
  CreateUnknown(const ControlType & type)
  {
    return PredicateValueRange(type.nalternatives(), true);
  }
 
  static inline PredicateValueRange
  CreateSingleValue(const ControlValueRepresentation & value)
  {
    auto pred = PredicateValueRange(value.nalternatives(), false);
    pred.values_[value.alternative()] = true;
    return pred;
  }
 
  void
  UpdateUnion(const PredicateValueRange & other)
  {
    auto size = std::min(values_.size(), other.values_.size());
    for (std::size_t n = 0; n < size; ++n)
    {
      values_[n] = values_[n] || other.values_[n];
    }
  }
 
  bool
  AllowsValue(std::size_t alternative) const noexcept
  {
    return values_.size() > alternative && values_[alternative];
  }
 
private:
  inline PredicateValueRange(std::size_t nalternatives, bool init_value)
      : values_(nalternatives, init_value)
  {}
 
  std::vector<bool> values_;
};
 
using PredicateSatRequired = std::vector<std::pair<Input *, std::size_t>>;
 
class RegionPredicateTrace
{
public:
  ~RegionPredicateTrace();
 
  RegionPredicateTrace();
 
  PredicateValueRange
  GetRegionPredicateAssignConstraints(Region & region, Input & predUse);
 
  PredicateSatRequired
  GetRegionSatRequired(Region & region);
 
  bool
  CheckPredicatesSatisfiable(Region & originRegion, Region & targetRegion);
 
private:
  // For a given input, its RegionPredRange provides a map from regions to the
  // set of values than can end up being routed to the input, from results of the region.
  using RegionPredRange = std::unordered_map<Region *, PredicateValueRange>;
  class Observer;
 
  void
  Clear();
 
  void
  ObserveRegion(Region & region);
 
  const PredicateValueRange &
  ComputeAndRecord(
      RegionPredRange & regionPredRange,
      Input & input,
      std::unordered_map<Input *, PredicateValueRange> & visitedInputs,
      const ControlType & type);
 
  PredicateValueRange
  Compute(
      RegionPredRange & regionPredRange,
      Input & input,
      std::unordered_map<Input *, PredicateValueRange> & visitedInputs,
      const ControlType & type);
 
  // For a given input, gives the regions where we know which the set of values
  // the region may provide to the input
  std::unordered_map<Input *, RegionPredRange> predAssignment_;
 
  // For a given target region, what predicates must be satisfied to reach it
  std::unordered_map<Region *, PredicateSatRequired> predSat_;
 
  // Observers registered on region to inform the tracer when caches must be invalidated
  std::unordered_map<Region *, std::unique_ptr<Observer>> observers_;
};
 
}
 
#endif // JLM_RVSDG_REGIONTRACE_HPP