1. LLVM在x86和x64下都和Microsft C++ ABI的吻合程度不夠。目前已知在以下情況下會出錯:
以下情況我沒有完整測試過:
-
返回值為單個浮點
-
返回值為向量(_m128 / <4 x float>)
-
參數為向量(_m128 / <4xfloat>)
所以建議大家統一將是結構體的返回值和參數以引用/指針的形式傳遞。
對于大小為4個或者8個字節的結構體如果希望按值傳遞,那么需要在LLVM函數的簽名上使用i32/i64作為參數類型,并使用bit cast在函數體內強制轉換成結構體。
2. LLVM提供了很多的Intrinsics,例如SSE指令集。它在Module上提供了一個getOrCreateTargetIntrinsic,但實際上這個函數是坑爹的。有兩個方法可以正確的創建并獲取指令集:
-
使用Module::getOrInsertFunction( intrinsic_name, intrinsic_function_type )。它會自動識別intrinsic的名稱并創建function或者是intrinsic。指令需要使用全名。例如 llvm.x86.sse.sqrt.ps.
-
或者使用Ilvm::Intrinsic::getDeclaration( id ) 來創建。這個id可以在intrinsics.gen中找到。
因為LLVM生成的Intrinsic是全平臺的,所以可以在x86上指定ARM匯編的生成,反之亦然。
3. 默認情況下,LLVM的JIT是不會啟用InliningPass的,Optimization Level指定為Aggressive也不會。這意味著inlinehint和alwaysinline都是失效的。如果需要inlining得自己修改JIT的源代碼。
4. UndefValue是個好東西。這個常量可以使生成的匯編少一條初始化指令。比方說用0初始化,可能對應的匯編就是 xor reg, reg。如果用了Undef,那這條指令就沒了。
5. TypeBuilder很好用,只是不能生成struct等復雜的類型。不過你可以對它做一些修改以讓它支持struct和vector。這個時候Boost.MPL就能派上用場了。不過要當心MPL帶來漫長的編譯時間。