aboutsummaryrefslogtreecommitdiff
path: root/gcc/common.opt
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2021-11-11 16:42:23 +0100
committerMartin Liska <mliska@suse.cz>2021-12-02 14:13:09 +0100
commitcde87638bf5cf6aafffb590986b6a890da0ba06c (patch)
tree992cb983e1e788230e477b16112c83026c6d57f1 /gcc/common.opt
parent6f43a8a08053a871e785e2ebc80383e0849efb6f (diff)
downloadgcc-cde87638bf5cf6aafffb590986b6a890da0ba06c.zip
gcc-cde87638bf5cf6aafffb590986b6a890da0ba06c.tar.gz
gcc-cde87638bf5cf6aafffb590986b6a890da0ba06c.tar.bz2
Implement -fprofile-prefix-map.
PR gcov-profile/96092 gcc/ChangeLog: * common.opt: New option. * coverage.c (coverage_begin_function): Emit filename with remap_profile_filename. * doc/invoke.texi: Document the new option. * file-prefix-map.c (add_profile_prefix_map): New. (remap_profile_filename): Likewise. * file-prefix-map.h (add_profile_prefix_map): Likewise. (remap_profile_filename): Likewise. * lto-opts.c (lto_write_options): Handle OPT_fprofile_prefix_map_. * opts-global.c (handle_common_deferred_options): Likewise. * opts.c (common_handle_option): Likewise. (gen_command_line_string): Likewise. * profile.c (output_location): Emit filename with remap_profile_filename.
Diffstat (limited to 'gcc/common.opt')
-rw-r--r--gcc/common.opt4
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/common.opt b/gcc/common.opt
index fa0a44f..445a53a 100644
--- a/gcc/common.opt
+++ b/gcc/common.opt
@@ -2327,6 +2327,10 @@ fprofile-prefix-path=
Common Joined RejectNegative Var(profile_prefix_path)
Remove prefix from absolute path before mangling name for -fprofile-generate= and -fprofile-use=.
+fprofile-prefix-map=
+Common Joined RejectNegative Var(common_deferred_options) Defer
+-fprofile-prefix-map=<old>=<new> Map one directory name to another in GCOV coverage result.
+
fprofile-generate
Common
Enable common options for generating profile info for profile feedback directed optimizations.