From 4fe5ee649927d54d6fb74904d7b97ad0f63fd587 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Tue, 11 Aug 2026 17:38:11 +0800
Subject: [RISCV] Legalize fixed-baseline RV64 MachineIR

---
 backend/tools/MIRTool/MIRToolStageTest.cmake | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'backend/tools/MIRTool/MIRToolStageTest.cmake')

diff --git a/backend/tools/MIRTool/MIRToolStageTest.cmake b/backend/tools/MIRTool/MIRToolStageTest.cmake
index 4fefe6e..8247363 100644
--- a/backend/tools/MIRTool/MIRToolStageTest.cmake
+++ b/backend/tools/MIRTool/MIRToolStageTest.cmake
@@ -61,6 +61,25 @@ foreach(Stage IN LISTS Stages)
   endif()
 endforeach()
 
+set(NoPassOutput "${WORK_DIRECTORY}/none.mir")
+execute_process(
+  COMMAND
+    "${TOOL}" --input "${INPUT}" --run-pass=none --emit final-mir --output "${NoPassOutput}"
+  RESULT_VARIABLE NoPassResult
+  ERROR_VARIABLE NoPassDiagnostics
+)
+if(NOT NoPassResult EQUAL 0)
+  message(FATAL_ERROR "LLVM-compatible none pass failed: ${NoPassDiagnostics}")
+endif()
+execute_process(
+  COMMAND "${CMAKE_COMMAND}" -E compare_files "${NoPassOutput}"
+    "${WORK_DIRECTORY}/prelegalizer-mir.mir"
+  RESULT_VARIABLE NoPassComparisonResult
+)
+if(NOT NoPassComparisonResult EQUAL 0)
+  message(FATAL_ERROR "LLVM-compatible none pass changed canonical MIR")
+endif()
+
 set(PassList "${WORK_DIRECTORY}/passes.txt")
 execute_process(
   COMMAND "${TOOL}" --list-passes --input "${INPUT}" --output "${PassList}"
-- 
cgit v1.2.3