GHC中Integer整数比较的底层实现机制是怎样的？

问题解答 #

你看到GHC.Prim中<#这类运算符的自引用定义，是因为这些属于GHC的内置原语操作（PrimOp），Haskell层只暴露了类型签名占位，没有实际业务逻辑实现，实际逻辑由编译器直接处理：

• 固定长度整数比较（如Int#的<#、==#操作）
  这类操作的最底层确实会映射为目标平台的汇编指令：
  • 原语的语义定义在GHC编译器源码的compiler/GHC/Builtin/PrimOps.hs文件中
  • 代码生成阶段，不同架构后端会直接将其映射为对应CPU的比较指令，比如x86平台下的CMP指令，直接操作寄存器完成比较，没有额外的上层实现。
• 任意精度整数比较（compareBigNat）
  这类处理大整数的逻辑根据你使用的Integer后端不同，位置有区别：
  • GHC默认使用integer-gmp后端，compareBigNat底层调用GMP库的比较函数，实现代码在GHC源码树的libraries/integer-gmp/src/GHC/Integer/Type.hs中
  • 如果你使用轻量的integer-simple后端，compareBigNat是纯Haskell实现，逐位对比大整数存储的 limb 数组，代码在libraries/integer-simple/src/GHC/Integer/Type.hs中。

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