[gollvm] 为什么gollvm将llvm.statpoint放置在pad基础块中

[gollvm] 为什么gollvm将llvm.statpoint放置在pad基础块中 大家好

我是 gollvm 的新手。我花了一些时间来研究 gollvm 的工作原理。 在阅读 llvm 的代码时，我发现了一些奇怪的地方。 为什么 gollvm 将 llvm.statpoint 放在 pad 基本块中？我们能否将 llvm.statpoint 放在普通的基本块上？

提前感谢

David

1 回复

在gollvm中，llvm.stacksave被放置在pad基本块（异常处理块）中，这主要是为了确保栈指针状态在异常处理期间能够正确恢复。当发生panic或异常时，Go的运行时需要能够回滚栈状态，而将llvm.stacksave放在pad块中可以保证异常处理路径也能获取正确的栈状态。

以下是一个简化的示例，展示了gollvm如何生成包含llvm.stacksave的IR代码：

define void @exampleFunc() {
entry:
  ; 正常执行路径
  br label %normal

normal:
  ; 普通基本块中的操作
  call void @someOperation()
  br label %exit

pad:
  ; 异常处理基本块 - llvm.stacksave放置在这里
  %savedstack = call i8* @llvm.stacksave()
  ; 异常处理逻辑
  call void @recoveryLogic(i8* %savedstack)
  br label %exit

exit:
  ret void

exception:
  ; 异常触发路径
  br label %pad
}

declare i8* @llvm.stacksave()
declare void @recoveryLogic(i8*)

将llvm.stacksave放在pad块而不是普通基本块的主要原因：

  1. 异常安全：确保异常处理路径能够访问正确的栈状态
  2. 栈状态一致性：避免在异常发生时栈状态不一致
  3. 运行时要求：Go的垃圾收集器和栈扫描机制需要在异常处理时知道准确的栈边界

虽然技术上可以将llvm.stacksave放在普通基本块中，但这可能导致在异常处理时无法正确恢复栈状态，从而引发内存安全问题或垃圾收集错误。gollvm的这种设计选择是为了满足Go运行时对异常处理场景的特殊要求。

回到顶部