-
Notifications
You must be signed in to change notification settings - Fork 15.2k
[clang][fatlto] Only run sanitzer passes in prelink pipelines #160213
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
FatLTO will run the sanitizer callbaks on both the pre and post link pipelines, meaning they will run twice. These passes usually have a check to prevent doing the wrong thing, but that shouldn't be relied upon, since we know these will always run as part of the prelink pipelines under FatLTO. Fixes #159629
|
@llvm/pr-subscribers-clang-codegen Author: Paul Kirth (ilovepi) ChangesFatLTO will run the sanitizer callbaks on both the pre and post link Fixes #159629 Full diff: https://github.com/llvm/llvm-project/pull/160213.diff 1 Files Affected:
diff --git a/clang/lib/CodeGen/BackendUtil.cpp b/clang/lib/CodeGen/BackendUtil.cpp
index 106363fa83e2b..3ebe04e958ec4 100644
--- a/clang/lib/CodeGen/BackendUtil.cpp
+++ b/clang/lib/CodeGen/BackendUtil.cpp
@@ -700,7 +700,12 @@ static void addSanitizers(const Triple &TargetTriple,
const CodeGenOptions &CodeGenOpts,
const LangOptions &LangOpts, PassBuilder &PB) {
auto SanitizersCallback = [&](ModulePassManager &MPM, OptimizationLevel Level,
- ThinOrFullLTOPhase) {
+ ThinOrFullLTOPhase phase) {
+ // FatLTO pipelines already added these to the prelink pipeline.
+ if (CodeGenOpts.FatLTO &&
+ (CodeGenOpts.PrepareForThinLTO || CodeGenOpts.PrepareForLTO) &&
+ ThinOrFullLTOPhase::None != phase)
+ return;
if (CodeGenOpts.hasSanitizeCoverage()) {
auto SancovOpts = getSancovOptsFromCGOpts(CodeGenOpts);
MPM.addPass(SanitizerCoveragePass(
|
|
@llvm/pr-subscribers-clang Author: Paul Kirth (ilovepi) ChangesFatLTO will run the sanitizer callbaks on both the pre and post link Fixes #159629 Full diff: https://github.com/llvm/llvm-project/pull/160213.diff 1 Files Affected:
diff --git a/clang/lib/CodeGen/BackendUtil.cpp b/clang/lib/CodeGen/BackendUtil.cpp
index 106363fa83e2b..3ebe04e958ec4 100644
--- a/clang/lib/CodeGen/BackendUtil.cpp
+++ b/clang/lib/CodeGen/BackendUtil.cpp
@@ -700,7 +700,12 @@ static void addSanitizers(const Triple &TargetTriple,
const CodeGenOptions &CodeGenOpts,
const LangOptions &LangOpts, PassBuilder &PB) {
auto SanitizersCallback = [&](ModulePassManager &MPM, OptimizationLevel Level,
- ThinOrFullLTOPhase) {
+ ThinOrFullLTOPhase phase) {
+ // FatLTO pipelines already added these to the prelink pipeline.
+ if (CodeGenOpts.FatLTO &&
+ (CodeGenOpts.PrepareForThinLTO || CodeGenOpts.PrepareForLTO) &&
+ ThinOrFullLTOPhase::None != phase)
+ return;
if (CodeGenOpts.hasSanitizeCoverage()) {
auto SancovOpts = getSancovOptsFromCGOpts(CodeGenOpts);
MPM.addPass(SanitizerCoveragePass(
|
|
Why do we want to run sanitizer passes prelink? Wouldn't it be more effective to run them postlink? |
They normally run in the prelink pipeline for LTO builds, AFAIK. FatLTO uses a single module to generate the pre-link LTO IR for the .llvm.lto section and the object code for .text. Since we use the same LLVM module for the ELF section, we don't want to run them twice when we run the module optimization pipeline after generating the IR section. |
|
I don't think we really have the infrastructure to run sanitizers post-link right now, as they're injected via pipeline callbacks, and we don't have that much control over the post-link pipeline (which usually runs in the linker, not clang). (Though I agree that architecturally, sanitizers should run post-link.) |
| const LangOptions &LangOpts, PassBuilder &PB) { | ||
| auto SanitizersCallback = [&](ModulePassManager &MPM, OptimizationLevel Level, | ||
| ThinOrFullLTOPhase) { | ||
| ThinOrFullLTOPhase phase) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| ThinOrFullLTOPhase phase) { | |
| ThinOrFullLTOPhase Phase) { |
| // FatLTO pipelines already added these to the prelink pipeline. | ||
| if (CodeGenOpts.FatLTO && | ||
| (CodeGenOpts.PrepareForThinLTO || CodeGenOpts.PrepareForLTO) && | ||
| ThinOrFullLTOPhase::None != phase) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hm... I think this condition is too specific and fragile. Have you checked that this also works for the -flto=thin variant? Because I believe that one is going to use ThinOrFullLTOPhase::ThinLTOPostLink here.
I think the correct way to fix this is to just check for a non-post-link phase here (without any checks for other options) and to adjust
| buildModuleOptimizationPipeline(Level, ThinOrFullLTOPhase::None)); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hm... I think this condition is too specific and fragile. Have you checked that this also works for the
-flto=thinvariant? Because I believe that one is going to useThinOrFullLTOPhase::ThinLTOPostLinkhere.
It did test it locally with -flto=thin. I should have a test for those in this patch though.
I think the correct way to fix this is to just check for a non-post-link phase here (without any checks for other options) and to adjust
buildModuleOptimizationPipeline(Level, ThinOrFullLTOPhase::None)); to pass one of the post-link phases.
So use the postlink phase to finish the compile? We could try that, but 1) I thought you were opposed to it. 2) I'm a little concerned there are things in the post link pipelines that won't generate nice object files for a single TU.
For instance, we drop most of the WPD metadata after the prelink pipelines run, but since the default module optimization doesn't run WPD passes, if anything is missed, it doesn't end up having an effect on the object code under Full LTO. Under ThinLTO we have some remaining issues like #139440, where the prelink pipeline starts modifying the vtables, and the normal module optimization goes awry. There we tried to just go back to cloning the modules, but #139999 introduced other regressions. Using the post link pipeline instead, I think would make both pipelines subtly wrong under WPD, whereas today WPD works fine under FullLTO w/ -fat-lto-objects.
I can give the postlink piplines a try and see how it goes in Fuchsia builds. That should give us a little confidence that its not 100% broken.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
To clarify, I don't mean using a different pipeline, just passing a different phase parameter. I think that should barely affect the behavior of buildModuleOptimizationPipeline apart from passing a different phase to the pipeline callbacks.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Well, the build passed https://ci.chromium.org/ui/p/fuchsia/builders/try.shadow/core.x64-lto/b8702634878448393969/overview. The only failures were 2 known flakes, so I guess its maybe safe enough. I'll update this PR to try that method and see if it also avoids the warning issues correctly. I'll also check the WPD issues aren't showing up in either Thin or Full LTO . I may not get this finished until early next week though.

FatLTO will run the sanitizer callbaks on both the pre and post link
pipelines, meaning they will run twice. These passes usually have
a check to prevent doing the wrong thing, but that shouldn't be
relied upon, since we know these will always run as part of the
prelink pipelines under FatLTO.
Fixes #159629