mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
52 lines
1.3 KiB
C++
52 lines
1.3 KiB
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include <set>
|
|
|
|
#include "revng/TupleTree/TupleTreePath.h"
|
|
|
|
/// Struct returned by Tracking::collect.
|
|
/// The field Read is the set of paths of fields that were accessed.
|
|
/// The exact vectors contains the paths of all vectors that were marked as
|
|
/// requiring being identical.
|
|
///
|
|
/// We divide into read and exact vectors because when we will introduce the
|
|
/// cold start invalidation based on the hash, the hash will be different
|
|
/// depending if they are just read or if they are vectors required to be exact.
|
|
struct ReadFields {
|
|
llvm::SmallVector<TupleTreePath> Read;
|
|
llvm::SmallVector<TupleTreePath> ExactVectors;
|
|
|
|
void deduplicate() {
|
|
llvm::sort(Read);
|
|
Read.erase(std::unique(Read.begin(), Read.end()), Read.end());
|
|
llvm::sort(ExactVectors);
|
|
ExactVectors.erase(std::unique(ExactVectors.begin(), ExactVectors.end()),
|
|
ExactVectors.end());
|
|
}
|
|
};
|
|
|
|
namespace revng {
|
|
|
|
struct Tracking {
|
|
template<typename M>
|
|
static ReadFields collect(const M &LHS);
|
|
|
|
template<typename M>
|
|
static void clearAndResume(const M &LHS);
|
|
|
|
template<typename M>
|
|
static void push(const M &LHS);
|
|
|
|
template<typename M>
|
|
static void pop(const M &LHS);
|
|
|
|
template<typename M>
|
|
static void stop(const M &LHS);
|
|
};
|
|
|
|
} // namespace revng
|