From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-13.3 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH,MAILING_LIST_MULTI, MENTIONS_GIT_HOSTING,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED, USER_AGENT_SANE_1 autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 84244C10F14 for ; Tue, 8 Oct 2019 12:31:17 +0000 (UTC) Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 57A7F20679 for ; Tue, 8 Oct 2019 12:31:17 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lists.infradead.org header.i=@lists.infradead.org header.b="r6JCso3L" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 57A7F20679 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=redhat.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-riscv-bounces+infradead-linux-riscv=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20170209; h=Sender: Content-Transfer-Encoding:Content-Type:Cc:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:In-Reply-To:MIME-Version:References: Message-ID:Subject:To:From:Date:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=f7KwGLxlqUMqnqKq0U4sAymHPYX1+BB8vQMaslwFgTA=; b=r6JCso3LjmI54x oCE0GEQJvqx011AoHKNsM3KxUsWf999uTUnNK6npCl9qyl+g1ZMpLezGFlwmcut/I/9qNIqhrQ7cg y6OHk7m3R+cupnLq6MHZvoyfdG1j0OU9xlyTqx+p3WrrxBRyy8oVGK28WBJWaNQzymUC9nRr4AVky tZ/Atrnu4qA1CaZu5uEVtiq6p69+9zJeScmq2sBqgeco6av0aFxFkGX7VZSBI5MZFdaQqrPyPzm4G Ou5MiiqsJ+KwmU59CmNKLwgql9Lqt9VF7qlJe98Niu0yi3X73wrHlC+ANuKI0JX7yAScQiynq3SSm 4GB5yvft7is7SWRJCBcA==; Received: from localhost ([127.0.0.1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.92.2 #3 (Red Hat Linux)) id 1iHoe4-00077X-CL; Tue, 08 Oct 2019 12:31:16 +0000 Received: from mx1.redhat.com ([209.132.183.28]) by bombadil.infradead.org with esmtps (Exim 4.92.2 #3 (Red Hat Linux)) id 1iHoe0-00076a-MC for linux-riscv@lists.infradead.org; Tue, 08 Oct 2019 12:31:14 +0000 Received: from smtp.corp.redhat.com (int-mx01.intmail.prod.int.phx2.redhat.com [10.5.11.11]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id DF604C0546FF; Tue, 8 Oct 2019 12:31:09 +0000 (UTC) Received: from krava (unknown [10.40.205.103]) by smtp.corp.redhat.com (Postfix) with SMTP id 5E5B0600CE; Tue, 8 Oct 2019 12:31:05 +0000 (UTC) Date: Tue, 8 Oct 2019 14:31:04 +0200 From: Jiri Olsa To: Ian Rogers Subject: Re: [PATCH v3] perf tools: avoid sample_reg_masks being const + weak Message-ID: <20191008123104.GA16241@krava> References: <20190927214341.170683-1-irogers@google.com> <20191001003623.255186-1-irogers@google.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20191001003623.255186-1-irogers@google.com> User-Agent: Mutt/1.12.1 (2019-06-15) X-Scanned-By: MIMEDefang 2.79 on 10.5.11.11 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.32]); Tue, 08 Oct 2019 12:31:11 +0000 (UTC) X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20191008_053112_767419_1B4FAF34 X-CRM114-Status: GOOD ( 26.61 ) X-BeenThere: linux-riscv@lists.infradead.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Mark Rutland , Albert Ou , Andi Kleen , clang-built-linux@googlegroups.com, Peter Zijlstra , Alexey Budankov , Palmer Dabbelt , linux-kernel@vger.kernel.org, Arnaldo Carvalho de Melo , Alexander Shishkin , Ingo Molnar , Guo Ren , Stephane Eranian , Paul Walmsley , Namhyung Kim , linux-riscv@lists.infradead.org, Mao Han , Kan Liang Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-riscv" Errors-To: linux-riscv-bounces+infradead-linux-riscv=archiver.kernel.org@lists.infradead.org On Mon, Sep 30, 2019 at 05:36:23PM -0700, Ian Rogers wrote: > Being const + weak breaks with some compilers that constant-propagate > from the weak symbol. This behavior is outside of the specification, but > in LLVM is chosen to match GCC's behavior. > > LLVM's implementation was set in this patch: > https://github.com/llvm/llvm-project/commit/f49573d1eedcf1e44893d5a062ac1b72c8419646 > A const + weak symbol is set to be weak_odr: > https://llvm.org/docs/LangRef.html > ODR is one definition rule, and given there is one constant definition > constant-propagation is possible. It is possible to get this code to > miscompile with LLVM when applying link time optimization. As compilers > become more aggressive, this is likely to break in more instances. is this just aprecaution or you actualy saw some breakage? > > Move the definition of sample_reg_masks to the conditional part of > perf_regs.h and guard usage with HAVE_PERF_REGS_SUPPORT. This avoids the > weak symbol. > > Fix an issue when HAVE_PERF_REGS_SUPPORT isn't defined from patch v1. > In v3, add perf_regs.c for architectures that HAVE_PERF_REGS_SUPPORT but > don't declare sample_regs_masks. looks good to me (again ;-)), let's see if it passes Arnaldo's farm thanks, jirka > > Signed-off-by: Ian Rogers > --- > tools/perf/arch/arm/util/Build | 2 ++ > tools/perf/arch/arm/util/perf_regs.c | 6 ++++++ > tools/perf/arch/arm64/util/Build | 1 + > tools/perf/arch/arm64/util/perf_regs.c | 6 ++++++ > tools/perf/arch/csky/util/Build | 2 ++ > tools/perf/arch/csky/util/perf_regs.c | 6 ++++++ > tools/perf/arch/riscv/util/Build | 2 ++ > tools/perf/arch/riscv/util/perf_regs.c | 6 ++++++ > tools/perf/arch/s390/util/Build | 1 + > tools/perf/arch/s390/util/perf_regs.c | 6 ++++++ > tools/perf/util/parse-regs-options.c | 8 ++++++-- > tools/perf/util/perf_regs.c | 4 ---- > tools/perf/util/perf_regs.h | 4 ++-- > 13 files changed, 46 insertions(+), 8 deletions(-) > create mode 100644 tools/perf/arch/arm/util/perf_regs.c > create mode 100644 tools/perf/arch/arm64/util/perf_regs.c > create mode 100644 tools/perf/arch/csky/util/perf_regs.c > create mode 100644 tools/perf/arch/riscv/util/perf_regs.c > create mode 100644 tools/perf/arch/s390/util/perf_regs.c > > diff --git a/tools/perf/arch/arm/util/Build b/tools/perf/arch/arm/util/Build > index 296f0eac5e18..37fc63708966 100644 > --- a/tools/perf/arch/arm/util/Build > +++ b/tools/perf/arch/arm/util/Build > @@ -1,3 +1,5 @@ > +perf-y += perf_regs.o > + > perf-$(CONFIG_DWARF) += dwarf-regs.o > > perf-$(CONFIG_LOCAL_LIBUNWIND) += unwind-libunwind.o > diff --git a/tools/perf/arch/arm/util/perf_regs.c b/tools/perf/arch/arm/util/perf_regs.c > new file mode 100644 > index 000000000000..2864e2e3776d > --- /dev/null > +++ b/tools/perf/arch/arm/util/perf_regs.c > @@ -0,0 +1,6 @@ > +// SPDX-License-Identifier: GPL-2.0 > +#include "../../util/perf_regs.h" > + > +const struct sample_reg sample_reg_masks[] = { > + SMPL_REG_END > +}; > diff --git a/tools/perf/arch/arm64/util/Build b/tools/perf/arch/arm64/util/Build > index 3cde540d2fcf..0a7782c61209 100644 > --- a/tools/perf/arch/arm64/util/Build > +++ b/tools/perf/arch/arm64/util/Build > @@ -1,4 +1,5 @@ > perf-y += header.o > +perf-y += perf_regs.o > perf-y += sym-handling.o > perf-$(CONFIG_DWARF) += dwarf-regs.o > perf-$(CONFIG_LOCAL_LIBUNWIND) += unwind-libunwind.o > diff --git a/tools/perf/arch/arm64/util/perf_regs.c b/tools/perf/arch/arm64/util/perf_regs.c > new file mode 100644 > index 000000000000..2864e2e3776d > --- /dev/null > +++ b/tools/perf/arch/arm64/util/perf_regs.c > @@ -0,0 +1,6 @@ > +// SPDX-License-Identifier: GPL-2.0 > +#include "../../util/perf_regs.h" > + > +const struct sample_reg sample_reg_masks[] = { > + SMPL_REG_END > +}; > diff --git a/tools/perf/arch/csky/util/Build b/tools/perf/arch/csky/util/Build > index 1160bb2332ba..7d3050134ae0 100644 > --- a/tools/perf/arch/csky/util/Build > +++ b/tools/perf/arch/csky/util/Build > @@ -1,2 +1,4 @@ > +perf-y += perf_regs.o > + > perf-$(CONFIG_DWARF) += dwarf-regs.o > perf-$(CONFIG_LIBDW_DWARF_UNWIND) += unwind-libdw.o > diff --git a/tools/perf/arch/csky/util/perf_regs.c b/tools/perf/arch/csky/util/perf_regs.c > new file mode 100644 > index 000000000000..2864e2e3776d > --- /dev/null > +++ b/tools/perf/arch/csky/util/perf_regs.c > @@ -0,0 +1,6 @@ > +// SPDX-License-Identifier: GPL-2.0 > +#include "../../util/perf_regs.h" > + > +const struct sample_reg sample_reg_masks[] = { > + SMPL_REG_END > +}; > diff --git a/tools/perf/arch/riscv/util/Build b/tools/perf/arch/riscv/util/Build > index 1160bb2332ba..7d3050134ae0 100644 > --- a/tools/perf/arch/riscv/util/Build > +++ b/tools/perf/arch/riscv/util/Build > @@ -1,2 +1,4 @@ > +perf-y += perf_regs.o > + > perf-$(CONFIG_DWARF) += dwarf-regs.o > perf-$(CONFIG_LIBDW_DWARF_UNWIND) += unwind-libdw.o > diff --git a/tools/perf/arch/riscv/util/perf_regs.c b/tools/perf/arch/riscv/util/perf_regs.c > new file mode 100644 > index 000000000000..2864e2e3776d > --- /dev/null > +++ b/tools/perf/arch/riscv/util/perf_regs.c > @@ -0,0 +1,6 @@ > +// SPDX-License-Identifier: GPL-2.0 > +#include "../../util/perf_regs.h" > + > +const struct sample_reg sample_reg_masks[] = { > + SMPL_REG_END > +}; > diff --git a/tools/perf/arch/s390/util/Build b/tools/perf/arch/s390/util/Build > index 22797f043b84..3d9d0f4f72ca 100644 > --- a/tools/perf/arch/s390/util/Build > +++ b/tools/perf/arch/s390/util/Build > @@ -1,5 +1,6 @@ > perf-y += header.o > perf-y += kvm-stat.o > +perf-y += perf_regs.o > > perf-$(CONFIG_DWARF) += dwarf-regs.o > perf-$(CONFIG_LIBDW_DWARF_UNWIND) += unwind-libdw.o > diff --git a/tools/perf/arch/s390/util/perf_regs.c b/tools/perf/arch/s390/util/perf_regs.c > new file mode 100644 > index 000000000000..2864e2e3776d > --- /dev/null > +++ b/tools/perf/arch/s390/util/perf_regs.c > @@ -0,0 +1,6 @@ > +// SPDX-License-Identifier: GPL-2.0 > +#include "../../util/perf_regs.h" > + > +const struct sample_reg sample_reg_masks[] = { > + SMPL_REG_END > +}; > diff --git a/tools/perf/util/parse-regs-options.c b/tools/perf/util/parse-regs-options.c > index ef46c2848808..e687497b3aac 100644 > --- a/tools/perf/util/parse-regs-options.c > +++ b/tools/perf/util/parse-regs-options.c > @@ -13,7 +13,7 @@ static int > __parse_regs(const struct option *opt, const char *str, int unset, bool intr) > { > uint64_t *mode = (uint64_t *)opt->value; > - const struct sample_reg *r; > + const struct sample_reg *r = NULL; > char *s, *os = NULL, *p; > int ret = -1; > uint64_t mask; > @@ -46,19 +46,23 @@ __parse_regs(const struct option *opt, const char *str, int unset, bool intr) > > if (!strcmp(s, "?")) { > fprintf(stderr, "available registers: "); > +#ifdef HAVE_PERF_REGS_SUPPORT > for (r = sample_reg_masks; r->name; r++) { > if (r->mask & mask) > fprintf(stderr, "%s ", r->name); > } > +#endif > fputc('\n', stderr); > /* just printing available regs */ > return -1; > } > +#ifdef HAVE_PERF_REGS_SUPPORT > for (r = sample_reg_masks; r->name; r++) { > if ((r->mask & mask) && !strcasecmp(s, r->name)) > break; > } > - if (!r->name) { > +#endif > + if (!r || !r->name) { > ui__warning("Unknown register \"%s\", check man page or run \"perf record %s?\"\n", > s, intr ? "-I" : "--user-regs="); > goto error; > diff --git a/tools/perf/util/perf_regs.c b/tools/perf/util/perf_regs.c > index 2774cec1f15f..5ee47ae1509c 100644 > --- a/tools/perf/util/perf_regs.c > +++ b/tools/perf/util/perf_regs.c > @@ -3,10 +3,6 @@ > #include "perf_regs.h" > #include "event.h" > > -const struct sample_reg __weak sample_reg_masks[] = { > - SMPL_REG_END > -}; > - > int __weak arch_sdt_arg_parse_op(char *old_op __maybe_unused, > char **new_op __maybe_unused) > { > diff --git a/tools/perf/util/perf_regs.h b/tools/perf/util/perf_regs.h > index 47fe34e5f7d5..e014c2c038f4 100644 > --- a/tools/perf/util/perf_regs.h > +++ b/tools/perf/util/perf_regs.h > @@ -15,8 +15,6 @@ struct sample_reg { > #define SMPL_REG2(n, b) { .name = #n, .mask = 3ULL << (b) } > #define SMPL_REG_END { .name = NULL } > > -extern const struct sample_reg sample_reg_masks[]; > - > enum { > SDT_ARG_VALID = 0, > SDT_ARG_SKIP, > @@ -27,6 +25,8 @@ uint64_t arch__intr_reg_mask(void); > uint64_t arch__user_reg_mask(void); > > #ifdef HAVE_PERF_REGS_SUPPORT > +extern const struct sample_reg sample_reg_masks[]; > + > #include > > #define DWARF_MINIMAL_REGS ((1ULL << PERF_REG_IP) | (1ULL << PERF_REG_SP)) > -- > 2.23.0.444.g18eeb5a265-goog > _______________________________________________ linux-riscv mailing list linux-riscv@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-riscv