blob: efe430effd199fea83e8bcf02d5fbcc371052041 (
plain)
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
|
// SPDX-License-Identifier: GPL-3.0-or-later
#ifndef RCC_CODEGEN_MACHINEVERIFIER_H
#define RCC_CODEGEN_MACHINEVERIFIER_H
#include "rcc/CodeGen/TargetDescription.h"
#include "rcc/Support/Error.h"
#include <cstdint>
#include <optional>
namespace rcc {
class MachineFunction;
enum class MachineVerifierMode : std::uint8_t {
Generic,
PreLegalizer,
};
struct MachineVerifierOptions final {
MachineVerifierMode Mode = MachineVerifierMode::Generic;
std::optional<PipelineStage> Stage;
bool VerifyProperties = true;
};
class MachineVerifier final {
public:
[[nodiscard]] static Expected<void> verify(const MachineFunction &Function,
const TargetDescription &Target,
MachineVerifierOptions Options = {});
};
} // namespace rcc
#endif // RCC_CODEGEN_MACHINEVERIFIER_H
|
