aboutsummaryrefslogtreecommitdiff
path: root/backend/include/rcc/Tooling/BackendManifest.h
blob: d5d57334b7aea6bd794acfc9d9946100b739f8b9 (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
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
// SPDX-License-Identifier: GPL-3.0-or-later

#ifndef RCC_TOOLING_BACKENDMANIFEST_H
#define RCC_TOOLING_BACKENDMANIFEST_H

#include "rcc/Tooling/BackendInvocation.h"

#include <cstdint>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

namespace rcc::tooling {

inline constexpr std::uint32_t BackendManifestSchemaVersion = 1;

enum class ManifestKind : std::uint8_t {
  Cache,
  Reproducer,
};

enum class ArtifactKind : std::uint8_t {
  PreLegalizerMIR,
  LegalizedMIR,
  RegisterBankMIR,
  SelectedMIR,
  PostSSAMIR,
  PostRegisterAllocationMIR,
  FinalMIR,
  Assembly,
  RelocatableObject,
};

struct StructuredDiagnostic final {
  std::string Category;
  std::string Stage;
  std::string Pass;
  std::string Function;
  std::optional<std::uint64_t> Block;
  std::optional<std::uint64_t> Instruction;
  std::optional<std::uint32_t> Operand;
  std::string SourceLocation;
  std::string TargetConstraint;
  std::string Rule;
  std::string Message;

  friend bool operator==(const StructuredDiagnostic &, const StructuredDiagnostic &) = default;
};

struct BackendManifest final {
  std::uint32_t SchemaVersion = BackendManifestSchemaVersion;
  ManifestKind Kind = ManifestKind::Reproducer;
  ArtifactKind Artifact = ArtifactKind::FinalMIR;
  BackendInvocation Invocation;
  std::string InputMIRHash;
  std::string TargetFingerprint;
  std::string CacheKey;
  std::optional<std::string> ArtifactHash;
  std::vector<StructuredDiagnostic> Diagnostics;

  [[nodiscard]] Expected<void> verify() const;

  friend bool operator==(const BackendManifest &, const BackendManifest &) = default;
};

[[nodiscard]] Expected<std::string> printBackendManifest(const BackendManifest &Manifest);
[[nodiscard]] Expected<BackendManifest> parseBackendManifest(std::string SourceName,
                                                             std::string SourceText);
[[nodiscard]] std::string_view spelling(ManifestKind Value) noexcept;
[[nodiscard]] std::string_view spelling(ArtifactKind Value) noexcept;

} // namespace rcc::tooling

#endif // RCC_TOOLING_BACKENDMANIFEST_H