LLVM Kaleidoscope教程顶层表达式未写入模块IR的问题求助

DevOps 小满

2026-6-1

LLVM Kaleidoscope 第三章：顶层表达式在模块IR中消失的问题解决

问题描述

在学习LLVM Kaleidoscope教程第三章时，遇到以下问题：

输入顶层表达式（如1+2、foo(3)）时，程序会即时打印该表达式对应的LLVM IR
但程序退出时打印完整模块IR，这些顶层表达式对应的函数却被省略
未修改教程源码，使用指定编译选项编译，运行环境为Apple Silicon macOS 26.4.1、Clang 22.1.4

问题原因

LLVM 22.x版本（对应Clang 22.1.4）的JIT执行引擎行为与教程依赖的旧版本存在差异：当执行顶层表达式生成的临时匿名函数后，引擎默认会将该函数从模块中移除，导致退出打印模块时无法看到这些函数的定义。此外，Apple Silicon的ARM架构下，JIT的函数生命周期管理逻辑也可能加剧了这个问题。

解决方案

修改HandleTopLevelExpression函数，确保生成的临时函数被持久化到模块中，且不会被JIT引擎自动移除。具体步骤如下：

找到处理顶层表达式的HandleTopLevelExpression函数（位于教程源码的main函数循环中）
在生成函数后，显式将其添加到模块的函数列表（如果未自动添加），并设置合适的链接属性防止被移除

修改后的代码示例

static void HandleTopLevelExpression() {
  // Generate LLVM IR for the top-level expression
  if (Function *F = GenerateCode()) {
    // 显式将函数添加到模块（确保不会被自动清理）
    TheModule->getFunctionList().push_back(F);
    // 设置链接属性为Internal，避免被JIT移除
    F->setLinkage(Function::InternalLinkage);

    // 打印当前表达式的IR（原教程已有代码）
    fprintf(stderr, "Read top-level expression:\n");
    F->print(errs());
    fprintf(stderr, "\n");

    // 执行函数（原教程已有代码）
    TheExecutionEngine->finalizeObject();
    ExitOnErr(TheExecutionEngine->runFunction(F, {}));
  }
}