如何在LLVM IR模块中添加libc函数并解决未使用调用未优化问题？

一、TargetLibraryInfo获取与libc函数插入的最优写法 #

你现在的实现思路没问题，但可以做些简化和规范：

1. TargetLibraryInfo的正确获取
   你通过TargetLibraryInfoImpl结合Triple创建TargetLibraryInfo的方式是标准操作，Triple用来匹配目标平台的库函数特性，保证LLVM能准确识别函数行为。
   要是你的代码是在LLVM Pass里运行，通常可以直接从AnalysisManager或FunctionAnalysisManager中获取TargetLibraryInfo，无需手动创建；但如果是独立构建IR的场景，你当前手动创建的方式完全可行。

2. 优化后的函数插入与调用代码
   无需额外调用getFunction，直接用getOrInsertLibFunc的返回值获取函数即可，避免重复查找：

   auto triple = llvm::sys::getDefaultTargetTriple();
   data->libinfoimpl = std::make_unique<llvm::TargetLibraryInfoImpl>(llvm::Triple(triple));
   data->libinfo = std::make_unique<llvm::TargetLibraryInfo>(*data->libinfoimpl);
   
   llvm::LibFunc func;
   auto doubleTy = llvm::Type::getDoubleTy(*data->context);
   // 用getOrInsertLibFunc直接获取函数，同时验证是否找到对应LibFunc
   if (llvm::getOrInsertLibFunc(*data->module, *data->libinfo, func, llvm::LibFunc_tan)) {
       llvm::Function *tanFunc = llvm::cast<llvm::Function>(
           data->module->getOrInsertFunction(
               func.getName(), 
               llvm::FunctionType::get(doubleTy, {doubleTy}, false)
           ).getCallee()
       );
       result = data->builder->CreateCall(tanFunc, arg);
   }
   

   这么写的好处：

   • 直接通过getOrInsertLibFunc的返回值确认函数是否存在，避免后续查找失败
   • 省去额外的getFunction调用，减少冗余操作

二、tan(atan(x))中atan调用未被优化的原因及解决办法 #

未优化的原因 #

可能存在以下几种情况：

1. 函数属性缺失：LLVM优化器需要明确知道函数是纯函数（无副作用）才能消除无用调用。atan本身是纯函数，但如果LLVM未识别到它的属性，就不会执行死代码消除或数学简化。
2. 优化级别不足：如果仅开启O0或O1级别的优化，可能无法触发数学表达式简化和死代码消除的逻辑。
3. fast标记的影响：你使用了fast调用约定，虽然它允许更多优化，但如果LLVM未将atan识别为可逆的纯函数，也无法完成tan(atan(x)) → x的简化。

解决办法 #

1. 添加正确的函数属性：为atan标记readonly和nounwind属性，让LLVM明确它无副作用：

   llvm::Function *atanFunc = data->module->getFunction("atan");
   if (atanFunc) {
       atanFunc->addFnAttr(llvm::Attribute::ReadOnly);
       atanFunc->addFnAttr(llvm::Attribute::NoUnwind);
   }
   

2. 启用足够的优化级别：确保使用O2或O3优化级别，同时启用InstCombine和ScalarEvolution等负责数学简化和死代码消除的Pass。
3. 检查优化Pipeline：确认优化流程中包含InstCombinePass和SimplifyCFGPass，这两个Pass专门处理tan(atan(x))这类可逆函数组合的简化。
4. 验证TargetLibraryInfo的识别：通过libinfo->getLibFunc("atan", func)检查是否正确识别了LibFunc_atan，确保TargetLibraryInfo是基于正确的Triple创建的——若识别错误，LLVM无法进行对应优化。

内容的提问来源于stack exchange，提问作者Magnus Dahler Norling