diff options
author | Martin Liska <mliska@suse.cz> | 2021-11-11 16:42:23 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2021-12-02 14:13:09 +0100 |
commit | cde87638bf5cf6aafffb590986b6a890da0ba06c (patch) | |
tree | 992cb983e1e788230e477b16112c83026c6d57f1 /gcc/common.opt | |
parent | 6f43a8a08053a871e785e2ebc80383e0849efb6f (diff) | |
download | gcc-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.opt | 4 |
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. |