From 3a57627e59ba18b6f9f9aae7bb60c390c0d3575a Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sun, 9 Aug 2026 22:05:14 +0800
Subject: [MC] Implement RV64GC object emission

---
 backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake')

diff --git a/backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake b/backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake
index baeedcf..85977df 100644
--- a/backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake
+++ b/backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake
@@ -22,6 +22,11 @@ if(INPUT MATCHES "RISCVDataPipeline" AND
     NOT FirstAssembly MATCHES "\\.LJTI[0-9]+_0:"))
   message(FATAL_ERROR "assembly pipeline did not emit its constant pool and jump table")
 endif()
+if(INPUT MATCHES "RISCVStackFramePipeline" AND
+   (NOT FirstAssembly MATCHES "addi x2, x2, -32" OR
+    NOT FirstAssembly MATCHES "addi x2, x2, 32"))
+  message(FATAL_ERROR "assembly pipeline did not balance its stack frame")
+endif()
 
 execute_process(
   COMMAND "${EMITTER}" --input "${INPUT}"
-- 
cgit v1.2.3