From 76d89700953ddd81cf31ab8f260eddf67e93aa85 Mon Sep 17 00:00:00 2001 From: Richard-Qin-X Date: Fri, 7 Aug 2026 01:27:41 +0800 Subject: [MIR] Complete document parsing and printing Implement the single LLVM-compatible MIR document path with structured\nembedded-IR references, YAML mappings, constants, and deterministic printing.\n\nKeep pointer LLT widths DataLayout-derived, reject layout-dependent output\nwhen embedded IR is omitted, and record the fixed-baseline compatibility\ncontract and regression coverage. --- backend/lib/MIR/MIRDocumentReferenceValidation.h | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 backend/lib/MIR/MIRDocumentReferenceValidation.h (limited to 'backend/lib/MIR/MIRDocumentReferenceValidation.h') diff --git a/backend/lib/MIR/MIRDocumentReferenceValidation.h b/backend/lib/MIR/MIRDocumentReferenceValidation.h new file mode 100644 index 0000000..0992d84 --- /dev/null +++ b/backend/lib/MIR/MIRDocumentReferenceValidation.h @@ -0,0 +1,23 @@ +// SPDX-License-Identifier: GPL-3.0-or-later + +#ifndef RCC_LIB_MIR_MIRDOCUMENTREFERENCEVALIDATION_H +#define RCC_LIB_MIR_MIRDOCUMENTREFERENCEVALIDATION_H + +#include "rcc/Support/Error.h" + +namespace rcc { + +class MachineFunction; + +namespace mir { + +class MIRDocument; + +[[nodiscard]] Expected verifyMIRDocumentReferences(const MIRDocument &Document, + const MachineFunction &Function, + bool UseEmbeddedIR); + +} // namespace mir +} // namespace rcc + +#endif // RCC_LIB_MIR_MIRDOCUMENTREFERENCEVALIDATION_H -- cgit v1.2.3