Question

考虑以下简单功能：

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除外），则不会添加该标志，但我想避免这种情况。

还有另一种方式/旗帜吗？

Answer 1

使用-O0，您无法全局内联，从Clang的源代码判断（Frontend\CompilerInvocation.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 optimization levels
有选择地对应该内联的函数应用always_inline属性例如：int __attribute__((always_inline)) foo() { return 42; }

发出LLVM IR时，Clang为所有函数添加了noinline属性

1 个答案: