我不觉得这是个好主意

[Naville]

除了ObjC之外:

• 缺乏Intrinsic支持
• 没记错的话也不太支持SIMD类型
• 异常处理
• alloca的内存模型和宿主的内存模型?

总的来说我不认为基于SSA形式的LLVM IR做虚拟机是什么可以在生产环境使用的好主意

[Naville]

另外最好的解决ObjC的方式可能是Patch CGObjC对相关代码的生成逻辑

[TannerJin]

嗯嗯，最近也是学llvm过程中发现这个，有个初步想法，目前也只碰到objc的问题
其他问题我去研究看看，多谢张总~

[Naville]

另外。 LLVM的Type System是允许任意类型(结构体 / 数组) 作为函数调用参数模型的。而libFFI没有这么复杂的类型系统，也就是说你需要模拟正常情况下后端在DAG上做的一整套Type Legalization.

这些仅仅是麻烦的开始