关于Falcon/Oracle JVM输出热点代码优化决策及同类LLVM JIT的问询

一、Azul Falcon JIT 优化Pass决策的查看方式 #

Falcon的公开文档未提供类似LLVM -debug-pass-manager的直接选项来输出优化Pass的选择决策，官方的IR导出工具（如java -XX:FalconIRDumpRoot=./falcon-ir/ -XX:FalconDumpIRToDiskOf=* myClassName）仅用于技术支持排查问题，属于黑盒范畴。但可以通过以下方式间接分析：

• 挖掘隐藏诊断选项：执行java -XX:+UnlockDiagnosticVMOptions -XX:+PrintFlagsWithComments | grep -i falcon，查找是否存在如-XX:+FalconPrintPasses这类未公开的调试选项（注意这类选项无官方支持，可能随版本变更）。
• 对比IR文件反向推导：用LLVM的llvm-diff工具对比导出的.ll（未优化）和.opt.ll（优化后）文件差异，结合Orca的自研特性（如对象初始化init调用的内在函数替换），反向判断应用的优化Pass（比如函数内联、死代码消除等）。
• 查看编译触发时机：使用-XX:+PrintCompilation选项，可以看到热点方法被Falcon编译的时机和编译级别，帮助追踪编译阶段。

二、Oracle HotSpot JVM 查看优化Pass的选项 #

Oracle HotSpot提供了多个诊断选项来查看热点代码的优化Pass及决策：

• 基础编译信息：-XX:+PrintCompilation，输出被编译的方法、编译级别（C1/C2）及编译耗时。
• C2编译器优化细节：-XX:+UnlockDiagnosticVMOptions -XX:+PrintOptoAssembly，输出编译后的汇编代码，同时附带优化步骤的注释（如内联、逃逸分析结果）。
• 专项优化日志：
  • -XX:+PrintEscapeAnalysis：单独打印逃逸分析的决策过程，包括对象是否逃逸、是否触发栈上分配或同步消除。
  • -XX:+PrintInlining：显示方法内联的决策，包括哪些方法被内联、内联失败的原因（如方法过大、递归等）。

三、替代的可观察优化决策的JIT编译器推荐 #

如果需要学习基于LLVM后端、带GC管理、能输出优化决策的JIT，可考虑以下选项：

• GraalVM：支持Java及多语言，其JIT编译器可通过-Dgraal.Dump=:2或-Dgraal.PrintGraph=Optimized输出优化阶段的中间表示和Pass执行日志，部分版本支持导出LLVM IR，自带GC。
• LLVM ORC JIT + Boehm GC：可基于LLVM ORC框架构建自定义JIT，配合Boehm GC实现内存管理，ORC原生支持-debug-pass-manager查看优化Pass流程，适合学习LLVM JIT的底层逻辑。
• Rustc JIT模式：通过rustc -C jit启用JIT编译，基于LLVM后端，支持-C debuginfo=full和LLVM的Pass调试选项查看优化过程，虽无GC但可观察LLVM级别的优化决策。

内容的提问来源于stack exchange，提问作者Qingwei Li