Question

这是一个测试程序：

main = do
    n <- fmap read $ getLine :: IO Int
    if (999999 == n) then putStrLn "equal" else return ()

使用ghc --make -O2 -ddump-to-file -ddump-simpl -dsuppress-module-prefixes -dsuppress-uniques -ddump-core-stats -ddump-inlinings编译时，这是核心的相关位：

case readEither6 @ Int (run @ Int main3 ipv1) of _ [Occ=Dead] {
  [] -> case error @ Int readEither4 of wild1 { };
  : x ds1 ->
    case ds1 of _ [Occ=Dead] {
      [] ->
        case x of _ [Occ=Dead] { I# ipv2 ->
        case ipv2 of _ [Occ=Dead] {
          __DEFAULT -> (# ipv, () #);
          999999 -> hPutStr2 stdout main2 True ipv
        }
        };
      : ipv2 ipv3 -> case error @ Int readEither2 of wild2 { }
    }

我想知道文字999999上的案例匹配是否真的是最有效的事情，如果不是，我怎么能鼓励GHC将其变成对==#的调用？

（我的实际应用更多参与）

Answer 1

在我的Ubuntu框中，相关的核心代码已编译到此

406168: 48 81 7b 07 3f 42 0f    cmpq   $0xf423f,0x7(%rbx)
40616f: 00 
406170: 75 28                   jne    40619a <c4fz_info+0x32>
406172: bf 52 e3 6d 00          mov    $0x6de352,%edi
406177: be 90 65 6d 00          mov    $0x6d6590,%esi
40617c: 41 be 18 6a 6d 00       mov    $0x6d6a18,%r14d
406182: 48 83 c5 08             add    $0x8,%rbp
406186: e9 65 3c 00 00          jmpq   409df0 <base_GHCziIOziHandleziText_hPutStr2_info>

第一行到第三行基本上等同于c代码

if (variable == 999999) { ....

这是最佳的。

Answer 2

没关系。在代码生成中，case将转变为简单的比较和条件跳转。这就是这种小case表达式总会发生的事情。绝对有时候==#的这种翻译很不幸，使得代码有很多预测不好的分支，但这并不适用于你给出的例子。

澄清一下，我在谈论内部 case。

帮助GHC在一个常量上unbox一个Int

2 个答案: