Files
Giacomo Vercesi a2b7d0e0bf PipelineC: add tracing
Add support for tracing onto the PipelineC. This is done by:
1. Creating wrapper functions for each PipelineC function with the
   script in `scripts/PipelineC_add_tracing.py`. These will call a
   special function called `wrap` which will ultimately call a method
   with a `_` prepended to the name
2. Conversion of all PipelineC methods in `PipelineC.cpp` to `static`
   and their rename with a `_` in front, in order for them to work with
   the wrapper function in (1)
3. Generation of 2 additional include files, one for types and one for
   functions, to be used by users of tracing files in order to have
   introspection.

These steps allow the creation of a trace file with the use of the
`REVNG_C_API_TRACE_PATH` environment variable. The traces can then be
used in conjunction with the `revng trace run` and `revng trace
inspect` commands.
2023-04-20 14:43:13 +02:00

41 lines
1.0 KiB
C++

#pragma once
//
// This file is distributed under the MIT License. See LICENSE.md for details.
//
#include "revng/ADT/ConstexprString.h"
template<typename T>
using remove_constptr = std::remove_const_t<std::remove_pointer_t<T>>;
template<typename T, typename... Types>
inline constexpr bool anyOf() {
return (std::is_same_v<T, Types> || ...);
}
template<typename T>
inline constexpr bool isInteger() {
return anyOf<T, int, uint8_t, uint16_t, uint32_t, uint64_t>();
}
template<typename T>
concept IntegerType = isInteger<T>();
template<typename T>
inline constexpr bool isList() {
return std::is_pointer_v<T>
&& (isInteger<std::remove_pointer_t<T>>()
|| std::is_pointer_v<std::remove_pointer_t<T>>);
}
template<typename T>
using max_int = std::conditional_t<std::is_signed_v<T>, int64_t, uint64_t>;
template<ConstexprString Name>
inline constexpr bool isDestroy() {
return std::string_view(Name).ends_with("_destroy");
}
inline constexpr auto PointerPrefix = "ptr_";
inline constexpr auto NullPointer = "ptr_0x0";