From c10a8473f48bca32ef5e8ab78d30e3557e66d431 Mon Sep 17 00:00:00 2001 From: OCHyams Date: Wed, 2 Nov 2022 17:00:58 +0000 Subject: [PATCH] [Assignment Tracking][2/*] Add flags to enable Assignment Tracking The Assignment Tracking debug-info feature is outlined in this RFC: https://discourse.llvm.org/t/ rfc-assignment-tracking-a-better-way-of-specifying-variable-locations-in-ir Enable in clang: -Xclang -fexperimental-assignment-tracking Enable in llvm tools: -experimental-assignment-tracking When assignment tracking is enabled in clang it will pass on the flag to enable the feature in lllvm. It's undefined behaviour to read IR that contains assignment tracking metadata without specifying the feature flags. Tests will come with later patches that add assignment tracking features. Reviewed By: jmorse Differential Revision: https://reviews.llvm.org/D132221 --- clang/include/clang/Basic/CodeGenOptions.def | 4 ++++ clang/include/clang/Driver/Options.td | 5 +++++ clang/lib/Driver/ToolChains/Clang.cpp | 25 ++++++++++++++----------- llvm/include/llvm/IR/DebugInfo.h | 2 ++ llvm/lib/IR/DebugInfo.cpp | 7 +++++++ 5 files changed, 32 insertions(+), 11 deletions(-) diff --git a/clang/include/clang/Basic/CodeGenOptions.def b/clang/include/clang/Basic/CodeGenOptions.def index 258ba12..183cb0c 100644 --- a/clang/include/clang/Basic/CodeGenOptions.def +++ b/clang/include/clang/Basic/CodeGenOptions.def @@ -331,6 +331,10 @@ VALUE_CODEGENOPT(StackProbeSize , 32, 4096) ///< Overrides default stack VALUE_CODEGENOPT(WarnStackSize , 32, UINT_MAX) ///< Set via -fwarn-stack-size. CODEGENOPT(NoStackArgProbe, 1, 0) ///< Set when -mno-stack-arg-probe is used CODEGENOPT(DebugStrictDwarf, 1, 1) ///< Whether or not to use strict DWARF info. + +CODEGENOPT(EnableAssignmentTracking, 1,0) ///< Enable the Assignment Tracking + ///< debug info feature feature. + CODEGENOPT(DebugColumnInfo, 1, 0) ///< Whether or not to use column information ///< in debug info. diff --git a/clang/include/clang/Driver/Options.td b/clang/include/clang/Driver/Options.td index d660a2b..b2f334f 100644 --- a/clang/include/clang/Driver/Options.td +++ b/clang/include/clang/Driver/Options.td @@ -5638,6 +5638,11 @@ def fctor_dtor_return_this : Flag<["-"], "fctor-dtor-return-this">, } // let Flags = [CC1Option, NoDriverOption] +def fexperimental_assignment_tracking : + Flag<["-"], "fexperimental-assignment-tracking">, Group, + HelpText<"Enable assignment tracking debug info">, + MarshallingInfoFlag>; + //===----------------------------------------------------------------------===// // Dependency Output Options //===----------------------------------------------------------------------===// diff --git a/clang/lib/Driver/ToolChains/Clang.cpp b/clang/lib/Driver/ToolChains/Clang.cpp index 160eb1f..f873251 100644 --- a/clang/lib/Driver/ToolChains/Clang.cpp +++ b/clang/lib/Driver/ToolChains/Clang.cpp @@ -6987,18 +6987,21 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA, // Forward -Xclang arguments to -cc1, and -mllvm arguments to the LLVM option // parser. - // -finclude-default-header flag is for preprocessor, - // do not pass it to other cc1 commands when save-temps is enabled - if (C.getDriver().isSaveTempsEnabled() && - !isa(JA)) { - for (auto *Arg : Args.filtered(options::OPT_Xclang)) { - Arg->claim(); - if (StringRef(Arg->getValue()) != "-finclude-default-header") - CmdArgs.push_back(Arg->getValue()); + for (auto Arg : Args.filtered(options::OPT_Xclang)) { + Arg->claim(); + // -finclude-default-header flag is for preprocessor, + // do not pass it to other cc1 commands when save-temps is enabled + if (C.getDriver().isSaveTempsEnabled() && + !isa(JA)) { + if (StringRef(Arg->getValue()) == "-finclude-default-header") + continue; } - } - else { - Args.AddAllArgValues(CmdArgs, options::OPT_Xclang); + if (StringRef(Arg->getValue()) == "-fexperimental-assignment-tracking") { + // Add the llvm version of this flag too. + CmdArgs.push_back("-mllvm"); + CmdArgs.push_back("-experimental-assignment-tracking"); + } + CmdArgs.push_back(Arg->getValue()); } for (const Arg *A : Args.filtered(options::OPT_mllvm)) { A->claim(); diff --git a/llvm/include/llvm/IR/DebugInfo.h b/llvm/include/llvm/IR/DebugInfo.h index 730c69d..b35d447 100644 --- a/llvm/include/llvm/IR/DebugInfo.h +++ b/llvm/include/llvm/IR/DebugInfo.h @@ -159,6 +159,8 @@ private: SmallPtrSet NodesSeen; }; +/// Return true if assignment tracking is enabled. +bool getEnableAssignmentTracking(); } // end namespace llvm #endif // LLVM_IR_DEBUGINFO_H diff --git a/llvm/lib/IR/DebugInfo.cpp b/llvm/lib/IR/DebugInfo.cpp index be09d14..8f6d58c 100644 --- a/llvm/lib/IR/DebugInfo.cpp +++ b/llvm/lib/IR/DebugInfo.cpp @@ -39,6 +39,13 @@ using namespace llvm; using namespace llvm::dwarf; +static cl::opt + ExperimentalAssignmentTracking("experimental-assignment-tracking", + cl::init(false)); +bool llvm::getEnableAssignmentTracking() { + return ExperimentalAssignmentTracking; +} + /// Finds all intrinsics declaring local variables as living in the memory that /// 'V' points to. This may include a mix of dbg.declare and /// dbg.addr intrinsics. -- 2.7.4