1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
// SPDX-License-Identifier: GPL-3.0-or-later
#ifndef RCC_TOOLING_MIRREDUCER_H
#define RCC_TOOLING_MIRREDUCER_H
#include "rcc/Support/Error.h"
#include "rcc/Tooling/BackendInvocation.h"
#include <cstddef>
#include <cstdint>
#include <functional>
#include <string>
#include <string_view>
#include <vector>
namespace rcc {
class TargetDescription;
namespace tooling {
enum class ReductionMode : std::uint8_t {
PreserveValidity,
PreserveFailure,
};
enum class ReductionGranularity : std::uint8_t {
CompilationUnit,
MachineFunction,
BasicBlock,
CFGEdge,
Instruction,
Operand,
RegisterSubgraph,
FrameObject,
ConstantPool,
JumpTable,
TargetFeature,
PassPipeline,
};
struct MIRReducerOptions final {
ReductionMode Mode = ReductionMode::PreserveFailure;
std::size_t MaximumAttempts = 100'000;
std::vector<ReductionGranularity> Granularities;
};
using MIRInterestingnessTest =
std::function<Expected<bool>(std::string_view, const BackendInvocation &)>;
// PreserveFailure requires and evaluates the interestingness test. PreserveValidity accepts every
// smaller candidate that reparses, canonicalizes, and verifies; its interestingness test is
// ignored.
struct MIRReductionStep final {
ReductionGranularity Granularity = ReductionGranularity::Instruction;
std::string Description;
std::size_t PreviousSize = 0;
std::size_t ReducedSize = 0;
};
struct MIRReductionResult final {
std::string MIR;
BackendInvocation Invocation;
std::vector<MIRReductionStep> Steps;
std::size_t Attempts = 0;
bool Exhausted = false;
};
[[nodiscard]] Expected<MIRReductionResult> reduceMIR(std::string SourceName, std::string SourceText,
BackendInvocation Invocation,
const TargetDescription &Target,
const MIRInterestingnessTest &Interesting,
MIRReducerOptions Options = {});
[[nodiscard]] std::string_view spelling(ReductionGranularity Granularity) noexcept;
} // namespace tooling
} // namespace rcc
#endif // RCC_TOOLING_MIRREDUCER_H
|
