[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.

1 files changed, 2 insertions, 0 deletions

diff --git a/backend/lib/CodeGen/MachineFunctionProperties.cpp b/backend/lib/CodeGen/MachineFunctionProperties.cpp
index 55a4ca3..d3dfdac 100644
--- a/backend/lib/CodeGen/MachineFunctionProperties.cpp
+++ b/backend/lib/CodeGen/MachineFunctionProperties.cpp
@@ -20,6 +20,8 @@ constexpr std::array PropertyNames{
     std::string_view{"FrameFinalized"},
     std::string_view{"NoFrameIndices"},
     std::string_view{"NoExecutablePseudos"},
+    std::string_view{"FailedISel"},
+    std::string_view{"FailsVerification"},
 };
 
 static_assert(PropertyNames.size() == static_cast<std::size_t>(MachineFunctionProperty::Count));