From adcf8c9b1bd1b47e00bf859693112cea1f7e8c9f Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Mon, 10 Aug 2026 20:36:50 +0800
Subject: [Tooling] Complete backend tooling and validation

---
 backend/include/rcc/Tooling/MIRFuzzer.h | 66 +++++++++++++++++++++++++++++++++
 1 file changed, 66 insertions(+)
 create mode 100644 backend/include/rcc/Tooling/MIRFuzzer.h

(limited to 'backend/include/rcc/Tooling/MIRFuzzer.h')

diff --git a/backend/include/rcc/Tooling/MIRFuzzer.h b/backend/include/rcc/Tooling/MIRFuzzer.h
new file mode 100644
index 0000000..7fccb6d
--- /dev/null
+++ b/backend/include/rcc/Tooling/MIRFuzzer.h
@@ -0,0 +1,66 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+
+#ifndef RCC_TOOLING_MIRFUZZER_H
+#define RCC_TOOLING_MIRFUZZER_H
+
+#include "rcc/Support/Error.h"
+#include "rcc/Tooling/BackendInvocation.h"
+
+#include <cstddef>
+#include <cstdint>
+#include <string>
+#include <string_view>
+#include <vector>
+
+namespace rcc {
+
+class TargetDescription;
+
+namespace tooling {
+
+enum class MIRFuzzLayer : std::uint8_t {
+  Parser,
+  BuilderStructural,
+  PropertyStage,
+  Mutation,
+  Pipeline,
+  RestrictedSemantics,
+};
+
+struct MIRFuzzOptions final {
+  std::uint64_t Seed = 0;
+  std::size_t Iterations = 100;
+  std::size_t MaximumInputSize = 1U << 20U;
+  std::vector<MIRFuzzLayer> Layers;
+};
+
+struct MIRFuzzLayerResult final {
+  MIRFuzzLayer Layer = MIRFuzzLayer::Parser;
+  std::size_t Executed = 0;
+  std::size_t Accepted = 0;
+  std::size_t Rejected = 0;
+
+  friend bool operator==(const MIRFuzzLayerResult &, const MIRFuzzLayerResult &) = default;
+};
+
+struct MIRFuzzResult final {
+  std::uint64_t Seed = 0;
+  std::vector<MIRFuzzLayerResult> Layers;
+
+  [[nodiscard]] std::size_t executed() const noexcept;
+  [[nodiscard]] std::size_t accepted() const noexcept;
+  [[nodiscard]] std::size_t rejected() const noexcept;
+};
+
+[[nodiscard]] Expected<MIRFuzzResult> fuzzMIR(std::string SourceName, std::string SourceText,
+                                              BackendInvocation Invocation,
+                                              const TargetDescription &Target,
+                                              MIRFuzzOptions Options = {});
+
+[[nodiscard]] std::string_view spelling(MIRFuzzLayer Layer) noexcept;
+[[nodiscard]] Expected<MIRFuzzLayer> parseMIRFuzzLayer(std::string_view Value);
+
+} // namespace tooling
+} // namespace rcc
+
+#endif // RCC_TOOLING_MIRFUZZER_H
-- 
cgit v1.2.3