GHCに強制的にFFIコールをインライン化するには？

Question

私はパフォーマンスを向上させるために小さなCモジュールを作ったが、GHCは外部関数をインライン化せず、コストを呼び出すことで加速がなくなった。例えば 、test.h：

int inc (int x); 

test.c：

#include "test.h" 
int inc(int x) {return x + 1;} 

Test.hc：

{-# LANGUAGE ForeignFunctionInterface #-} 
module Test (inc) where 
import Foreign 
import Foreign.C 
foreign import ccall unsafe "test.h inc" c_inc :: CInt -> CInt 
inc = fromIntegral . c_inc . fromIntegral 
{-# INLINE c_inC#-} 
{-# INLINE inC#-} 

Main.hs：

import System.Environment 
import Test 
main = do {args <- getArgs; putStrLn . show . inc . read . head $ args } 

メイキング：

$ gcc -O2 -c test.c 
$ ghc -O3 test.o Test.hs 
$ ghc --make -O3 test.o Main 
$ objdump -d Main > Main.as 

最後に、Main.asに私の代わりに、望ましいinc年代のcallq <inc>説明書を持っています。

Answer 1

GHCはasmバックエンドまたはLLVMバックエンド経由でCコードをインライン化しません。呼び出しているものが本当にコストがかかる場合は、通常、パフォーマンス上の理由からC言語にコールするだけです。 intをインクリメントすることは、私たちがすでにそのためのprimopsを持っているので、そういうことではありません。

これで、C経由で電話すると、GCCにインラインのものが表示されることがあります（生成されたアセンブリをチェックしてください）。

foreign import ccall unsafe "test.h inc" c_inc :: CInt -> CInt 

inc = fromIntegral . c_inc . fromIntegral 

incための型シグネチャを提供します：今すぐ

は、しかし、あなたは、コールのコストを最小限に抑えるために、すでに行うことができますいくつかのものがあります。ここでIntegerに変換する貴重なサイクルを費やしています。

呼び出しの前にランタイムがブックマークされないように、呼び出しを「安全でない」とマークします。

FFIコールのオーバーヘッドを測定します。これはナノ秒単位で行う必要があります。しかし、まだ高すぎると感じる場合は、write a new primop and jump to it directly.を入力してください。criterionの番号を最初に付けたほうがよいでしょう。