模块分析：runtime

1. 角色定位

runtime/ 提供 CompCert 生成代码所依赖的运行时支持函数，主要包括 64-bit 整数运算与 vararg 支持。

2. 主要内容

• runtime/README：说明运行时内容与目的
• runtime/c/：C 版本实现（参考与对照）
• 各架构汇编实现：
  • runtime/arm/, runtime/aarch64/, runtime/powerpc/, runtime/powerpc64/, runtime/riscV/, runtime/x86_32/, runtime/x86_64/
• runtime/include/：标准头文件补充（stdarg.h, stddef.h 等）

3. 典型功能

• i64_* 相关：
  • 乘/除/模/移位/转换（i64_udiv, i64_umod, i64_smulh, i64_utod 等）
• vararg.S：处理可变参数传递
• sysdeps.h：架构相关定义

4. 测试

• runtime/test/test_int64.c：基础验证