Clang在发出LLVM IR时向所有函数添加noinline属性

Clang adds noinline attribute to all functions when emitting LLVM IR

本文关键字：函数 添加 属性 noinline LLVM IR Clang      更新时间：2023-10-16

考虑以下简单函数：

int foo() { return 42; }

通过clang -emit-llvm -S foo.cpp将其编译为 LLVM 会生成以下模块：

; ModuleID = 'foo.cpp'
source_filename = "foo.cpp"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.13.0"
; Function Attrs: noinline nounwind ssp uwtable
define i32 @_Z3foov() #0 {
  ret i32 42
}
attributes #0 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
!llvm.module.flags = !{!0}
!llvm.ident = !{!1}
!0 = !{i32 1, !"PIC Level", i32 2}
!1 = !{!"Apple LLVM version 9.0.0 (clang-900.0.37)"}

为什么foo函数声明为 noinline？如果指定了优化级别（-O0 除外），则不会添加该标志，但我想避免这种情况。

有没有另一种方式/标志？

使用 -O0，从 Clang 的源代码来看，您无法全局启用内联（ FrontendCompilerInvocation.cpp ）：

// At O0 we want to fully disable inlining outside of cases marked with
// 'alwaysinline' that are required for correctness.
Opts.setInlining((Opts.OptimizationLevel == 0)
                  ? CodeGenOptions::OnlyAlwaysInlining
                  : CodeGenOptions::NormalInlining);

根据您的要求，您可以：

  • 使用 -O1 ，这是最接近-O0 的。
    • 将
  • -O1与禁用它启用的优化标志结合使用。有关启用-O1的优化标志，请参阅以下答案：Clang 优化级别
    • 有
  • 选择地always_inline应用于应内联的函数。
    例如：int __attribute__((always_inline)) foo() { return 42; }
相关文章：