From patchwork Sun Jul 2 16:32:11 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ben Boeckel X-Patchwork-Id: 115104 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:9f45:0:b0:3ea:f831:8777 with SMTP id v5csp48049vqx; Sun, 2 Jul 2023 09:39:18 -0700 (PDT) X-Google-Smtp-Source: APBJJlGgN853LYK6BOSFUX6OhePU5Ln3pOm5hg34ju1p6LD/DgToIevrp3Eyj4+6/UwmzAw/8EEH X-Received: by 2002:a5d:668e:0:b0:313:ec05:3e30 with SMTP id l14-20020a5d668e000000b00313ec053e30mr6599886wru.45.1688315957880; Sun, 02 Jul 2023 09:39:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1688315957; cv=none; d=google.com; s=arc-20160816; b=Dd9z2J3cHM/xcY1Ym2FdCITVwTWhzpt9jzjwaFbu4d6vbXhY4Y5y5I+lbCDXcINRkD 960CPwQRM7nu+8617vXTX/8fyLQ2953fc0IBSSqqatLYO7UyBVIDvZ3mHYQfL/L59K2q GGXU1pt9xEidA3T+cY4E8yqCc2B7e0CTQ2yrVnGqug0YeJe7PvEK0O+IQf1zeMWpLFTR E/XH9rCz+IS1+A0iFaVT3iAX/DEBzz/dSUnDBuNlj1TGMyE53q3tdNg7+4hPwvcSAOiG wyNF3yZQtMRtsTU/4yimiEob1tJdQSv2QOM8og5Y1M0bJb/opZAfZDsU/QoQ05wl+BJd jtRQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:dmarc-filter:delivered-to :dkim-signature:dkim-filter; bh=NgEU2HD9q9JtLPdHVPl0GIGGQyYGWzAvehAEMMI5mNg=; fh=WmOQlEQshjW1IyckmJV5Nh43dgdMAM2UcuXDxiXBGYo=; b=EVVm9Ei610O2sq2N+Ei7aFPy4v+wjtqo1kDBuc8eej+i/nnTUyMiStKx6EBvlOtPzF Zw5MJFzVyknq/D/SNeMyAwJ2SWfdqaAnnqtGjLYk4mJbxEbeg0BqJgufxQ3X6i1uoBPs Bdu3LKlf8YgiUjp7dtmcdNMn+dIiE0JT1fbC9Sj7Y9yZWd18CA75noyymSxhKpfMDEth a8qLz5nPB/6wLGzx4PZ3PDPgyVlolcA/+6yUVg5AHbKBirYE21c5iePfd8tpKW80qvSs l+Cprch/WlAsWF1jYDGiQ7dswUcvZPsh1Mz6s5q0shorqgbxMVPHEnVnogmRrrWRO0PR 3CNg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b="p/t3QNL6"; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id dy1-20020a05640231e100b0051dff4faa21si1932612edb.176.2023.07.02.09.39.17 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 02 Jul 2023 09:39:17 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b="p/t3QNL6"; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 2566A388B6B3 for ; Sun, 2 Jul 2023 16:35:07 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2566A388B6B3 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1688315707; bh=NgEU2HD9q9JtLPdHVPl0GIGGQyYGWzAvehAEMMI5mNg=; h=To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=p/t3QNL6GD3wtq8dZwyP47gO7w4r3pJfOxLOUjUnJ9rDwsHtD5d4HjPxDXiBZWW5s 2eWyZlo05OV74UHpPn1G4mikJDm3TcJdMb/MJy4KCi80qceOHDgASjkV5CHPlHLlAR NnNAsW2HE6YezMqXXElTTzePyvAcDbiJo+5U80Xg= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-qt1-x82c.google.com (mail-qt1-x82c.google.com [IPv6:2607:f8b0:4864:20::82c]) by sourceware.org (Postfix) with ESMTPS id DF5403858425 for ; Sun, 2 Jul 2023 16:32:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org DF5403858425 Received: by mail-qt1-x82c.google.com with SMTP id d75a77b69052e-403392ce2b9so26415121cf.2 for ; Sun, 02 Jul 2023 09:32:24 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1688315544; x=1690907544; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=NgEU2HD9q9JtLPdHVPl0GIGGQyYGWzAvehAEMMI5mNg=; b=LRiRY/WQA005anh9/naLXstaJ3++FwvR7iZyhBxuNWHbJuyGlBIzSrGfyAgv8ssehk 5CmX8QgkzgUpBFHVePZj/RJLSlMCQW5I/akcLyyi2ypgHyK3BBigROondNnPv1sGcck1 X0WmqON2Q1Hfa5qKe9wokB+PSQU9kS9KFupJhFf5GENDQNfAuIbT/wPJNoU3zhBERDid ripdRp12BUM1ntqXIZcTYDEjZQC8aAYlaMr1AP4CmwR/eZjDH/WtwAiEoW66sSpRb7se nSbMPafK+dxhf2ytx1jnimWZtfo+bsdfc6mWA0qfKQc8HwGVE9LmWHprzJPOLdg0DGy3 W4QQ== X-Gm-Message-State: AC+VfDxYPhMZgiV2vN3cASml4975z6ff+a1AmQItNwHmiK3biODeZyx5 VHryI4EA1v0Yf/7ckUf7IMe3ltZr/7zMAmTPDA58fw== X-Received: by 2002:ac8:7d8f:0:b0:403:3ccc:39d3 with SMTP id c15-20020ac87d8f000000b004033ccc39d3mr9902458qtd.61.1688315544156; Sun, 02 Jul 2023 09:32:24 -0700 (PDT) Received: from localhost (cpe-142-105-146-128.nycap.res.rr.com. [142.105.146.128]) by smtp.gmail.com with ESMTPSA id k25-20020ac84759000000b00402913ecba3sm6903348qtp.34.2023.07.02.09.32.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 02 Jul 2023 09:32:23 -0700 (PDT) To: gcc-patches@gcc.gnu.org Cc: Ben Boeckel , jason@redhat.com, nathan@acm.org, fortran@gcc.gnu.org, gcc@gcc.gnu.org, brad.king@kitware.com Subject: [PATCH v7 4/4] c++modules: report module mapper files as a dependency Date: Sun, 2 Jul 2023 12:32:11 -0400 Message-Id: <20230702163211.3396210-5-ben.boeckel@kitware.com> X-Mailer: git-send-email 2.40.1 In-Reply-To: <20230702163211.3396210-1-ben.boeckel@kitware.com> References: <20230702163211.3396210-1-ben.boeckel@kitware.com> MIME-Version: 1.0 X-Spam-Status: No, score=-11.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Ben Boeckel via Gcc-patches From: Ben Boeckel Reply-To: Ben Boeckel Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1770327594018133632?= X-GMAIL-MSGID: =?utf-8?q?1770327594018133632?= It affects the build, and if used as a static file, can reliably be tracked using the `-MF` mechanism. gcc/cp/: * mapper-client.cc, mapper-client.h (open_module_client): Accept dependency tracking and track module mapper files as dependencies. * module.cc (make_mapper, get_mapper): Pass the dependency tracking class down. gcc/testsuite/: * g++.dg/modules/depreport-2.modmap: New test. * g++.dg/modules/depreport-2_a.C: New test. * g++.dg/modules/depreport-2_b.C: New test. * g++.dg/modules/test-depfile.py: Support `:|` syntax output when generating modules. Signed-off-by: Ben Boeckel --- gcc/cp/mapper-client.cc | 5 +++++ gcc/cp/mapper-client.h | 1 + gcc/cp/module.cc | 18 ++++++++--------- .../g++.dg/modules/depreport-2.modmap | 2 ++ gcc/testsuite/g++.dg/modules/depreport-2_a.C | 15 ++++++++++++++ gcc/testsuite/g++.dg/modules/depreport-2_b.C | 14 +++++++++++++ gcc/testsuite/g++.dg/modules/test-depfile.py | 20 +++++++++++++++++++ 7 files changed, 66 insertions(+), 9 deletions(-) create mode 100644 gcc/testsuite/g++.dg/modules/depreport-2.modmap create mode 100644 gcc/testsuite/g++.dg/modules/depreport-2_a.C create mode 100644 gcc/testsuite/g++.dg/modules/depreport-2_b.C diff --git a/gcc/cp/mapper-client.cc b/gcc/cp/mapper-client.cc index 39e80df2d25..92727195246 100644 --- a/gcc/cp/mapper-client.cc +++ b/gcc/cp/mapper-client.cc @@ -34,6 +34,7 @@ along with GCC; see the file COPYING3. If not see #include "diagnostic-core.h" #include "mapper-client.h" #include "intl.h" +#include "mkdeps.h" #include "../../c++tools/resolver.h" @@ -132,6 +133,7 @@ spawn_mapper_program (char const **errmsg, std::string &name, module_client * module_client::open_module_client (location_t loc, const char *o, + class mkdeps *deps, void (*set_repo) (const char *), char const *full_program_name) { @@ -285,6 +287,9 @@ module_client::open_module_client (location_t loc, const char *o, errmsg = "opening"; else { + /* Add the mapper file to the dependency tracking. */ + if (deps) + deps_add_dep (deps, name.c_str ()); if (int l = r->read_tuple_file (fd, ident, false)) { if (l > 0) diff --git a/gcc/cp/mapper-client.h b/gcc/cp/mapper-client.h index b32723ce296..a3b0b8adc51 100644 --- a/gcc/cp/mapper-client.h +++ b/gcc/cp/mapper-client.h @@ -55,6 +55,7 @@ public: public: static module_client *open_module_client (location_t loc, const char *option, + class mkdeps *, void (*set_repo) (const char *), char const *); static void close_module_client (location_t loc, module_client *); diff --git a/gcc/cp/module.cc b/gcc/cp/module.cc index f3acc4e02fe..77c9edcbc04 100644 --- a/gcc/cp/module.cc +++ b/gcc/cp/module.cc @@ -3969,12 +3969,12 @@ static GTY(()) vec *partial_specializations; /* Our module mapper (created lazily). */ module_client *mapper; -static module_client *make_mapper (location_t loc); -inline module_client *get_mapper (location_t loc) +static module_client *make_mapper (location_t loc, class mkdeps *deps); +inline module_client *get_mapper (location_t loc, class mkdeps *deps) { auto *res = mapper; if (!res) - res = make_mapper (loc); + res = make_mapper (loc, deps); return res; } @@ -14033,7 +14033,7 @@ get_module (const char *ptr) /* Create a new mapper connecting to OPTION. */ module_client * -make_mapper (location_t loc) +make_mapper (location_t loc, class mkdeps *deps) { timevar_start (TV_MODULE_MAPPER); const char *option = module_mapper_name; @@ -14041,7 +14041,7 @@ make_mapper (location_t loc) option = getenv ("CXX_MODULE_MAPPER"); mapper = module_client::open_module_client - (loc, option, &set_cmi_repo, + (loc, option, deps, &set_cmi_repo, (save_decoded_options[0].opt_index == OPT_SPECIAL_program_name) && save_decoded_options[0].arg != progname ? save_decoded_options[0].arg : nullptr); @@ -19506,7 +19506,7 @@ maybe_translate_include (cpp_reader *reader, line_maps *lmaps, location_t loc, dump.push (NULL); dump () && dump ("Checking include translation '%s'", path); - auto *mapper = get_mapper (cpp_main_loc (reader)); + auto *mapper = get_mapper (cpp_main_loc (reader), cpp_get_deps (reader)); size_t len = strlen (path); path = canonicalize_header_name (NULL, loc, true, path, len); @@ -19622,7 +19622,7 @@ module_begin_main_file (cpp_reader *reader, line_maps *lmaps, static void name_pending_imports (cpp_reader *reader) { - auto *mapper = get_mapper (cpp_main_loc (reader)); + auto *mapper = get_mapper (cpp_main_loc (reader), cpp_get_deps (reader)); if (!vec_safe_length (pending_imports)) /* Not doing anything. */ @@ -20092,7 +20092,7 @@ init_modules (cpp_reader *reader) if (!flag_module_lazy) /* Get the mapper now, if we're not being lazy. */ - get_mapper (cpp_main_loc (reader)); + get_mapper (cpp_main_loc (reader), cpp_get_deps (reader)); if (!flag_preprocess_only) { @@ -20302,7 +20302,7 @@ late_finish_module (cpp_reader *reader, module_processing_cookie *cookie, if (!errorcount) { - auto *mapper = get_mapper (cpp_main_loc (reader)); + auto *mapper = get_mapper (cpp_main_loc (reader), cpp_get_deps (reader)); mapper->ModuleCompiled (state->get_flatname ()); } else if (cookie->cmi_name) diff --git a/gcc/testsuite/g++.dg/modules/depreport-2.modmap b/gcc/testsuite/g++.dg/modules/depreport-2.modmap new file mode 100644 index 00000000000..ff271df883a --- /dev/null +++ b/gcc/testsuite/g++.dg/modules/depreport-2.modmap @@ -0,0 +1,2 @@ +$root . +Foo Foo.gcm diff --git a/gcc/testsuite/g++.dg/modules/depreport-2_a.C b/gcc/testsuite/g++.dg/modules/depreport-2_a.C new file mode 100644 index 00000000000..6912de16333 --- /dev/null +++ b/gcc/testsuite/g++.dg/modules/depreport-2_a.C @@ -0,0 +1,15 @@ +// { dg-do preprocess } +// { dg-additional-options -fmodules-ts } +// { dg-additional-options -fmodule-mapper=[srcdir]/depreport-2.modmap } +// { dg-additional-options -MD } +// { dg-additional-options "-MF depreport-2_a.d" } + +export module Foo; + +export class Base +{ +public: + int m; +}; + +// { dg-final { run-check-module-dep-expect-input "depreport-2_a.d" "[srcdir]/depreport-2.modmap" } } diff --git a/gcc/testsuite/g++.dg/modules/depreport-2_b.C b/gcc/testsuite/g++.dg/modules/depreport-2_b.C new file mode 100644 index 00000000000..d94d6a297a0 --- /dev/null +++ b/gcc/testsuite/g++.dg/modules/depreport-2_b.C @@ -0,0 +1,14 @@ +// { dg-do preprocess } +// { dg-additional-options -fmodules-ts } +// { dg-additional-options -fmodule-mapper=[srcdir]/depreport-2.modmap } +// { dg-additional-options -MD } +// { dg-additional-options "-MF depreport-2_b.d" } + +import Foo; + +void foo () +{ + Base b; +} + +// { dg-final { run-check-module-dep-expect-input "depreport-2_b.d" "[srcdir]/depreport-2.modmap" } } diff --git a/gcc/testsuite/g++.dg/modules/test-depfile.py b/gcc/testsuite/g++.dg/modules/test-depfile.py index ea4edb61434..9693c058ece 100644 --- a/gcc/testsuite/g++.dg/modules/test-depfile.py +++ b/gcc/testsuite/g++.dg/modules/test-depfile.py @@ -28,6 +28,11 @@ class Input(Token): self.path = path +class OrderInput(Token): + def __init__(self, path): + self.path = path + + class Colon(Token): pass @@ -89,6 +94,10 @@ def validate_depfile(depfile, expect_input=None): if word.endswith(':'): tokenized.append(word[:-1]) word = word[-1] + # Detect `:` at the end of a word. + if word.endswith(':|'): + tokenized.append(word[:-2]) + word = word[-2] # Add word to the tokenized set. tokenized.append(word) @@ -104,6 +113,8 @@ def validate_depfile(depfile, expect_input=None): kind = 'dependency' elif token == '+=': kind = 'append' + elif token == ':|': + kind = 'order-only' if line == ['']: kind = 'empty' @@ -120,6 +131,15 @@ def validate_depfile(depfile, expect_input=None): line_parse.append(Input(token)) else: line_parse.append(Output(token)) + elif kind == 'order-only': + after_op = False + for token in line: + if token == ':|': + after_op = True + elif after_op: + line_parse.append(OrderInput(token)) + else: + line_parse.append(Output(token)) elif kind == 'append': after_op = False for token in line: