From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf1-x433.google.com (mail-pf1-x433.google.com [IPv6:2607:f8b0:4864:20::433]) by sourceware.org (Postfix) with ESMTPS id 89F983858D28 for ; Tue, 20 Feb 2024 14:22:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 89F983858D28 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 89F983858D28 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::433 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708438935; cv=none; b=F0/AnEv0SlWV6/C6Kv4ZcA/94D0mIkUHsJH2u1qbs3ATe/zcQwH3fb3jl57haOmogKkjMXcMk2NPCYg0MoHIQ81kvjT87JsvPFmDfMzVpc2a3YIXHob1bhYmvVGKK0nF4eoBtEI8pS8JDQkTdeVnnhvpucJx6Y/1P+pk2M6PGB4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708438935; c=relaxed/simple; bh=RWX4rhV8dA+IQpO8V1TIhg2K1QtECZk4kL6ve17aqdQ=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=CvNNLu5n27GcwjbLcdnvKw1twgTmvuRZBD6PLJJ5OXjIQvqwAv+NqIJkWwsfkyUlOI3jnhpTr+6QnKpfc6k2qWWMDrnLja1AdsBGoyCDk1D3tZQcGK2nCCStLhE+yZsDjVEQiPbpSTwEHxYhxNDROxeVWmWgVhmVoCWIqs7YtNk= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pf1-x433.google.com with SMTP id d2e1a72fcca58-6da9c834646so4894597b3a.3 for ; Tue, 20 Feb 2024 06:22:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1708438932; x=1709043732; darn=gcc.gnu.org; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=UGKCOyVRp05SDgdYOCVU9KNOc+1TD+sZnZoO+fwi4Xs=; b=ikIteg8ivTQeLgztc5DYJyZXiX3SFO34O8zvuhyl6oz220EnbAvSS5+dCifdAMXl0C LLOS+NalLGIxDrSq6X928xtP8A4hrZMAltn/lSB3021EUWAYttibdbNOQI6alTG8Y7wI cvPKoJbasnVV9dkE3g9U/nv2RH9UOQZ21/ZmHHsU9m+B3KDA8RQ2Eed9K3g5bV3dS1Sc 6/TIyQTwCkqWjvIo39HC5kcpDLpwqylnSSHIGXVZqTzSbQmAqjQSrlNX5t2N8MpJwVci kEKEOMG9x9oVmbmPRRNkClvU6+60AcGCCFn9aslNP3WGKkXBUD9c6W2azTWRFWflK0rw JCPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708438932; x=1709043732; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=UGKCOyVRp05SDgdYOCVU9KNOc+1TD+sZnZoO+fwi4Xs=; b=elEd6kFZFctSEx9tvsrFw4voisbrEEOl2ZvDyuI7mQEuOvCqVEL+xysxTEe7KWLGoa KGx5+hNs6HimIIVL+pdINJU/G0tsEMxlGnBs0xRM1PaX9+itsQoLinkC2ylcZtt2WaAN uaYlA3Ctip0I5OC9XSTU+ceoSg5cqyv8Wv6wV45WVgLts//h0DC8kWAf/hSMK3CMxfTH gUIs6aeZ1xSGofUFtgXl/UdCk/R4QfMGpjTNZG1pjuNrkB6FFhPMpEoxq24dpkBURfUj 48zhB63gzT5MQ26gf0xgH0Cy/vusQ+fK3NZFswBiRigvDmkmmOFiZmlD0WTm5CvbK8ZW QPhw== X-Gm-Message-State: AOJu0Yy4VuZ+l22ypKcA8yZkX2yCjlbvWmyZvd0kjZ3oXq2+uC1TO3di O4kdwtnQkUQHGk0JcJoIqLNxHW1/G/nMdV31Lh9o8f+39/6bcaY0X6+zMnvT6g== X-Google-Smtp-Source: AGHT+IEMaDwSxZRfaaX+t9tfo7XbUxkGe5cHKedAihpKvsSQ7sokB1Zm9+Mo3gGNESMyGF3fh2c0aA== X-Received: by 2002:a05:6a20:a814:b0:19e:39d4:284c with SMTP id cb20-20020a056a20a81400b0019e39d4284cmr14119500pzb.29.1708438932392; Tue, 20 Feb 2024 06:22:12 -0800 (PST) Received: from free.home ([2804:7f1:218a:c88b:e868:4eaf:8258:c30b]) by smtp.gmail.com with ESMTPSA id f28-20020aa79d9c000000b006e4757bca26sm2314494pfq.147.2024.02.20.06.22.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 20 Feb 2024 06:22:12 -0800 (PST) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 41KELvnW018642 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Tue, 20 Feb 2024 11:21:58 -0300 From: Alexandre Oliva To: Jeff Law Cc: gcc-patches@gcc.gnu.org, Kito Cheng , Palmer Dabbelt , Andrew Waterman , Jim Wilson , Raphael Moreira Zinsly Subject: Re: [PATCH] RISC-V: Fix CTZ unnecessary sign extension [PR #106888] Organization: Free thinker, does not speak for AdaCore References: Date: Tue, 20 Feb 2024 11:21:57 -0300 In-Reply-To: (Jeff Law's message of "Mon, 19 Feb 2024 23:49:48 -0700") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-5.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE,WEIRD_QUOTING autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Feb 20, 2024, Jeff Law wrote: > On 2/19/24 21:26, Alexandre Oliva wrote: >> This backport for gcc-13 is required for pr90838.c to get the expected >> count of andi instructions on riscv64-elf . > In general, shouldn't backports be focused on correctness issues? *nod*. > It's unclear what the motivation is for backporting this change into > gcc-13. There's this unexpected fail in gcc-13 (pr90838.c), one out of a handful that we've hit while transitioning our riscv toolchains to gcc-13. I set out to understand them, I identified the patches that got them to pass in the trunk, and so I've proposed their backports to fix the fails in gcc-13. Surely there are other ways to address each one of the fails. But even if we choose to just xfail them, or leave them failing noisily, I've already gone through the process of identifying the fix, so I figured I might as well share it. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer More tolerance and less prejudice are key for inclusion and diversity Excluding neuro-others for not behaving ""normal"" is *not* inclusive