diff options
| author | Richard-Qin-X <richard.qin.001@gmail.com> | 2026-08-09 22:05:14 +0800 |
|---|---|---|
| committer | Richard-Qin-X <richard.qin.001@gmail.com> | 2026-08-09 22:05:14 +0800 |
| commit | 3a57627e59ba18b6f9f9aae7bb60c390c0d3575a (patch) | |
| tree | 736ca062bfffbd68177a512dfe145b06c16d11b1 /backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake | |
| parent | 379ff50dcc7ccf977379aee68fa9d10f69065d23 (diff) | |
| download | rcc-project-3a57627e59ba18b6f9f9aae7bb60c390c0d3575a.tar.gz rcc-project-3a57627e59ba18b6f9f9aae7bb60c390c0d3575a.tar.xz | |
[MC] Implement RV64GC object emission
Diffstat (limited to 'backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake')
| -rw-r--r-- | backend/tools/AssemblyEmitter/AssemblyPipelineTest.cmake | 5 |
1 files changed, 5 insertions, 0 deletions
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}" |